1
Publié 2014
Table des matières: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Accéder au texte intégral
Électronique eBook
2
Table des matières: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
Accéder au texte intégral
Électronique eBook
3
Publié 2008
Table des matières: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Accéder au texte intégral
Électronique eBook
4
Table des matières: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Accéder au texte intégral
Électronique eBook
5
Publié 2006
Table des matières: ...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Accéder au texte intégral
Électronique eBook
11
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative...
Accéder au texte intégral
Électronique eBook
13
Publié 2015
Table des matières: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Accéder au texte intégral
Électronique eBook
15
Publié 2008
Table des matières: ... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...
Accéder au texte intégral
Électronique eBook
16
Table des matières: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Accéder au texte intégral
Électronique eBook
18
Publié 2012
Table des matières: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... Triangulations -- Convex Hull and Voronoi Diagram of Additively Weighted Points -- New Tools and Simpler...
Accéder au texte intégral
Électronique eBook
20
Publié 2014
Table des matières: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Accéder au texte intégral
Électronique eBook