Maths for computer scientists

The book constitutes the refereed proceedings of the Second International Conference on Distributed Computing in Sensor Systems, DCOSS 2006, held in San Francisco, California, USA in June 2006.

Domain decomposition is an active, interdisciplinary research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models of natural and engineered systems.

The book offers the readers a collection of high quality papers in selected topics of Discrete Mathematics, to celebrate the 60th birthday ofProfessor Jarik Nesetril.

Asia Information Retrieval Symposium (AIRS) 2006 was the third AIRS conf- ence in the series established in 2004.

This volume contains the refereed proceedings of the 3rd International Conf- ence on Sequences and Their Applications (SETA 2004), held in Seoul, Korea during October 24-28, 2004.

The Second International Workshop on Parameterized and Exact Computation (IWPEC) was held in Zu *rich, Switzerland, during September 13-15, 2006.

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005).

Welcome to the proceedings of the 2006 International Conference on High- Performance Computing and Communications (HPCC 2006), which was held in Munich, Germany, September 13-15, 2006.

Many vision problems have to deal with di?

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006.

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998.

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31-June1,2005.

Welcome to the proceedings of APPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies.

The last two years have been great for high performance computing in Baden- W* urttemberg and beyond.

This book contains refereed and improved papers presented at the 6th IAPR Workshop on Graphics Recognition (GREC 2005).

Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe presentation of recent results in Integer Programming and Combinatorial Op- mization.

The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005.

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series.

This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2005, held in Mont Saint-Michel, France in May 2005.

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications.

These are the proceedings of the 24th Annual IACR Eurocrypt Conference.