The book describes the world's first successful experiment in fully automated board game design. Evolutionary methods were used to derive new rule sets within a custom game description language, and self-play trials used to estimate each derived game's potential to interest human players. The end result is a number of new and interesting games, one of which has proved popular and gone on to be commercially published.

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.

The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

Powerful computers now enable scientists to model the physical and chemical properties and behavior of complex materials using first principles. This book introduces dramatically new computational techniques in materials research, specifically for understanding molecular dynamics.

The simulation of physical systems requires a simplified, hierarchical approach which models each level from the atomistic to the macroscopic scale. From quantum mechanics to fluid dynamics, this book systematically treats the broad scope of computer modeling and simulations, describing the fundamental theory behind each level of approximation. Berendsen evaluates each stage in relation to its applications giving the reader insight into the possibilities and limitations of the models. Practical guidance for applications and sample programs in Python are provided. With a strong emphasis on molecular models in chemistry and biochemistry, this 2007 book will be suitable for advanced undergraduate and graduate courses on molecular modeling and simulation within physics, biophysics, physical chemistry and materials science. It will also be a useful reference to all those working in the field. Additional resources for this title including solutions for instructors and programs are available online at www.cambridge.org/9780521835275.

Filtering and system identification are powerful techniques for building models of complex systems. This 2007 book discusses the design of reliable numerical methods to retrieve missing information in models derived using these techniques. Emphasis is on the least squares approach as applied to the linear state-space model, and problems of increasing complexity are analyzed and solved within this framework, starting with the Kalman filter and concluding with the estimation of a full model, noise statistics and state estimator directly from the data. Key background topics, including linear matrix algebra and linear system theory, are covered, followed by different estimation and identification methods in the state-space model. With end-of-chapter exercises, MATLAB simulations and numerous illustrations, this book will appeal to graduate students and researchers in electrical, mechanical and aerospace engineering. It is also useful for practitioners. Additional resources for this title, including solutions for instructors, are available online at www.cambridge.org/9780521875127.

Christian Kohler covers the connection between uC and simulation, the interface abstraction as well as the analysis and optimization of coupling systems with the Chip-Hardware-in-the-Loop Simulation (CHILS) approach. He develops the hardware to simulation coupling system with a focus on less hardware effort, the capabilities to couple with different simulation environments, and the efficiency of coupling. Furthermore, the author presents existing concepts to simulate complex systems and compares them with the new approach.

The age of 3D printing and personal fabrication is upon us You've probably heard of the incredibly sophisticated, yet inexpensive 3D printers that can produce almost any creation you give them. But how do you become part of that revolution?

Sandeep Singh takes you through the skills you need to learn and the services and technologies you need to knowexplaining what 3D printing is, how it works, and what it can do for you. You'll find yourself rapidly prototyping and learning to produce complex designs that can be fabricated by online 3D printing services or privately-owned 3D printersin your hands in no time.

Beginning Google SketchUp for 3D Printing starts by explaining how to use SketchUp and its plug-ins to make your design products. You will learn how to present and animate 3D models, and how to use Google Earth and 3D Warehouse to sell and market your 3D models. You'll also catch a glimpse of the 3D printing'sfuture so you can plan aheadwhile mastering today's tools.

Beginning Google SketchUp for 3D Printing is the perfect book for 3D designers, hobbyists, woodworkers, craftspeople, and artists interested in the following: Designing in 3D using SketchUp Using the online 3D printing pipeline Animating SketchUp 3D models Becoming familiar with rapid prototyping technology Navigating new 3D and personal fabrication technologies Working with Google Earth and 3D Warehouse with confidence

Welcome to the era of 3D printing and personal fabrication What you'll learn 3D design for beginners Using Sketchup Using the online 3D printing pipeline Animating Sketchup 3D models Becoming familiar with rapid prototyping technology Navigating new 3D and personal fabrication technologies Negotiating Google Earth and 3D Warehouse with confidence Who this book is for

