1
Published 2008
Table of Contents: ... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Difficulty Level of Programming Code with Eye-Tracking -- Expressing Observation Direction through Face...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Toward a General Theory of Ecosystem Stability: Plankton-Nutrient Interaction as a Paradigm -- Nutrient...
View full text
Electronic eBook
18
Table of Contents: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook