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 2008
Table of Contents: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
View full text
Electronic eBook
3
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
4
Table of Contents: ...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Complexity and Cartesian Genetic Programming -- Design of Robust Communication Systems Using Genetic...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Vital Signals Complexity by Matrix Analysis -- Analyzing the Chaotic Behaviour of the Harmonic Function...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... of Well Data Using the Norm Function -- Algorithms and Literate Programs for Weighted Low-Rank...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Aggregated Data using the Aggregate Association Index: Analysis of New Zealand Voter Turnout (1893 - 1919...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
View full text
Electronic eBook
15
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: ...  Dedication -- Acknowledgements -- 1. Complexity, Self-Organization and Natural Evolution. - 1...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
17
Published 2010
Table of Contents: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...
View full text
Electronic eBook
19
Table of Contents: ... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... of Nondeterministic Automata Using Factorization Forests -- On the Complexity of Searching in Trees: Average-Case...
View full text
Electronic eBook