الصفحة 60
الصفحة 60
Mathematical Knowledge Management ; Vol. 4108 ; 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Mathematical Knowledge Management ; Vol. 3863 ; 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.
Mathematical Implications of Einstein-Weyl Causality
The present work is the first systematic attempt at answering the following fundamental question: what mathematical structures does Einstein-Weyl causality impose on a point-set that has no other previous structure defined on it? The authors propose an axiomatization of Einstein-Weyl causality (inspired by physics), and investigate the topological and uniform structures that it implies. Their final result is that a causal space is densely embedded in one that is locally a differentiable manifold. The mathematical level required of the reader is that of the graduate student in mathematical physics.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical Foundations of Computer Science 2007 ; 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesk?? Krumlov, Czech Republic, August 26-31, 2007. All current aspects in theoretical computer science and its mathematical foundations are addressed.
Mathematical foundations of computer science 2006 ; 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stará Lesná, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Mathematical Foundation of Turbulent Viscous Flows : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 1-5, 2003
Five leading specialists reflect on different and complementary approaches to fundamental questions in the study of the Fluid Mechanics and Gas Dynamics equations. Constantin presents the Euler equations of ideal incompressible fluids and discusses the blow-up problem for the Navier-Stokes equations of viscous fluids, describing some of the major mathematical questions of turbulence theory.
Mathematical Foundation of Geodesy : Selected Papers of Torben Krarup
This volume contains selected papers by Torben Krarup, one of the most important geodesists of the 20th century. His writings are mathematically well founded and scientifically relevant. In this impressive collection of papers he demonstrates his rare innovative ability to present significant topics and concepts. Modern students of geodesy can learn a lot from his selection of mathematical tools for solving actual problems. The collection contains the famous booklet "A Contribution to the Mathematical Foundation of Physical Geodesy" from 1969, the unpublished "Molodenskij letters" from 1973, the final version of "Integrated Geodesy" from 1978, "Foundation of a Theory of Elasticity for Geodetic Networks" from 1974, as well as numerous trend setting papers on the theory of adjustment.
Mathematical Formulas for Economists
The present collection of formulas has been composed for students of economics or management science at universities, colleges and trade schools. It contains basic knowledge in mathematics, financial mathematics and statistics in a compact and clearly arranged form. This volume is meant to be a reference work to be used by students of undergraduate courses together with a textbook and by researchers in need of exact statements of mathematical results. People dealing with practical or applied problems will also find this collection to be an efficient and easy-to-use work of reference.
Mathematical Formulas for Economists
This collection of formulas constitutes a compendium of mathematics for eco nomics and business. It contains the most important formulas, statements and algorithms in this significant subfield of modern mathematics and addresses primarily students of economics or business at universities, colleges and trade schools. But people dealing with practical or applied problems will also find this collection to be an efiicient and easy-to-use work of reference. First the book treats mathematical symbols and constants, sets and state ments, number systems and their arithmetic as well as fundamentals of com binatorics. The chapter on sequences and series is followed by mathematics of finance, the representation of functions of one and several independent vari ables, their differential and integral calculus and by differential and difference equations. In each case special emphasis is placed on applications and models in economics. The chapter on linear algebra deals with matrices, vectors, determinants and systems of linear equations. This is followed by the representation of struc tures and algorithms of linear programming. Finally, the reader finds formu las on descriptive statistics (data analysis, ratios, inventory and time series analysis), on probability theory (events, probabilities, random variables and distributions) and on inductive statistics (point and interval estimates, tests). Some important tables complete the work.
Mathematical Events of the Twentieth Century
Russian mathematics (later Soviet mathematics, and Russian mathematics once again) occupies a special place in twentieth-century mathematics. In addition to its well-known achievements, Russian mathematics established a unique style of research based on the existence of prominent mathematical schools. These schools were headed by recognized leaders, who became famous due to their talents and outstanding contributions to science. The present collection is intended primarily to gather in one book the t- timonies of the participants in the development of mathematics over the past century. In their articles the authors have expressed their own points of view on the events that took place. The editors have not felt that they had a right to make any changes, other than stylistic ones, or to add any of their own commentary to the text. Naturally, the points of view of the authors should not be construed as those of the editors. The list of mathematicians invited to participate in the present edition was quite long.
Mathematical Epidemiology
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation.
Mathematical Control Theory and Finance
This book highlights recent developments in mathematical control theory and its applications to finance. It presents a collection of original contributions by distinguished scholars, addressing a large spectrum of problems and techniques. Control theory provides a large set of theoretical and computational tools with applications in a wide range of fields, ranging from "pure" areas of mathematics up to applied sciences like finance. Stochastic optimal control is a well established and important tool of mathematical finance. Other branches of control theory have found comparatively less applications to financial problems, but the exchange of ideas and methods has intensified in recent years. This volume should contribute to establish bridges between these separate fields. The diversity of topics covered as well as the large array of techniques and ideas brought in to obtain the results make this volume a valuable resource for advanced students and researchers.
Mathematical Control Theory : An Introduction
Mathematical Control Theory: An Introduction presents, in a mathematically precise manner, a unified introduction to deterministic control theory. With the exception of a few more advanced concepts required for the final part of the book, the presentation requires only a knowledge of basic facts from linear algebra, differential equations, and calculus. In addition to classical concepts and ideas, the author covers the stabilization of nonlinear systems using topological methods, realization theory for nonlinear systems, impulsive control and positive systems, the control of rigid bodies, the stabilization of infinite dimensional systems, and the solution of minimum energy problems.
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted to the mathematical side of the subject. Although the physical background of the models considered here and the applied aspects of the phenomena studied in this book are explored to a considerably lesser extent, we have tried to set forth first and foremost the “working” apparatus of classical mechanics. This apparatus is contained mainly in Chapters 1, 3, 5, 6, and 8. Chapter 1 is devoted to the basic mathematical models of classical - chanics that are usually used for describing the motion of real mechanical systems. Special attention is given to the study of motion with constraints and to the problems of realization of constraints in dynamics. In Chapter 3 we discuss symmetry groups of mechanical systems and the corresponding conservation laws. We also expound various aspects of ord- reduction theory for systems with symmetries, which is often used in appli- tions. Chapter 4 is devoted to variational principles and methods of classical mechanics. They allow one, in particular, to obtain non-trivial results on the existence of periodic trajectories. Special attention is given to the case where the region of possible motion has a non-empty boundary. Applications of the variational methods to the theory of stability of motion are indicated.
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Mathematical and Statistical Methods in Insurance and Finance
The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of insurance and financial problems, in particular in an operative perspective. The Maf2006 conference, held at the University of Salerno in 2006, had precisely this purpose and the collection here published gathers some of the papers presented at the conference and successively worked out to this aim. They cover a wide variety of subjects in insurance and financial fields, all treated in light of the successful cooperation between the two quantitative methods.
Mathematical and Computational Models for Congestion Charging
This book presents rigorous treatments of issues related to congestion pricing. The chapters describe recent advances in areas such as mathematical and computational models for predicting traffic congestion, determining when, where, and how much to levy tolls, and analyzing the impact of tolls on transporation systems. The analyses and methodologies developed in this book provide Mechanisms that aid in determining and comparing congestion pricing schemes; Methodologies for evaluating the efficiency of existing and proposed congestion pricing schemes; A means to predict the impact of pricing on urban transporation systems; and Information essential to the financial and political success of congestion pricing programs.
Mathematical Analysis I
The purpose of the volume is to provide a support for a first course in Mathematical Analysis, along the lines of the recent Programme Specifications for mathematical teaching in European universities. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in which mathematical tools play a crucial role. Basic notions and methods of differential and integral calculus for functions of one real variable are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The layout has a specifically-designed modular nature, allowing the instructor to make flexible didactical choices when planning an introductory lecture course. The book may in fact be employed at three levels of depth. At the elementary level the student is supposed to grasp the very essential ideas and familiarise with the corresponding key techniques.
