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: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
4
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
6
by Zhang, Yue., Zhang, Yue.
Published 2015
Table of Contents: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
View full text
Electronic eBook
9
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
View full text
Electronic eBook
10
Subjects: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
11
by Denardo, Eric V., Denardo, Eric V.
Published 2011
Table of Contents: ...Chapter 1. Introduction to Linear Programs -- Chapter 2. Spreadsheet Computation -- Chapter 3...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
17
Published 2010
Table of Contents: .... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook