Page 45
Page 45
Mathematics of Program Construction ; 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5, 2006, colocated with the 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, July 5-8, 2006. TheMPCconferencesaimtopromotethedevelopmentofmathematicalpr- ciples and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.
Mathematics of Large Eddy Simulation of Turbulent Flows
Large eddy simulation (LES) is a method of scientific computation seeking to predict the dynamics of organized structures in turbulent flows by approximating local, spatial averages of the flow. This book focuses on the mathematical foundations of LES and its models and provides a connection between the powerful tools of applied mathematics, partial differential equations and LES. Thus, it is concerned with fundamental aspects not treated so deeply in the other books in the field, aspects such as well-posedness of the models, their energy balance and the connection to the Leray theory of weak solutions of the Navier-Stokes equations.
Mathematics of Financial Markets
This book presents the mathematics that underpins pricing models for derivative securities, such as options, futures and swaps, in modern financial markets. The idealized continuous-time models built upon the famous Black-Scholes theory require sophisticated mathematical tools drawn from modern stochastic calculus. However, many of the underlying ideas can be explained more simply within a discrete-time framework. This is developed extensively in this substantially revised second edition to motivate the technically more demanding continuous-time theory, which includes a detailed analysis of the Black-Scholes model and its generalizations, American put options, term structure models and consumption-investment problems. The mathematics of martingales and stochastic calculus is developed where it is needed.
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 Education in East Africa : Towards Harmonization and Enhancement of Education Quality
In the increasingly global and technological world mathematics is seen as a significant gatekeeper of opportunities for social and economic advancement and mobility. Hence, countries and development agencies in the broader sub-Saharan Africa region are looking towards increasing access to relevant and high-quality secondary education as a lever towards economic development. Policy makers and other key decision makers in education look towards improvement in mathematics teaching and learning as a key focus in education reform. In the East Africa region also a number of initiatives have been taken at the national level in the respective countries to improve the quality of mathematics education. This book provides an in-depth comparative analysis of the developments and issues in mathematics education in Kenya, Tanzania, Rwanda and Uganda, and advances our understanding of the state of secondary mathematics education in East Africa.
Mathematics and the Aesthetic : New Approaches to an Ancient Affinity
The essays in this book explore the ancient affinity between the mathematical and the aesthetic, focusing on the fundamental connections between these two modes of reasoning and communicating. From historical, philosophical and psychological perspectives, with particular attention to certain mathematical areas such as geometry and analysis, the authors examine the ways in which the aesthetic is ever present in mathematical thinking and contributes to the growth and value of mathematical knowledge.
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 Mechanics of Granular Materials
Granular or particulate materials arise in almost every aspect of our lives, including many familiar materials such as tea, coffee, sugar, sand, cement and powders. At some stage almost every industrial process involves a particulate material, and it is usually the cause of the disruption to the smooth running of the process. In the natural environment, understanding the behaviour of particulate materials is vital in many geophysical processes such as earthquakes, landslides and avalanches. This book is a collection of current research from some of the major contributors in the topic of modelling the behaviour of granular materials. Papers from every area of current activity are included, such as theoretical, numerical, engineering and computational approaches. This book illustrates the numerous diverse approaches to one of the outstanding problems of modern continuum mechanics.
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 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 Models of Granular Matter
Granular matter displays a variety of peculiarities that distinguish it from other appearances studied in condensed matter physics and renders its overall mathematical modelling somewhat arduous. Prominent directions in the modelling granular flows are analyzed from various points of view. Foundational issues, numerical schemes and experimental results are discussed. The volume furnishes a rather complete overview of the current research trends in the mechanics of granular matter. Various chapters introduce the reader to different points of view and related techniques. New models describing granular bodies as complex bodies are presented. Results on the analysis of the inelastic Boltzmann equations are collected in different chapters. Gallavotti-Cohen symmetry is also discussed.
Isomorphisms Between H¹ Spaces
Presents a thorough and self-contained presentation of H¹ and its known isomorphic invariants, such as the uniform approximation property, the dimension conjecture, and dichotomies for the complemented subspaces. The necessary background is developed from scratch. This includes a detailed discussion of the Haar system, together with the operators that can be built from it (averaging projections, rearrangement operators, paraproducts, Calderon-Zygmund singular integrals). Complete proofs are given for the classical martingale inequalities of C. Fefferman, Burkholder, and Khinchine-Kahane, and for large deviation inequalities. Complex interpolation, analytic families of operators, and the Calderon product of Banach lattices are treated in the context of H^p spaces. Througout the book, special attention is given to the combinatorial methods developed in the field, particularly J. Bourgain's proof of the dimension conjecture, L. Carleson's biorthogonal system in H¹, T. Figiel's integral representation, W.B. Johnson's factorization of operators, B. Maurey's isomorphism, and P. Jones' proof of the uniform approximation property. An entire chapter is devoted to the study of combinatorics of colored dyadic intervals."
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.
Isolated Neutron Stars : from the Surface to the Interior
This book collects the contributions presented at the conference Isolated Neutron Stars, held in London in April 2006. It presents an up-to-date description of the new vision of isolated neutron stars that has emerged in recent years with the advance of multi-wavelength observations.
Islamic Bioethics : Problems and Perspectives
This book presents a critical analysis of the debate at the religious, legal and political level sparked off by the introduction of new biomedical technologies (cloning, genetics, organ transplants, IVF, etc.) in Muslim countries. It compares the positions of "classic" Muslim law and contemporary religious authorities; laws in Muslim countries; the attitudes and concrete behaviour of populations, families and individuals, as well as the regulations of medical associations, bioethics committees etc..
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.
Iridescences : The Physical Colors of Insects
Biologists will find a clear and in-depth study of the different physical phenomena generating colors. It will constitute a boundless "biomimetical" inspiration for physicists and engineers, for if physics is simple, the combinations of effects and the structures involved are extremely complex and original.
IQ Calibration Techniques for CMOS Radio Tranceivers
There are a lot of factors that degrade the matching of gains and phases between I/Q signals: the instinct layout mismatch, the random mismatch of the devices, the different temperatures over the I/Q signal paths. IQ Calibration Techniques For CMOS Radio Transceivers describes a fully-analog compensation technique without baseband circuitry to control the calibration process. This book will use an 802.11g transceiver design as an example to give a detailed description on the I/Q gains and phases imbalance auto-calibration mechanism.
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 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.
