Mathematics

Providing an introduction to the theory of nonlinear Fokker-Planck equations, this book discusses fundamental properties of transient and stationary solutions, emphasizing the stability analysis of stationary solutions by means of self-consistency equations, linear stability analysis, and Lyapunov's direct method.

This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis.

The book is based on the PhD thesis "e;Descriptive Set Theoretic Methods in Automata Theory,"e; awarded the E.

Many mechanics and physics problems have variational formulations making them appropriate for numerical treatment by finite element techniques and efficient iterative methods.

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions.

The world as it is viewed from modern physics and cosmology has many strange and unexpected features.

Action planning has always played a central role in Artificial Intelligence.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Information Security and Cryptology, ICISC 2003, held in Seoul, Korea, in November 2003.

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

Diagrams 2000 is dedicated to the memory of Jon Barwise.

This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001.

The ninth in the series of IMA Conferences on Cryptography and Coding was held (as ever) at the Royal Agricultural College, Cirencester, from 16-18 Dec- ber 2003.

This book constitutes the refereed proceedings of the 9th Annual European Symposium on Algorithms, ESA 2001, held in Aarhus, Denmark, in August 2001.

Most networks and databases that humans have to deal with contain large, albeit finite number of units.

This book constitutes the refereed proceedings of the Third International Euro-Par Conference, held in Passau, Germany, in August 1997.

The papers in this volume were selected for presentation at the Fourth Annual International Computing and Combinatorics Conference (COCOON'98), held on August 12-14, 1998, in Taipei.

 Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances.

Johannes Buchmann is internationally recognized as one of the leading figures in areas of computational number theory, cryptography and information security.

This book presents Maple solutions to a wide range of problems relevant to chemical engineers and others.

Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career.

EUROCRYPT 2001, the 20th annual Eurocrypt conference, was sponsored by the IACR, the International Association for Cryptologic Research, see http://www.

The third successful completion of the INDOCRYPT conference series marks the acceptance of the series by the international research community as a forum for presenting high-quality research.

This book addresses hybrid simulation of plasmas; it is aimed at developing insight into the essence of plasma behavior.

Rules - the clearest, most explored and best understood form of knowledge representation - are particularly important for data mining, as they offer the best tradeoff between human and machine understandability.

The ability to draw inferences is a central operation in any artificial intelligence system.

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.