الصفحة 2
الصفحة 2
Multiplicative Ideal Theory in Commutative Algebra : A Tribute to the Work of Robert Gilmer
This volume, a tribute to the work of Robert Gilmer, consists of twenty-four articles authored by his most prominent students and followers. These articles combine surveys of past work by Gilmer and others, recent results which have never before seen print, open problems, and extensive bibliographies.
Multiphase Flow Dynamics 3 : Turbulence, Gas Absorption and Release, Diesel Fuel Properties
Volume 3 is devoted to selected Chapters of the multiphase fluid dynamics that are important for practical applications. The state of the art of the turbulence modeling in multiphase flows is presented. As introduction, some basics of the single-phase boundary layer theory including some important scales and flow oscillation characteristics in pipes and rod bundles are presented. Then the scales characterizing the dispersed flow systems are presented. The description of the turbulence is provided at different level of complexity: simple algebraic models for eddy viscosity, algebraic models based on the Boussinesq hypothesis, modification of the boundary layer share due to modification of the bulk turbulence, modification of the boundary layer share due to nucleate boiling. Then the role of the following forces on the matematical description of turbulent flows is discussed: the lift force, the lubrication force in the wall boundary layer, and the dispersion force.
Multilevel Block Factorization Preconditioners : Matrix-based Analysis and Algorithms for Solving Finite Element Equations
This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful preconditioning methods for solving finite element equations in a common block-matrix factorization framework. Topics covered include the classical incomplete block-factorization preconditioners and the most efficient methods such as the multigrid, algebraic multigrid, and domain decomposition. Additionally, the author discusses preconditioning of saddle-point, nonsymmetric and indefinite problems, as well as preconditioning of certain nonlinear and quadratic constrained minimization problems that typically arise in contact mechanics. The book presents analytical as well as algorithmic aspects.
Multi-Agent Programming : Languages, Platforms and Applications
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. These programming languages have formal semantics and use heavy machinery based on formal methods, but also provide working platforms for the development of multi-agent systems. Part II presents agent languages and platforms that extend or are based on Java--JADE, Jadex, and JACKTM. Although these have no formal semantics, the languages are well documented and the platforms provide a variety of tools that have been extensively used in practice. Part III provides two significant industry specific applications--The DEFACTO System for coordinating human-agent teams for the future of disaster response, and the ARTIMIS rational dialogue agent technology. The book also features seven appendices, summarising each of the agent programming languages, hence facilitating comparison of the approaches. In particular, Appendix A describes the criteria used for comparing the agent languages and platforms.
Multiaccess, Reservations & Queues
Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.
M-Solid Varieties of Algebras
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science.
Motivic Homotopy Theory : Lectures at a Summer School in Nordfjordeid, Norway, August 2002
This book is based on lectures given at a summer school held in Nordfjordeid on the Norwegian west coast in August 2002. In the little town with the sp- tacular surroundings where Sophus Lie was born in 1842, the municipality, in collaboration with the mathematics departments at the universities, has established the “Sophus Lie conference center”. The purpose is to help or- nizing conferences and summer schools at a local boarding school during its summer vacation, and the algebraists and algebraic geometers in Norway had already organized such summer schools for a number of years. In 2002 a joint project with the algebraic topologists was proposed.
Modules and Comodules
The 23 articles in this volume encompass the proceedings of the International Conference on Modules and Comodules held in Porto (Portugal) in 2006 and dedicated to Robert Wisbauer on the occasion of his 65th birthday. These articles reflect Professor Wisbauer's wide interests and give an overview of different fields related to module theory, some of which have a long tradition whereas others have emerged in recent years. They include topics in the formal theory of modules bordering on category theory, in ring theory, in Hopf algebras and quantum groups, and in corings and comodules.
Modular Forms
It provides the reader with the basic knowledge of elliptic modular forms necessary to understand the recent developments in number theory. The first part gives the general theory of modular groups, modular forms and Hecke operators, with emphasis on the Hecke-Weil theory of the relation between modular forms and Dirichlet series. The second part is on the unit groups of quaternion algebras, which are seldom dealt with in books. The so-called Eichler-Selberg trace formula of Hecke operators follows next and the explicit computable formula is given. In the last chapter, Eisenstein series with parameter are discussed following the recent work of Shimura: Eisenstein series are likely to play a very important role in the future progress of number theory, and this chapter provides a good introduction to the topic.
Modular Algorithms in Symbolic Summation and Symbolic Integration
Brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, the analysis of al gorithms placed into the lime light by DonKnuth’stalkat the 1970ICM –provides a crystal-clear criterion for success. The researcher who designs an algorithm that is faster (asymptotically, in the worst case) than any previous method receives instant gratification : her result will be recognized as valuable. Al as, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on examples; this has its obvious problems, but is sometimes the best we can do. George Collins, one of the fathers of computer algebra and a great experimenter,wrote in 1969: “I think this demonstrates again that a simple analysis is often more revealing than a ream of empirical data (although both are important). ” Within computer algebra, some areas have traditionally followed the former methodology, notably some parts of polynomial algebra and linear algebra. Other areas, such as polynomial system solving, have not yet been amenable to this - proach. The usual “input size” parameters of computer science seem inadequate, and although some natural “geometric” parameters have been identified (solution dimension, regularity), not all (potential) major progress can be expressed in this framework. Symbolic integration and summation have been in a similar state.
Modern Operator Theory and Applications : The Igor Borisovich Simonenko Anniversary Vol.
This volume is dedicated to the eminent Russian mathematician Igor Borisovich Simonenko on the occasion of his 70th birthday. It consists of a selection of 15 original contributions written by leading experts in operator theory. The topics reflect the wide range and the rich variety of areas of interests, achievements and influence of I.B. Simonenko. The book also includes his biography, the complete list of publications and a list of his Ph.D. students.
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Modelli Dinamici Discreti = Discrete Dynamic Models
Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis between different disciplines, becoming a tool for qualitative and quantitative analysis in applied sciences. This volume provides an introduction to the analysis of discrete dynamic systems, following a modeling approach. An examination of a wide range of examples, models, and motivations drawn from Biology, Demography, Engineering and Economics, is followed by the presentation of the tools for the study of linear and non-linear scalar dynamical systems, with particular attention to stability analysis. The linear difference equations are studied in detail and an elementary introduction to the Z and DFT transforms is provided. One chapter is devoted to the study of bifurcations and chaotic dynamics. One-step vector dynamical systems and the applications of Markov chains are the subject of three chapters.
Modeling, Estimation and Control : Festschrift in Honor of Giorgio Picci on the Occasion of his Sixty-Fifth Birthday
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- How Many Experiments Are Needed to Adapt?- A Mutual Information Based Distance for Multivariate Gaussian Processes.- Differential Forms and Dynamical Systems.- An Algebraic Framework for Bayes Nets of Time Series.- A Birds Eye View on System Identification.- Further Results on the Byrnes-Georgiou-Lindquist Generalized Moment Problem.- Factor Analysis and Alternating Minimization.- Tensored PolynomialModels.- Distances Between Time-Series and Their Autocorrelation Statistics.- Global Identifiability of Complex Models, Constructed from Simple Submodels.- Identification of Hidden MarkovModels - Uniform LLN-s.- Identifiability and Informative Experiments in Open and Closed-Loop Identification.- On Interpolation and the Kimura-Georgiou Parametrization.- The Control of Error in Numerical Methods.- Contour Reconstruction and Matching Using Recursive Smoothing Splines.- Role of LQ Decomposition in Subspace Identification Methods.- Canonical Operators on Graphs.
Modeling and Simulation in Scilab
Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized functions for numerical computation, organized in libraries called toolboxes, which cover such areas as simulation, optimization, systems and control, and signal processing. One important Scilab toolbox is Scicos. Scicos provides a block diagram graphical editor for the construction and simulation of dynamical systems. The objective of this book is to provide a tutorial for the use of Scilab/Scicos with a special emphasis on modeling and simulation tools. The book is divided into two parts. The first part concerns Scilab and includes a tutorial covering the language features, the data structures and specialized functions for doing graphics, importing, exporting data and interfacing external routines. It also covers in detail Scilab numerical solvers for ordinary differential equations and differential-algebraic equations. Even though the emphasis is placed on modeling and simulation applications, this part provides a global view of Scilab. The second part is dedicated to modeling and simulation of dynamical systems in Scicos. This type of modeling tool is widely used in industry because it provides a means for constructing modular and reusable models. This part contains a detailed description of the editor and its usage, which is illustrated through numerous examples.
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
Model Order Reduction : Theory, Research Aspects and Applications
The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear algebra, it covers both general and more specialized model order reduction techniques for linear and nonlinear systems, and it discusses the use of model order reduction techniques in a variety of practical applications. The book contains many recent advances in model order reduction, and presents several open problems for which techniques are still in development. It will serve as a source of inspiration for its readers, who will discover that model order reduction is a very exciting and lively field.
Mixed Hodge Structures
The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project in 1982 and 1983, the second-named author gave a series of lectures on Mixed Hodge Structures and Singularities, accompanied by a set of hand-written notes. The publication of these notes was prevented by a revolution in the subject due to Morihiko Saito: the introduction of the theory of Mixed Hodge Modules around 1985. Understanding this theory was at the same time of great importance and very hard, due to the fact that it uni es many di erent theories which are quite complicated themselves: algebraic D-modules and perverse sheaves. The present book intends to provide a comprehensive text about Mixed Hodge Theory with a view towards Mixed Hodge Modules.
Mirror Geometry of Lie Algebras, Lie Groups and Homogeneous Spaces
As K. Nomizu has justly noted [K. Nomizu, 56], Differential Geometry ever will be initiating newer and newer aspects of the theory of Lie groups. This monograph is devoted to just some such aspects of Lie groups and Lie algebras. New differential geometric problems came into being in connection with so called subsymmetric spaces, subsymmetries, and mirrors introduced in our works dating back to 1957 [L.V. Sabinin, 58a,59a,59b]. In addition, the exploration of mirrors and systems of mirrors is of interest in the case of symmetric spaces. Geometrically, the most rich in content there appeared to be the homogeneous Riemannian spaces with systems of mirrors generated by commuting subsymmetries, in particular, so called tri-symmetric spaces introduced in [L.V. Sabinin, 61b]. As to the concrete geometric problem which needs be solved and which is solved in this monograph, we indicate, for example, the problem of the classification of all tri-symmetric spaces with simple compact groups of motions. Passing from groups and subgroups connected with mirrors and subsymmetries to the corresponding Lie algebras and subalgebras leads to an important new concept of the involutive sum of Lie algebras [L.V. Sabinin, 65]. This concept is directly concerned with unitary symmetry of elementary par- cles (see [L.V. Sabinin, 95,85] and Appendix 1). The first examples of involutive (even iso-involutive) sums appeared in the - ploration of homogeneous Riemannian spaces with and axial symmetry. The consideration of spaces with mirrors [L.V. Sabinin, 59b] again led to iso-involutive sums.
