Many mechanics and physics problems have variational formulations making them appropriate for numerical treatment by finite element techniques and efficient iterative methods.
CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?
Synchronization: From Simple to Complex is devoted to the fundamental phenomenon in physics - synchronization that occurs in coupled non-linear dissipative oscillators.
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.
In May 2002 a number of about 20 scientists from various disciplines were invited by the Berlin-Brandenburg Academy of Sciences and Humanities to participate in an interdisciplinary workshop on structures and structure generating processes.
Computer analysis of images and patterns is a scienti c eld of longstanding tradition, with roots in the early years of the computer era when electronic brains inspired scientists.
Applied catalysis is based nowadays not only on empirical knowledge but also on the many insights, that have been gained from the fundamental understanding of catalysis.
This volume presents the articles accepted for the 8th International Conference on Computer Analysis of Images and Patterns (CAIP'99), held in Ljubljana, Slovenia, 1{3 September 1999.
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002).
LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27 -31, 2001.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
It is our belief that researchers and practitioners acquire, through experience and word-of-mouth, techniques and heuristics that help them successfully apply neural networks to di cult real world problems.
This book presents recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free convection, accelerating film boiling and condensation of Newtonian fluids, as well as accelerating film flow of non-Newtonian power-law fluids (FFNF).
This text describes computer programs for simulating phenomena in hydro- dynamics, gas dynamics, and elastic plastic flow in one, two, and three dimen- sions.
Organic Computing is a research field emerging around the conviction that problems of organization in complex systems in computer science, telecommunications, neurobiology, molecular biology, ethology, and possibly even sociology can be tackled scientifically in a unified way.
This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL'99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30 - September 1, 1999.
The aim of this book is to advocate and promote network models of linguistic systems that are both based on thorough mathematical models and substantiated in terms of linguistics.
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands.
In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields.