This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Mining Web Data, WEBKDD 2001 held in San Francisco, CA, USA in August 2001.The seven revised full papers went through two rounds of reviewing an improvement. The book addresses key issues in mining Web log data for e-commerce. The papers are devoted to predicting user access, recommender systems and access modeling, and acquiring and modeling data and patterns.

This volume summarizes the results of a priority program launched by Deutsche Forschungsgemeinschaft (DFG) called KONDISK-Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. The program was motivated by the need for a more comprehensive approach to hybrid systems both in the computer science and the control engineering communities. Technical systems nowadays are composed of physical components with mostly continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Controllers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems. Several practical examples of systems with mixed continuous-discrete dynamics are presented, such as a conveyor belt, an annealing furnace, a membranous filtration process, a titration plant, a diesel engine, robotic arms, a chemical reactor, tank systems, or an aircraft elevator system.

This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.

What should be every software organization's primary goal? Managing Software Quality. Producing and sustaining the high quality of products and processes in evolutionary systems are at the core of software engineering, and it is only through a comprehensive measurement program that a successful outcome can be assured. Cost and budget limitations, schedule due dates, all represent systems engineering constraints which impinge on the degree to which software development and maintenance professional can achieve maximum quality. Richard Nance and James Arthur's guide to managing software quality goes beyond the usual answers to the "why" and "what" questions generally provided in the standards documents. They not only look at the "how to" in their focus of the measurement of software quality, but also come up with specific suggestions to the pressing needs of practising software engineers, quality assurance engineers and software and project managers."This is one of the few books in this area that addresses the 'quality' aspect based upon the important aspect of documentation. In addition, the book provides a basis for not only the software manager concerned with measurement implementation, but also the researcher in identifying the current state of the art and practice. This will be a key reference guide for anyone that is concerned with developing quality software."(William H Farr, PhD, Naval Surface Warfare Center Dahlgren Division)About the Authors: Research motivated by problems arising in large, complex software systems is what stimulates Richard Nance. His collaboration with the U.S. Navy on major software-intensive programs spans over 30 years. James Arthur is an Associate Professor of Computer Science at Virginia Tech.

The book is a state-of-the-art overview on high performance computing (HPC) activities to solve scientific and/or engineering problems on supercomputers. This topic has evolved to a key technology playing an important role in determining, or at least shaping, future research and development activities in many branches of industry. The main topics include the development of advanced numerical methods, parallel computing techniques, grid generation, and visualization. Applications of these techniques are directed to fluid dynamics, turbulence, combustion and porous media related flows, computational structural dynamics, material sciences, chemical engineering, dynamic systems, optimal control, and optimization of electronic circuits. The book includes 44 contributions from renowned international experts in the field of HPC and its applications.

This book constitutes the thoroughly refereed postproceedings of the Second International Conference on Computers and Games, CG 2001, held in Hamamatsu, Japan in October 2000. The 23 revised full papers presented together with two invited contributions and five reviews were carefully refereed and selected during two rounds of reviewing and improvement. The papers are organized in topical sections on search and strategies, learning and pattern acquisition, theory and complexity issues, and further experiments on game; the reviews presented are on computer language games, computer Go, intelligent agents for computer games, RoboCup, and computer Shogi.

Artificial Immune Systems (AIS) are adaptive systems inspired by the biological immune system and applied to problem solving. This book provides an accessible introduction that will be suitable for anyone who is beginning to study or work in this area. It gives a clear definition of an AIS, sets out the foundations of the topic (including basic algorithms), and analyses how the immune system relates to other biological systems and processes. No prior knowledge of immunology is needed - all the essential background information is covered in the introductory chapters.Key features of the book include:- A discussion of AIS in the context of Computational Intelligence;- Case studies in Autonomous Navigation, Computer Network Security, Job-Shop Scheduling and Data Analysis =B7 An extensive survey of applications;- A framework to help the reader design and understand AIS;- A web site with additional resources including pseudocodes for immune algorithms, and links to related sites.Written primarily for final year undergraduate and postgraduate students studying Artificial Intelligence, Evolutionary and Biologically Inspired Computing, this book will also be of interest to industrial and academic researchers working in related areas.

Simulation is the art of using tools - physical or conceptual models, or computer hardware and software, to attempt to create the illusion of reality. The discipline has in recent years expanded to include the modelling of systems that rely on human factors and therefore possess a large proportion of uncertainty, such as social, economic or commercial systems. These new applications make the discipline of modelling and simulation a field of dynamic growth and new research.

Stanislaw Raczynski outlines the considerable and promising research that is being conducted to counter the problems of uncertainty surrounding the methods used to approach these new applications. It aims to stimulate the reader into seeking out new tools for modelling and simulation. Examines the state-of-the-art in recent research into methods of approaching new applications in the field of modelling and simulation Provides an introduction to new modelling tools such as differential inclusions, metric structures in the space of models, semi-discrete events, and use of simulation in parallel optimization techniques Discusses recently developed practical applications: for example the PASION simulation system, stock market simulation, a new fluid dynamics tool, manufacturing simulation and the simulation of social structures Illustrated throughout with a series of case studies

