1
Publié 2006
Table des matières: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Accéder au texte intégral
Électronique eBook
5
Publié 2005
Table des matières: ...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... Interactive Applications on the Grid (ROIA 2009) -- Preface -- Bipartite Electronic SLA as a Business...
Accéder au texte intégral
Électronique eBook
7
Publié 2013
Table des matières: ...A High-Throughput Yeast Two Hybrid Protocol to Determine Virus-Host Protein Interactions...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... Systems -- Applications -- Interactive Data Mining based on PC Cluster Environment -- Long-Term Mail...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
Accéder au texte intégral
Électronique eBook
14
Publié 2006
Table des matières: ... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...
Accéder au texte intégral
Électronique eBook
15
Publié 2011
Table des matières: ... for functional analysis of plant-nematode interactions -- 6. Genome analysis of plant parasitic nematodes -- 7...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... Queries over Conceptual Schemata -- Data Tables with Similarity Relations: Functional Dependencies...
Accéder au texte intégral
Électronique eBook
17
Publié 2014
Table des matières: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
Accéder au texte intégral
Électronique eBook
18
Publié 2012
Table des matières: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ...to Membrane Computing -- to Membrane Computing -- Bio-applications -- P System Models...
Accéder au texte intégral
Électronique eBook
20
Publié 2013
Table des matières: ... -- Construction of Uncertain Protein-Protein Interaction Networks and Its Applications -- Does Accurate Scoring...
Accéder au texte intégral
Électronique eBook