1
Table of Contents: ...Roles of Modeling in Statistical Inference.- Likelihood Construction and Estimation.- Likelihood...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Semantics for Type Inference -- Principal Type Schemes for Modular Programs -- A Consistent Semantics...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Prediction for Global Numerical Optimization -- Phylogeny Inference Using a Multi-objective Evolutionary...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Intensive Software Tools -- A Multigrid Parallel Program for Protoplanetary Disc Simulation....
View full text
Electronic eBook
8
by Albert, Jim., Albert, Jim.
Published 2007
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... for Improving Simulations in UCT for General Game Playing -- Propositional Automata and Cell Automata...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Programming Approach to Predict RNA Secondary Structure -- Landscape Analysis for Protein-Folding Simulation...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Experiments -- Optimal Design of Experiments for Delayed Responses in Clinical Trials -- Construction...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Session 1. Proofs -- Flyspeck I: Tame Graphs -- Automatic Construction and Verification of Isotopy...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Simulation -- Improving Performance in Constructing specific Web Directory using Focused Crawler...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... in the DRT Framework -- DCT Watermarking Optimization by Genetic Programming -- Searching Text Corpora...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...-State Controllers -- FactForge: Data Service or the Diversity of Inferred Knowledge over LOD -- From...
View full text
Electronic eBook