Page 33
Page 33
MDATA : A New Knowledge Representation Model: Theory, Methods and Applications
This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis). By modifying the representation of entities and relations in knowledge graphs, dynamic knowledge can be efficiently described with temporal and spatial characteristics. The MDATA model can be regarded as a high-level temporal and spatial knowledge graph model, which has strong capabilities for knowledge representation. This book introduces some key technologies in the MDATA model, such as entity recognition, relation extraction, entity alignment, and knowledge reasoning with spatiotemporal factors. The MDATA model can be applied in many critical applications and this book introduces some typical examples, such as network attack detection, social network analysis, and epidemic assessment.
Max-Plus Methods for Nonlinear Control and Estimation
The central focus of this book is the control of continuous-time/continuous-space nonlinear systems. Using new techniques that employ the max-plus algebra, the author addresses several classes of nonlinear control problems, including nonlinear optimal control problems and nonlinear robust/H-infinity control and estimation problems. Several numerical techniques are employed, including a max-plus eigenvector approach and an approach that avoids the curse-of-dimensionality.. The max-plus-based methods examined in this monograph belong to an entirely new class of numerical methods for the solution of nonlinear control problems.The potential advantages of the max-plus-based approaches lie in the fact that solution operators for nonlinear HJB problems are linear over the max-plus algebra, and this linearity is exploited in the construction of algorithms.
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.
Maxillofacial surgery and craniofacial deformity: practices and updates
Collects various aspects of facial and cranial deformities in one single textbook in order to have a systematic way of thinking when approaching these interconnected manifestations. Furthermore, other associated social aspects of health care are integrated to give a wider view of the problem and some important considerations of care.
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, and how methods and models can be integrated into the development process to produce effective user interfaces. ‘Quality in Interaction’ addresses theoretical frameworks on the nature of interactions; techniques and metrics for evaluation interaction quality; and the transfer of concepts and methods from research to practice. Finally, ‘Quality in Value’ assesses the impact that a system has in the real world, focusing on increasing the value of usability practice for software development and on increasing value for the users.
Matrix Algebra : Theory, Computations, and Applications in Statistics
Matrix algebra is one of the most important areas of mathematics for data analysis and for statistical theory. The first part of this book presents the relevant aspects of the theory of matrix algebra for applications in statistics. This part begins with the fundamental concepts of vectors and vector spaces, next covers the basic algebraic properties of matrices, then describes the analytic properties of vectors and matrices in the multivariate calculus, and finally discusses operations on matrices in solutions of linear systems and in eigenanalysis. This part is essentially self-contained.
Mathématiques de base pour économistes = Basic Mathematics for Economists
This book contains fundamental elements of mathematics and includes the following elements: notion of logic, propositions, theorems, sets, relations and functions; graphical representations of functions, economic applications of lines and functions, sequences, limits and first derivative, differential economic applications of derivatives; integrals: undefined and defined with economic applications; mathematical series; functions of several variables, partial derivatives, Lagrange multiplier with economic applications; linear algebra: matrix calculus, system of linear equations, vectors, differential calculus in matrix form.
Mathematics of Surfaces XI ; 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, UK in September 2005. Among the topics addressed are Voronoi diagrams, linear systems, curvatures on meshes, approximate parameterization, condition numbers, pythagorean hodographs, and more.
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 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 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 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 Politics : Strategy, Voting, Power and Proof
Mathematics and Politics requires no prerequisites in either subject. The underlying philosophy involves minimizing algebraic computations while focusing on the conceptual aspects of mathematics in the context of real-world questions in political science. This new addition has an added co-author, Allison Pacelli, and covers six major topics: social choice, yes-no voting systems, political power, game-theoretic models of international conflict, fairness, and escalation. In addition to having two new chapters (treating apportionment and conflict resolution), the text has been extensively reorganized and the number of exercises increased to over 300.
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 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.
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 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 Software - ICMS 2006 ; 2nd International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.
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.
