1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...
View full text
Electronic eBook
7
Published 2014
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- A Personalized CALL System Considering Users Cognitive Abilities -- Autonomic Resources Management...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Communication -- Chapter 8. The Repertoire of Communication Calls Emitted by Bats and the Ways the Calls...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
15
Subjects: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...; Maria Carla Galavotti -- Reductionism today; Michael Esfeld -- Betting Interpretation and the Problem...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Algorithms: Approximate Algorithms for NP-Complete Optimization Problems -- Computationally Hard Problems...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Problems -- A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization...
View full text
Electronic eBook