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.

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

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.

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

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.

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

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.

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.

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.

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.

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.

This volume presents revised versions of the papers presented at the 4th International Workshop on Multi-agent Based Simulation (MABS 2003), a workshop federated with the2ndInternationalJointConferenceonAutonomousAgentsandMulti-agentSystems (AAMAS 2003), which was held in Melbourne, Australia, in July 2003. In addition to the papers presented at the workshop, three additional papers have been included in this volume (Robertson, Noto et al., and Marietto et al.). Multiagent Based Simulation (MABS) is a vibrant interdisciplinary area which brings together researchers active within the agent-based social simulation community (ABSS) and the multiagent systems community (MAS). These two communities have different, indeed somewhat divergent, goals. The focus of ABSS is on simulating and synthesizing social behaviors in order to understand observed social systems (human, animal and even electronic) via the development and testing of new models and c- cepts. MAS focuses instead on the solution of hard engineering problems related to the construction, deployment and ef?cient operation of multiagent-based systems.

Studies of surfaces and interactions between dissimilar materials or phases are vital for modern technological applications. Computer simulation methods are indispensable in such studies and this book contains a substantial body of knowledge about simulation methods as well as the theoretical background for performing computer experiments and analyzing the data.

The book is self-contained, covering a range of topics from classical statistical mechanics to a variety of simulation techniques, including molecular dynamics, Langevin dynamics and Monte Carlo methods. A number of physical systems are considered, including fluids, magnets, polymers, granular media, and driven diffusive systems. The computer simulation methods considered include both standard and accelerated versions. The simulation methods are clearly related to the fundamental principles of thermodynamics and statistical mechanics.

The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet, The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19-21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18 di?erent countries and ?ve di?erent continents. The workshop looks back at a long tradition. It was ?rst held in 1975, and has been held 20 times in Germany, twice in Austria, and once in Italy, Slo- kia, Switzerland, and the Czech Republic, and has now been held for the third time in The Netherlands. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience, orbyextractingnewproblemsfromapplications.Itisdevoted to the theoretical and practical aspects of graph concepts in computer science. The goal is to present recent research results and to identify and explore - rections of future research. The talks given at the workshop showed how recent research results from algorithmic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer scienc

Arti?cialLifehascomealongway. Sincetheinceptionofthe?eldabout16years ago with a seminal workshop at the Santa Fe Institute, the ?eld has developed quickly. Itsinterdisciplinaryrootshavebeenbothablessingandacurse. Critical people would say that nothing was new in the ideas of Arti?cial Life, since many other disciplines had addressed the very same questions, though probably under di?erent names. Other critics would state that the di?culty of interacting in an interdisciplinary way with colleagues from so many other and divergent ?elds would be so great that true progress could not come from such an enterprise, as those involved would be too busy understanding - or misunderstanding - each other. Admirers, on the other hand, would speak of a bold new attack on the most fascinating questions of science with this new approach. Others would say that new perspectives were opened by the questions the area of Arti?cial Life askedsopointedly. Forthoseinvolvedinthise?ortoversomeyears, ithasalways been very interesting and fascinating to work on these questions. From our discussions it also seems that Arti?cial Life is beginning to become mainstream. Evolutionarybiology, computationalandsystemsbiology, andc- putational social science, to name a few, are disciplines bene?tting from ideas hedgedinArti?cialLife. This, plusthesuccessofopen-endedevolutionarygames in the entertainment industry, the sensibility achieved with decades of work - hind us in arti?cial evolutionary approaches with ?xed ?tness measures, and the development of technology towards a networked, asynchronous, world of inter- tingentities, haveallconspiredtopreparethe?oorforAliferesearchcominginto its own. Notably the concept of emergence of new qualities from the interaction of entities without this quality has been a huge success in recent y

The refereed proceedings of the 9th International Conference on User Modeling, UM 2003, held in Johnstown, PA, USA in June 2003. The 20 revised full papers and 28 revised poster papers presented together with 12 abstracts were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on adaptive hypermedia, adaptive Web, natural language and dialogue, plan recognition, evaluation, emerging issues of user modeling, group modeling and cooperation, applications, student modeling, learning environments - natural language and paedagogy, and mobile and ubiquitous computing.

The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields.

Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing and communication systems by presenting laboratory experiments using real-time DSP hardware. The experiments are designed for the Texas Instruments TMS320C6701 Evaluation Module or TMS320C6711 DSK but can easily be adapted to other DSP boards. Each chapter begins with a presentation of the required theory and concludes with instructions for performing experiments to implement the theory. In the process of performing the experiments, students gain experience in working with software tools and equipment commonly used in industry.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Multi-Agent-Based Simulation, MABS 2002, held as part of the AAMAS 2002 conference in Bologna, Italy, in July 2002. The 12 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on emergence, alliances, and groups; MABS platforms and languages; and MABS applications.

This book constitutes the refereed proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2002, held in Cesky Krumlov, Czech Republic in June 2002. The 36 revised full papers presented were carefully selected from initially 61 submissions during two rounds of reviewing and improvement. The papers provide a wealth of new results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various fields.

The 2002 IFIP Workshop on Internet Technologies, Applications, and Societal Impact (WITASI 2002), held in Wroclaw, Poland, October 10-11, 2002, presents different research aspects of the Internet, both technical and societal. The workshop aims at getting together scientists and practitioners from different research areas to work together on Internet development and reflect on Internet consequences to the economy and society. The papers presented in these proceedings describe state-of-the-art research in such areas of Internet applications as languages, mobility, multimedia, quality of service, voice over IP, and wireless access. A total of 40 papers were submitted to WITASI 2002 out of which 18 papers were selected for presentation at the workshop and inclusion in the proceedings. The workshop also includes 4 invited papers. WIT ASI 2002 was sponsored by IFIP -the International Federation for Information Processing. It was organized by Working Group WG 6.4 on Internet Applications Engineering of the Technical Committee TC 6 on Communication Systems. Locally, WITASI 2002 was organized by the Institute of Control and Systems Engineering, Wroclaw University of Technology.