1
Publié 2014
Table des matières: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...
Accéder au texte intégral
Électronique eBook
4
Publié 2014
Table des matières: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
Accéder au texte intégral
Électronique eBook
5
Publié 2012
Table des matières: ...-ScaleProblems Sensitivity Analysis for the Purposes of Parameter Identification of a S. cerevisiae Fed-Batch...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...
Accéder au texte intégral
Électronique eBook
12
Publié 2006
Table des matières: ... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ...-Adaptive Software -- Extending the Boundaries of Design Optimization by Integrating Fast Optimization...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...
Accéder au texte intégral
Électronique eBook
15
Publié 2014
Table des matières: ...Processing Collective Knowledge – Conflict Resolution and Integration Aspects -- How to Store...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Applied to Numerical Optimization Problems -- New Codification Schemas for Scheduling with Genetic...
Accéder au texte intégral
Électronique eBook
17
Publié 2006
Table des matières: ... Differential Attacks on 8-Round AES-192 -- Identification -- Session Corruption Attack and Improvements...
Accéder au texte intégral
Électronique eBook
18
Publié 2007
Table des matières: ... Problem and Concurrent Secure Identification -- An Efficient Signcryption Scheme with Key Privacy...
Accéder au texte intégral
Électronique eBook
19
Publié 2014
Table des matières: ... Assignment without Explicit Communication -- Using PDDL to Solve Vehicle Routing Problems -- Automated...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Accéder au texte intégral
Électronique eBook