Addressing students and researchers as well as Computational Fluid Dynamics practitioners, this book is the most comprehensive review of high-resolution schemes based on the principle of Flux-Corrected Transport (FCT). The foreword by J.P. Boris and historical note by D.L. Book describe the development of the classical FCT methodology for convection-dominated transport problems, while the design philosophy behind modern FCT schemes is explained by S.T. Zalesak. The subsequent chapters present various improvements and generalizations proposed over the past three decades.
In this new edition, recent results are integrated into existing chapters in order to describe significant advances since the publication of the first edition. Also, 3 new chapters were added in order to cover the following topics: algebraic flux correction for finite elements, iterative and linearized FCT schemes, TVD-like flux limiters, acceleration of explicit and implicit solvers, mesh adaptation, failsafe limiting for systems of conservation laws, flux-corrected interpolation (remapping), positivity preservation in RANS turbulence models, and the use of FCT as an implicit subgrid scale model for large eddy simulations.

Model-based recursive partitioning (MOB) provides a powerful synthesis between machine-learning inspired recursive partitioning methods and regression models. Hanna Birke extends this approach by allowing in addition for measurement error in covariates, as frequently occurring in biometric (or econometric) studies, for instance, when measuring blood pressure or caloric intake per day. After an introduction into the background, the extended methodology is developed in detail for the Cox model and the Weibull model, carefully implemented in R, and investigated in a comprehensive simulation study.

Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Discrete Event Systems (DESs). This book provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for a wide range of modern engineering applications. This book classifies the different techniques and approaches according to several criteria such as: modeling tools (Automata, Petri nets, Templates) that is used to construct the model; the information (qualitative based on events occurrences and/or states outputs, quantitative based on signal processing, data analysis) that is needed to analyze and achieve the diagnosis; the decision structure (centralized, decentralized) that is required to achieve the diagnosis; as well as the complexity (polynomial, exponential) of the algorithm that is used to determine the set of faults that the proposed approach is able to diagnose as well as the delay time required for this diagnosis. The goal of this classification is to select the efficient method to achieve the fault diagnosis according to the application constraints. This book will include illustrated examples of the presented methods and techniques as well as a discussion on the application of these methods on several real-world problems.

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.

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.

This work describes the propagation properties of the so-called symmetric interior penalty discontinuous Galerkin (SIPG) approximations of the 1-d wave equation. This is done by means of linear approximations on uniform meshes. First, a careful Fourier analysis is constructed, highlighting the coexistence of two Fourier spectral branches or spectral diagrams (physical and spurious) related to the two components of the numerical solution (averages and jumps). Efficient filtering mechanisms are also developed by means of techniques previously proved to be appropriate for classical schemes like finite differences or P1-classical finite elements. In particular, the work presents a proof that the uniform observability property is recovered uniformly by considering initial data with null jumps and averages given by a bi-grid filtering algorithm. Finally, the book explains how these results can be extended to other more sophisticated conforming and non-conforming finite element methods, in particular to quadratic finite elements, local discontinuous Galerkin methods and a version of the SIPG method adding penalization on the normal derivatives of the numerical solution at the grid points. This work is the first publication to contain a rigorous analysis of the discontinuous Galerkin methods for wave control problems. It will be of interest to a range of researchers specializing in wave approximations.

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.

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 volume contains eight state of the art contributions on mathematical aspects and applications of fast boundary element methods in engineering and industry. This covers the analysis and numerics of boundary integral equations by using differential forms, preconditioning of hp boundary element methods, the application of fast boundary element methods for solving challenging problems in magnetostatics, the simulation of micro electro mechanical systems, and for contact problems in solid mechanics. Other contributions are on recent results on boundary element methods for the solution of transient problems. This book is addressed to researchers, graduate students and practitioners working on and using boundary element methods. All contributions also show the great achievements of interdisciplinary research between mathematicians and engineers, with direct applications in engineering and industry.

Semidefinite programs constitute one of the largest classes of optimization problems that can be solved with reasonable efficiency - both in theory and practice. They play a key role in a variety of research areas, such as combinatorial optimization, approximation algorithms, computational complexity, graph theory, geometry, real algebraic geometry and quantum computing. This book is an introduction to selected aspects of semidefinite programming and its use in approximation algorithms. It covers the basics but also a significant amount of recent and more advanced material.

There are many computational problems, such as MAXCUT, for which one cannot reasonably expect to obtain an exact solution efficiently, and in such case, one has to settle for approximate solutions. For MAXCUT and its relatives, exciting recent results suggest that semidefinite programming is probably the ultimate tool. Indeed, assuming the Unique Games Conjecture, a plausible but as yet unproven hypothesis, it was shown that for these problems, known algorithms based on semidefinite programming deliver the best possible approximation ratios among all polynomial-time algorithms.

This book follows the "semidefinite side" of these developments, presenting some of the main ideas behind approximation algorithms based on semidefinite programming. It develops the basic theory of semidefinite programming, presents one of the known efficient algorithms in detail, and describes the principles of some others. It also includes applications, focusing on approximation algorithms."

