Metric and Differential Geometry grew out of a similarly named conference held at Chern Institute of Mathematics, Tianjin and Capital Normal University, Beijing. The various contributions to this volume cover a broad range of topics in metric and differential geometry, including metric spaces, Ricci flow, Einstein manifolds, Kahler geometry, index theory, hypoelliptic Laplacian and analytic torsion. It offers the most recent advances as well as surveys the new developments. Contributors: M.T. Anderson J.-M. Bismut X. Chen X. Dai R. Harvey P. Koskela B. Lawson X. Ma R. Melrose W. Muller A. Naor J. Simons C. Sormani D. Sullivan S. Sun G. Tian K. Wildrick W. Zhang

DUNE, the Distributed and Unified
Numerics Environment, is an open-source modular toolbox
for solving partial differential equations with grid-based methods.
This book covers recent advances in the development
and usage of DUNE.
It consists of a collection of 13 articles which mainly evolved from talks given at the First DUNE User Meeting in Stuttgart, Germany, 6.-8.10.2010.
The articles nicely illustrate the advanced capabilities and the strong versatility of the DUNE framework. The first part presents extensions of the DUNE core modules, including the construction of local finite element spaces, a discretization toolbox, and two meta-grids,
as well as a discussion of performance pitfalls. The second part introduces several external DUNE modules dealing with, e.g., reduced basis methods, unfitted discontinuous Galerkin methods, optimal control problems, and porous media applications.
Specific methods and applications are subject of the third part,
ranging from two-phase flow in porous media over the implementation of hybrid discontinuous Galerkin and heterogeneous multi-scale methods up to the coupling of DUNE with an existing finite element package."

This book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms, held in Eindhoven in December 2004. It offers exciting and practical examples of the use of intelligent algorithms in ambient and biomedical computing. It contains topics such as bioscience computing, database design, machine consciousness, scheduling, video summarization, audio classification, semantic reasoning, machine learning, tracking and localization, secure computing, and communication.

Digital geometry emerged as an independent discipline in the second half of the last century. It deals with geometric properties of digital objects and is developed with the unambiguous goal to provide rigorous theoretical foundations for devising new advanced approaches and algorithms for various problems of visual computing. Different aspects of digital geometry have been addressed in the literature. This book is the first one that explicitly focuses on the presentation of the most important digital geometry algorithms. Each chapter provides a brief survey on a major research area related to the general volume theme, description and analysis of related fundamental algorithms, as well as new original contributions by the authors. Every chapter contains a section in which interesting open problems are addressed.

Programming Finite Elements in Java (TM) teaches the reader how to programme the algorithms of the finite element method (FEM) in Java (TM). The compact, simple code helps the student to read the algorithms, to understand them and thus to be able to refine them. All of the main aspects of finite element techniques are considered: finite element solution; generation of finite element meshes; and visualization of finite element models and results with Java 3D (TM). The step-by-step presentation includes algorithm programming and code explanation at each point. Problems and exercises are provided for each chapter, with Java (TM) source code and problem data sets available from http://extras.springer.com/2010/978-1-84882-971-8.

This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects) for both beginning and advanced modelers, including students at the undergraduate and graduate levels, academic researchers, and practitioners. The text illustrates the breadth of the modeling and analysis capabilities that are supported by the software and support of complex real-world applications. Pyomo is an open source software package for formulating and solving large-scale optimization and operations research problems. The text begins with a tutorial on simple linear and integer programming models. A detailed reference of Pyomo's modeling components is illustrated with extensive examples, including a discussion of how to load data from data sources like spreadsheets and databases. Chapters describing advanced modeling capabilities for nonlinear and stochastic optimization are also included. The Pyomo software provides familiar modeling features within Python, a powerful dynamic programming language that has a very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from a command-line interface and within Python's interactive command environment, which makes it easy to create Pyomo models, apply a variety of optimizers, and examine solutions. The software supports a different modeling approach than commercial AML (Algebraic Modeling Languages) tools, and is designed for flexibility, extensibility, portability, and maintainability but also maintains the central ideas in modern AMLs.

