1
Published 2010
Table of Contents: ...-Shortest-Path Problem -- Path Relinking on Many-Objective NK-Landscapes -- In Search of Equitable Solutions...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Techniques for Resource-Intensive Problems -- A Survey of Fitness Approximation Methods Applied...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...Foreword --  Preface --  Part I Numerical Methods for Nonlinear Problems --  The Finite Element...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni...
View full text
Electronic eBook
6
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Solutions of a Knapsack Problem with a Single Constraint -- Point Sets and Frame Algorithms in Management...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... -- Adapting the Pheromone Evaporation Rate in Dynamic Routing Problems -- Finding Robust Solutions to Dynamic...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
View full text
Electronic eBook