Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
optimization program » optimization problem, optimization problems, optimization proximal
engine optimization » engineering optimization
program decision » programme decision, program division, programs division
decision array » decision areas, emission array, decision diagram
https » http
optimization program » optimization problem, optimization problems, optimization proximal
engine optimization » engineering optimization
program decision » programme decision, program division, programs division
decision array » decision areas, emission array, decision diagram
https » http
1
Published 2006
Table of Contents:
“...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”View full text
Electronic
eBook
2
Table of Contents:
“...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
View full text
View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Agri-Food Companies -- How to Apply Model Driven Engineering to Develop Corporate Social Responsibility...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“.... Karathanasopoulos) -- 5. Pattern Detection and Analysis in Financial Time Series Using Suffix Arrays (K. F...”View full text
Electronic
eBook
6
Table of Contents:
“... Processes -- C Markov Chains, Martingales and Ergodic Processes -- D Markov Decision Theory and Optimality...”
View full text
View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Systems and Ontology -- Engineering Framework for Developing Alumni Web-Portal for Universities...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
9
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Environments -- A Service Oriented Architecture for Decision Making in Engineering Design -- A Grid...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... on the Vehicular Network -- A Rapid Code Acquisition Scheme for Optical CDMA Systems -- Optimal and Suboptimal...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”View full text
Electronic
eBook