1
Publié 2015
Table des matières: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
Accéder au texte intégral
Électronique eBook
4
Publié 2014
Table des matières: ... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...
Accéder au texte intégral
Électronique eBook
5
Sujets: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ...-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines...
Accéder au texte intégral
Électronique eBook
8
Publié 2014
Sujets: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Accéder au texte intégral
Électronique eBook
10
Publié 2015
Table des matières: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
Accéder au texte intégral
Électronique eBook
11
Publié 2013
Table des matières: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
Accéder au texte intégral
Électronique eBook
15
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
16
Publié 2015
Table des matières: ... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...
Accéder au texte intégral
Électronique eBook
17
Publié 2013
Table des matières: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
Accéder au texte intégral
Électronique eBook
18
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
19
Publié 2006
Table des matières: ... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Accéder au texte intégral
Électronique eBook