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 2014
Table of Contents: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Networks -- Single Straddle Carrier Routing Problem in Port Container Terminals: Mathematical Model...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...
View full text
Electronic eBook
14
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
15
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
16
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
18
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
19
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... for Triangular Meshes Using Local Radial Basis Function -- Hexahedral Meshing -- A Constructive Approach...
View full text
Electronic eBook