"Modelling and Simulation: The Computer Science of Illusion" will appeal to academics, postgraduate students, researchers and practitioners in the modelling and simulation of industrial computer systems. It will also be of interest to those using simulation as an auxiliary tool.

This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001.The 45 revised full papers presented together with three keynote presentations were carefully reviewed and selected from a total of 197 submissions. The papers are organized in topical sections on spatial databases, spatio-temporal databases, XML, information modeling, database design, data integration, data warehouse, UML, conceptual models, systems design, method reengineering and video databases, workflows, web information systems, applications, and software engineering.

On behalf of the ICES 2001 Conference Committee, it is our pleasure to present to you the proceedings of the fourth International Conference on Evolvable S- tems: From Biology to Hardware, ICES 2001, held in Tokyo, Japan, on 3-5 - tober 2001, addressing the latest developments and discussing challenges facing the ?eld of evolvable systems. The idea of evolving machines, whose origins can be traced back to the - bernetics movement of the 1940s and the 1950s, has recently re-emerged in the form of the nascent ?eld of bio-inspired systems and evolvable hardware. Foll- ing the workshop, Towards Evolvable Hardware, which took place in Lausanne, Switzerland, in October 1995, the First International Conference on Evolvable Systems: From Biology to Hardware (ICES96), was held at the Electrotech- cal Laboratory (MITI), Tsukuba, Japan, in October 1996. The second and the third International Conferences on Evolvable Systems: From Biology to Ha- ware (ICES98 and ICES 2000) were respectively held in Lausanne in September 1998, and in Edinburgh in April 2000. Following the success of these past events, ICES 2001 was dedicated to the promotion and advancement of all aspects of evolvable systems, including ha- ware, software, algorithms, and applications. By bringing together researchers who use biologically inspired concepts to implement real systems in arti?cial - telligence, arti?cial life, robotics, VLSI design, and related domains, ICES 2001 reunited this burgeoning community.

In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-based framework that enables developers to employ reusable software components enhanced with metadata, creating complete instructional visualizations for a given subject and integrating these visualizations in an appropriate learning context, is discussed. Two activities for making stand-alone visualizations group-aware are addressed: transparent sharing of the same instructional visualization with diverse views in a moderated session, and organization of interactions in the shared workspace. No other work has addressed the issue of transparent collaboration based on instructional visualizations enhanced with metadata in such a way. The CD-ROM contains all the interactive learning modules as well as the content of the book in HTML format.

The book contains 16 papers and one invited talk presenting the latest research in computer animation and simulation. Special focus is given on the modelling and animation of complex phenomena. This includes the modelling of virtual creatures-from their body-parts to the control of their behaviour-and the nomination of natural phenomena such as water, smoke, fire, and vegetation.

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.
The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

Why is the question of the di?erence between living and non-living matter - tellectually so attractive to the man of the West? Where are our dreams about our own ability to understand this di?erence and to overcome it using the ?rmly established technologies rooted? Where are, for instance, the cultural roots of the enterprises covered nowadays by the discipline of Arti?cial Life? Cont- plating such questions, one of us has recognized [6] the existence of the eternal dream of the man of the West expressed, for example, in the Old Testament as follows: . . . the Lord God formed the man from the dust of the ground and breathed into his nostrils the breath of life, and the man became a living being (Genesis, 2. 7). This is the dream about the workmanlike act of the creation of Adam from clay, about the creation of life from something non-living, and the con?dence in the magic power of technologies. How has this dream developed and been converted into a reality, and how does it determine our present-day activities in science and technology? What is this con?dence rooted in? Then God said: "Let us make man in our image. . . " (Genesis, 1. 26). Man believes in his own ability to repeat the Creator's acts, to change ideas into real things, because he believes he is godlike. This con?dence is - using the trendy Dawkins' term - perhaps the most important cultural meme of the West.

Context has emerged as a central concept in a variety of contemporary app- aches to reasoning. The conference at which the papers in this volume were presented was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001. The ?rst conference in this series was held in Rio de Janiero in 1997, and the second in Trento in 1999. Like the previous conferences, CONTEXT 2001 was remarkably successful in bringing together representatives of many di?erent ?elds, spanning the entire range of the cognitive and informational sciences, and with interests ranging from speci?c, commercial applications to highly general philosophical and logical theories. The papers collected here demonstrate well the range of context-related - search. While foundational problems remain, and continue to be discussed in many of the contributions collected in this volume, the work shows increased - phistication about what forms of reasoning are important, and what techniques are appropriate in accounting for them. The papers themselves, however, do not convey the lively excitement of the conference itself, and the continuing spirit of cooperation and communication across disciplines that has been the hallmark of these conferences. We are very pleased that the ?eld of context research has shown over four years intense, sustained development while retaining this sense of interdisciplinary cooperation.

