Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programs implementation » program implementation, programme implementation, programming implementation
programming programs » programming program, programming programmed, programming problems
implementation https » instrumentation https, implementation _
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programs implementation » program implementation, programme implementation, programming implementation
programming programs » programming program, programming programmed, programming problems
implementation https » instrumentation https, implementation _
1
Published 2010
Table of Contents:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Implementations of a Molecular Modeling Application -- OpenMP Implementation of SPICE3 Circuit Simulator...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming -- Automatic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas...”View full text
Electronic
eBook