Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs constructs » programs constructive, programs constraints, programming constructs
problems programs » problems progress, problems problems, programs program
constructs https » construction https, constructs loops, constructs arti
programs constructs » programs constructive, programs constraints, programming constructs
problems programs » problems progress, problems problems, programs program
constructs https » construction https, constructs loops, constructs arti
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
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
5
by Fiedler, Miroslav., Fiedler, Miroslav., Nedoma, Josef., Ramik, Jaroslav., Rohn, Jiri., Zimmermann, Karel.
Published 2006
Table of Contents:
“... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...”Published 2006
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
8
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
9
Table of Contents:
“...Methods for Finding Geometric Extrema -- Selected Types of Geometric Extremum Problems...”
View full text
View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”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 2015
Table of Contents:
“...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... in Wireless Sensor Networks -- Performance Analysis and Improvement for the Construction of MCDS Problem in 3D...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... of Optimization Problems on Power Law Graphs -- Cyclic Vertex Connectivity of Star Graphs -- The Number...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”View full text
Electronic
eBook
19
Published 2013
Subjects:
“...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...”View full text
Electronic
eBook