Mechanical design includes an optimization process in which designers always consider objectives such as strength, deflection, weight, wear, corrosion, etc. depending on the requirements. However, design optimization for a complete mechanical assembly leads to a complicated objective function with a large number of design variables. It is a good practice to apply optimization techniques for individual components or intermediate assemblies than a complete assembly. Analytical or numerical methods for calculating the extreme values of a function may perform well in many practical cases, but may fail in more complex design situations. In real design problems, the number of design parameters can be very large and their influence on the value to be optimized (the goal function) can be very complicated, having nonlinear character. In these complex cases, advanced optimization algorithms offer solutions to the problems, because they find a solution near to the global optimum within reasonable time and computational costs.

"Mechanical Design Optimization Using Advanced Optimization Techniques" presents a comprehensive review on latest research and development trends for design optimization of mechanical elements and devices. Using examples of various mechanical elements and devices, the possibilities for design optimization with advanced optimization techniques are demonstrated. Basic and advanced concepts of traditional and advanced optimization techniques are presented, along with real case studies, results of applications of the proposed techniques, and the best optimization strategies to achieve best performance are highlighted. Furthermore, a novel advanced optimization method named teaching-learning-based optimization (TLBO) is presented in this book and this method shows better performance with less computational effort for the large scale problems.

"Mechanical Design Optimization Using Advanced Optimization Techniques" is intended for designers, practitioners, managers, institutes involved in design related projects, applied research workers, academics, and graduate students in mechanical and industrial engineering and will be useful to the industrial product designers for realizing a product as it presents new models and optimization techniques to make tasks easier, logical, efficient and effective.

Fracture mechanics is a vast and growing field. This book develops the basic elements needed for both fracture research and engineering practice. The emphasis is on continuum mechanics models for energy flows and crack-tip stress- and deformation fields in elastic and elastic-plastic materials. In addition to a brief discussion of computational fracture methods, the text includes practical sections on fracture criteria, fracture toughness testing, and methods for measuring stress intensity factors and energy release rates. Class-tested at Cornell, this book is designed for students, researchers and practitioners interested in understanding and contributing to a diverse and vital field of knowledge.

This volume highlights the latest developments and trends in advanced materials and their properties, the modeling and simulation of non-classical materials and structures, and new technologies for joining materials. It presents the developments of advanced materials and respective tools to characterize and predict the material properties and behavior.

This special volume focuses on optimization and control of processes governed by partial differential equations. The contributors are mostly participants of the DFG-priority program 1253: Optimization with PDE-constraints which is active since 2006. The book is organized in sections which cover almost the entire spectrum of modern research in this emerging field. Indeed, even though the field of optimal control and optimization for PDE-constrained problems has undergone a dramatic increase of interest during the last four decades, a full theory for nonlinear problems is still lacking. The contributions of this volume, some of which have the character of survey articles, therefore, aim at creating and developing further new ideas for optimization, control and corresponding numerical simulations of systems of possibly coupled nonlinear partial differential equations. The research conducted within this unique network of groups in more than fifteen German universities focuses on novel methods of optimization, control and identification for problems in infinite-dimensional spaces, shape and topology problems, model reduction and adaptivity, discretization concepts and important applications. Besides the theoretical interest, the most prominent question is about the effectiveness of model-based numerical optimization methods for PDEs versus a black-box approach that uses existing codes, often heuristic-based, for optimization.

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.

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.

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 Bialowieza workshops on Geometric Methods in Physics are among the most important meetings in the field. Every year some 80 to 100 participants from both mathematics and physics join to discuss new developments and to interchange ideas. This volume contains contributions by selected speakers at the XXX meeting in 2011 as well as additional review articles and shows that the workshop remains at the cutting edge of ongoing research. The 2011 workshop focussed on the works of the late Felix A. Berezin (1931-1980) on the occasion of his 80th anniversary as well as on Bogdan Mielnik and Stanislaw Lech Woronowicz on their 75th and 70th birthday, respectively. The groundbreaking work of Berezin is discussed from today's perspective by presenting an overview of his ideas and their impact on further developments. He was, among other fields, active in representation theory, general concepts of quantization and coherent states, supersymmetry and supermanifolds. Another focus lies on the accomplishments of Bogdan Mielnik and Stanislaw Lech Woronowicz. Mielnik's geometric approach to the description of quantum mixed states, the method of quantum state manipulation and their important implications for quantum computing and quantum entanglement are discussed as well as the intricacies of the quantum time operator. Woronowicz' fruitful notion of a compact quantum group and related topics are also addressed.

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.

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.

The objective of this book is to advance the current knowledge of sensor research particularly highlighting recent advances, current work, and future needs. The goal is to share current technologies and steer future efforts in directions that will benefit the majority of researchers and practitioners working in this broad field of study.

This is a very lucid introduction to spectral methods emphasizing the mathematical aspects of the theory rather than the many applications in numerical analysis and the engineering sciences. The first part is a fairly complete introduction to Fourier series while the second emphasizes polynomial expansion methods like Chebyshev's. The author gives rigorous proofs of fundamental results related to one-dimensional advection and diffusions equations. The book addresses students as well as practitioners of numerical analysis.

This volume is an attempt to provide a graduate level introduction to various aspects of stochastic geometry, spatial statistics and random fields, with special emphasis placed on fundamental classes of models and algorithms as well as on their applications, e.g. in materials science, biology and genetics. This book has a strong focus on simulations and includes extensive codes in Matlab and R which are widely used in the mathematical community. It can be seen as a continuation of the recent volume 2068 of Lecture Notes in Mathematics, where other issues of stochastic geometry, spatial statistics and random fields were considered with a focus on asymptotic methods.