1
Publicado em 2008
Sumário: ... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Sumário: ... programming -- Linear programming with set coefficients -- Fuzzy linear optimization -- Interval linear...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2010
Sumário: ... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2014
Sumário: ...: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2005
Sumário: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2013
Sumário: ... for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2007
Sumário: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2007
Sumário: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2014
Sumário: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2010
Sumário: ... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2010
Sumário: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2008
Sumário: ... in the IPA Market with RL -- Optimizing Preferences within Groups: A Case Study on Travel Recommendation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2006
Sumário: ... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2008
Sumário: ... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2006
Sumário: ...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2012
Sumário: ... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ...-Approximation Algorithm for Sorting by Prefix Reversals -- Approximating the 2-Interval Pattern Problem -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ... -- The Interval Constrained 3-Coloring Problem -- Counting Hexagonal Patches and Independent Sets in Circle Graphs...
Obter o texto integral
Recurso Eletrônico livro eletrônico