Geometric Modelling is concerned with the computer aided design, manipulation, storage and transmission of geometric shape. It provides fundamental techniques to different areas of application as CAD/CAM, computer graphics, scientific visualization, and virtual Reality. 20 papers presented by leading experts give a state-of-the-art survey of the following topics: surface design and fairing; multiresolution models; reverse engineering; solid modelling; constrained based modelling.

This book contains 33 papers presented at the Third Joint Visualization Symposium of the Eurographics Association and the Technical Committee on Visualization and Graphics of the IEEE Computer Society. The main topics treated are: visualization of geoscience data; multi-resolution and adaptive techniques; unstructured data, multi-scale and visibility; flow visualization; biomedical applications; information visualization; object representation; volume rendering; information visualization applications; and automotive applications.

This book focuseson the use of computer visionand graphics in architecture. It arose from a convergenceof several hot topics: 1. visualization of built environments for engineering, historical and other purposes, 2. virtual reconstruction of architecture from visual data of existing struc tures, whether via photogrammetric or range sensing techniques, and 3. augmentation of video data of architecture with useful information. The focus here is on architecture and howto present it, enhance it's abilities, make it easier to understand and make it accessibleto a larger public. Collective interest in this topic led to the International Symposium on Virtual and Augmented Architecture, whose papers are contained in this book. As editors, we were very pleased about how well the different papers chosen gavea nice focus to the topic and conference.It is clear that there are many different research approaches still active in this area - this makes it an exciting time. Wehope that this book captures that excitement and succeeds in bringing it to you.

Seventeen papers report on the latest scientific advances in the fields of immersive projection technology and virtual environments. The main topics included here are human computer interaction (user interfaces, interaction techniques), software developments (virtual environment applications, rendering techniques), and input/output devices.

This book is devoted to investigating and developing the synergy between software engineering for multi-agent systems and agent-based social simulation; it originates from the Second International Workshop on Multi-Agend-Based Simulation, MABS 2000, held in Boston, MA, USA in July 2000, in conjunction with ICAMS 2000. Besides the thoroughly revised full papers accepted for presentation at the workshop, two invited papers and an introductory survey by one of the volume editors have been added in order to round off the scope and achieve complete coverage of all relevant topics. The book competently surveys the state of the art in the area by offering topical sections on model design issues, applications, simulating social relations and processes, and formal approaches.

This book presents state-of-the-art methods in computer animation and simulation. This collection of papers covers current research in human animation, physically based modeling, motion control, animation systems, and other key aspects.

This book is the third official archival publication devoted to RoboCup and documents the achievements presented at the Third Robot World Cup Soccer Games and Conferences, Robo-Cup-99, held in Stockholm, Sweden in July/August 1999. The book presents the following parts
- Introductory overview and survey
- Research papers of the champion teams and scientific award winners
- Technical papers presented at the RoboCup-99 Workshop
- Team description of a large number of participating teams.
This book is mandatory reading for the rapidly growing RoboCup community as well as a valuable source or reference and inspiration for R&D professionals interested in multi-agent systems, distributed artificial intelligence, and intelligent robotics.

It is now 30 years since the network for digital communication, the ARPA-net, first came into operation. Since the first experiments with sending electronic mail and performing file transfers, the development of networks has been truly remarkable. Today's Internet continues to develop at an exponential rate that even surpasses that of computing and storage technologies. About five years after being commercialized, it has become as pervasive as the tele phone had become 30 years after its initial deployment. In the United States, the size of the Internet industry already exceeds that of the auto industry, which has been in existence for about 100 years. The exponentially increas ing capabilities of communication, computing, and storage systems is also reshaping the way science and engineering are pursued. Large-scale simulation studies in chemistry, physics, engineering, and sev eral other disciplines may now produce data sets of ,several terabytes or petabytes. Similarly, almost all measurements today produce data in digital form, whether from collections of sensors, three-dimensional digital images, or video. These data sets often represent complex phenomena that require rich visualization capabilities and efficient data-mining techniques to under stand. Furthermore, the data may be produced and archived in several differ ent locations, and the analysis carried out by teams with members at several locations-possibly distinct from those with significant storage, computation, or visualization facilities. The emerging computational Grids enable the transparent use of remote instruments, computational and data resources.

Neural Networks are a new, interdisciplinary tool for information processing. Neurocomputing being successfully introduced to structural problems which are difficult or even impossible to be analysed by standard computers (hard computing). The book is devoted to foundations and applications of NNs in the structural mechanics and design of structures.

The objective of the present work is to review the existing literature on joint incongruity, cellular mechano-transduction, and computer simulations of mechano-adaptive bone remodelling, and to quantitatively assess the effect of incongruity on load transmission and subchondral mineralisation. Idealised computer models of incongruous joints and a specific anatomically based model of the humero-ulnar joint articulation were analysed with the finite element method, and the results directly compared with experimental and morphological data.