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