1
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
View full text
Electronic eBook
5
Table of Contents: ...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
View full text
Electronic eBook
9
Table of Contents: ...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Algebra: A. Baraviera et al -- 7 Periodic Homogenization of Deterministic Control Problems via Limit...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Annotate Points of Interest in Video and Interactive-TV Programs -- Conclusion (The Mobile Future)....
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
View full text
Electronic eBook