1
Gepubliceerd in 2012
Inhoudsopgave: ... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2011
Inhoudsopgave: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2007
Inhoudsopgave: ... Systems -- Co-simulation of Distributed Embedded Real-Time Control Systems....
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2013
Inhoudsopgave: ... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2011
Inhoudsopgave: ... Uncertainties -- Robustness Comparison of Tracking Controllers Using Verified Integration -- Probabilistic Set...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2014
Inhoudsopgave: ... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2013
Inhoudsopgave: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2012
Onderwerpen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2007
Inhoudsopgave: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Volledige tekst
Elektronisch E-boek
13
Inhoudsopgave: ...An Introductory Tour -- More on ODE Integration -- Finite Differences and the Method of Lines...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2014
Inhoudsopgave: ... control law, by R. Martí, D. Sarabia, C. de Prada -- 4 Distributed MPC for consensus and synchronization...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2006
Inhoudsopgave: ... of Control Systems -- Hybrid Systems—And Everything Else -- Regular Papers -- Behavioural Approximations...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ... for Privacy Preserving Data Mining -- On a Novel Simulation Framework and Scheduling Model Integrating...
Volledige tekst
Elektronisch E-boek
18
door Thomas, Adrian., Thomas, Adrian.
Gepubliceerd in 2008
Inhoudsopgave: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2005
Inhoudsopgave: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2007
Inhoudsopgave: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
Volledige tekst
Elektronisch E-boek