The fourth international conference on Scientific Computing in Electrical En- gineering (SCEE) was held at the Eindhoven University of Technology, from 23rd to 28th June, 2002. It was sponsored by Philips Research Laborato- ries Eindhoven, the Eindhoven University of Technology, Computer Simula- tion Technology (CST) from Darmstadt, ABB Corporate Research, Thales Netherlands,the European Consortium for Mathematics in Industry (ECMI), the University of Rostock (organiser of SCEE-2000), the European network for Mathematics, Computing and Simulation for Industry (MACSI-net), the Royal Netherlands Academy of Arts and Sciences (KNAW), and the Scien- tific Computing Group of the Eindhoven University of Technology. The Program Committee consisted of: Dr. Alain Bossavit, Electricite de France, Clamart, France. Dr. Uwe Feldmann, Infineon Technologies A.G., Munich, Germany. Prof.Dr. Leszek Demkowicz, University of Texas at Austin, USA. Dr. Michael Gunther, Universitat Karlsruhe, Germany. Prof.Dr. Ulrich Langer, Johannes Kepler Universitat, Linz, Austria. Dr. Jan ter Maten,Philips Research Laboratories Eindhoven, The Nether- lands. Prof.Dr. Ursula van Rienen, Universitat Rostock, Germany. Prof.Dr. Jaijeet Roychowdhury, University of Minnesota, USA. - Prof.Dr. Wil Schilders, Technische Universiteit Eindhoven and Philips Research Laboratories Eindhoven, The Netherlands. - Prof.Dr. Thomas Weiland, Technische Universitat Darmstadt, Germany.

About 80 participants from 16 countries attended the Conference on Numerical Methods for Free Boundary Problems, held at the University of Jyviiskylii, Finland, July 23-27, 1990. The main purpose of this conference was to provide up-to-date information on important directions of research in the field of free boundary problems and their numerical solutions. The contributions contained in this volume cover the lectures given in the conference. The invited lectures were given by H.W. Alt, V. Barbu, K-H. Hoffmann, H. Mittelmann and V. Rivkind. In his lecture H.W. Alt considered a mathematical model and existence theory for non-isothermal phase separations in binary systems. The lecture of V. Barbu was on the approximate solvability of the inverse one phase Stefan problem. K-H. Hoff mann gave an up-to-date survey of several directions in free boundary problems and listed several applications, but the material of his lecture is not included in this proceedings. H.D. Mittelmann handled the stability of thermo capillary convection in float-zone crystal growth. V. Rivkind considered numerical methods for solving coupled Navier-Stokes and Stefan equations. Besides of those invited lectures mentioned above there were 37 contributed papers presented. We shall briefly outline the topics of the contributed papers: Stefan like problems. Modelling, existence and uniqueness."

Mathematics majors at Michigan State University take a "Capstone" course near the end of their undergraduate careers. The content of this course varies with each offering. Its purpose is to bring together different topics from the undergraduate curriculum and introduce students to a developing area in mathematics. This text was originally written for a Capstone course. Basic wavelet theory is a natural topic for such a course. By name, wavelets date back only to the 1980s. On the boundary between mathematics and engineering, wavelet theory shows students that mathematics research is still thriving, with important applications in areas such as image compression and the numerical solution of differential equations. The author believes that the essentials of wavelet theory are sufficiently elementary to be taught successfully to advanced undergraduates. This text is intended for undergraduates, so only a basic background in linear algebra and analysis is assumed. We do not require familiarity with complex numbers and the roots of unity.

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Gauss-Allianz, the association of High-Performance Computing centers in Germany. The reports cover all fields of computational science and engineering, ranging from CFD to Computational Physics and Biology to Computer Science, with a special emphasis on industrially relevant applications. Presenting results for large-scale parallel microprocessor-based systems and GPU and FPGA-supported systems, the book makes it possible to compare the performance levels and usability of various architectures. Its outstanding results in achieving the highest performance for production codes are of particular interest for both scientists and engineers. The book includes a wealth of color illustrations and tables.

The vast area of Scientific Computing, which is concerned with the computer- aided simulation of various processes in engineering, natural, economical, or social sciences, now enjoys rapid progress owing to the development of new efficient symbolic, numeric, and symbolic/numeric algorithms. There has already been for a long time a worldwide recognition of the fact that the mathematical term algorithm takes its origin from the Latin word algo- ritmi, which is in turn a Latin transliteration of the Arab name "AI Khoresmi" of the Khoresmian mathematician Moukhammad Khoresmi, who lived in the Khoresm khanate during the years 780 - 850. The Khoresm khanate took sig- nificant parts of the territories of present-day TUrkmenistan and Uzbekistan. Such towns of the Khoresm khanate as Bukhara and Marakanda (the present- day Samarkand) were the centers of mathematical science and astronomy. The great Khoresmian mathematician M. Khoresmi introduced the Indian decimal positional system into everyday's life; this system is based on using the famil- iar digits 1,2,3,4,5,6,7,8,9,0. M. Khoresmi had presented the arithmetic in the decimal positional calculus (prior to him, the Indian positional system was the subject only for jokes and witty disputes). Khoresmi's Book of Addition and Subtraction by Indian Method (Arithmetic) differs little from present-day arith- metic. This book was translated into Latin in 1150; the last reprint was produced in Rome in 1957.

ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16th European Conference on Mathematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation to model order reduction for chip design, uncertainties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods.

