1
Published 2010
Table of Contents: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
View full text
Electronic eBook
2
by Denardo, Eric V., Denardo, Eric V.
Published 2011
Table of Contents: ...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...
View full text
Electronic eBook
3
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
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
Table of Contents: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
View full text
Electronic eBook
6
Table of Contents: ... Functions and Kernel Density Estimation -- 4. The BONUS Algorithm -- 5. Water Management under Weather...
View full text
Electronic eBook
7
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
9
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
10
Published 2006
Table of Contents: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
View full text
Electronic eBook
11
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Programming for Inverse Problem Solving -- Empirical Analysis of GP Tree-Fragments -- Empirical Comparison...
View full text
Electronic eBook
13
by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2010
Table of Contents: ... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...
View full text
Electronic eBook
14
by Horton, Ivor., Horton, Ivor.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
15
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook