1
Published 2011
Subjects: ...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
2
Published 2013
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
View full text
Electronic eBook
4
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
View full text
Electronic eBook
5
Published 2014
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
6
Table of Contents: ...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
8
Table of Contents: ...Number Systems -- Integers -- Floating Point -- Big Integers and Rational Arithmetic -- Fixed-Point...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Bitwise Register Allocation Using Integer Linear Programming -- Register Allocation: What Does the NP...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...New Developments in Quantum Algorithms -- Persistent Homology under Non-uniform Error...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...
View full text
Electronic eBook
15
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
16
Published 2010
Table of Contents: ... and Emotions -- Computational Models for Incongruity Detection in Humour -- Emotions in Words: Developing a...
View full text
Electronic eBook
17
Published 2013
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular...
View full text
Electronic eBook
19
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Integer Programming Problem....
View full text
Electronic eBook