These proceedings of ECMI 2010 emphasize mathematics as an innovation enabler for industry and business, and as an absolutely essential pre-requiste for Europe on its way to becoming the leading knowledge-based economy in the world.

The Bialowieza workshops on Geometric Methods in Physics, taking place in the unique environment of the Bialowieza natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the workshop were asked to contribute, and additional review articles were added. The selection shows that despite its now long tradition the workshop remains always at the cutting edge of ongoing research. The XXXI workshop had as a special topic the works of the late Boris Vasilievich Fedosov (1938-2011) who is best known for a simple and very natural construction of a deformation quantization for any symplectic manifold, and for his contributions to index theory.

Tearing and interconnecting methods, such as FETI, FETI-DP, BETI, etc., are among the most successful domain decomposition solvers for partial differential equations. The purpose of this book is to give a detailed and self-contained presentation of these methods, including the corresponding algorithms as well as a rigorous convergence theory. In particular, two issues are addressed that have not been covered in any monograph yet: the coupling of finite and boundary elements within the tearing and interconnecting framework including exterior problems, and the case of highly varying (multiscale) coefficients not resolved by the subdomain partitioning. In this context, the book offers a detailed view to an active and up-to-date area of research.

Mechanics, Motion Control, Sensing and Programming, Synthesis and Design, Legged Locomotion and Biomechanical Aspects of Robots and Manipulators - world view of the state of the art. Characterization: This volume presents the latest contribution to the theory and practice of modern robotics given by the world recognized scientists from Australia, Canada, Europe, Japan, Mexico, Singapore and USA.

For long-span bridges, wind action is a dominant factor in their safety and serviceability. A large number of long-span bridges have been built in Japan over the past 30 years, and tremendous amounts of research and technical development have been accomplished in wind-resistant design." "This book is a compilation of the results of active research and development. Wind-resistant design standards generated in Japan are described in the first few chapters. Then comes information such as design wind speed, structural damping, wind tunnel tests, and analyses, which provide the basis of the designstandards. Wind-induced vibrations and their control of girders, towers, cables, and other features are explained with examples of field measurements. Comprehensive listings of Japanese experience in vibration control are also presented. Because achieving particularly dynamic safety against wind is still not an easy task, these data and information will be valuable assets for the wind-engineering and bridge-engineering communities."

This book introduces resource-aware data fusion algorithms to gather and combine data from multiple sources (e.g., sensors) in order to achieve inferences. These techniques can be used in centralized and distributed systems to overcome sensor failure, technological limitation, and spatial and temporal coverage problems. The algorithms described in this book are evaluated with simulation and experimental results to show they will maintain data integrity and make data useful and informative.

Describes techniques to overcome real problems posed by wireless sensor networks deployed in circumstances that might interfere with measurements provided, such as strong variations of pressure, temperature, radiation, and electromagnetic noise; Uses simulation and experimental results to evaluate algorithms presented and includes real test-bed; Includes case study implementing data fusion algorithms on a remote monitoring framework for sand production in oil pipelines. "

This thesis presents a groundbraking methodology for the radar international community. The detection approach introduced, namely perturbation analysis, is completey novel showing a remarkable capability of thinking outside the box. Perturbation analysis is able to push forward the performance limits of current algorithms, allowing the detection of targets smaller than the resolution cell and highly embedded in clutter. The methodology itself is extraordinary flexibe and has already been used in two other large projects, funded by the ESA (European Space Agency): M-POL for maritime surveillance, and DRAGON-2 for land classification with particular attention to forests. This book is a perfectly organised piece of work where every detail and perspective is taken into account in order to provide a comprehensive vision of the problems and solutions.

