Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical techniques required to solve problems and design computer programs for computer graphic applications. Each chapter explores a specific mathematical topic and takes you forward into more advanced areas until you are able to understand 3D curves and surface patches, and solve problems using vectors.
Mathematics and the Historians Craft : The Kenneth O. May Lectures
Mathematical practitioners, for pedagogical reasons or to contextualize the work, tend to focus on finding the antecedents for current mathematical theories in a search for how particular subdisciplines and results came to be as they are today. On the other hand, historians of mathematics bypass the current state of affairs, and are more interested in questions that bear on the changing nature of the discipline itself.
Mathematics and Technology
Mathematics and Technology presents technological applications of mathematics making use of elegant mathematical concepts. The selected subjects consist of: public key cryptography, error correcting codes, the global positioning system (GPS) and cartography, image compression using fractals and the JPEG format, digital recording, robot movement, DNA computing, Google's PageRank algorithm, savings and loans, gamma ray surgery and random number generators. The authors highlight how mathematical modeling, together with the power of mathematical tools, have been crucial for innovation in technology. The exposition is clear, straightforward, motivated by excellent examples, and user-friendly. Numerous exercises at the end of every chapter reinforce the material. An engaging quality is the various historical notes accompanying the mathematical development.
Mathematics and Democracy : Recent Advances in Voting Systems and Collective Choice
In this book, different quantitative approaches to the study of electoral systems have been developed: game-theoretic, decision-theoretic, statistical, probabilistic, combinatorial, geometric, and optimization ones. All the authors are prominent scholars from these disciplines. Quantitative approaches offer a powerful tool to detect inconsistencies or poor performance in actual systems. Applications to concrete settings such as EU, American Congress, regional, and committee voting are discussed.
Mathematics and Computation, a Contemporary View ; The Abel Symposium 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational science and mathematics. In recent years, computation has been affecting pure mathematics in fundamental ways. Conversely, ideas and methods of pure mathematics are becoming increasingly important within computational and applied mathematics. At the core of computer science is the study of computability and complexity for discrete mathematical structures. Studying the foundations of computational mathematics raises similar questions concerning continuous mathematical structures. There are several reasons for these developments. The exponential growth of computing power is bringing computational methods into ever new application areas.
Mathematics - Key Technology for the Future : Joint Projects Between Universities and Industry 2004–2007
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations in Industry and Services". It shows that a broad spectrum of analytical and numerical mathematical methods and programming techniques are used to solve a lot of different specific industrial or services problems. The main focus is on the fact that the mathematics used is not usually standard mathematics or black box mathematics but is specifically developed for specific industrial or services problems. Mathematics is more than a tool box or an ancilarry science for other scientific disciplines or users. Through this book the reader will gain insight into the details of mathematical modeling and numerical simulation for a lot of industrial applications.
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications to data mining such as frequent item sets, clustering, decision trees also being discussed. More than 400 exercises are included and they form an integral part of the material. Some of the exercises are in reality supplemental material and their solutions are included. The reader is assumed to have a knowledge of elementary analysis.
Mathematical Problems in Image Processing : Partial Differential Equations and the Calculus of Variations
The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how to discretize them. Thus, this book is intended for two audiences. The first is the mathematical community by showing the contribution of mathematics to this domain. It is also the occasion to highlight some unsolved theoretical questions. The second is the computer vision community by presenting a clear, self-contained and global overview of the mathematics involved in image processing problems. This work will serve as a useful source of reference and inspiration for fellow researchers in Applied Mathematics and Computer Vision, as well as being a basis for advanced courses within these fields.
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general.
Mathematical Morphology : 40 Years On ; Proceedings of the 7th International Symposium on Mathematical Morphology, April 18-20, 2005
Mathematical Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, to be analyzed through their interactions with other geometrical objects. It relies on several branches of mathematics, such as discrete geometry, topology, lattice theory, partial differential equations, integral geometry and geometrical probability. It has produced fast and efficient algorithms for computer analysis of images, and has found applications in bio-medical imaging, materials science, geoscience, remote sensing, quality control, document processing and data analysis. This book contains the 43 papers presented at the 7th International Symposium on Mathematical Morphology, held in Paris on April 18-20, 2005. It gives a lively state of the art of current research topics in this field. It also marks a milestone, the 40 years of uninterrupted development of this ever-expanding domain.
Isomonodromic Deformations and Frobenius Manifolds : An Introduction
The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of singularities of holomorphic functions. Motivated by physical considerations, further development of the theory has opened new perspectives on, and revealed new links between, many apparently unrelated areas of mathematics and physics. Based on a series of graduate lectures, this book provides an introduction to algebraic geometric methods in the theory of complex linear differential equations. Starting from basic notions in complex algebraic geometry, it develops some of the classical problems of linear differential equations and ends with applications to recent research questions related to mirror symmetry.
Isodual theory of antimatter : With applications to antigravity, grand unification and cosmology
Antimatter, already conjectured by A. Schuster in 1898, was actually predicted by P.A.M. Dirac in the late 19-twenties in the negative-energy solutions of the Dirac equation. Its existence was subsequently confirmed via the Wilson chamber and became an established part of theoretical physics. Dirac soon discovered that particles with negative energy do not behave in a physically conventional manner, and he therefore developed his "hole theory". This restricted the study of antimatter to the sole level of second quantization. As a result antimatter created a scientific imbalance, because matter was treated at all levels of study, while antimatter was treated only at the level of second quantization.In search of a new mathematics for the resolution of this imbalance the author conceived what we know today as Santilli’s isodual mathematics, which permitted the construction of isodual classical mechanics, isodual quantization and isodual quantum mechanics. The scope of this monograph is to show that our classical, quantum and cosmological knowledge of antimatter is at its beginning with much yet to be discovered, and that a commitment to antimatter by experimentalists will be invaluable to antimatter science.
Irreversible Phenomena : Ignitions, Combustion and Detonation Waves
Ideals are simple and able to be easily understood, but never exist in reality. In this book a theory based on the second law of thermodynamics and its applications are described. In thermodynamics there is a concept of an ideal gas which satisfies a mathematical formula PV = RT. This formula can appro- mately be applied to the real gas, so far as the gas has not an especially high pressure and low temperature. In connection with the second law of thermo- namics there is also a concept of reversible and irreversible processes. The reversible process is a phenomenon proceeding at an infinitely low velocity, while the irreversible process is that proceeding with a finite velocity. Such a process with an infinitely slow velocity can really never take place, and all processes observed are always irreversible, therefore, the reversible process is an ideal process, while the irreversible process is a real process.
Irreversible Decisions under Uncertainty : Optimal Stopping Made Easy
In real life, as well as in economic models, individuals often make decisions in an uncertain environment. In many cases, a problem which an optimizing agent faces can be formulated or reformulated as a problem of optimal timing of a certain irreversible or partially reversible action or optimal stopping problem. In this book, the authors present an alternative approach to optimal stopping problems. The basic ideas and techniques of the approach can be explained much simpler than the standard methods in the literature on optimal stopping problems. The monograph will teach the reader to apply the technique to many problems in economics and finance, including new ones. From the technical point of view, the method can be characterized as option pricing via the Wiener-Hopf factorization.
Iron metabolism : Methods and protocols
Explores classical and cutting-edge methods optimized and validated to analyze various aspects of iron metabolism, from in vitro to multi-organ level. Opening with a section on basic iron metabolism methods, the book continues with methods applicable to a variety of systems, ranging from bacteria to cultured mammalian cells and tissues, with a focus on cellular heme and iron-sulfur cluster species, as well as mitochondrial iron and its derivatives. Written for the highly successful Methods in Molecular Biology series, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step and readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.
IP Traffic Theory and Performance
This book presents different approaches in IP traffic theory and classifies them, especially towards applications in the Internet. It comprises the state of the art in this area, which is currently presented only by numerous research papers and overview articles. The book provides an ideal starting point for detailed studies of traffic analysis in IP networks. It gives the reader the possibility to judge on different models and to select the appropriate for his individual needs in applications.
IP operations and management ; 8th IEEE International workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Constitutes the refereed proceedings of the 8th IEEE Workshop on IP Operations and Management, IPOM 2008, held on Samos Island, Greece, on September 22-26, 2008, as part of the 4th International Week on Management of Networks and Services, Manweek 2008. The 12 revised full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on network anomaly detection; traffic engineering, protection, and recovery; network measurements and applications; and network management and security.
IP Networking over Next-Generation Satellite Systems ; International Workshop, Budapest, July 2007
Highlights the very latest research output of several EU satellite-related projects and addresses many unresolved issues in next-generation satellite systems, such as efficient deployment of IPv6 over satellites, working with WLAN and WiMax, QoS provisioning over multi-segment networks (including satellite networks), multicast networks and security.
IP Network-based Multi-agent Systems for Industrial Automation : Information Management, Condition Monitoring and Control of Power Systems
IP Network-based Multi-agent Systems for Industrial Automation is the first book to present an introduction to the use of the Internet protocol suite and multi-agent systems for the information management, online monitoring and control of distributed power system substations. An open architecture is proposed, in which mobile agents are applied to the retrieval and analysis of substation data, and to remote operator intervention. A prototype implementation of this architecture is also described, which has been demonstrated and evaluated using a substation simulator.



















