1
Published 2008
Table of Contents: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
View full text
Electronic eBook
6
Table of Contents: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
9
by Shen, Alexander., Shen, Alexander.
Published 2010
Table of Contents: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
View full text
Electronic eBook
10
Table of Contents: ...Methods for Finding Geometric Extrema -- Selected Types of Geometric Extremum Problems...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Modeling -- What Matters Most in Portfolio Construction? -- Risk Management and Portfolio Optimization...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
View full text
Electronic eBook
13
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
14
Published 2010
Table of Contents: ...1: Problems in Vehicle Dynamics -- Typical Non-smooth Elements in Vehicle Systems -- Application...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Topography-Aware Sensor Deployment Optimization with CMA-ES -- Evolutionary Optimization on Problems Subject...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Optimization of Topology Design Problems -- Image Processing Ideas and Level Sets -- Impedance Imaging...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... for Solving Constraint Satisfaction Problems -- Cooperative Particle Swarm Optimization for the Delay...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Topology Particle Swarm Optimization Algorithm for the Vehicle Routing Problem -- Dynamic Evolutionary...
View full text
Electronic eBook