Mathematical foundations Books

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the...

In essence, Computing with Words (CWW) is a system of computation in which the objects of computation are predominantly words, phrases and propositions drawn from a natural language. CWW is based on fuzzy logic. In science there is a deep-seated...

This book represents the refereed proceedings of the Ninth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Warsaw (Poland) in August 2010. These biennial conferences are...

The book of nature is written in the language of mathematics -- Galileo Galilei How is it possible to predict weather patterns for tomorrow, with access solely to today's weather data? And how is it possible to predict the aerodynamic behavior of an...

This volume will contain selected papers from the lectures held at the BAIL 2010 Conference, which took place from July 5th to 9th, 2010 in Zaragoza (Spain). The papers present significant advances in the modeling, analysis and construction of efficient...

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented...

This book is a snapshot of current research in multiscale modeling, computations and applications. It covers fundamental mathematical theory, numerical algorithms as well as practical computational advice for analysing single and multiphysics models...

This book collects up-to-date papers from world experts in a broad variety of relevant applications of approximation theory, including dynamical systems, multiscale modelling of fluid flow, metrology, and geometric modelling to mention a few. The 14...

The numerical treatment of partial differential equations with particle methods and meshfree discretization techniques is an extremely active research field, both in the mathematics and engineering communities. Meshfree methods are becoming increasingly...

The book contains a selection of high quality papers, chosen among the best presentations during the International Conference on Spectral and High-Order Methods (2009), and provides an overview of the depth and breadth of the activities within this...

This book deals with the numerical analysis and efficient numerical treatment of high-dimensional integrals using sparse grids and other dimension-wise integration techniques with applications to finance and insurance. The book focuses on providing...

This volume contains the extended version of selected talks given at the international research workshop "Coping with Complexity: Model Reduction and Data Analysis", Ambleside, UK, August 31 - September 4, 2009. The book is deliberately broad in scope...

This book is the first monograph providing an introduction to and an overview of numerical methods for the simulation of two-phase incompressible flows. The Navier-Stokes equations describing the fluid dynamics are examined in combination with models for...

In this book, regular structures are de ned as periodic structures consisting of repeated elements (translational symmetry) as well as structures with a geom- ric symmetry. Regular structures have for a long time been attracting the attention of...

Methodology.- Modelling Framework.- Simulation Models.- Valuation and Sensitivities.- Architecture and Implementation.- Computational Framework.- Implementation.- Architecture.- Products.- Interest-Rate Products.- Equity, Commodity, Inflation and FX...

Borel Sets, Measures and All That.- Modal Logics.- The Giry Monad: Randomized Morphisms.- Coalgebraic Logic.

Permutation and bootstrap statistics under infinite variance.- Max-Stable Processes: Representations, Ergodic Properties and Statistical Applications.- Best attainable rates of convergence for the estimation of the memory parameter.- Harmonic analysis...

Science used to be experiments and theory, now it is experiments, theory and computations. The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics, astrophysics, chemistry,...

Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications. This volume provides further evidence of the number of...

One of the charms of mathematics is the contrast between its generality and its applicability to concrete, even everyday, problems. Branching processes are typical in this. Their niche of mathematics is the abstract pattern of reproduction, sets of...

These are the proceedings of the 19th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linear or nonlinear systems of algebraic...

We are pleased to present this LNCS volume, the Proceedings of the 22nd A- tralasianJointConferenceonArti?cialIntelligence(AI2009),heldinMelbourne, Australia, December 1-4,2009.This long established annual regionalconference is...

Multi-Objective Stochastic Programming Approaches for Supply Chain Management.- A Review of Goal Programming for Portfolio Selection.- A Hypervolume-Based Optimizer for High-Dimensional Objective Spaces.- Minimizing Vector Risk Measures.- Multicriteria...

This volumecontainsthe scienti?c papersacceptedforpublicationatthe conf- ence of the Italian Association for Arti?cial Intelligence (AI*IA), held in Reggio Emilia during December 9-12, 2009. This was the 11th conference of the...

Physics.- Magnetic Fields in Very Light Extragalactic Jets.- The SuperN-Project: Status and Outlook.- Massless Four-Loop Integrals and the Total Cross Section in e + e ? Annihilation.- Solid State Physics.- Computer Simulations of Complex Many-Body...

Preface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic systems...

This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing (SC) techniques. The authors extend the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Combining type-2 fuzzy logic...

The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), endowed with its standard scalar product. Let us state precisely what we mean by a geometric quantity...

The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational science and mathematics. In recent years, computation has been affecting pure mathematics in fundamental ways. Conversely, ideas...

This book on the state of the art in "Multifield Problems" consists of selected articles based on a conference on this topic at the University of Stuttgart in 1999. The first two articles are contributions to the general...

The workshop "Nonhnear MHD Waves and Turbulence" was held at the - servatoire de Nice, December 1-4, 1998 and brought together an international group of experts in plasma physics, fluid dynamics and applied mathematics. The aim...

In 1990, the Society for the Advancement of Economic Theory (SAET) was founded with the main purpose to advance our knowledge in theoretical economics and to facilitate communication among researchers in economics, mathematics,...

As the role of the modern engineer is markedly different from that of even a decade ago, the theme of engineering mathematics educa­ tion (EME) is an important one. The need for mathematical model­ ling (MM) courses and...

The numerical analysis of stochastic differential equations (SDEs) differs significantly from that of ordinary differential equations. This book provides an easily accessible introduction to SDEs, their applications and the...

Soliton theory is an important branch of applied mathematics and mathematical physics. An active and productive field of research, it has important applications in fluid mechanics, nonlinear optics, classical and quantum fields...

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical...

Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E...

This is the only textbook available on multiresolution methods in geometric modeling, a central topic in visualization, which is of great importance for industrial applications. Written in tutorial form, the book is...

As computational fluid dynamics (CFD) is applied to ever more demanding fluid flow problems, the ability to compute numerical fluid flow solutions to a user specified tolerance as well as the ability to quantify the accuracy of...

Realizing the need of interaction between universities and research groups in industry, the European Consortium for Mathematics in Industry (ECMI) was founded in 1986 by mathematicians from ten European universities. Since then...

This monograph presents an introduction into basic mechanical aspects of mechatronic systems for students, researchers and engineers from industrial practice. An overview over the theoretical background of rigid body mechanics...

Partial Differential Equations in Mathematical Modeling of Fluid Flow Problems.- PDE-Constrained Optimization Methods.- I: Applications in Environmental Engineering.- Mathematical Model of Multiphase Flow through Porous Media.- Parameter Identification...

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic ?nite automata in which the transitions carry weights. These weights may...

These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (LATA 2009), held in Tarragona, Spain, during April 2-8, 2009. The scope of...