1
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
5
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
View full text
Electronic eBook
6
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ...Optimality, Relaxation and General Solution Procedures -- Lagrangian Duality Theory -- Surrogate...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... for Multiclass Queueing Systems -- Session 8 -- Generating Multiple Solutions for Mixed Integer Programming...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... reformulation and applications -- Generalized disjunctive programming: A framework for formulation...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics -- ARVis...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
12
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
View full text
Electronic eBook
14
Table of Contents: ...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Multiobjective Programming Involving (C, ?, ?, d) type-I Functions -- Contributed Papers -- Partitionable...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... of Optimal Solution Sets of Piecewise LinearParametric Multiobjective Programs -- Global Optimality...
View full text
Electronic eBook
17
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
18
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Linearizability Via Non-atomic Refinement -- Lifting General Correctness into Partial Correctness is ok...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... with a Low Cooling Factor -- On Solution Concepts for Matching Games -- Binary De Bruijn Partial Words...
View full text
Electronic eBook