The problems of conditional optimization of the uniform (or C-) norm for polynomials and rational functions arise in various branches of science and technology. Their numerical solution is notoriously difficult in case of high degree functions. The book develops the classical Chebyshev's approach which gives analytical representation for the solution in terms of Riemann surfaces. The techniques born in the remote (at the first glance) branches of mathematics such as complex analysis, Riemann surfaces and Teichmuller theory, foliations, braids, topology are applied to approximation problems. The key feature of this book is the usage of beautiful ideas of contemporary mathematics for the solution of applied problems and their effective numerical realization. This is one of the few books where the computational aspects of the higher genus Riemann surfaces are illuminated. Effective work with the moduli spaces of algebraic curves provides wide opportunities for numerical experiments in mathematics and theoretical physics.

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.

This is a completely up-to-date compendium of Fortran algorithms for numerical mathematics, including many sophisticated algorithms which are not available elsewhere. All have been extensively field-tested and cover methods for solving nonlinear equations, the method of Laguerre for solving algebraic equations, conjugating gradients for solving linear systems of equations, and the McKee algorithm for solving special systems of symmetric equations. The real, practical algorithms provided make the book indispensable for applied scientists working in all areas of research. The CD contains Fortran programs for the algorithms given in the text.

One of the most challenging problems of contemporary theoretical physics is the mathematically rigorous construction of a theory which describes gravitation and the other fundamental physical interactions within a common framework. The physical ideas which grew from attempts to develop such a theory require highly advanced mathematical methods and radically new physical concepts. This book presents different approaches to a rigorous unified description of quantum fields and gravity. It contains a carefully selected cross-section of lively discussions which took place in autumn 2010 at the fifth conference "Quantum field theory and gravity - Conceptual and mathematical advances in the search for a unified framework" in Regensburg, Germany. In the tradition of the other proceedings covering this series of conferences, a special feature of this book is the exposition of a wide variety of approaches, with the intention to facilitate a comparison. The book is mainly addressed to mathematicians and physicists who are interested in fundamental questions of mathematical physics. It allows the reader to obtain a broad and up-to-date overview of a fascinating active research area.

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.

These proceedings contain lectures presented at the NATO-NSF-ARO sponsored Advanced Study I stitute on "Computer Aided Analysis and Optimization of Mechanical System Dynamics" held in Iowa City, Iowa, 1-12 August, 1983. Lectures were presented by free world leaders in the field of machine dynamics and optimization. Participants in the Institute were specialists from throughout NATO, many of whom presented contributed papers during the Institute and all of whom participated actively in discussions on technical aspects of the subject. The proceedings are organized into five parts, each addressing a technical aspect of the field of computational methods in dynamic analysis and design of mechanical systems. The introductory paper presented first in the text outlines some of the numerous technical considerations that must be given to organizing effective and efficient computational methods and computer codes to serve engineers in dynamic analysis and design of mechanical systems. Two substantially different approaches to the field are identified in this introduction and are given attention throughout the text. The first and most classical approach uses a minimal set of Lagrangian generalized coordinates to formulate equations of motion with a small number of constraints. The second method uses a maximal set of cartesian coordinates and leads to a large number of differential and algebraic constraint equations of rather simple form. These fundamentally different approaches and associated methods of symbolic computation, numerical integration, and use of computer graphics are addressed throughout the proceedings.

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 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.

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 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.

This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematical notions necessary to understand these concepts. Features: includes numerous fully-worked examples and step-by-step proofs, assuming no strong mathematical background; describes the foundation of the analysis of algorithms theory in terms of the big-Oh, Omega, and Theta notations; examines recurrence relations; discusses the concepts of basic operation, traditional loop counting, and best case and worst case complexities; reviews various algorithms of a probabilistic nature, and uses elements of probability theory to compute the average complexity of algorithms such as Quicksort; introduces a variety of classical finite graph algorithms, together with an analysis of their complexity; provides an appendix on probability theory, reviewing the major definitions and theorems used in the book.

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.

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.

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.

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide 'state of the art' techniques and analysis.

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. "

Computational Fluid Dynamics has now grown into a multidisciplinary activity with considerable industrial applications. The papers in this volume bring out the current status and future trends in CFD very effectively. They cover numerical techniques for solving Euler and Navier-Stokes equations and other models of fluid flow, along with a number of papers on applications. Besides the 88 contributed papers by research workers from all over the world, the book also includes 6 invited lectures from distinguished scientists and engineers.

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.

Many engineering, operations, and scientific applications include a mixture of discrete and continuous decision variables and nonlinear relationships involving the decision variables that have a pronounced effect on the set of feasible and optimal solutions. Mixed-integer nonlinear programming (MINLP) problems combine the numerical difficulties of handling nonlinear functions with the challenge of optimizing in the context of nonconvex functions and discrete variables. MINLP is one of the most flexible modeling paradigms available for optimization; but because its scope is so broad, in the most general cases it is hopelessly intractable. Nonetheless, an expanding body of researchers and practitioners - including chemical engineers, operations researchers, industrial engineers, mechanical engineers, economists, statisticians, computer scientists, operations managers, and mathematical programmers - are interested in solving large-scale MINLP instances.

This collection is dedicated to the 70th jubilee of Yu. N. Savchenko, and presents experimental, theoretical, and numerical investigations written by an international group of well-known authors. The contributions solve very important problems of the high-speed hydrodynamics, such as supersonic motion in water, drag diminishing, dynamics and stability of supercavitating vehicles, water entry and hydrodynamic performances of hydrofoils, ventilated cavities after a disc and under the ship bottom.
The book is written for researches, scientists, engineers, and students interested in problems of hydromechanics."

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."

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.