* Based on the new idea of gathering state of the art topics in Geometric Modeling together with techniques, applications, systems and tools
* The first book of its kind in that it incorporates several topics providing a class of practical solutions to problems in mathematical, engineering, and physical sciences
* Provides a valuable resource, focusing on interdisciplinary methods and affiliate research in the area

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.

State-of-the-art coverage of modern computational methods for the analysis and design of beams

Analysis and Design of Elastic Beams presents computer models and applications related to thin-walled beams such as those used in mechanical and aerospace designs, where thin, lightweight structures with high strength are needed. This book will enable readers to compute the cross-sectional properties of individual beams with arbitrary cross-sectional shapes, to apply a general-purpose computer analysis of a complete structure to determine the forces and moments in the individual members, and to use a unified approach for calculating the normal and shear stresses, as well as deflections, for those members’ cross sections.

In addition, this book augments a solid foundation in the basic structural design theory of beams by:

• Providing coverage of thin-wall structure analysis and optimization techniques
• Applying computer numerical methods to classical design methods
• Developing computational solutions for cross-sectional properties and stresses using finite element analyses

Including access to an associated Web site with software for the analysis and design of any cross-sectional shape, Analysis and Design of Elastic Beams: Computational Methods is an essential reference for mechanical, aerospace, and civil engineers and designers working in the automotive, ship, and aerospace industries in product and process design, machine design, structural design, and design optimization, as well as students and researchers in these areas.

Digital manufacturing has become an intrinsic part of the modelmaking profession, so today's practitioner must be skilled in both traditional hand-making techniques and digital technology. Relevant to a wide variety of creative industries, including film and television, theatre, architecture and product design, Digital Modelmaking offers a comprehensive insight into the manufacturing processes and technologies used within contemporary modelmaking. Each chapter contains an in-depth explanation of each topic, presents examples of how each process is used and includes case studies from professional modelmakers and students. Topics covered include: making models using a laser cutter, 3D printer and CNC milling machinery; generating 3D digital data using a 3D scanner and photogrammetry; two-and three- dimensional drawing software such as CAD; designing models for digital manufacturing; selecting materials based on their suitability for modelmaking; combining traditional hand-making skills with digital manufacturing; painting and finishing models, and finally, moulding and casting using silicone and resin. This invaluable book will be of great interest for students, young professionals and everyone with a passion for design and making.

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.

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.

Theoretical molecular spectroscopy has been the subject of intense activity in the last decade as a result of the increasing availability of powerful computers. Computational Molecular Spectroscopy is the first book ever to provide a comprehensive treatment of modern compuational techniques for predicting/interpreting molecular spectra.
Comprised essentially of four main parts, the book is a must for research workers in high resolution molecular spectroscopy and in quantum chemistry. It is also highly useful to undergraduate and postgraduate students of physics and chemistry, who are just starting out in the field.
The four main areas covered include:

• Ab initio calculation of potential energy surfaces and other electronic properties of molecules
• Perturbation-theory-based and variational approaches to the calculation of spectroscopic data
• Theory of calculating rovibronic energies, including the Renner and Jahn-Teller effects
• Special topics of high current interest: highly excited states and local modes, semi-classical approaches, time-dependent phenomena, and the Carr-Parrinello approach.

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 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.

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 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 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.

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.

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.

The 31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2005) was held on the campus "Ile du Saulcy" of the Univ- sity Paul Verlaine-Metz in France. The workshop was organized by the La- ratoire d'Informatique Th eorique et Appliqu ee (LITA) and it took place June 23 - 25 2005. The 94 participants of WG 2005 came from universities and - search institutes of 18 di?erent countries. The WG 2005 workshop continues the series of 30 previous WG workshops. Since 1975, WG has taken place 20 times in Germany, four times in The Neth- lands, twotimesinAustriaaswellasonceinItaly, inSlovakia, inSwitzerlandand inCzechRepublic, andhas nowbeen heldfor the ?rsttime inFrance.The wo- shop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The talks were given in the "Petit Th eatre." They showed how recent research results from algori- mic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer science. There were two fascinating invited lectures by Georg Gottlob (Vienna, Austria) and Gregory Kucherov (Nancy, France)."

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.

Molecular simulation is a widely used tool in biology, chemistry, physics and engineering. This book contains a collection of articles by leading researchers who are developing new methods for molecular modelling and simulation. Topics addressed here include: multiscale formulations for biomolecular modelling, such as quantum-classical methods and advanced solvation techniques; protein folding methods and schemes for sampling complex landscapes; membrane simulations; free energy calculation; and techniques for improving ergodicity. The book is meant to be useful for practitioners in the simulation community and for those new to molecular simulation who require a broad introduction to the state of the art.

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.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Multi-Agent-Based Simulation, MABS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with 1 invited talk were carefully reviewed. The papers are organized in topical sections on coalition emergence, theories and models, applications, and environments.