3D designers, hobbyists, woodworkers, craftspeople and artists. Table of Contents The Ins and Outs of Google SketchUp and ShapewaysFirst 3D PrintoutGetting Your Juices Flowing3D Model to 3D PrintTools and Techniques to Save TimeBreaking the BarrierModeling with PhotographsWorking with SymmetryShare with the WorldAnimate with SketchyPhysicsUsing LayOutExploring 3D Printing AlternativesGet Connected

Rotation transforms are used everywhere in computer graphics from rotating pictures in editing software, to providing an arbitrary view of a 3D virtual environment. Although the former is a trivial operation, the latter can be a challenging task.

"Rotation Transforms for Computer Graphics" covers a wide range of mathematical techniques used for rotating points and frames of reference in the plane and 3D space. It includes many worked examples and over 100 illustrations that make it essential reading for students, academics, researchers and professional practitioners.

The book includes introductory chapters on complex numbers, matrices, quaternions and geometric algebra, and further chapters on how these techniques are employed in 2D and 3D computer graphics. In particular, matrix and bivector transforms are developed and evaluated to rotate points in a fixed frame of reference, and vice versa.

"

Many applications in science and engineering require a digital model of a real physical object. Advanced scanning technology has made it possible to scan such objects and generate point samples on their boundaries. This book, first published in 2007, shows how to compute a digital model from this point sample. After developing the basics of sampling theory and its connections to various geometric and topological properties, the author describes a suite of algorithms that have been designed for the reconstruction problem, including algorithms for surface reconstruction from dense samples, from samples that are not adequately dense and from noisy samples. Voronoi- and Delaunay-based techniques, implicit surface-based methods and Morse theory-based methods are covered. Scientists and engineers working in drug design, medical imaging, CAD, GIS, and many other areas will benefit from this first book on the subject.

Computing application to materials science is one of the fastest-growing research areas. This book introduces the concepts and methodologies related to the modeling of the complex phenomena occurring in materials processing. It is intended for undergraduate and graduate students in materials science and engineering, mechanical engineering and physics, and for engineering professionals or researchers.

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

VolumesofLNCS 5821andCCIS51aretheproceedingsofthe 4thInternational Symposium on Intelligence Computation and Applications (ISICA 2009) held in Huangshi, China, October 23-25, 2009. These two volumes are in memory of Prof. Lishan Kang, the ISICA 2009 Honorary General Chair, who was a leading ?gurein the ?elds of domain decomposition methods and computational intelligence. ISICA 2009 successfully attracted over 300 submissions. Through rigorous reviews, 58 high-quality papers were included in LNCS 5821, while the other 54 papers were collected in CCIS 51. ISICA conferencesare one of the ?rst series of internationalconferencesoncomputationalintelligencethatcombineelementsof learning, adaptation, evolution and fuzzy logic to create programsas alternative solutions to arti?cial intelligence. The last three ISICA proceedings have been accepted in the Index to Scienti?c and Technical Proceedings (ISTP) and/or Engineering Information (EI). Following the success of the past three ISICA events, ISICA 2009 made good progress in the analysis and design of newly developed methods in the ?eld of computationalintelligence. ISICA 2009featured the most up-to-dateresearchin analysisandtheoryofevolutionaryalgorithms,neuralnetworkarchitecturesand learning, fuzzy logic and control, predictive modeling for robust classi?cation, swarm intelligence, evolutionary system design, evolutionary image analysis and signal processing, and computational intelligence in engineering design. ISICA 2009 provided a venue to foster technical exchanges, renew everlasting frie- ships, and establish new connections.

