الصفحة 1
الصفحة 1
Open Quantum Systems I : The Hamiltonian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. This Volume, I the Hamiltonian description of quantum open systems is discussed. This includes an introduction to quantum statistical mechanics and its operator algebraic formulation, modular theory, spectral analysis and their applications to quantum dynamical systems.
Number Theory ; Vol. II : Analytic and Modern Tools
The central theme of this graduate-level number theory textbook is the solution of Diophantine equations, i.e., equations or systems of polynomial equations which must be solved in integers, rational numbers or more generally in algebraic numbers. This theme, in particular, is the central motivation for the modern theory of arithmetic algebraic geometry. In this text, this is considered through three aspects.
Number Theory ; Vol. I : Tools and Diophantine Equations
The central theme of this graduate-level number theory textbook is the solution of Diophantine equations, i.e., equations or systems of polynomial equations which must be solved in integers, rational numbers or more generally in algebraic numbers. This theme, in particular, is the central motivation for the modern theory of arithmetic algebraic geometry. In this text, this is considered through three aspects.
Noncommutative Geometry and Number Theory : Where Arithmetic meets Geometry and Physics
This volume collects and presents up-to-date research topics in arithmetic and noncommutative geometry and ideas from physics that point to possible new connections between the fields of number theory, algebraic geometry and noncommutative geometry. The articles collected in this volume present new noncommutative geometry perspectives on classical topics of number theory and arithmetic such as modular forms, class field theory, the theory of reductive p-adic groups, Shimura varieties, the local Lfactors of arithmetic varieties. They also show how arithmetic appears naturally in noncommutative geometry and in physics, in the residues of Feynman graphs, in the properties of noncommutative tori, and in the quantum Hall effect.
Noetherian Semigroup Algebras
This work presents a comprehensive treatment of the main results and methods of the theory of Noetherian semigroup algebras. These general results are then applied and illustrated in the context of important classes of algebras that arise in a variety of areas and have been recently intensively studied. Several concrete constructions are described in full detail, in particular intriguing classes of quadratic algebras and algebras related to group rings of polycyclic-by-finite groups. These give new classes of Noetherian algebras of small Gelfand-Kirillov dimension. The focus is on the interplay between their combinatorics and the algebraic structure.
Nearrings and Nearfields ; Proceedings of the Conference on Nearrings and Nearfields, Hamburg, Germany July 27 - August 3, 2003
This present volume is the Proceedings of the 18th International Conference on Nearrings and Nearfields held at the Helmut-Schmidt-Universitat, Universitat der Bundeswehr Hamburg, from July 27-August 3, 2003. It contains the written versions of the lectures by the five invited speakers. These concern recent developments of planar nearrings, nearrings of mappings, group nearrings and loop-nearrings. One of them is a long and very substantial research paper "The Z-Constrained Conjecture". These are followed by 13 contributions reflecting the diversity of the subject of nearrings and related structures. Besides the purely algebriac structure theory, these papers show many connections of nearring theory with group theory, combinatorics, geometries, and topology, and all contain original research.
Multiplicative Invariant Theory
Multiplicative invariant theory, as a research area in its own right within the wider spectrum of invariant theory, is of relatively recent vintage. The present text offers a coherent account of the basic results achieved thus far.. Multiplicative invariant theory is intimately tied to integral representations of finite groups. Therefore, the field has a predominantly discrete, algebraic flavor. Geometry, specifically the theory of algebraic groups, enters through Weyl groups and their root lattices as well as via character lattices of algebraic tori.
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.
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.
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.
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.
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.
Metric Structures for Riemannian and Non-Riemannian Spaces
The first stages of the new developments were presented in Gromov's course in Paris, which turned into the famous "Green Book" by Lafontaine and Pansu (1979). The present English translation of that work has been enriched and expanded with new material to reflect recent progress. Additionally, four appendices—by Gromov on Levy's inequality, by Pansu on "quasiconvex" domains, by Katz on systoles of Riemannian manifolds, and by Semmes overviewing analysis on metric spaces with measures—as well as an extensive bibliography and index round out this unique and beautiful book.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
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.
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.