This book contains detailed lecture notes on four topics at the forefront of current research in computational mathematics. Each set of notes presents a self-contained guide to a current research area and has an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. The notes start from a level suitable for first year graduate students in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. The reader should therefore be able to gain quickly an insight into the important results and techniques in each area without recourse to the large research literature. Current (unsolved) problems are also described and directions for future research are given. This book is also suitable for professional mathematicians who require a succint and accurate account of recent research in areas parallel to their own, and graduates in mathematical sciences.

Evolution equations of hyperbolic or more general p-evolution type form an active field of current research. This volume aims to collect some recent advances in the area in order to allow a quick overview of ongoing research. The contributors are first rate mathematicians. This collection of research papers is centred around parametrix constructions and microlocal analysis; asymptotic constructions of solutions; energy and dispersive estimates; and associated spectral transforms. Applications concerning elasticity and general relativity complement the volume. The book gives an overview of a variety of ongoing current research in the field and, therefore, allows researchers as well as students to grasp new aspects and broaden their understanding of the area.

This book presents and extend different known methods to solve different types of strong nonlinearities encountered by engineering systems. A better knowledge of the classical methods presented in the first part lead to a better choice of the so-called base functions . These are absolutely necessary to obtain the auxiliary functions involved in the optimal approaches which are presented in the second part.
Every chapter introduces a distinct approximate method applicable to nonlinear dynamical systems. Each approximate analytical approach is accompanied by representative examples related to nonlinear dynamical systems from to various fields of engineering."

"The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field." Journal of Symbolic Logic Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Such applications include the randomness of finite objects or infinite sequences, Martin-Loef tests for randomness, information theory, computational learning theory, the complexity of algorithms, and the thermodynamics of computing. It will be ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. The book is self-contained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems. New topics in this edition include Omega numbers, Kolmogorov-Loveland randomness, universal learning, communication complexity, Kolmogorov's random graphs, time-limited universal distribution, Shannon information and others.

While preparing and teaching 'Introduction to Geodesy I and II' to undergraduate students at Stuttgart University, we noticed a gap which motivated the writing of the present book: Almost every topic that we taught required some skills in algebra, and in particular, computer algebra! From positioning to transformation problems inherent in geodesy and geoinformatics, knowledge of algebra and application of computer algebra software were required. In preparing this book therefore, we have attempted to put together basic concepts of abstract algebra which underpin the techniques for solving algebraic problems. Algebraic computational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations are presented and tested on various problems. Though the present book focuses mainly on the two ?elds, the concepts and techniques presented herein are nonetheless applicable to other ?elds where algebraic computational problems might be encountered. In Engineering for example, network densi?cation and robotics apply resection and intersection techniques which require algebraic solutions. Solution of nonlinear systems of equations is an indispensable task in almost all geosciences such as geodesy, geoinformatics, geophysics (just to mention but a few) as well as robotics. These equations which require exact solutions underpin the operations of ranging, resection, intersection and other techniques that are normally used. Examples of problems that require exact solutions include; * three-dimensional resection problem for determining positions and orientation of sensors, e. g. , camera, theodolites, robots, scanners etc.

The projectors are considered as simple but important type of matrices and operators. Their basic theory can be found in many books, among which Hal mas [177], [178] are of particular significance. The projectors or projections became an active research area in the last two decades due to ideas generated from linear algebra, statistics and various areas of algorithmic mathematics. There has also grown up a great and increasing number of projection meth ods for different purposes. The aim of this book is to give a unified survey on projectors and projection methods including the most recent results. The words projector, projection and idempotent are used as synonyms, although the word projection is more common. We assume that the reader is familiar with linear algebra and mathemati cal analysis at a bachelor level. The first chapter includes supplements from linear algebra and matrix analysis that are not incorporated in the standard courses. The second and the last chapter include the theory of projectors. Four chapters are devoted to projection methods for solving linear and non linear systems of algebraic equations and convex optimization problems.

Whether different types of costs are to be reduced, benefits to be maximized or scarce resources to be managed, scheduling theory provides intelligent methods for practitioners and scientists. The just-in-time (JIT) production philosophy has enriched the classical scheduling theory with models that consider characteristics such as inventory costs, set-up times, lot sizing, or maintenance. This edited volume considers the specifics of just-in-time systems. It provides knowledge and insights on recent advances in scheduling theory where just-in-time aspects are considered. Contributions on models, theory, algorithms, and applications, that bring the theory up-to-date on the state-of-the-art of JIT systems are presented. Professionals, researchers and graduate students will find this book useful.