Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics like those occuring in nature.
Parallel cellular machines hold potential both scientifically, as vehicles for studying phenomena of interest in areas such as complex adaptive systems and artificial life, and practically, enabling the construction of novel systems, endowed...

This book constitutes the strictly refereed proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-12, held in Toulouse, France, June 1997.
The 27 revised full papers presented were carefully selected by the program committee for inclusion in the volume. The papers address a broad range of current issues in coding theory and computer algebra spanning polynomials, factorization, commutative algebra, real geometry, group theory, etc. on the mathematical side as well as software systems, telecommunication, complexity theory,...

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity.
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers...

This monograph deals with ion-induced electron emission from crystalline solids bombarded by fast ions. During the past decade, electron spectroscopy combined with the ion channeling technique has revealed various "messages" about ion-solid and electron-solid interactions that are carried by the emitted electrons. In addition, the book describes the underlying physics and experimental techniques. It will provide useful information for students and scientists working in ion-beam-based research and development in various areas of atomic and solid-state physics, materials science, and surface...

This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML and much more.

Any topological theory of knots and links should be based on simple ideas of intersection and linking. In this book, a general theory of link bordism in manifolds and universal constructions of linking numbers in oriented 3-manifolds are developed. In this way, classical concepts of link theory in the 3-spheres are generalized to a certain class of oriented 3-manifolds (submanifolds of rational homology 3-spheres). The techniques needed are described in the book but basic knowledge in topology and algebra is assumed. The book should be of interst to those working in topology, in particular...

This volume presents the refereed proceedings of the East-European Conference on Advances in Databases and Information Systems and of the International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, held jointly in Prague, Czech Republic in September 2000. The 27 revised papers presented together with one invited paper and the abstract of an invited talk were carefully reviewed and selected from 115 submissions. The papers present results on a variety of topical issues in database research and design with a certain emphasis on advanced applications in various...

The primary object of the lecture notes is to develop a treatment of association schemes analogous to that which has been so successful in the theory of finite groups. The main chapters are decomposition theory, representation theory, and the theory of generators. Tits buildings come into play when the theory of generators is developed. Here, the buildings play the role which, in group theory, is played by the Coxeter groups. - The text is intended for students as well as for researchers in algebra, in particular in algebraic combinatorics.

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the...

Describes some interactions of topology with other areas of mathematics. This book deals with the topology of pointwise convergence and proves results of Bourgain, Fremlin, Talagrand and Rosenthal on compact sets of Baire class-1 functions. It also presents some topological dynamics of beta-N and its applications to combinatorial number theory.