Product Description: In this fourth and final volume the author extends Buchberger's Algorithm in three different directions. First, he extends the theory to group rings and other Ore-like extensions, and provides an operative scheme that allows one to set a Buchberger theory over any effective associative ring...read more

Product Description: This third volume of four finishes the program begun in Volume 1 by describing all the most important techniques, mainly based on Gröbner bases, which allow one to manipulate the roots of the equation rather than just compute them...read more

Product Description: Iterative Detection: Adaptivity, Complexity Reduction, and Applications is a primary resource for both researchers and teachers in the field of communication. Unlike other books in the area, it presents a general view of iterative detection that does not rely heavily on coding theory or graph theory...read more

Product Description: book, the sixth in the series "Collected Papers of John Milnor", contains all of Milnor's work on Real and Complex Dynamics from 1953 to 1999, plus one paper from 2000. These papers provide important and fundamental material in real and complex dynamical systems...read more

Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantic models, the equational properties of the fixed point operation are captured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and infinitary regular languages, trees, synchronization trees, 2-categories, and others. The book begins with a gentle introduction to the study of universal algebra in the framework of algebraic theories. A remarkably useful calculus is developed for manipulating algebraic theory terms. The reader is then guided through a vast terrain of theorems and applications by means of detailed proofs, examples, and exercises, with the emphasis on equational proofs. The last chapter shows that the familiar topic of correctness logic is a special case of the equational logic of iteration theories. Several significant open problems are scattered throughout the text.

Product Description: Iterative Splitting Methods for Differential Equations explains how to solve evolution equations via novel iterative-based splitting methods that efficiently use computational and memory resources. It focuses on systems of parabolic and hyperbolic equations, including convection-diffusion-reaction equations, heat equations, and wave equations...read more

Product Description: "September 2011, volume 213, number 1003 (fourth of 5 numbers)."

Product Description: With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the primal-dual method have proven their staying power and versatility. This book describes a simple and powerful method that is iterative in essence, and similarly useful in a variety of settings for exact and approximate optimization...read more

Product Description: Covering the full range of channel codes from the most conventional through to the most advanced, the second edition of Turbo Coding, Turbo Equalisation and Space-Time Coding is a self-contained reference on channel coding for wireless channels...read more

Product Description: This monograph studies the design of robust, monotonically-convergent iterative learning controllers for discrete-time systems. It presents a unified analysis and design framework that enables designers to consider both robustness and monotonic convergence for typical uncertainty models, including parametric interval uncertainties, iteration-domain frequency uncertainty, and iteration-domain stochastic uncertainty...read more

Product Description: Iterative error correction codes have found widespread application in cellular communications, digital video broadcasting and wireless LANs. This self-contained treatment of iterative error correction presents all the key ideas needed to understand, design, implement and analyse these powerful codes...read more

Product Description: This book is a revised version of the first edition, regarded as a classic in its field. In some places, newer research results have been incorporated in the revision, and in other places, new material has been added to the chapters in the form of additional up-to-date references and some recent theorems to give readers some new directions to pursue...read more

This book presents iterative methods for solving nonlinear equations. It applies theoretical results to engineering, dynamic economic systems, input-output systems, nonlinear and linear differential equations, and optimization problems.

Product Description: Applied Iterative Methods is a self-contained treatise suitable as both a reference and a graduate-level textbook in the area of iterative algorithms. It is the first book to combine subjects such as optimization, convex analysis, and approximation theory and organize them around a detailed and mathematically sound treatment of iterative algorithms...read more

Product Description: The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined...read more

Product Description: Toeplitz systems arise in a variety of applications in mathematics, scientific computing, and engineering, including numerical partial and ordinary differential equations, numerical solutions of convolution-type integral equations, stationary autoregressive time series in statistics, minimal realization problems in control theory, system identification problems in signal processing, and image restoration problems in image processing...read more

Product Description: This labor and delivery guide includes prenatal and postpartum management. Covers uterine contraction monitoring and interventions, neonatal resuscitation, and obstetric emergencies, plus a handy L&D analgesic/anesthetic guide.

Product Description: A complete survey of Gröbner bases and their applications, this book will be essential for all workers in commutative algebra, computational algebra and algebraic geometry. The second volume of the treatise focuses on Buchberger theory and its application to the algorithmic view of commutative algebra...read more