Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
problems program » problems programs, problem program, problems progress
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
problems program » problems programs, problem program, problems progress
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
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
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
by Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Published 2008
Table of Contents:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Published 2008
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