You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This textbook explains the fundamentals of electric circuits and uses the transfer function as a tool to analyze circuits, systems, and filters. The author avoids the Fourier transform and three phase circuits, since these topics are often not taught in circuits courses. General transfer functions for low pass, high pass, band pass and band reject filters are demonstrated, with first order and higher order filters explained in plain language. The author’s presentation is designed to be accessible to a broad audience, with the concepts of circuit analysis explained in basic language, reinforced by numerous, solved examples.
Evaluating statistical procedures through decision and game theory, as first proposed by Neyman and Pearson and extended by Wald, is the goal of this problem-oriented text in mathematical statistics. First-year graduate students in statistics and other students with a background in statistical theory and advanced calculus will find a rigorous, thorough presentation of statistical decision theory treated as a special case of game theory. The work of Borel, von Neumann, and Morgenstern in game theory, of prime importance to decision theory, is covered in its relevant aspects: reduction of games to normal forms, the minimax theorem, and the utility theorem. With this introduction, Blackwell and...
The study of operator algebras, which grew out of von Neumann's work in the 1920s and the 1930s on modelling quantum mechanics, has in recent years experienced tremendous growth and vitality. This growth has resulted in significant applications in other areas - both within and outside mathematics. The field was a natural candidate for a 1994-1995 program year in Operator Algebras and Applications held at The Fields Institute for Research in the Mathematical Sciences. This volume contains a selection of papers that arose from the seminars and workshops of the program. Topics covered include the classification of amenable C*-algebras, the Baum-Connes conjecture, E[subscript 0] semigroups, subfactors, E-theory, quasicrystals, and the solution to a long-standing problem in operator theory: Can almost commuting self-adjoint matrices be approximated by commuting self-adjoint matrices?
Heavy-duty wheeled vehicles (HDWVs) are all-wheel-drive vehicles that carry 25 tons or more and have three or more axles. They transport heavy, bulky cargo such as raw minerals, timber, construction materials, pre-fabricated modules, weapons, combat vehicles, and more. HDWVs are used in a variety of industries (mining, logging, construction, energy) and are critical to a country’s economy and defense. These vehicles have unique development requirements due to their high loads, huge dimensions, and specific operating conditions. Hauling efficiencies can be improved by increasing vehicle load capacity; however capacities are influenced by legislation, road limits, and design. Designing HDWVs...
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11–CA0. Ordinal analysis and the (Schwichtenberg–Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11–CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic.
The Singularity School and Conference took place in Luminy, Marseille, from January 24th to February 25th 2005. More than 180 mathematicians from over 30 countries converged to discuss recent developments in singularity theory.The volume contains the elementary and advanced courses conducted by singularities specialists during the conference, general lectures on singularity theory, and lectures on applications of the theory to various domains. The subjects range from geometry and topology of singularities, through real and complex singularities, to applications of singularities.
Kodaira is a Fields Medal Prize Winner. (In the absence of a Nobel prize in mathematics, they are regarded as the highest professional honour a mathematician can attain.) Kodaira is an honorary member of the London Mathematical Society. Affordable softcover edition of 1986 classic
This volume includes the proceedings of a workshop on Invariant Theory held at Queen's University (Ontario). The workshop was part of the theme year held under the auspices of the Centre de recherches mathematiques (CRM) in Montreal. The gathering brought together two communities of researchers: those working in characteristic 0 and those working in positive characteristic. The book contains three types of papers: survey articles providing introductions to computational invarianttheory, modular invariant theory of finite groups, and the invariant theory of Lie groups; expository works recounting recent research in these three areas and beyond; and open problems of current interest. The book is suitable for graduate students and researchers working in invarianttheory.
In September 1996, the United Nations General Assembly adopted the Comprehensive Nuclear-Test-Ban Treaty (CTBT), prohibiting nuclear explosions worldwide, in all environments. The treaty calls for a global verification system, including a network of 321 monitoring stations distributed around the globe, a data communications network, an international data centre (IDC), and on-site inspections, to verify compliance. A global hydroacoustic monitoring system is being planned and implemented for verification of the CTBT. Much of the research conducted over the past several decades on acoustic surveillance of the oceans, formerly driven by the need to detect and track submarines, is now being appl...