1
Pubblicazione 2013
Sommario: ...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...
Testo
Elettronico eBook
2
di Neise, Frederike., Neise, Frederike.
Pubblicazione 2008
Sommario: ...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Testo
Elettronico eBook
6
Pubblicazione 2007
Sommario: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Testo
Elettronico eBook
7
Pubblicazione 2011
Sommario: ... Programs -- Simulation-Based Optimality Tests for Stochastic Programs -- Stochastic Decomposition...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ... and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP...
Testo
Elettronico eBook
9
Sommario: ... -- Decomposition in Mixed-Integer Programming -- Other Decomposition Techniques -- Local Sensitivity Analysis...
Testo
Elettronico eBook
10
Pubblicazione 2007
Sommario: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... in Autonomic Computing -- Track 2: Trust Models and Trustworthy Systems/Services -- A Social Network-Based...
Testo
Elettronico eBook
12
Pubblicazione 2010
Sommario: ... and Emotions -- Computational Models for Incongruity Detection in Humour -- Emotions in Words: Developing a...
Testo
Elettronico eBook
13
Pubblicazione 2015
Sommario: ... Scores -- Genetic Algorithms Based on the Principles of Grundgestalt and Developing Variation...
Testo
Elettronico eBook
14
Pubblicazione 2008
Sommario: ... -- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins...
Testo
Elettronico eBook
15
Pubblicazione 2013
Sommario: ...A Hyper-heuristic with a Round Robin Neighbourhood -- A Multiobjective Approach Based on the Law...
Testo
Elettronico eBook
16
Pubblicazione 2008
Sommario: ... of Creating Models for Finite Element Analysis Based on CT Scanning Images -- Accelerating Computation of DNA...
Testo
Elettronico eBook
17
Pubblicazione 2014
Sommario: ... Programming Framework -- Whole-Part Relations Rule-Based Automatic Identification: Issues from Fine-Grained...
Testo
Elettronico eBook
18
Pubblicazione 2005
Sommario: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
Testo
Elettronico eBook