1
Table of Contents: ...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
5
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer...
View full text
Electronic eBook
7
Published 2011
Table of Contents: ... Trees for Multistage Stochastic Programs -- Risk Aversion in Two-Stage Stochastic Integer Programming...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Feedback Controllers -- Integer Programming Approaches to Access and Backbone IP Network Planning...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... of Dynamic Process Models under Uncertainty -- Steps towards Web Ubiquitous Computing -- Estimation...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...-1 Integer Programming -- Experimenting with SAT Solvers in Vampire -- Onto Design Graphics (ODG): A...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- Intelligent Computing in Communication -- A High Speed Mobile Courier Data Access System That Processes...
View full text
Electronic eBook
20
Table of Contents: ...Introducing Perl -- Basic Concepts -- Scalars: Integers, Floating-Point Numbers, and Strings...
View full text
Electronic eBook