Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
problems programs » problems progress, problems problems, programs program
functionals https » functions https, functionals hints, functionals hannes
function https » functions https, fiction https
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
problems programs » problems progress, problems problems, programs program
functionals https » functions https, functionals hints, functionals hannes
function https » functions https, fiction https
1
Publicat 2008
Taula de continguts:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
3
per Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Publicat 2008
Taula de continguts:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Publicat 2008
Obtenir text complet
Electrònic
eBook
4
Publicat 2013
Taula de continguts:
“... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”Obtenir text complet
Electrònic
eBook
6
Taula de continguts:
“...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...”Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”Obtenir text complet
Electrònic
eBook
10
Publicat 2015
Taula de continguts:
“... Algebra: A. Baraviera et al -- 7 Periodic Homogenization of Deterministic Control Problems via Limit...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...”Obtenir text complet
Electrònic
eBook
17
Publicat 2012
Taula de continguts:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...”Obtenir text complet
Electrònic
eBook