There is a tradition of theoretical brain science which started in the forties (Wiener, McCulloch, Turing, Craik, Hebb). This was continued by a small number of people without interruption up to the present. It has definitely provided main guiding lines for brain science, the devel opment of which has been spectacular in the last decades. However, within the bulk of experimental neuroscience, the theoreticians some times had a difficult stand, since it was felt that the times were not ripe yet and the methods not yet available for a development of a true theoretical speciality in this field. Thus theory remained in the hands of a fairly small club which recruited its members from theoretical physicists, mathematicians and some experimentalists with amateurish theoretical leanings. The boom of approaches which go by the name of 'computational neuroscience', 'neuronal networks', 'associative mem ory', 'spinglass theory', 'parallel processing' etc. should not blind one for the fact that the group of people professionally interested in real istic models of brain function up to the present date remains rather small and suffers from a lack of professional organization. It was against this background that we decided to organize a meet ing on Theoretical Brain Science. The meeting was held April 18 - 20, 1990 and took place at Schloss Ringberg, West-Germany, a facility sponsored by the Max-Planck-Society.

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers cover a broad range of mostly practical topics like decision component of agent systems; practical examples of programming languages; interaction with the environment, and are thus organized in topical sections on reasoning, programming languages, and environments.

The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of creative changes in science. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning which cannot be described by classical logic alone. The study of these high-level methods of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic: at the heart of cognitive science. Model based reasoning promotes conceptual change because it is effective in abstracting, generating, and integrating constraints in ways that produce novel results. There are several key ingredients common to the various forms of model-based reasoning to be considered in this presentation. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.In the modeling process, various forms of abstraction, such as limiting case, idealization, generalization, and generic modeling are utilized. Evaluation and adaptation take place in the light of structural of structural, causal, and/or functional constraint satisfaction and enhanced understanding of the target problem is obtained through the modeling process. Simulation can be used to produce new states and enable evaluation of behaviors, constraint satisfaction, and other factors. The book also addresses some of the main aspects of the concept of abduction, connecting it to the central epistemological question of hypothesis withdrawal in science and model-based reasoning, where abductive interferences exhibit their most appealing cognitive virtues. The most recent results and achievements in the above areas are illustrated in detail by the various contributors to the work, who are among the most respected researchers in philosophy, artificial intelligence and cognitive science.

SISDEP 95 provides an international forum for the presentation of state-of-the-art research and development results in the area of numerical process and device simulation. Continuously shrinking device dimensions, the use of new materials, and advanced processing steps in the manufacturing of semiconductor devices require new and improved software. The trend towards increasing complexity in structures and process technology demands advanced models describing all basic effects and sophisticated two and three dimensional tools for almost arbitrarily designed geometries. The book contains the latest results obtained by scientists from more than 20 countries on process simulation and modeling, simulation of process equipment, device modeling and simulation of novel devices, power semiconductors, and sensors, on device simulation and parameter extraction for circuit models, practical application of simulation, numerical methods, and software."

Welcome to Bavaria - Germany and to the First Intercontinental Maritime Simulation Symposium and Mathematical Modelling Workshop. A triennial international conference jointly pro moted by Control Data, IMSF and SCS, which takes place at Schliersee, a small town near the Alps. The aim of the Symposium is to cover most of the aspects of maritime modelling and simulation in theory and practice, to promote the exchange of knowledge and experience between dif ferent international research groups in this field, and to strengthen the international contact between developers and users of modelling and simulation techniques. On the occas on of the Symposium people of scientific and engineering disciplines will meet to discuss the state-of-the art and future activities and developments. A large number of contributed papers has been strictly exam ined and selected by the papers committee to guarantee a high international standard. The book contains the accepted papers which will be presented at the Symposium. The papers have been classified according to the following topics: VI 1. Fifth Generation Computer Technology 2. Simulation-Software-Tools 3. An Industrial Computer System - The Chrysler Story 4. Marine Mathematical Modelling 5. CFD for Marine Vehicles 6. Navigation Methodology 7. Marine Maneuvering and Motion Simulation 8. Off-Shore Modelling 9. Steering and Control of Marine Vehicles 10. Training and Traffic Control 11. Under-Water Vehicles Operation Authors from 9 countries will meet at the Symposium."

Arturo Carsetti According to molecular Biology, true invariance (life) can exist only within the framework of ongoing autonomous morphogenesis and vice versa. With respect to this secret dialectics, life and cognition appear as indissolubly interlinked. In this sense, for instance, the inner articulation of conceptual spaces appears to be linked to an inner functional development based on a continuous activity of selection and "anchorage" realised on semantic grounds. It is the work of "invention" and g- eration (in invariance), linked with the "rooting" of meaning, which determines the evolution, the leaps and punctuated equilibria, the conditions related to the unfo- ing of new modalities of invariance, an invariance which is never simple repetition and which springs on each occasion through deep-level processes of renewal and recovery. The selection perpetrated by meaning reveals its autonomy aboveall in its underpinning, in an objective way, the ongoing choice of these new modalities. As such it is not, then, concerned only with the game of "possibles," offering itself as a simple channel for pure chance, but with providing a channel for the articulation of the " le" in the humus of a semantic (and embodied) net in order to prepare the necessary conditionsfor a continuousrenewal and recoveryof original creativity. In effect, it is this autonomy in inventing new possible modules of incompressibility whichdeterminestheactualemergenceofnew(andtrue)creativity, whichalsotakes place through the "narration" of the effected construction.

The operation of understanding is the fundamental methodical procedure of hermeneutics and is usually seen as contradiction to scientific explanation by the usage of mathematical models. Yet understanding is the basic way in which humans organize their everyday practice, namely by understanding other people and social situations. In this book the authors demonstrate how an integration of hermeneutical understanding and scientific explanation can be done via the construction of suited geometrical models with neural networks of processes of understanding. In this sense the authors develop some kind of mathematical hermeneutics. Connecting links for the integration of the two methodical poles are the developments of particular models of Artificial Intelligence (AI), which are able to perform certain tasks of understanding.

Computer simulation has become a basic tool in many branches of physics such as statistical physics, particle physics, or materials science. The application of efficient algorithms is at least as important as good hardware in large-scale computation. This volume contains didactic lectures on such techniques based on physical insight. The emphasis is on Monte Carlo methods (introduction, cluster algorithms, reweighting and multihistogram techniques, umbrella sampling), efficient data analysis and optimization methods, but aspects of supercomputing, the solution of stochastic differential equations, and molecular dynamics are also discussed. The book addresses graduate students and researchers in theoretical and computational physics.

This book provides a versatile and lucid treatment of classic as well as modern probability theory, while integrating them with core topics in statistical theory and also some key tools in machine learning. It is written in an extremely accessible style, with elaborate motivating discussions and numerous worked out examples and exercises. The book has 20 chapters on a wide range of topics, 423 worked out examples, and 808 exercises. It is unique in its unification of probability and statistics, its coverage and its superb exercise sets, detailed bibliography, and in its substantive treatment of many topics of current importance. This book can be used as a text for a year long graduate course in statistics, computer science, or mathematics, for self-study, and as an invaluable research reference on probabiliity and its applications. Particularly worth mentioning are the treatments of distribution theory, asymptotics, simulation and Markov Chain Monte Carlo, Markov chains and martingales, Gaussian processes, VC theory, probability metrics, large deviations, bootstrap, the EM algorithm, confidence intervals, maximum likelihood and Bayes estimates, exponential families, kernels, and Hilbert spaces, and a self contained complete review of univariate probability.

