Kategoria BISAC: Computers >> Computer Science

This book constitutes the thoroughly refereed post-proceedings of NMA 2006 held in Borovets, Bulgaria. Coverage in the 84 revised full papers includes numerical methods for hyperbolic problems, robust preconditioning solution methods, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes, and large-scale computations in environmental modeling.

This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2007, held in Valencia, Spain in April 2007. It examines evolutionary computation in communications, networks, and connected systems; finance and economics; image analysis and signal processing; and transportation and logistics. Coverage also details evolutionary algorithms in stochastic and dynamic environments.

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 Second International Conference on Grid and Pervasive Computing, GPC 2007, held in Paris, France in May 2007. It covers all aspects of grid and pervasive computing and focuses on topics such as cluster computing, grid computing, semantic Web and semantic grid, service-oriented computing, peer-to-peer computing, mobile computing, as well as grid and pervasive related applications.

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 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. It addresses all major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory. The papers particularly focus on algorithms, complexity and computability theory.

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.