1
Published 2010
Table of Contents: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
3
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
4
Published 2014
Table of Contents: ... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...
View full text
Electronic eBook
5
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
6
Table of Contents: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... of Coalescent Theory -- Networks in Computational Systems Biology -- Practical Use of the Gene Ontology...
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
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
View full text
Electronic eBook
13
by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2015
Table of Contents: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
View full text
Electronic eBook
18
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
19
Table of Contents: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
View full text
Electronic eBook
20
Published 2010
Table of Contents: .... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...
View full text
Electronic eBook