Kategoria BISAC: Computers >> Computer Science

This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007. Seventy-six full papers are presented, together with four invited lectures. The papers are grouped into three major tracks covering algorithms, automata, complexity, and games; logic, semantics, and theory of programming; and security and cryptography foundations.

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Warsaw, Poland in June 2007. The conference was dedicated to the memory of Professor Zdzislaw Pawlak. Seventy-three full papers are presented, together with two keynote lectures and eleven invited papers. Each of these papers was subject to a strict editorial review.

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biology

There is a world beyond Turing, as more and more computer researchers are demonstrating, but where would you find out about the current leading edge in unconventional computation? Here, in this fascinating work that is the refereed proceedings of the 6th International Conference on Unconventional Computation, held in Kingston, Canada, in August 2007. The 17 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed.

Running to almost 400 pages, and featuring more than 40 papers, this work on combinatorial optimization and applications will be seen as an important addition to the literature. It constitutes the refereed proceedings of the first International Conference on Combinatorial Optimization and Applications, COCOA 2007, held in Xi'an, China in August of that year. The 29 revised full papers presented together with 8 invited papers and 2 invited presentations were carefully reviewed and selected from 114 submissions and cover both theoretical issues and practical applications.

This book constitutes the refereed proceedings of the 6th International Conference on Artificial Immune Systems, ICARIS 2007, held in Santos, Brazil, August 2007. The papers are organized in topical sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions.

This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.

This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways. The 17 full papers presented here were carefully reviewed and selected from numerous submissions.

The refereed post-proceedings of the First International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies are presented in this volume. The symposium provided an interdisciplinary forum for researchers to share their discoveries and approaches. The 46 full papers address large data processing problems using different methodologies from major disciplines such as computer science, combinatorics, and statistics.

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 2007. The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Stuttgart High Performance Computing Center in 2007. The reports cover all fields of computational science and engineering, with emphasis on industrially relevant applications. Presenting results for both vector-based and microprocessor-based systems, the book allows comparison between performance levels and usability of various architectures.

This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, held in Melbourne, Australia in September 2007. The 27 revised full papers were carefully reviewed from 102 submissions, and they are organized in topical sections on cultural studies, semantics, similarity, mapping and representation, perception and cognition, reasoning and algorithms, navigation and landmarks, as well as uncertainty and imperfection.