![]() |
![]() |
Your cart is empty |
||
Books > Computing & IT > General theory of computing > Mathematical theory of computation
This book is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on group symmetry for quantum information although there exist many textbooks for group representation. After the mathematical preparation of quantum information, this book discusses quantum entanglement and its quantification by using group symmetry. Group symmetry drastically simplifies the calculation of several entanglement measures although their calculations are usually very difficult to handle. This book treats optimal information processes including quantum state estimation, quantum state cloning, estimation of group action and quantum channel etc. Usually it is very difficult to derive the optimal quantum information processes without asymptotic setting of these topics. However, group symmetry allows to derive these optimal solutions without assuming the asymptotic setting. Next, this book addresses the quantum error correcting code with the symmetric structure of Weyl-Heisenberg groups. This structure leads to understand the quantum error correcting code systematically. Finally, this book focuses on the quantum universal information protocols by using the group SU(d). This topic can be regarded as a quantum version of the Csiszar-Korner's universal coding theory with the type method. The required mathematical knowledge about group representation is summarized in the companion book, Group Representation for Quantum Theory.
Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis. Quaternions are one of the most documented inventions in the history of mathematics, and this book is about their invention, and how they are used to rotate vectors about an arbitrary axis. Apart from introducing the reader to the features of quaternions and their associated algebra, the book provides valuable historical facts that bring the subject alive. Quaternions for Computer Graphics introduces the reader to quaternion algebra by describing concepts of sets, groups, fields and rings. It also includes chapters on imaginary quantities, complex numbers and the complex plane, which are essential to understanding quaternions. The book contains many illustrations and worked examples, which make it essential reading for students, academics, researchers and professional practitioners.
This book systematically addresses the design and analysis of efficient techniques for independent random sampling. Both general-purpose approaches, which can be used to generate samples from arbitrary probability distributions, and tailored techniques, designed to efficiently address common real-world practical problems, are introduced and discussed in detail. In turn, the monograph presents fundamental results and methodologies in the field, elaborating and developing them into the latest techniques. The theory and methods are illustrated with a varied collection of examples, which are discussed in detail in the text and supplemented with ready-to-run computer code. The main problem addressed in the book is how to generate independent random samples from an arbitrary probability distribution with the weakest possible constraints or assumptions in a form suitable for practical implementation. The authors review the fundamental results and methods in the field, address the latest methods, and emphasize the links and interplay between ostensibly diverse techniques.
This book is an essential tool written to be used as the primary text for an undergraduate or early postgraduate course as well as a reference book for engineers and scientists who want to quickly develop finite-element programs. Regarding the formulation of the finite element method, the book emphasizes the essential unity of all processes of approximation used in the solution of differential equations such as finite differences, finite elements and boundary elements. Computational aspects are presented in Maple. Three Maple packages were specially developed for this book and are included in a companion CD-ROM.
Exact eigenvalues, eigenvectors, and principal vectors of operators with infinite dimensional ranges can rarely be found. Therefore, one must approximate such operators by finite rank operators, then solve the original eigenvalue problem approximately. Serving as both an outstanding text for graduate students and as a source of current results for research scientists, Spectral Computations for Bounded Operators addresses the issue of solving eigenvalue problems for operators on infinite dimensional spaces. From a review of classical spectral theory through concrete approximation techniques to finite dimensional situations that can be implemented on a computer, this volume illustrates the marriage of pure and applied mathematics. It contains a variety of recent developments, including a new type of approximation that encompasses a variety of approximation methods but is simple to verify in practice. It also suggests a new stopping criterion for the QR Method and outlines advances in both the iterative refinement and acceleration techniques for improving the accuracy of approximations. The authors illustrate all definitions and results with elementary examples and include numerous exercises. Spectral Computations for Bounded Operators thus serves as both an outstanding text for second-year graduate students and as a source of current results for research scientists.
The classical three-body problem is of great importance for its applications to astronomy and space navigation, and also as a simple model of a non-integrable Hamiltonian dynamical system. A central role is played by periodic orbits, of which a large number have been computed numerically. Here the author explains and organizes this material through a systematic study of generating families, which are the limits of families of periodic orbits when the mass ratio of the two main bodies becomes vanishingly small. The most critical part is the study of bifurcations. Many cases are distinguished and studied separately and detailed recipies are given. Their use is illustrated by determining generating families, and comparing them with numerical computations for the Earth+Moon and Sun-Jupiter systems.
The essays in this book look at the question of whether physics can be based on information, or - as John Wheeler phrased it - whether we can get "It from Bit". They are based on the prize-winning essays submitted to the FQXi essay competition of the same name, which drew over 180 entries. The eighteen contributions address topics as diverse as quantum foundations, entropy conservation, nonlinear logic and countable spacetime. Together they provide stimulating reading for all physics aficionados interested in the possible role(s) of information in the laws of nature. The Foundational Questions Institute, FQXi, catalyzes, supports, and disseminates research on questions at the foundations of physics and cosmology, particularly new frontiers and innovative ideas integral to a deep understanding of reality, but unlikely to be supported by conventional funding sources.
Energy Power Risk: Derivatives, Computation and Optimization is a comprehensive guide presenting the latest mathematical and computational tools required for the quantification and management of energy power risk. Written by a practitioner with many years' experience in the field, it provides readers with valuable insights in to the latest practices and methodologies used in today's markets, showing readers how to create innovative quantitative models for energy and power risk and derivative valuation. The book begins with an introduction to the mathematics of Brownian motion and stochastic processes, covering Geometric Brownian motion, Ito's lemma, Ito's Isometry, the Ornstein Uhlenbeck process and more. It then moves on to the simulation of power prices and the valuation of energy derivatives, before considering software engineering techniques for energy risk and portfolio optimization. The book also covers additional topics including wind and solar generation, intraday storage, generation and demand optionality. Written in a highly practical manner and with example C++ and VBA code provided throughout, Energy Power Risk: Derivatives, Computation and Optimization will be an essential reference for quantitative analysts, financial engineers and other practitioners in the field of energy risk management, as well as researchers and students interested in the industry and how it works.
This book offers a clear and comprehensive introduction to broad learning, one of the novel learning problems studied in data mining and machine learning. Broad learning aims at fusing multiple large-scale information sources of diverse varieties together, and carrying out synergistic data mining tasks across these fused sources in one unified analytic. This book takes online social networks as an application example to introduce the latest alignment and knowledge discovery algorithms. Besides the overview of broad learning, machine learning and social network basics, specific topics covered in this book include network alignment, link prediction, community detection, information diffusion, viral marketing, and network embedding.
Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computation, including computability, decidability, and computational complexity. Emphasizing the relationship between theory and application, the book describes many real-world applications, including computer science engineering techniques for language processing and their implementation. Covers the theory of formal languages and their models, including all essential concepts and properties Explains how language models underlie language processors Pays a special attention to programming language analyzers, such as scanners and parsers, based on four language models-regular expressions, finite automata, context-free grammars, and pushdown automata Discusses the mathematical notion of a Turing machine as a universally accepted formalization of the intuitive notion of a procedure Reviews the general theory of computation, particularly computability and decidability Considers problem-deciding algorithms in terms of their computational complexity measured according to time and space requirements Points out that some problems are decidable in principle, but they are, in fact, intractable problems for absurdly high computational requirements of the algorithms that decide them In short, this book represents a theoretically oriented treatment of formal languages and their models with a focus on their applications. It introduces all formalisms concerning them with enough rigors to make all results quite clear and valid. Every complicated mathematic
This book takes recent theoretical advances in Finance and Economics and shows how they can be implemented in the real world. It presents tactics for using mathematical and simulation models to solve complex tasks of forecasting income, valuing businesses, predicting retail sales, and evaluating markets and tax and regulatory problems. Business Economics and Finance with Matlab, GIS, and Simulation Models provides a unique overview of sophisticated business and financial applications. It describes models that have been developed for analysis of retail sales, tax policy, location, economic impact, public policy issues, and other challenges faced by executives, investors, and economists on a daily basis. It also offers groundbreaking insight into the many calculation and modeling tools that can be remotely hosted and run over the Internet, resulting in substantial user benefits and cost savings. This book is the first to fully explore the capabilities of MATLAB in the field of business economics, and explain how the benefits of sophisticated mathematical models can be provided to users via the Internet, using a thin-client environment. Many techniques directly incorporate geographic information and GIS in a way that was impossible until quite recently. Some techniques, such as fuzzy logic, retail sales, economic and fiscal impact models, and other Matlab and Simulink models, are described for the first time in print in this book. The sections on business income and value break new ground by directly incorporating uncertainty, real option value, and prediction of variables using Ito and jump processes. Using dozens of examples, hundreds of references, and rigorous explanations of both theory and practice, it will become a prized reference for analysts demanding the best techniques.
More than ever before, complicated mathematical procedures are integral to the success and advancement of technology, engineering, and even industrial production. Knowledge of and experience with these procedures is therefore vital to present and future scientists, engineers and technologists. Mathematical Methods in Physics and Engineering with Mathematica clearly demonstrates how to solve difficult practical problems involving ordinary and partial differential equations and boundary value problems using the software package Mathematica (4.x). Avoiding mathematical theorems and numerical methods-and requiring no prior experience with the software-the author helps readers learn by doing with step-by-step recipes useful in both new and classical applications. Mathematica and FORTRAN codes used in the book's examples and exercises are available for download from the Internet. The author's clear explanation of each Mathematica command along with a wealth of examples and exercises make Mathematical Methods in Physics and Engineering with Mathematica an outstanding choice both as a reference for practical problem solving and as a quick-start guide to using a leading mathematics software package.
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity.
This practically-focused study guide introduces the fundamentals of discrete mathematics through an extensive set of classroom-tested problems. Each chapter presents a concise introduction to the relevant theory, followed by a detailed account of common challenges and methods for overcoming these. The reader is then encouraged to practice solving such problems for themselves, by tackling a varied selection of questions and assignments of different levels of complexity. This updated second edition now covers the design and analysis of algorithms using Python, and features more than 50 new problems, complete with solutions. Topics and features: provides a substantial collection of problems and examples of varying levels of difficulty, suitable for both laboratory practical training and self-study; offers detailed solutions to each problem, applying commonly-used methods and computational schemes; introduces the fundamentals of mathematical logic, the theory of algorithms, Boolean algebra, graph theory, sets, relations, functions, and combinatorics; presents more advanced material on the design and analysis of algorithms, including Turing machines, asymptotic analysis, and parallel algorithms; includes reference lists of trigonometric and finite summation formulae in an appendix, together with basic rules for differential and integral calculus. This hands-on workbook is an invaluable resource for undergraduate students of computer science, informatics, and electronic engineering. Suitable for use in a one- or two-semester course on discrete mathematics, the text emphasizes the skills required to develop and implement an algorithm in a specific programming language.
This is the only book that gives a rigorous and comprehensive treatment with lots of examples, exercises, remarks on this particular level between the standard first undergraduate course and the first graduate course based on measure theory. There is no competitor to this book. The book can be used in classrooms as well as for self-study.
The present volume contains selected contributed papers from the BIOMAT 2008 Symposium and lectures delivered by keynote speakers during the plenary sessions. All chapters are centered on fundamental interdisciplinary areas of mathematical modeling of biosystems, like mathematical biology, biological physics, evolution biology and bioinformatics. It contains new results on the mathematical analysis of reaction-diffusion equations, demographic Allee effects and the dynamics of infection. Recent approaches to the modeling of biosystem structure, comprehensive reviews on icosahedral viral capsids and the classification of biological data via neural networks with prior knowledge, and a new perspective on a theoretical basis for bioinformatics are also discussed.This book contains original results on reaction-diffusion waves: the population dynamics of fishing resources and the effectiveness of marine protected areas; an approach to language evolution within a population dynamics framework; the analysis of bacterial genome evolution with Markov chains; the choice of defense strategies and the study of the arms-race phenomenon in a host-parasite system.
The main focus of this book is on presenting advances in fuzzy statistics, and on proposing a methodology for testing hypotheses in the fuzzy environment based on the estimation of fuzzy confidence intervals, a context in which not only the data but also the hypotheses are considered to be fuzzy. The proposed method for estimating these intervals is based on the likelihood method and employs the bootstrap technique. A new metric generalizing the signed distance measure is also developed. In turn, the book presents two conceptually diverse applications in which defended intervals play a role: one is a novel methodology for evaluating linguistic questionnaires developed at the global and individual levels; the other is an extension of the multi-ways analysis of variance to the space of fuzzy sets. To illustrate these approaches, the book presents several empirical and simulation-based studies with synthetic and real data sets. In closing, it presents a coherent R package called "FuzzySTs" which covers all the previously mentioned concepts with full documentation and selected use cases. Given its scope, the book will be of interest to all researchers whose work involves advanced fuzzy statistical methods.
A Computational Approach to Statistical Learning gives a novel introduction to predictive modeling by focusing on the algorithmic and numeric motivations behind popular statistical methods. The text contains annotated code to over 80 original reference functions. These functions provide minimal working implementations of common statistical learning algorithms. Every chapter concludes with a fully worked out application that illustrates predictive modeling tasks using a real-world dataset. The text begins with a detailed analysis of linear models and ordinary least squares. Subsequent chapters explore extensions such as ridge regression, generalized linear models, and additive models. The second half focuses on the use of general-purpose algorithms for convex optimization and their application to tasks in statistical learning. Models covered include the elastic net, dense neural networks, convolutional neural networks (CNNs), and spectral clustering. A unifying theme throughout the text is the use of optimization theory in the description of predictive models, with a particular focus on the singular value decomposition (SVD). Through this theme, the computational approach motivates and clarifies the relationships between various predictive models. Taylor Arnold is an assistant professor of statistics at the University of Richmond. His work at the intersection of computer vision, natural language processing, and digital humanities has been supported by multiple grants from the National Endowment for the Humanities (NEH) and the American Council of Learned Societies (ACLS). His first book, Humanities Data in R, was published in 2015. Michael Kane is an assistant professor of biostatistics at Yale University. He is the recipient of grants from the National Institutes of Health (NIH), DARPA, and the Bill and Melinda Gates Foundation. His R package bigmemory won the Chamber's prize for statistical software in 2010. Bryan Lewis is an applied mathematician and author of many popular R packages, including irlba, doRedis, and threejs.
In recent years, stylized forms of the Boltzmann equation, now going by the name of "Lattice Boltzmann equation" (LBE), have emerged, which relinquish most mathematical complexities of the true Boltzmann equation without sacrificing physical fidelity in the description of many situations involving complex fluid motion. This book provides the first detailed survey of LBE theory and its major applications to date. Accessible to a broad audience of scientists dealing with complex system dynamics, the book also portrays future developments in allied areas of science (material science, biology etc.) where fluid motion plays a distinguished role.
This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices of the International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI), which took place virtually on October 8th, 2020, having originally been planned to take place in Lima, Peru.This book presents the latest developments in the highly active and rapidly growing field of diffusion MRI. While offering new perspectives on the most recent research challenges in the field, the selected articles also provide a valuable starting point for anyone interested in learning computational techniques for diffusion MRI. The book includes rigorous mathematical derivations, a large number of rich, full-colour visualizations, and clinically relevant results. As such, it is of interest to researchers and practitioners in the fields of computer science, MRI physics, and applied mathematics. The reader will find numerous contributions covering a broad range of topics, from the mathematical foundations of the diffusion process and signal generation to new computational methods and estimation techniques for the in-vivo recovery of microstructural and connectivity features, as well as diffusion-relaxometry and frontline applications in research and clinical practice.
Provides a truly accessible introduction and a fully integrated approach to fuzzy systems and neural networks—the definitive text for students and practicing engineers Researchers are already applying neural networks and fuzzy systems in series, from the use of fuzzy inputs and outputs for neural networks to the employment of individual neural networks to quantify the shape of a fuzzy membership function. But the integration of these two fields into a "neurofuzzy" technology holds even greater potential benefits in reducing computing time and optimizing results. Fuzzy and Neural Approaches in Engineering presents a detailed examination of the fundamentals of fuzzy systems and neural networks and then joins them synergistically—combining the feature extraction and modeling capabilities of the neural network with the representation capabilities of fuzzy systems. Exploring the value of relating genetic algorithms and expert systems to fuzzy and neural technologies, this forward-thinking text highlights an entire range of dynamic possibilities within soft computing. With examples specifically designed to illuminate key concepts and overcome the obstacles of notation and overly mathematical presentations often encountered in other sources, plus tables, figures, and an up-to-date bibliography, this unique work is both an important reference and a practical guide to neural networks and fuzzy systems.
Taking an interdisciplinary approach, this new book provides a modern introduction to scientific computing, exploring numerical methods, computer technology, and their interconnections, which are treated with the goal of facilitating scientific research across all disciplines. Each chapter provides an insightful lesson and viewpoints from several subject areas are often compounded within a single chapter. Written with an eye on usefulness, longevity, and breadth, Lessons in Scientific Computing will serve as a "one stop shop" for students taking a unified course in scientific computing, or seeking a single cohesive text spanning multiple courses. Features: Provides a unique combination of numerical analysis, computer programming, and computer hardware in a single text Includes essential topics such as numerical methods, approximation theory, parallel computing, algorithms, and examples of computational discoveries in science Not wedded to a specific programming language
This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. In this year's edition, the topics covered include many of the most important issues and research questions in the field, such as opportune application domains for GP-based methods, game playing and co-evolutionary search, symbolic regression and efficient learning strategies, encodings and representations for GP, schema theorems, and new selection mechanisms. The book includes several chapters on best practices and lessons learned from hands-on experience. Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic. The author presents the subject as an art to be practiced, and an art in the aesthetic sense of inherent beauty which all mathematicians recognize in their subject. Part I gives a thorough development of the foundations of computability, from the definition of Turing machines up to finite injury priority arguments. Key topics include relative computability, and computably enumerable sets, those which can be effectively listed but not necessarily effectively decided, such as the theorems of Peano arithmetic. Part II includes the study of computably open and closed sets of reals and basis and nonbasis theorems for effectively closed sets. Part III covers minimal Turing degrees. Part IV is an introduction to games and their use in proving theorems. Finally, Part V offers a short history of computability theory. The author has honed the content over decades according to feedback from students, lecturers, and researchers around the world. Most chapters include exercises, and the material is carefully structured according to importance and difficulty. The book is suitable for advanced undergraduate and graduate students in computer science and mathematics and researchers engaged with computability and mathematical logic.
The book provides many of the basic papers in computer arithmetic. These papers describe the concepts and basic operations (in the words of the original developers) that would be useful to the designers of computers and embedded systems. Although the main focus is on the basic operations of addition, multiplication and division, advanced concepts such as logarithmic arithmetic and the calculations of elementary functions are also covered.This volume is part of a 3 volume set:Computer Arithmetic Volume I Computer Arithmetic Volume II Computer Arithmetic Volume IIIThe full set is available for sale in a print-only version. |
![]() ![]() You may like...
Formal Methods for Open Object-Based…
Scott F. Smith, Carolyn L. Talcott
Hardcover
R5,826
Discovery Miles 58 260
The Neuron - Cell and Molecular Biology
Irwin B. Levitan, Leonard K. Kaczmarek
Hardcover
R3,201
Discovery Miles 32 010
|