1
Publicerad 2010
Innehållsförteckning: ... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2012
Innehållsförteckning: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2006
Innehållsförteckning: ... Early Warning – the FAST Example -- Country Indicators for Foreign Policy Developing an Indicators-Based...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ... and Programming Environments -- Injecting Data into Agent-Based Simulation -- The MASON HouseholdsWorld Model...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2014
Innehållsförteckning: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2005
Innehållsförteckning: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2006
Innehållsförteckning: ... and Socio-Technical Systems: An Interaction Based Approach -- New Directions -- The Multidisciplinary...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2005
Innehållsförteckning: ... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2008
Innehållsförteckning: ...Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2008
Innehållsförteckning: ... Usability Evaluation during Model-Based Interactive System Development -- Integrating Groupware Notations...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2006
Innehållsförteckning: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2013
Innehållsförteckning: ... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...
Hämta fulltext
Elektronisk E-bok
17
Ämnen: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
18
Innehållsförteckning: ...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...
Hämta fulltext
Elektronisk E-bok
19
Innehållsförteckning: ... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2005
Innehållsförteckning: ...Ecology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management...
Hämta fulltext
Elektronisk E-bok