الصفحة 32
الصفحة 32
Mathematics of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
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 Life Science and Medicine
Dynamical systems theory in mathematical biology has attracted much attention from many scientific directions. The purpose of this volume is to present and discuss the many rich properties of the dynamical systems that appear in life science and medicine. The main topics include cancer treatment, dynamics of paroxysmal tachycardia, vector disease models, epidemic diseases and metapopulations, immune systems, pathogen competition and coexistence and the evolution of virulence and the rapid evolution of viruses within a host. Each chapter will serve to introduce students and scholars to the state-of-the-art in an exciting area, to present new results, and to inspire future contributions to mathematical modeling in life science and medicine.
Mathematics for Ecology and Environmental Sciences
Dynamical systems theory in mathematical biology has attracted much attention from many scientific directions. The purpose of this volume is to discuss the many rich and interesting properties of dynamical systems that appear in ecology and environmental sciences. The main topics include population dynamics with dispersal, nonlinear discrete population dynamics, structured population models, mathematical models in evolutionary ecology, stochastic spatial models in ecology, game dynamics and the chemostat model. Each chapter will serve to introduce students and scholars to the state-of-the-art in an exciting area, to present important new results, and to inspire future contributions to mathematical modeling in ecology and environmental sciences.
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 Culture II : Visual Perfection: Mathematics and Creativity
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. This volume is devoted to the analysis of dynamical systems with emphasis on problems of uncertainty, whereas the second volume will be devoted to control. It combines features of a detailed introductory textbook with that of a reference source. The book contains many examples and figures illustrating the text which help to bring out the intuitive ideas behind the mathematical constructions.
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 Systems Theory I : Modelling, State Space Analysis, Stability and Robustness
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. This volume is devoted to the analysis of dynamical systems with emphasis on problems of uncertainty, whereas the second volume will be devoted to control. It combines features of a detailed introductory textbook with that of a reference source. The book contains many examples and figures illustrating the text which help to bring out the intuitive ideas behind the mathematical constructions.
Mathematical Statistics : Exercises and Solutions
This book consists of four hundred exercises in mathematical statistics and their solutions,this solutions to train students for their research ability in mathematical statistics and presents many additional results and examples that complement any text in mathematical statistics. To develop problem-solving skills, two solutions and/or notes of brief discussions accompany a few exercises.The exercises are grouped into seven chapters with titles matching those in the author's Mathematical Statistics.
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.
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.
Mathematical Models of Distribution Channels
In Chapters 1 and 2 the authors provide an introduction to the current, analytical literature on distribution channels, and they present an intuitively appealing prologue to the Channel Myths that are developed rigorously in later Chapters. In Chapters 3, 4, and 10 they extend the literature by ascertaining the relationship between the manufacturer-optimal wholesale-price strategy and channel breadth. Specific analyses include multiple, non-competing retailers, multiple states-of-nature, and multiple, competing retailers. In Chapters 5-7 the authors determine the profitability of various wholesale-price strategies; this analysis culminates in Chapters 8 and 9 with the determination of the (very limited) conditions under which channel coordination can be optimal for the manufacturer. In Chapter 11 they prove that existing methods of measuring the effect of a change in the degree of inter-retailer substitutability are totally misleading. They then develop an original, theoretical basis for measuring the impact of a change in the degree of inter-retailer substitutability that yields insightful, intuitively appealing results. In Chapter 12 the authors set forth an agenda for future research based on a meta-model that embraces all existing models in the literature. They also issue an appeal for creation of a "Unifying Theory of Distribution Channels" that will enable researchers to work independently and yet to contribute toward the common goal of deepening the marketing science professions’ understanding of distribution channels.
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."
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 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.
