1
Publicado em 2006
Sumário: ... Constrained Optimization -- P-Factor-Approach to Degenerate Optimization Problems -- Non Monotone Algorithms...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Lew, Art., Lew, Art., Mauch, Holger.
Publicado em 2007
Sumário: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Por McNavage, Terry., McNavage, Terry.
Publicado em 2010
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... Skeletons—A Case Study -- ReCoNodes—Optimization Methods for Module Scheduling and Placement...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2007
Sumário: ... Discount for Probabilistic Systems -- Optimal Strategy Synthesis in Stochastic Müller Games -- Generalized...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2015
Sumário: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Tateosian, Laura., Tateosian, Laura.
Publicado em 2015
Sumário: ... geoprocessing -- Additional looping functions -- Debugging -- Error handling -- User-defined functions -- User...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2008
Sumário: ... Optimisation -- A Hybrid Particle Swarm Optimization Algorithm for Function Optimization -- EvoSTOC...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2015
Sumário: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...On the Experimental Control of a Separately Excited DC Motor -- MASH Digital Delta–Sigma Modulator...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2007
Sumário: ... -- Triangular Clique Based Multilevel Approaches to Identify Protein Functional Modules -- BioPortal: A Portal...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Linear Programs -- Approximating Parameterized Convex Optimization Problems -- Approximation Schemes...
Obter o texto integral
Recurso Electrónico livro electrónico