This new approach to real analysis stresses the use of the subject in applications, by showing how the principles and theory of real analysis can be applied in a variety of settings in subjects ranging from Fourier series and polynomial approximation to discrete dynamical systems and nonlinear optimization. Users will be prepared for more...

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, for example, the cost involved when executing a transition, the resources or time needed for this, or the probability or reliability of its successful execution. Weights can also be added to classical automata...

The LLL algorithm is a polynomial-time lattice reduction algorithm, named after its inventors, Arjen Lenstra, Hendrik Lenstra and László Lovász. The algorithm has revolutionized computational aspects of the geometry of numbers since its introduction in 1982, leading to breakthroughs in fields as diverse as computer algebra,...

This textbook reveals the workings of numerous database systems, enabling readers to develop complex database applications. Students will gain hands-on experience by following the exercises. The theory is complemented by detailed examination of specific applications from a broad range of areas. The text assumes only basic discrete mathematics,...

The geometry of lines occurs naturally in such different areas as sculptured surface machining, computation of offsets and medial axes, surface reconstruction for reverse engineering, geometrical optics, kinematics and motion design, and modeling of developable surfaces. This book covers line geometry from various viewpoints and aims towards...

Dynamics of Ice Sheets and Glaciers presents an introduction to the dynamics and thermodynamics of flowing ice masses on Earth. Based on an outline of general continuum mechanics, the different initial-boundary-value problems for the flow of ice sheets, ice shelves, ice caps and glaciers are systematically derived. Special emphasis is put on...

Fourier analysis has been the inspiration for a technological wave of advances in fields such as imaging processing, financial modeling, algorithms and sequence design. This unified, self-contained book examines the mathematical tools used for decomposing and analyzing functions, specifically, the application of the [discrete] Fourier transform...