Algorithms

The recent exponential growth in the size of biological databases, the complexity of biological problems, and the need to deal with error in biological sequences require fast, low-memory computation a

Most existing books on wavelets are either too mathematical or they focus on too narrow a specialty. This book provides a thorough treatment of the subject from an engineering point of view. It is a o

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au

This book will help one gain access to the most wanted image-processing applications, including morphology, image restoration, and symbol recognition. Througout these pages you will find real-life ex

This book will address the advances, applications, research results, and emerging areas of optics, photonics, computational approaches, nano-photonics, bio-photonics, with applications in information

This book constitutes the proceedings of the 5th International Conference, FUN 2010, held in June 2010 in Ischia, Italy. FUN with algorithms is a three-yearly conference that aims at atractings works

This book constitutes the proceedings of the 4th International Workshop on Algorithms and Computation, held in Dhaka, Bangladesh, in February 2010. The 23 revised full papers were carefully reviewed a

This book examines key issues in designing semantics-oriented natural language processing systems. A broad conceptual framework for describing structured meanings of NL-texts is obtained by defining

Introduction by calvin Tsao. Essay by Rodolphe el-Khoury. Text by Mark Gardner, Stephan Jaklitsch.

The integration and convergence of state-of-the-art technologies in the grid have enabled more flexible, automatic, and complex grid services to fulfill industrial and commercial needs, from the LHC a

As VLSI technology moves to the nanometer scale for transistor feature sizes, the impact of manufacturing imperfections result in large variations in the circuit performance. Traditional CAD tools are

This handbook provides comprehensive coverage of basic concepts and recent developments in the field. Focusing on design, proof of correctness, and complexity analysis, this volume presents a detailed

This book deals with location problems. Location problems establish a set of facilities (resources) to minimize the cost of satisfying a set of demands (customers) with respect to a set of constraints

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an acc

This book covers the latest theories, applications and techniques in Biologically-Inspired Optimisation Methods. Many chapters derive from studies presented at workshops and international conferences

Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional

This compilation for academicians, researchers, and practitioners examines the fast growing area of wireless sensor networks and localization techniques, and explains fundamental theories underpinning

Solving optimization problems in complex systems often requires the implementation of advanced mathematical techniques. Quadratic programming (QP) is one technique that allows for the optimization of

Computer vision encompasses the construction of integrated vision systems and the application of vision to problems of real-world importance. The process of creating 3D models is still rather difficul

"This well-written book provides a clear and accessible treatment of the theory of discrete and continuous-time Markov chains, with an emphasis towards applications. The mathematical treatment is prec

The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dioA_d structures with graphs and their combinatorial properties. It does so at the s

The ability of parallel computing to process large data sets and handle time-consuming operations has resulted in unprecedented advances in biological and scientific computing, modeling, and simulatio

This book constitutes the refereed proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS 2007, held in Halifax, Canada, in August 2007. The papers present original res

This book details the necessary numerical methods, the theoretical background and foundations and the techniques involved in creating computer particle models, including linked-cell method, SPME-metho

String matching problems range from the relatively simple task of searching a single text for a string of characters to searching a database for approximate occurrences of a complex pattern. Recent years have witnessed a dramatic increase of interest in sophisticated string matching problems, especially in information retrieval and computational biology. This book presents a practical approach to string matching problems, focusing on the algorithms and implementations that perform best in practice. It covers searching for simple, multiple and extended strings, as well as regular expressions, and exact and approximate searching. It includes all the most significant new developments in complex pattern searching. The clear explanations, step-by-step examples, algorithm pseudocode, and implementation efficiency maps will enable researchers, professionals and students in bioinformatics, computer science, and software engineering to choose the most appropriate algorithms for their applicatio

Praise for The Mathematics of Derivatives"The Mathematics of Derivatives provides a concise pedagogical discussion of both fundamental and very recent developments in mathematical finance, and is part

How can we engineer systems capable of "cocktail party" listening? Human listeners are able to perceptually segregate one sound source from an acoustic mixture, such as a single voice from a mixture

Robot motion planning has become a major focus of robotics. Research findings can be applied not only to robotics but to planning routes on circuit boards, directing digital actors in computer graphi

Assuming only an elementary background in discrete mathematics, this textbook is an excellent introduction to the probabilistic techniques and paradigms used in the development of probabilistic algori

* Provides a broad overview of modeling approaches and solution methodologies for addressing inventory problems, particularly the management of high cost, low demand rate service parts found in multi-

This book constitutes the refereed proceedings of the 4th International Workshop on Algorithms in Bioinformatics, WABI 2004, held in Bergen, Norway, in September 2004.The 39 revised full papers presen

Moving on from earlier stochastic and robust control paradigms, this book introduces the fundamentals of probabilistic methods in the analysis and design of uncertain systems. The use of randomized a

Leung (computer science, New Jersey Institute of Technology) provides coverage of recent and advanced topics in scheduling. Contributors from management, industrial engineering, operations, and comput

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results o

Modeling the Internet and the Web covers the most important aspects of modeling the Web using a modern mathematical and probabilistic treatment. It focuses on the information and application layers, a

Speech coding is a highly mature branch of signal processing deployed in products such as cellular phones, communication devices, and more recently, voice over internet protocolThis book collects many

An innovative new book designed to teach algorithmic approaches to solving engineering problems. De-emphasizing syntax, the author focuses on structured approaches to implementing solutions using a s

Two important subproblems of computer vision are the detection and recognition of 2D objects in gray-level images. This book discusses the construction and training of models, computational approache