Kategoria BISAC: Computers >> Computer Science

This book constitutes the refereed proceedings of the 4th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2006. The 17 revised full papers presented were carefully reviewed and selected from 34 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative discoveries about genome structure and process to theorems on the complexity of computational problems inspired by genome comparison.

This book constitutes the refereed proceedings of the Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006. The book presents 12 revised full papers together with 5 invited papers. These focus on the evolution and emergence of language - a fast growing interdisciplinary research area touching such different disciplines as anthropology, linguistics, psychology, primatology, neuroscience, cognitive science and computer science.

This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. Figures,...

This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. It covers methodological and foundational issues from AI, OR, and algorithmics as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.

This book constitutes the refereed proceedings of the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, held in Toronto, Canada in May 2007 in conjunction with the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, both as part of the Joint Rough Set Symposium, JRS 2007.

This book constitutes the refereed proceedings of the 6th International Workshop on Experimental and Efficient Algorithms, WEA 2007, held in Rome, Italy, in June 2007. The 30 revised full papers presented together with three invited talks cover the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms.

This book constitutes the refereed proceedings of the Third International Conference on Algorithmic Aspects in Information and Management, AAIM 2007, held in Portland, OR, USA in June 2007.

It covers graph algorithms, combinatorics, scheduling, graph theory, network algorithms, game theory, option theory, computational geometry, graph theory and combinatorics, as well as networks and data.

This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held in Castiglioncello, Italy in June 2007. It details the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty, but nonetheless original and scientifically profound, contributions to the area.

This book constitutes the refereed proceedings of the 14th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2007, held in Castiglioncello, Italy in June 2007.

The 23 revised full papers and four invited talks cover graph exploration, fault tolerance, distributed algorithms and data structures, location problems, wireless networks, fault tolerance, as well as parallel computing and selfish routing.

This book constitutes the thoroughly refereed post-proceedings of two joint RECOMB 2006 satellite events: the Second Annual Workshop on Systems Biology, RSB 2006, and the First Biennial Workshop on Computational Proteomics, RCP 2006, held in San Diego, CA, USA in December 2006. The papers cover various aspects of systems biology and explore the use of computational mass spectrometry in various proteomic applications.

This book constitutes the refereed proceedings of the Third International Conference on Distributed Computing in Sensor Systems, DCOSS 2007, held in Sante Fe, NM, USA in June 2007. It covers algorithms, applications, and systems. It bridges the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets.