1
Published 2008
Table of Contents: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
View full text
Electronic eBook
2
Table of Contents: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...-Approximation Algorithm for Sorting by Prefix Reversals -- Approximating the 2-Interval Pattern Problem -- A...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- The Interval Constrained 3-Coloring Problem -- Counting Hexagonal Patches and Independent Sets in Circle Graphs...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Learning Vector Quantization -- Cost Optimization of a Localized Irrigation System Using Genetic Algorithms...
View full text
Electronic eBook