During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished and high-quality computer science event. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can successfully be applied to v- ious areas of computer science and by exposing new theories emerging from applications. In this way, WG provides a common ground for the exchange of information among people dealing with several graph problems and working in various disciplines. Thereby, the workshop contributes to forming an interdis- plinary research community. The original idea of the Workshop on Graph-Theoretic Concepts in C- puter Science was ingenuity in all theoretical aspects and applications of graph concepts, wherever applied. Within the last ten years, the development has strengthened in particular the topic of structural graph properties in relation to computational complexity. This workshop has become pivotal for the c- munity interested in these areas.An aimspeci?c to the 30thWG was to support the central role of WG in both of the prementioned areas on the one hand and on the other hand to promote its originally broader scope. The 30th WG was held at the Physikzentrum Bad Honnef, which serves as the main meeting point of the German Physical Society. It o?ers a secluded setting for research conferences, seminars, and workshops, and has proved to be especiallystimulatingforfruitful discussions.Talksweregiveninthenewlecture hall with a modern double rear projection, interactive electronic board, and full video conferencing equipment.

SQL is full of difficulties and traps for the unwary. You can avoid them if you understand relational theory, but only if you know how to put that theory into practice. In this book, Chris Date explains relational theory in depth, and demonstrates through numerous examples and exercises how you can apply it to your use of SQL. This third edition has been revised, extended, and improved throughout. Topics whose treatment has been expanded include data types and domains, table comparisons, image relations, aggregate operators and summarization, view updating, and subqueries. A special feature of this edition is a new appendix on NoSQL and relational theory. Could you write an SQL query to find employees who have worked at least once in every programming department in the company? And be sure it's correct? Why is proper column naming so important? Nulls in the database cause wrong answers. Why? What you can do about it? How can image relations help you formulate complex SQL queries? SQL supports "quantified comparisons," but they're better avoided. Why? And how? Database theory and practice have evolved considerably since Codd first defined the relational model, back in 1969. This book draws on decades of experience to present the most up to date treatment of the material available anywhere. Anyone with a modest to advanced background in SQL can benefit from the insights it contains. The book is product independent.

Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new "virtual" e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in "model-drivenarchitecture"and"extremenon-programming".Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis. In keeping with this tradition, ER 2005, the 24th ER Conference, spanned the spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual m- eling, methods and tools for developing and communicating conceptual models, and techniques for transforming conceptual models into e?ective (information) system implementations. Moreover, new areas of conceptual modeling incl- ing Semantic Web services and the interdependencies of conceptual modeling with knowledge-based, logical and linguistic theories and approaches were also addressed.

Biomedical research is at a critical point at present. The research has led to an enormous amount of data and models describing these data, but - proachesforapplication,formalizationand integrationof this knowledgefrom the molecular to the system level are still topics of ongoing research and c- tainly far from fully developed. Also in cardiology the di?erent anatomical and physiological constituents as well as the coupling between them are being researchedin increasing detail and areoften described using computer-based models. But for this domain an integrative framework is still missing. The application of computer-based modeling as a research, development and clinical tool often necessitates the coupling of various models from di?- ent levels. Describing the interactions between these models, which are both physically sound and computationally e?cient, determines the applicability of such promising computer-based attempts. Myhopeisthatthisbookwillcontributetothecomprehension,spreadand impact of computer-based modeling in cardiology,both from a teaching point of view and by summarizing knowledge from several, commonly delimited topics relating to the cardiac manifoldness. The book evolved from revision and extension of my professorial disser- tion(Habilitationsschrift)"MathematicalModelingoftheMammalianHeart" written in 2002. This dissertation was based on notes for the lectures "C- putational Biology: Bioelectromagnetism and Biomechanics," "Simulation of Physical Fields in the Human Body," and "Anatomical, Physical and Fu- tional Models of the Human Body," which I gaveat the Universita t Karlsruhe (TH) from 1998 to 2003. Salt Lake City, 1 February 2004 Frank B. Sachse VI Preface Acknowledgement Manypeople meritmy gratitudefor their assistanceandsupportin this work.

Extremely easy-to-follow due to its natural progression tutorial approach on how to advance from the solution of typical electrical and electronic circuit examples by hand, followed by a SPICE verification through the discussion of simulation results. The first part contains relevant data about SPICE in order to analyze both linear passive and electronic circuits. The latter half provides more detail on such topics as distortion models and analysis, basic algorithms in SPICE, analysis option parameters and how to direct SPICE to find a solution when it fails.