1
Published 2014
Table of Contents: ...Computational Study of Blood Flow through Elastic Arteries with Porous Effects -- A Modified...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Literacy: An Approach to Thinking Critically about Diagrams -- Item Differential in Computer Based...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout...
View full text
Electronic eBook
4
Table of Contents: ...Roles of Modeling in Statistical Inference.- Likelihood Construction and Estimation.- Likelihood...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Problems in Grammatical Inference -- Polynomial-Time Identification of an Extension of Very Simple Grammars...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- State of the Union: Type Inference Via Craig Interpolation -- Hoare Logic for Realistically Modelled...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Commutativity of Reducers -- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling -- Analysis...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Prediction (Plenary Lecture) --  2. Ilkka Niiniluoto: Models, Simulations, and Analogical Inference --  3...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Redundancy -- 5B Computational Biology -- Minkowski Sum Selection and Finding -- Constructing the Simplest...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Random Variables -- Stopped Compound Poisson Process and Related Distributions -- Constructions...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... for Parallel Construction of Adaptive Meshes -- Clustering Multiple and Cooperative Instances of Computational...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Inference System Optimization Based on the Uncertainty of Membership Functions Applied to Benchmark Problems...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...Heap-Abstraction for an Object-Oriented Calculus with Thread Classes -- From Constructibility...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- A Bayesian Approach to Protein Inference Problem in Shotgun Proteomics -- De Novo Sequencing...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Convex Relaxation for Multilabel Problems with Product Label Spaces -- Graph Cut Based Inference with Co...
View full text
Electronic eBook