1
Published 2008
Table of Contents: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
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 2006
Table of Contents: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
View full text
Electronic eBook
4
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
5
Published 2014
Table of Contents: ... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...
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 2005
Table of Contents: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Toward a General Theory of Ecosystem Stability: Plankton-Nutrient Interaction as a Paradigm -- Nutrient...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... structure interaction problems -- Stochastic load models and footbridge response -- pedestrian induced...
View full text
Electronic eBook
18
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
19
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
View full text
Electronic eBook