Search Results - integrated simulation programming programming using https

1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”
View full text

Electronic eBook

2

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Published 2010

Table of Contents: “...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”
View full text

Electronic eBook

3

Stochastic Programming The State of the Art In Honor of George B. Dantzig /

Published 2011

Table of Contents: “...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...”
View full text

Electronic eBook

4

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Published 2008

Table of Contents: “... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text

Electronic eBook

5

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
View full text

Electronic eBook

6

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”
View full text

Electronic eBook

7

Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...

Published 2010

Table of Contents: “... Circuit Simulation -- Poster Session 1: Circuit Level Techniques -- Clock Repeater Characterization...”
View full text

Electronic eBook

8

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

9

Textbook of Computable General Equilibrium Modeling Programming and Simulations /

by Hosoe, Nobuhiro., Hosoe, Nobuhiro., Gasawa, Kenji., Hashimoto, Hideo.
Published 2010

Subjects: “...International Economics. https://scigraph.springernature.com/ontologies/product-market-codes/W33000...”
View full text

Electronic eBook

10

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Published 2014

Table of Contents: “... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”
View full text

Electronic eBook

11

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light -- On Minimality and Integrity...”
View full text

Electronic eBook

12

Applications of Declarative Programming and Knowledge Management 15th International Conference...

Published 2005

Table of Contents: “... -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent...”
View full text

Electronic eBook

13

An Introduction to Programming and Numerical Methods in MATLAB

by Otto, Steve., Otto, Steve., Denier, James P.
Published 2005

Table of Contents: “... Statements -- Root Finding -- Interpolation and Extrapolation -- Matrices -- Numerical Integration -- Solving...”
View full text

Electronic eBook

14

Introduction to Probability Simulation and Gibbs Sampling with R

by Suess, Eric A., Suess, Eric A., Trumbo, Bruce E.
Published 2010

Table of Contents: “...Introductory Examples: Simulation, Estimation, and Graphics -- Generating Random Numbers -- Monte...”
View full text

Electronic eBook

15

Using Event-B for Critical Device Software Systems

by Singh, Neeraj Kumar., Singh, Neeraj Kumar.
Published 2013

Subjects: “...Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000...”
View full text

Electronic eBook

16

Learning Basic Genetics with Interactive Computer Programs

by Tseng, Charles C., Tseng, Charles C., Yang, Xiaoli.
Published 2013

Subjects: “...Human Genetics. https://scigraph.springernature.com/ontologies/product-market-codes/B12008...”
View full text

Electronic eBook

17

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Day? -- Evaluate XP Effectiveness Using Simulation Modeling -- Agile Security Using an Incremental...”
View full text

Electronic eBook

18

Principles and Practice of Constraint Programming - CP 2012 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /

Published 2012

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

19

Modeling, Design, and Simulation of Systems with Uncertainties

Published 2011

Table of Contents: “... Uncertainties -- Robustness Comparison of Tracking Controllers Using Verified Integration -- Probabilistic Set...”
View full text

Electronic eBook

20

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Published 2007

Table of Contents: “... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...”
View full text

Electronic eBook

Narrow Search