إجمالي الكتب: 127 - 144 / 210
إجمالي الكتب: 127 - 144 / 210
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their close connection to the Plancherel formula for locally compact groups. The connection is demonstrated by the discussion of a toy example, and then employed for two purposes: Mathematically, it serves as a powerful tool, yielding existence results and criteria for inversion formulae which generalize many of the known results. Moreover, the connection provides the starting point for a – reasonably self-contained – exposition of Plancherel theory. Therefore, the book can also be read as a problem-driven introduction to the Plancherel formula.
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the last chapters, on universal algebras and categories, including tripleability, give valuable general views of algebra.
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor Pei Yu, has created a second edition of his seminal work on the subject. Liao begins with an introduction to the Lurie problem and the Lurie control system, before moving on to the simple algebraic sufficient conditions for the absolute stability of autonomous and non-autonomous ODE systems, as well as several special classes of Lurie-type systems. The focus of the book then shifts toward the new results and research that have appeared in the decade since the first edition was published. This includes nonlinear control systems with multiple controls, interval control systems, time-delay and neutral Lurie control systems, systems described by functional differential equations, the absolute stability for neural networks, as well as applications to chaos control and chaos synchronization.
Abductive Reasoning : Logical Investigations into Discovery and Explanation
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications.
A window on the future of geodesy ; Proceedings of the International Association of Geodesy. IAG General Assembly, Sapporo, Japan June 30 - July 11, 2003
These proceedings represent the worldwide picture of the state of the art of geodesy. The volume comprehensively covers the most recent results and supplies a good review of the new ideas developing in the field, opening a window to the future of geodesy.
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have been applied to image stitching, stereo vision, image mosaics, solid object recognition and video or web image retrieval. More fundamentally, the ability of humans and animals to detect and recognize shapes is one of the enigmas of perception. The book describes a complete method that starts from a query image and an image database and yields a list of the images in the database containing shapes present in the query image. A false alarm number is associated to each detection. Many experiments will show that familiar simple shapes or images can reliably be identified with false alarm numbers ranging from 10-5 to less than 10-300.
A Taste of Topology
The present book grew out of notes for an introductory topology course at the University of Alberta. It provides a concise introduction to set-theoretic topology (and to a tiny little bit of algebraic topology). Great care has been devoted to the selection of examples that are not self-serving, but already accessible for students who have a background in calculus and elementary algebra, but not necessarily in real or complex analysis.
A Subtle and Mysterious Machine : The Medical World of Walter Charleton (1619-1707)
Walter Charleton (1619-1707) has been widely depicted as a natural philosopher whose intellectual career mirrored the intellectual ferment of the ‘scientific revolution’. Instead of viewing him as a barometer of intellectual change, I examine the previously unexplored question of his identity as a physician. Examining three of his vernacular medical texts, this volume considers Charleton’s thoughts on anatomy, physiology and the methods by which he sought to understand the invisible processes of the body.
A Space of Their Own : The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as places of horror where the patients are restrained and left to listen to the cries of their fellow inmates in despair. But what was the world of nineteenth century lunatic asylums really like? Are these images true? This book will explore this world using the techniques of historical archaeology and history.
A Software-Defined GPS and Galileo Receiver : A Single-Frequency Approach
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided by the GPS constellation of satellites. There is an increasing need for a unified open platform that will enable enhanced receiver development and design, as well as cost-effective testing procedures for various applications. This book provide hands-on exploration of new technologies in this rapidly growing field. One of the unique features of the work is the interactive approach used, giving readers the ability to construct their own Global Navigation Satellite Systems (GNSS) receivers. To construct such a reconfigurable receiver with a wide range of applications, the authors discuss receiver architecture based on software-defined radio (SDR) techniques. The presentation unfolds in a systematic, user-friendly style and goes from the basics to cutting-edge research.
A Singular Introduction to Commutative Algebra
Aims to lead a further stage in the computational revolution in commutative algebra. Another feature of the book is its breadth of coverage of theoretical topics in the portions of commutative algebra closest to algebraic geometry, with algorithmic treatments of almost every topic.
A Short Media History of English Literature
Explores the history of literature as a history of changing media and modes of communication, from manuscript to print, from the codex to the computer, and from paper to digital platforms. It argues that literature has evolved, and continues to evolve, in sync with material forms and formats that engage our senses in multiple ways. Because literary experiences are embedded in, and enabled by, media, the book focuses on literature as a changing combination of material and immaterial features.
A Short Course on Operator Semigroups
Gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on Banach spaces. It treats the fundamental Hille-Yosida generation theorem as well as perturbation and approximation theorems for generators and semigroups.
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip the burgeoning field of quantum information science to its basics by linking it to universal concepts in physics.
A Seat on the Aisle, Please! : The Essential Guide to Urinary Tract Problems in Women
In this concise, clearly written, and sympathetic new book, Elizabeth Kavaler suggests that a new approach to UT disorders is long overdue. One of the surprisingly small number of female urologists practicing in the U.S., Dr. Kavaler explains what these diseases are and what patients can do to get themselves diagnosed and treated properly. But more than that, she extends an expert, sympathetic, and skilled hand to those who’ve been distressed, isolated, and embarrassed for too long.
A Rosicrucian Utopia in Eighteenth-Century Russia : The Masonic Circle of N.I. Novikov
The author undertakes an investigation into the history of Russian Freemasonry that has not been attempted previously. Her premise is that the Russian Enlightenment shows peculiar features, which prevent the application of the interpretative framework commonly used for the history of western thought. The author deals with the development of early Russian masonry, the formation of the Novikov circle in Moscow, the ‘programme’ of Rosicrucianism and the character of its Russian variant and, finally, the clash between the Rosicrucians and the State. The author concludes that the defenders of the Ancien Régime were not wrong. In fact the democratic behaviour, the critical attitude, the practice of participation, the freedom of thought, the tolerance for the diversity, the search for a direct communication with the divinity.
A rose armed with thorns : Spinoza’s Philosophy under a novel lens
presents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts of substance, truth conditions, attributes, and the first, second, and supreme grades of knowledge. Based upon an analysis of the relevant details in all of Spinoza’s philosophical works, reveals many important points, including the following: Spinoza’s system is not, nor is meant to be, a foundational-deductive system but was meant to be a coherent system of a network model. Spinoza’s reality is not made in the image of a mathematical model. Imaginatio, the first grade of knowledge, and ratio, the second grade, are parts or properties of the supreme grade of knowledge, scientia intuitiva, which is their essence.
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
إجمالي الكتب: 127 - 144 / 210

















