This volume constitutes the refereed proceedings of the 5th International AMAST Workshop on Formal Methods for Real Time and Probabilistic Systems (ARTS '99) held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real time processes, real time compilation, stochastic process algebra, and modeling and...

This book constitutes a carefully arranged selection of revised full papers chosen from the presentations given at the Second International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR'96, held in Porto, Portugal, in September 1996.
Besides 10 invited papers by internationally leading experts, 17 papers were accepted from the submitted conference papers for inclusion in this documentation following a second round of refereeing. A broad spectrum of topics and applications for which parallelism contributes to progress is covered, among them parallel linear...

This book constitutes the refereed proceedings of the International Conference on Computational Intelligence held in Dortmund, Germany, as the 5th Fuzzy Days, in April 1997.
Besides three invited contributions, the book presents 53 revised full papers selected from a total of 130 submissions. Also included are 35 posters documenting a broad scope of applications of computational intelligence techniques in a variety of areas. The volume addresses all current issues in computational intelligence, e.g. fuzzy logic, fuzzy control, neural networks, evolutionary algorithms, genetic programming,...

This volume constitutes the thoroughly refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, PATAT 2000, held in Konstanz, Germany, in August 2000. The 22 revised full papers were carefully selected after two rounds of reviewing and revision. Besides foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, and searching, a variety of application fields are addressed including course and school timetabling, examination timetabling, employee timetabling,...

It is our great pleasure and honor to organize the First IEEE Computer Society International Workshop on Biologically Motivated Computer Vision (BMCV 2000). The workshop BMCV 2000 aims to facilitate debates on biologically motivated vision systems and to provide an opportunity for researchers in the area of vision to see and share the latest developments in state-of-the-art technology. The rapid progress being made in the field of computer vision has had a tremendous impact on the modeling and implementation of biologically motivated computer vision. A multitude of new advances and findings...

The lecture courses of the CIME Summer School on Probabilistic Models for Nonlinear PDE's and their Numerical Applications (April 1995) had a three-fold emphasis: first, on the weak convergence of stochastic integrals; second, on the probabilistic interpretation and the particle approximation of equations coming from Physics (conservation laws, Boltzmann-like and Navier-Stokes equations); third, on the modelling of networks by interacting particle systems. This book, collecting the notes of these courses, will be useful to probabilists working on stochastic particle methods and on the...

The book discusses a series of higher-dimensional moduli spaces, of abelian varieties, cubic and K3 surfaces, which have embeddings in projective spaces as very special algebraic varieties. Many of these were known classically, but in the last chapter a new such variety, a quintic fourfold, is introduced and studied. The text will be of interest to all involved in the study of moduli spaces with symmetries, and contains in addition a wealth of material which has been only accessible in very old sources, including a detailed presentation of the solution of the equation of 27th degree for the...

This is a collection of 13 revised full papers from the Third International Workshop on the Principles of Document Preparation. The papers focus equally on the theory and practice of document processing. Among the topics covered are theory of media, cross media publishing and multi-modal documents, SGML content models, grammar-compatible stylesheets, multi-media documents, temporal constraints in multimedia, hypertext representation, contextual knowledge, structured documents for IR, Web publishing, and virtual documents.

"When do the Lebesgue-Bochner function spaces contain a copy or a complemented copy of any of the classical sequence spaces?" This problem and the analogous one for vector- valued continuous function spaces have attracted quite a lot of research activity in the last twenty-five years. The aim of this monograph is to give a detailed exposition of the answers to these questions, providing a unified and self-contained treatment. It presents a great number of results, methods and techniques, which are useful for any researcher in Banach spaces and, in general, in Functional Analysis. This book is...

Since the injective envelope and projective cover were defined by Eckmann and Bas in the 1960s, they have had great influence on the development of homological algebra, ring theory and module theory. In the 1980s, Enochs introduced the flat cover and conjectured that every module has such a cover over any ring. This book provides the uniform methods and systematic treatment to study general envelopes and covers with the emphasis on the existence of flat cover. It shows that Enochs' conjecture is true for a large variety of interesting rings, and then presents the applications of the results....