1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
4
Table of Contents: ... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
View full text
Electronic eBook
14
Table of Contents: ... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
View full text
Electronic eBook
16
Table of Contents: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
View full text
Electronic eBook
17
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
View full text
Electronic eBook
19
... support functions and life satisfaction in older Malaysians. The study sample was 1,800 older residents...
Article
20
Published 2008
Table of Contents: ... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...
View full text
Electronic eBook