1
Sujets: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ... -- Sketches and Templates -- Natural Modelling of Interactive Applications -- Task Model Simulation Using...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... -- Adaptive Multiscale Methods for Flow Problems: Recent Developments -- Interaction of Wing-Tip Vortices...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ... -- Introduction to Control Systems -- System Simulation -- Appendix A: The MATLAB System Control Toolbox...
Accéder au texte intégral
Électronique eBook
8
Publié 2012
Table des matières: ... for Two Dimensional Strip Packing Using Genetic Programming -- Solving Graph Coloring Problem by Fuzzy...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... Techniques for Spatial Dynamics Simulation -- Problem Solving on One-Bit-Communication Cellular Automata...
Accéder au texte intégral
Électronique eBook
13
Publié 2008
Table des matières: ... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...
Accéder au texte intégral
Électronique eBook
14
Publié 2007
Table des matières: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
Accéder au texte intégral
Électronique eBook
15
Publié 2005
Table des matières: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
Accéder au texte intégral
Électronique eBook
16
Publié 2012
Table des matières: ...Distributed Simulation -- Flight Simulation on Tiled Displays with Distributed Computing Scheme...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
Accéder au texte intégral
Électronique eBook
18
Publié 2007
Table des matières: ... and Identifying Use Error and Usability Problem -- User’s Expertise Differences When Interacting with Simple...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... Environment Based on the Oz Programming Model -- Solving the Aircraft Sequencing Problem Using Concurrent...
Accéder au texte intégral
Électronique eBook
20
Publié 2011
Table des matières: ... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...
Accéder au texte intégral
Électronique eBook