Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
optimization program » optimization problem, optimization problems, optimization proximal
program constructing » program construction, diagram constructing, programs conducting
linear optimization » nonlinear optimization, springer optimization
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
optimization program » optimization problem, optimization problems, optimization proximal
program constructing » program construction, diagram constructing, programs conducting
linear optimization » nonlinear optimization, springer optimization
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
1
Published 2008
Table of Contents:
“... Selection Architecture for Genetic Programming -- A Comparison of Cartesian Genetic Programming and Linear...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Satisfiability Modulo Theories for Non-linear Arithmetic -- A Hybrid Constraint Programming / Local Search...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
4
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
5
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“..., and Logic -- Concrete Results on Abstract Rules -- Linear Logic Programming for Narrative -- Implementing...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... into Trees and Outerplanar Graphs -- Approximating Linear Threshold Predicates -- Approximating Sparsest Cut...”View full text
Electronic
eBook