Mathematics

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico.

The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000.

This volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15-17 December 2003.

Choquet capacities, which provide the weighting mechanism for the Choquet and other fuzzy integrals, model synergistic and antagonistic interactions between variables by assigning value to all subsets rather than individual inputs.

This textbook explores differential geometrical aspects of the theory of completely integrable Hamiltonian systems.

This textbook explores differential geometrical aspects of the theory of completely integrable Hamiltonian systems.

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity.

The 14th issue of the Transactions on Computational Science journal contains nine papers, all revised and extended versions of papers presented at the International Symposium on Voronoi Diagrams 2010, held in Quebec City, Canada, in June 2010.

One common characteristics of a complex system is its ability to withstand major disturbances and the capacity to rebuild itself.

This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project.

Brain Dynamics serves to introduce graduate students and nonspecialists from various backgrounds to the field of mathematical and computational neurosciences.

Effective evacuation of people from closed spaces is an extremely important topic, since it can save real lives in emergency situations that can be brought about by natural and human made disasters.

Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics.

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD'99, held in Prague, Czech Republic in September 1999.

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist.

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997.

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own.

Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001.

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001.

The 7th Paci?

This volume contains the proceedings of the 4th International Conference on - formation and Communications Security (ICICS2002).

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H.

'Network' is a heavily overloaded term, so that 'network analysis' means different things to different people.

This book constitutes the proceedings of the International Symposium on Neural N- works (ISNN 2004) held in Dalian, Liaoning, China duringAugust 19-21, 2004.

Cryptology nowadays is one of the most important areas of applied mathematics, building on deep results and methods from various areas of mathematics.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Artificial Evolution, EA 2003, held in Marseilles, France in October 2003.

The sixth Algorithmic Number Theory Symposium was held at the University of Vermont, in Burlington, from 13-18 June 2004.

In this book for the first time two scientific fields - consensus formation and synchronization of communications - are presented together and examined through their interrelational aspects, of rapidly growing importance.

Synchronization of chaotic systems, a patently nonlinear phenomenon, has emerged as a highly active interdisciplinary research topic at the interface of physics, biology, applied mathematics and engineering sciences.

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers.

This volume contains papers selected for presentation during the 24th Interna- tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland.

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics.