1
Published 2010
Table of Contents: ... Differential Evolution Algorithm for Solving the Terminal Assignment Problem -- Decentralized Evolutionary...
View full text
Electronic eBook
2
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... Problem -- The Friedberg-Muchnik Theorem -- The Analytic Hierarchy -- Kleene’s Theorem -- Fair Termination...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Enumerable Topological Spaces -- Decidability of Termination Problems for Sequential P Systems with Active...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... for Influence Maximization in a Two-Terminal Series -- Parallel Graph and Its Application to a Real Network...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- On the Complexity of Shortest Path Problems on Discounted Cost Graphs.- Termination of Rule-Based Calculi...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
13
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Networks -- Single Straddle Carrier Routing Problem in Port Container Terminals: Mathematical Model...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
View full text
Electronic eBook