Arama Sonuçları - interactive simulations programs program based https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Tam Metin Erişim

Elektronik Ekitap

3

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Tam Metin Erişim

Elektronik Ekitap

4

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Early Warning – the FAST Example -- Country Indicators for Foreign Policy Developing an Indicators-Based...”
Tam Metin Erişim

Elektronik Ekitap

5

Simulating Interacting Agents and Social Phenomena The Second World Congress /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Programming Environments -- Injecting Data into Agent-Based Simulation -- The MASON HouseholdsWorld Model...”
Tam Metin Erişim

Elektronik Ekitap

6

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Tam Metin Erişim

Elektronik Ekitap

7

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”
Tam Metin Erişim

Elektronik Ekitap

8

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
Tam Metin Erişim

Elektronik Ekitap

9

Interactive Computation The New Paradigm /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... and Socio-Technical Systems: An Interaction Based Approach -- New Directions -- The Multidisciplinary...”
Tam Metin Erişim

Elektronik Ekitap

10

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”
Tam Metin Erişim

Elektronik Ekitap

11

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Tam Metin Erişim

Elektronik Ekitap

12

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human...”
Tam Metin Erişim

Elektronik Ekitap

13

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post Proceedings...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”
Tam Metin Erişim

Elektronik Ekitap

14

Engineering Interactive Systems 2008 Second Conference on Human-Centered Software Engineering, HCSE...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Usability Evaluation during Model-Based Interactive System Development -- Integrating Groupware Notations...”
Tam Metin Erişim

Elektronik Ekitap

15

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Tam Metin Erişim

Elektronik Ekitap

16

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...”
Tam Metin Erişim

Elektronik Ekitap

17

Interactive Quantum Mechanics Quantum Experiments on the Computer /

Yazar: Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Baskı/Yayın Bilgisi 2011

Konular: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

18

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /

Yazar: Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...”
Tam Metin Erişim

Elektronik Ekitap

19

Social Interaction, Globalization and Computer-Aided Analysis A Practical Guide to Developing Social Simulation /

Yazar: Osherenko, Alexander., Osherenko, Alexander.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
Tam Metin Erişim

Elektronik Ekitap

20

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Ecology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt