Maths for computer scientists

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.

This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005).

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.

Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2004) held in Pittsburgh, USA, August 18-20, 2004.

Thisvolumecontainsrefereedpapersdevotedtocodingandcryptography.

One of the superb characteristics of Intelligent Data Analysis (IDA) is that it is an interdisciplinary ?

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti?

The Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) is a leading international conference in the area of data mining and knowledge discovery.

The KDXD 2006 (Knowledge Discovery from XML Documents) workshop is the ?

TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series of Information - trieval with Asian Languages (IRAL) workshops held in six di?

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology.

The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems.

This book contains the Proceedings of the 5th Workshop on OpenMP Appli- tionsandTools(WOMPAT2004),whichtookplaceattheUniversityofHouston, Houston, Texas on May 17 and 18, 2004.