Create in 3D with Tinkercad! If you can dream it, you can create it--using Tinkercad. This free tool gives everyone the power to create 3D models, regardless of your level of experience. With the help of Tinkercad For Dummies, you'll have the knowledge you need to plan your designs, the know-how to utilize the platform's drag-and-drop tools to create your design, and the information you need to print or export your designs to use them elsewhere. Tinkercad is for everyone! It's simple enough to be used by kids and students, but robust enough that an adult could use it to create a complex product prototype. With more than 4 million designs posted in the Tinkercad community, the platform is also popular with teachers around the world. Why not join in on the fun? Create your Tinkercad account and join the community Use the drag-and-drop tools to build 3D images Export your designs to have them 3D printed Learn the principles of great 3D design Tinkercad is truly fun for all ages, and this hands-on guide makes it faster and easier to start using it right away!

Anyone who uses Blender needs this book. Blender users know that it can be used for modeling, animation, and rendering, but it can also be used as a fully functional compositing and post-production application. This book explores Blender's use as a compositing and post-production tool in the video and film production pipeline. In this book, you will learn how to: Create and apply masks and special effects in Blender Composite images using Blender's node-based compositor Sequence and overlay video and audio using Blender's non-linear editor What you'll learn

This book provides concise yet step-by-step examples on using all of the power of Blender to provide a complete post-production workbench. Specifically, this book shows you how to: Create Masks and Rotoscope video Texture mattes and video planes Composite any image or render with other images Introduce special effects, such as blur, smoke, and light. Add titles and text, mixes, fades, wipes and splices Remove Green Screen and composite CG with live action shots Assemble all the shots and audio into a completed movie Who this book is for

Film and video professionals and enthusiasts interested in an open source alternative to commercial compositing and video effects software like AfterEffects, Fusion, and Shake. Table of Contents Blender OverviewBlender in the PipelineWelcome to Blender Formats3D ElementsCamera and WorldShadingAnimated EffectsRenderingNode-Based CompositingManipulating ImagesAdvanced NodesNonlinear Video EditorSequencer Effects

Eugen Lamers explains the principle of simulation speed-up in general and shortly demonstrates the technique RESTART for the simulation of rare events. He introduces the Short-Term Dynamic Simulation concept, developed for the planning of mobile radio networks.

This book surveys research results on the physical and mathematical modeling, as well as the numerical simulation of complex fluid and structural mechanical processes occurring in the human blood circulation system. Topics treated include continuum mechanical description; choice of suitable liquid and wall models; mathematical analysis of coupled models; numerical methods for flow simulation; parameter identification and model calibration; fluid-solid interaction; mathematical analysis of piping systems; particle transport in channels and pipes; artificial boundary conditions, and many more. The book was developed from lectures presented by the authors at the Oberwolfach Research Institute (MFO), in Oberwolfach-Walke, Germany, November, 2005.

This book includes selected papers of the Asia Simulation Conference 2007, held in Seoul, Korea, October 10-12, 2007.

The 42 revised full papers presented were carefully reviewed and selected from 120 submissions; after the conference, the papers went through another round of revision. The papers are organized in topical sections on Manufacturing, Numerical Simulation I, General Application, Agent Based Simulation, Aero Space, System Dynamics, Numerical Simulation II, Web Based Simulation, General Engineering, Logistics Simulation, Simulation and AI, Simulation Tools, Statistical Methods, Health Care/Education as well as Methodology.

This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Multi-Agent-Based Simulation, MABS 2006, held in Hakodate, Japan, May 8, 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.

The 12 revised full papers presented together with 3 short papers and 2 invited papers were carefully reviewed and selected from 25 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on Empirical Cross Studies, Experimental Ecology, Experimental Economics, Foundations and Methodologies, Learning and Social Dependence.

This book constitutes the thoroughly refereed post-proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2007, held in Dornburg, Germany, in June 2007.

The 30 revised full papers presented together with 1 invited paper were carefully selected from 99 submissions. The papers feature original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, diagram methods, and support of these concepts by suitable implementations.

This book constitutes the refereed proceedings of the 26th International Conference on Conceptual Modeling, ER 2007, held in Auckland, New Zealand, in November 2007.

The 37 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on data warehousing and data mining, design methodologies and tools, information and database integration, information modelling concepts and ontologies, integrity constraints, logical foundations of conceptual modelling, patterns and conceptual meta-modelling, requirements elicitation, reuse and reengineering, semi-structured data and XML, as well as Web information systems and XML.

This book constitutes the refereed proceedings of the 6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007, held in Roskilde, Denmark in August 2007.

The 42 revised full papers presented were carefully reviewed and selected from a total of 121 submissions. The papers deal with the interdisciplinary topic of modeling and using context from various points of view, ranging from computer science, especially artificial intelligence and ubiquitous computing, through cognitive science, linguistics, organizational sciences, philosophy, and psychology to application areas such as medicine and law.

Multi-agent systems have been a focus of studies for more than 25 years. Yet, despite substantial effort of an active research community, modeling of multi-agent systems still lacks complete and proper definition, general acceptance, and practical application. This book provides the Agent-Modeling Language (AML), a comprehensive modeling language as an extension of UML 2.0, concentrating on multi-agent systems and applications.

The use of new media in the service of cultural heritage is a fast growing field, known variously as virtual or digital heritage. New Heritage, under this denomination, broadens the definition of the field to address the complexity of cultural heritage such as the related social, political and economic issues. This book is a collection of 20 key essays, of authors from 11 countries, representing a wide range of professions including architecture, philosophy, history, cultural heritage management, new media, museology and computer science, which examine the application of new media to cultural heritage from a different points of view. Issues surrounding heritage interpretation to the public and the attempts to capture the essence of both tangible (buildings, monuments) and intangible (customs, rituals) cultural heritage are investigated in a series of innovative case studies.

Exciting developments in earthquake science have benefited from new observations, improved computational technologies, and improved modeling capabilities. Designing realistic supercomputer simulation models for the complete earthquake generation process is a grand scientific challenge due to the complexity of phenomena and range of scales involved from microscopic to global.

The present volume - Part II - incorporates computational environment and algorithms, data assimilation and understanding, model applications and iSERVO. Topics covered range from iSERVO and QuakeSim: implementing the international solid earth research virtual observatory by integrating computational grid and geographical information web services; LURR (Load-Unload Response Ratio) described in six papers involving this promising earthquake forecasting model; pattern informatics and phase dynamics and their applications, which was also a highlight in the Workshop; computational algorithms, including continuum damage models and visualization and analysis of geophysical datasets; evolution of mantle material; the state vector approach; and assimilation of data such as geodetic data, GPS data, and seismicity and laboratory experimental data.

This book is the outcome of a project that started with the organisation of theTopicalWorkshopon"Agent-BasedComputationalModelling. AnInst- ment for Analysing Complex Adaptive Systems in Demography, Economics and Environment" at the Vienna Institute of Demography, December 4-6, 2003. The workshop brought together scholars from several disciplines, all- ing both for serious scienti?c debate and for informal conversation over a cup co?ee or during a visit to the wonderfulmuseums of Vienna. One of the nicest features of Agent-Based Modelling is indeed the opportunity that scholars ?nd a common language and discuss from their disciplinary perspective, in turn learning from other perspectives. Given the success of the meeting, we found it important to pursue the purpose of collecting these interdisciplinary contributions in a volume. In order to ensure the highest scienti?c standards for the book, we decided that all the contributions (with the sole exception of the introductory chapter) should have been accepted conditional on peer reviews. Generoushelpwasprovidedbyreviewers, someofwhomwereneither directly involved in the workshop nor in the book. All this would not have been possible without the funding provided by the Complex Systems N- work of Excellence (Exystence) funded by the European Union, the Vienna Institute of Demography of the Austrian Academy of Sciences, Universit a Bocconi, and ARC Systems Research GmbH, and the help of the wonderful sta? ofthe Vienna Institute of Demography(in particular, Ani Minassianand Belinda Aparicio Diaz). Agent-Based Modelling is important, interesting and also fun-we hope this book contributes to showing that. Milano Francesco C.