Society heavily depends on infrastructure systems, such as road-traffic networks, water networks, electricity networks, etc. Infrastructure systems are hereby considered to be large-scale, networked systems, that almost everybody uses on a daily basis, and that are so vital that their incapacity or destruction would have a debilitating impact on the defense or economic security and functioning of society. The operation and control of existing infrastructures such as road-traffic networks, water networks, electricity networks, etc. are failing: too often we are confronted with capacity problems, unsafety, unreliability and inefficiency. This book concentrates on a wide range of problems concerning the way infrastructures are functioning today and discuss novel advanced, intelligent, methods and tools for the operation and control of existing and future infrastructures.

This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended papers presented were carefully reviewed and selected from 21 submissions. The topics covered are MABS in scientometrics; MABS in politics, transit and policy; pedestrian, crowds and large scale MABS; and MABS modeling.

Astronomers learn much of what they know about the mass, brightness, and size of stars by observing binary systems, in which two stars orbit each other, periodically cutting off the others light. This book provides astronomers with a guide to specifying an astrophysical model for a set of observations, selecting an algorithm to determine the parameters of the model, and estimating the errors of the parameters.

Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, and builds up a hierarchy of novel, flexible techniques to make measurements and reconstruct three-dimensional scenes from uncalibrated images, paying particular attention to the accuracy of the reconstruction. This book includes examples of interesting viable applications (eg. Forensic Science, History of Art, Virtual Reality, Architectural and indoor measurements), presented in a simple way, accompanied by pictures, diagrams and plenty of worked examples to help the reader understand and implement the algorithms.

This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15-16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28-30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

As the cost of developing new semiconductor technology at ever higher bit/gate densities continues to grow, the value of using accurate TCAD simu lation tools for design and development becomes more and more of a necessity to compete in today's business. The ability to tradeoff wafer starts in an advanced piloting facility for simulation analysis and optimization utilizing a "virtual fab" S/W tool set is a clear economical asset for any semiconductor development company. Consequently, development of more sophisticated, accurate, physics-based, and easy-to-use device and process modeling tools will receive continuing attention over the coming years. The cost of maintaining and paying for one's own internal modeling tool development effort, however, has caused many semiconductor development companies to consider replacing some or all of their internal tool development effort with the purchase of vendor modeling tools. While some (noteably larger) companies have insisted on maintaining their own internal modeling tool development organization, others have elected to depend totally on the tools offered by the TCAD vendors and have consequently reduced their mod eling staffs to a bare minimal support function. Others are seeking to combine the best of their internally developed tool suite with "robust," "proven" tools provided by the vendors, hoping to achieve a certain synergy as well as savings through this approach. In the following sections we describe IBM's internally developed suite of TCAD modeling tools and show several applications of the use of these tools."

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern generation, fault diagnosis, memory testing and power aware testing are discussed. Models and the corresponding algorithms are considered with respect to the most recent state of the art, and they are put into a historical context by a concluding chapter on the use of physical fault models in fault tolerance.

This book constitutes selected papers from the lectures given at the workshops held in conjunction with the User Modeling, Adaptation and Personalization Conference, UMAP 2011, Girona, Spain, in July 2011. The 40 papers presented were carefully reviewed and selected for inclusion in this book. For each workshop there is an overview paper summarizing the workshop themes, the accepted contributions and the future research trends. In addition the volume presents a selection of the best poster papers of UMAP 2011. The workshops included are: AST, adaptive support for team collaboration; AUM, augmenting user models with real worlds experiences to enhance personalization and adaptation; DEMRA, decision making and recommendation acceptance issues in recommender systems; PALE, personalization approaches in learning environments; SASWeb, semantic adaptive social web; TRUM, trust, reputation and user modeling; UMADR, user modeling and adaptation for daily routines: providing assistance to people with special and specific needs; UMMS, user models for motivational systems: the affective and the rational routes to persuasion.

The Dawn of Massively Parallel Processing in Meteorology presents collected papers of the third workshop on this topic held at the European Centre of Medium-Range Weather Forecasts (ECMWF). It provides an insight into the state of the art in using parallel processors operationally, and allows extrapolation to other time-critical applications. It also documents the advent of massively parallel systems to cope with these applications.

