الصفحة 7
الصفحة 7
Media Theory : Interdisciplinary Applied Mathematics
The focus of this book is a mathematical structure modeling a physical or biological system that can be in any of a number of `states.' Each state is characterized by a set of binary features, and differs from some other neighbor state or states by just one of those feature. A simple example of a `state’ is a partial solution of a jigsaw puzzle, which can be transformed into another partial solution or into the final solution just by adding or removing a single adjoining piece. The evolution of such a system over time is considered. Such a structure is analyzed from algebraic and probabilistic (stochastic) standpoints.
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Mechanics of Material Forces
The book covers both theoretical and numerical developments. Conceptually speaking, common continuum mechanics in the sense of Newton—which gives rise to the notion of spatial (mechanical) forces—considers the response to variations of spatial placements of "physical particles” with respect to the ambient space, whereas continuum mechanics in the sense of Eshelby—which gives rise to the notion of material (configurational) forces—is concerned with the response to variations of material placements of "physical particles” with respect to the ambient material. Well-known examples of material forces are driving forces on defects like the Peach-Koehler forece, the J-Integral in fracture mechanics, and energy release. The consideration of material forces goes back to the works of Eshelby, who investigated forces on defects; therefore this area of continuum mechanics is sometimes denoted Eshelbian mechanics.
Mechanics and Physics of Fracture : Multiscale Modeling of the Failure Behavior of Solids
Provides a comprehensive understanding of the macroscopic failure behavior of solids from the description of the microscopic failure processes and their coupling with the microstructure. Several fundamental questions were addressed: the relation between the microstructural features of materials and their fracture properties and crack trajectories; the role of damage mechanisms and non-linear deformations near the crack tip on the failure behavior of solids; and finally the role of dynamic inertial effects during fast fracture was more briefly evoked.
Mechanical Sytems, Classical Models ; Vol. I : Particle Mechanics
The guideline of the present book is precisely the mathematical model of mechanics. A special accent is put on the solving methodology as well as on the mathematical tools used; vectors, tensors and notions of field theory. Continuous and discontinuous phenomena, various mechanical magnitudes are presented in a unitary form by means of the theory of distributions.
Mechanical Behavior of Materials : Fundamentals, Analysis, and Calculations
Provides a holistic understanding of mechanical behavior of materials, and enables critical thinking through mathematical modeling and problem solving.Each of the 15 chapters first introduces readers to the technologic importance of the topic and provides basic concepts with diagrammatic illustrations; and then its engineering analysis/mathematical modelling along with calculations are presented.
Meccanica delle strutture e Controllo attivo strutturale: Modellistica di edifici, ponti, camini, strutture speciali
The basic texts of Structural Engineering, present in the literature, mostly give introductory examples. This text, however, after having given the disciplinary foundations, goes further to guide the reader in the construction of advanced mathematical models ... It is an unprecedented "compromise" between basic theory text and advanced text for advanced-professionals and researchers. Furthermore, the presence in the volume of "synoptic panels" and software cards gives the reader the possibility of always having at hand the foundations of a complex discipline.
Mécanique céleste et contrôle des véhicules spatiaux = Celestial mechanics and spacecraft control
The textbook contains two parts: Part 1 is an introduction to celestial mechanics, and part II is devoted to the control of cosmic vehicles motion.The book is written in a clear mathematical style-Definition-Proposition-Lemma-Theorem-Corollary-and is almost self contained.
Measuring Professional Competence for the Teaching of Mathematical Modelling : A Test Instrument
This book presents a structural model and an associated test instrument designed to provide a detailed analysis of professional competences for teaching mathematical modelling. The conceptualisation is based on the COACTIV model, which describes aspects, areas and facets of professional competences of teachers. The manual provides an overview of the essential teaching skills in application-related contexts and offers the tools needed to capture these aspects. It discusses the objectives and application areas of the instrument, as well as the development of the test. In addition, it describes the implementation and evaluates the quality and results of the structural equation analysis of the model.
Measurement Uncertainty : An Approach via the Mathematical Theory of Evidence
This text is the first to make full use of the mathematical theory of evidence to express the uncertainty in measurements. It gives an overview of the current standard, then pinpoints and constructively resolves its limitations through its unique approach. The text presents various tools for evaluating uncertainty, beginning with the probabilistic approach and concluding with the expression of uncertainty using random-fuzzy variables. The exposition is driven by numerous examples. The book is designed for immediate use and application in research and laboratory work.
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 Uncertainty : Ideas, Methods, Application Problems
Mathematics of Uncertainty" provides the basic ideas and foundations of uncertainty, covering the fields of mathematics in which uncertainty, variability, imprecision and fuzziness of data are of importance. This introductory book describes the basic ideas of the mathematical fields of uncertainty from simple interpolation to wavelets, from error propagation to fuzzy sets and neural networks. The book presents the treatment of problems of interpolation and approximation, as well as observation fuzziness which can essentially influence the preciseness and reliability of statements on functional relationships.
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 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 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 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.
