Wow! eBook – Blog

Book Description

This text and reference on string processes and pattern matching presents examples related to the automatic processing of natural language, to the analysis of molecular sequences and to the management of textual databases. Algorithms are described in a C-like language, with correctness proofs and complexity analysis, to make them ready to implement.

The book will be an important resource for students and researchers in theoretical computer science, computational linguistics, computational biology, and software engineering.

Review
‘perfect for lectures on ‘stringology’, for graduate students as a reference on the topic and for appliers in linguistic or molecular biology’ Acta Scientiarum Mathematicarum

About the Author
Professor Maxime Crochemore received his PhD in 1978 and his Doctorat d’état in 1983 at the University of Rouen. He got his first professorship position at the University of Paris-Nord in 1975 where he acted as President of the Department of Mathematics and Computer Science for two years. He became professor at the University Paris 7 in 1989 and was involved in the creation of the University of Marne-la-Vallée where he is presently Professor. Download Now »

Book Description

The book represents a well written, consistent and easy to follow view on the area of algorithm analysis. It gives an excellent overview of various mathematical and computer science areas, including but not limited to combinatorial geometry, NP-problems, complexity theory, graph theory, algorithm analysis, dynamic programming and even computational geometry.

Most of the chapters are intended for a senior level undergraduate and graduate student, but some (such as part 4 devoted to complexity problems) are more suitable for “mature” audience and require some preliminary knowledge in the area.

I found chapters on sorting, data structures, recursion and functional programming well written and structured, and examples to be practical as well as informative.

Sections on amortized analysis, randomized algorithms, approximation algorithms and iteration improvement deal with current directions in the algorithmic research and provide an excellent overview of the “state-of-the-art” in these areas. I also enjoyed reading through the section on greedy algorithms (shortest path and minimum spanning tree problems).

Section on computational complexity and analysis of the relationship between complexity classes seems to be a bit complicated, those who are interested in this area should probably do some preliminary reading. Download Now »

Book Description

Scheduling and multicriteria optimisation theory have been subject, separately, to numerous studies. Since the last twenty years, multicriteria scheduling problems have been subject to a growing interest. However, a gap between multicriteria scheduling approaches and multicriteria optimisation field exits. This book is an attempt to collect the elementary of multicriteria optimisation theory and the basic models and algorithms of multicriteria scheduling. It is composed of numerous illustrations, algorithms and examples which may help the reader in understanding the presented concepts. This book covers general concepts such as Pareto optimality, complexity theory, and general method for multicriteria optimisation, as well as dedicated scheduling problems and algorithms: just-in-time scheduling, flexibility and robustness, single machine problems, parallel machine problems, shop problems, etc. The second edition contains revisions and new material.

Review
From the reviews of the second edition: “The book is devoted to a particular class of scheduling problems, namely, to those that involve multiple criteria for the evaluation of the constructed schedules. This approach is highly motivated by practical needs, several examples of which illustrate the thesis well. a ] The book is complemented by two appendices presenting, respectively, the notation of scheduling problems and a synthetic summary of the results presented. Summing up, I consider this book being a valuable introduction to the interesting field of multicriteria scheduling problems a ] .” (Jacek Blazewicz, Zentralblatt MATH, Vol. 1126 (3), 2008). Download Now »

Book Description

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and, quantified formulas. They also study the problem of deciding combined theories and dedicate a chapter to modern techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory. This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa, and at the University of Oxford. Each chapter includes a detailed bibliography and exercises. Lecturers’ slides and a C++ library for rapid prototyping of decision procedures are available from the authors’ website. Download Now »

Book Description

This new book from the authors of the classic book Numerical Methods addresses the increasingly important role of numerical methods in science and engineering. More cohesive and comprehensive than any other modern textbook in the field, it combines traditional and well-developed topics with other material that is rarely found in numerical analysis texts, such as interval arithmetic, elementary functions, operator series, convergence acceleration, and continued fractions. Although this volume is self-contained, more comprehensive treatments of matrix computations will be given in a forthcoming volume. A supplementary Website contains three appendices: an introduction to matrix computations; a description of Mulprec, a MATLAB® multiple precision package; and a guide to literature, algorithms, and software in numerical analysis. Review questions, problems, and computer exercises are also included. For use in an introductory graduate course in numerical analysis and for researchers who use numerical methods in science and engineering.

Review
‘This work is a monumental undertaking and represents the most comprehensive textbook survey of numerical analysis to date. It will be an important reference in the field for many years to come.’ Nicholas J. Higham, University of Manchester. Download Now »

Book Description

Probabilistic robotics is a new and growing area in robotics, concerned with perception and control in the face of uncertainty. Building on the field of mathematical statistics, probabilistic robotics endows robots with a new level of robustness in real-world situations.

This book introduces the reader to a wealth of techniques and algorithms in the field. All algorithms are based on a single overarching mathematical foundation. Each chapter provides example implementations in pseudo code, detailed mathematical derivations, discussions from a practitioner’s perspective, and extensive lists of exercises and class projects. The book’s Web site, http://www.probabilistic-robotics.org, has additional material.

The book is relevant for anyone involved in robotic software development and scientific research. It will also be of interest to applied statisticians and engineers dealing with real-world sensor data.

About the Author
Sebastian Thrun is Associate Professor in the Computer Science Department at Stanford University and Director of the Stanford AI Lab. Download Now »