1
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Solving the Multiple Objective Integer Linear Programming Problem -- Generalized Polychotomic Encoding: A...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Techniques with Machine Code Based, Linear Genetic Programming -- Evolutionary Optimization of Approximating...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Procedures -- Methods II -- Spatial Information Encoded Mutual Information for Nonrigid Registration...
View full text
Electronic eBook