1
منشور في 2008
جدول المحتويات: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2014
جدول المحتويات: ... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2007
جدول المحتويات: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2005
جدول المحتويات: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2005
جدول المحتويات: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2012
جدول المحتويات: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2008
جدول المحتويات: ... -- Toward a General Theory of Ecosystem Stability: Plankton-Nutrient Interaction as a Paradigm -- Nutrient...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2013
جدول المحتويات: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2015
جدول المحتويات: ... structure interaction problems -- Stochastic load models and footbridge response -- pedestrian induced...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2007
جدول المحتويات: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2008
جدول المحتويات: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2007
جدول المحتويات: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2010
جدول المحتويات: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
احصل على النص الكامل
الكتروني كتاب الكتروني