Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
computer https » computers https, computing https, computer arts
base programs » based programs, basic programs, abuse programs
integer base » integer based, integer bases, integer basic
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
computer https » computers https, computing https, computer arts
base programs » based programs, basic programs, abuse programs
integer base » integer based, integer bases, integer basic
1
Published 2013
Table of Contents:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”View full text
Electronic
eBook
2
Table of Contents:
“...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“... Programs -- Simulation-Based Optimality Tests for Stochastic Programs -- Stochastic Decomposition...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP...”View full text
Electronic
eBook
9
by Conejo, Antonio J., Conejo, Antonio J., Castillo, Enrique., Minguez, Roberto., Garcia-Bertrand, Raquel.
Published 2006
Table of Contents:
“... -- Decomposition in Mixed-Integer Programming -- Other Decomposition Techniques -- Local Sensitivity Analysis...”Published 2006
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Emotions -- Computational Models for Incongruity Detection in Humour -- Emotions in Words: Developing a...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... in Autonomic Computing -- Track 2: Trust Models and Trustworthy Systems/Services -- A Social Network-Based...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Scores -- Genetic Algorithms Based on the Principles of Grundgestalt and Developing Variation...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...A Hyper-heuristic with a Round Robin Neighbourhood -- A Multiobjective Approach Based on the Law...”View full text
Electronic
eBook
16
Human-Inspired Computing and its Applications 13th Mexican International Conference on Artificial...
Published 2014
Table of Contents:
“... Programming Framework -- Whole-Part Relations Rule-Based Automatic Identification: Issues from Fine-Grained...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Creating Models for Finite Element Analysis Based on CT Scanning Images -- Accelerating Computation of DNA...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”View full text
Electronic
eBook