This volume presents the proceedings of the 7th International Confer ence of the Computer Graphics Society, CG International '89, held at the University of Leeds, UK, June 27-30, 1989. Since 1982 this confer ence has continued to attract high-quality research papers in all aspects of computer graphics and its applications. Originally the conference was held in Japan (1982-1987), but in 1988 was held in Geneva, Switzerland. Future conferences are planned for Singapore in 1990, USA in 1991, Japan in 1992, and Canada in 1993. Recent developments in computer graphics have concentrated on the following: greater sophistication of image generation techniques; advances in hardware and emphasis on the exploitation of parallelism, integration of robotics and AI techniques for animation, greater integ ration of CAD and CAM in CIM, use of powerful computer graphics techniques to represent complex physical processes (visualization), advances in computational geometry and in the representation and modelling of complex physical and mathematical objects, and improved tools and methods for HC . These trends and advances are reflected in this present volume. A number of papers deal with important research aspects in many of these areas."

The events leading up to the publication of this book started effectively in 1976 with the exchange of information between those modelling teams in Europe which were involved in the R&D-programme on Solar Energy of the Commission. When it became clear that the availability of experimental datafor model validation wm next to nothing, the Commission took the initiative to support in the frame of the Solar Energy R&D-programme the construction of Solar Pilot Test Facilities on eight sites in Europe. Each experimental facility consisted of two real solar heating systems with collectors, storage, controls, and msociated piping, but with the dwelling thermal distribution system replaced by a physical load simulator. One of the two systems on each site wm a reference system and wm identical for the eight participating teams. The simulator wm capable of producing a typical themalload for a house, interactive with the actual weather, and took into account the effects of the occupants. With datafrom these facilities not only were national simulation programs validated, but also the meanwhile commonly accepted modular structured European program EMGPl wm validated. EMGPl, which only could be run on a mainframe computer or under special conditions on a mini-computer, formed in tum the bmis for the development of EURSOL andEMGP3.EMGP3 is an improved userjriendly programpackagejorpersonal computers derived jrom EMGPl and includes a unique and user jriendly preprocessor.

Bivalve filter-feeding mollusks are important components of coastal ecosystems because they remove large quantities of suspended material from the water and excrete abundant amounts of reactive nutrients. These animals are also major prey for numerous predators including birds, fish, mammals, and invertebrates; furthermore, they are significant food resources for humans. While studies on the organismic and population level have dominated bivalve ecology, the recent focus on the ecosystem roles of filter feeding systems has led to larger-scale investigations. With this approach the specific topics of physiology, grazing, predation, nutrient cycling, physical environment, computer simulation modeling, and environmental management are combined into a meaningful whole.

This volume contains papers representing a comprehensive record of the contributions to the fifth workshop at EG '90 in Lausanne. The Eurographics hardware workshops have now become an established forum for the exchange of information about the latest developments in this field of growing importance. The first workshop took place during EG '86 in Lisbon. All participants considered this to be a very rewarding event to be repeated at future EG conferences. This view was reinforced at the EG '87 Hardware Workshop in Amsterdam and firmly established the need for such a colloquium in this specialist area within the annual EG conference. The third EG Hardware Workshop took place in Nice in 1988 and the fourth in Hamburg at EG '89. The first part of the book is devoted to rendering machines. The papers in this part address techniques for accelerating the rendering of images and efficient ways of improv ing their quality. The second part on ray tracing describes algorithms and architectures for producing photorealistic images, with emphasis on ways of reducing the time for this computationally intensive task. The third part on visualization systems covers a num ber of topics, including voxel-based systems, radiosity, animation and special rendering techniques. The contributions show that there is flourishing activity in the development of new algorithmic and architectural ideas and, in particular, in absorbing the impact of VLSI technology. The increasing diversity of applications encourage new solutions, and graphics hardware has become a research area of high activity and importance.