Whatdoasupernovaexplosioninouterspace,?owaroundanairfoil and knocking in combustion engines have in common? The physical and chemical mechanisms as well as the sizes of these processes are quite di?erent. So are the motivations for studying them scienti?cally. The super- 8 nova is a thermo-nuclear explosion on a scale of 10 cm. Astrophysicists try to understand them in order to get insight into fundamental properties of the universe. In ?ows around airfoils of commercial airliners at the scale of 3 10 cm shock waves occur that in?uence the stability of the wings as well as fuel consumption in ?ight. This requires appropriate design of the shape and structure of airfoils by engineers. Knocking occurs in combustion, a chemical 1 process, and must be avoided since it damages motors. The scale is 10 cm and these processes must be optimized for e?ciency and environmental conside- tions. The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically the same type of hyperbolic s- tems of partial di?erential equations in divergence form, called conservation laws. Astrophysicists, engineers and mathematicians share a common interest in scienti?c progress on theory for these equations and the development of computational methods for solutions of the equations. Due to their wide applicability in modeling of continua, partial di?erential equationsareamajor?eldofresearchinmathematics. Asubstantialportionof mathematical research is related to the analysis and numerical approximation of solutions to such equations. Hyperbolic conservation laws in two or more spacedimensionsstillposeoneofthemainchallengestomodernmathematics.

Nuclear engineering has undergone extensive progress over the years. In the past century, colossal developments have been made and with specific reference to the mathematical theory and computational science underlying this discipline, advances in areas such as high-order discretization methods, Krylov Methods and Iteration Acceleration have steadily grown. Nuclear Computational Science: A Century in Review addresses these topics and many more; topics which hold special ties to the first half of the century, and topics focused around the unique combination of nuclear engineering, computational science and mathematical theory. Comprising eight chapters, Nuclear Computational Science: A Century in Review incorporates a number of carefully selected issues representing a variety of problems, providing the reader with a wealth of information in both a clear and concise manner. The comprehensive nature of the coverage and the stature of the contributing authors combine to make this a unique landmark publication. Targeting the medium to advanced level academic, this book will appeal to researchers and students with an interest in the progression of mathematical theory and its application to nuclear computational science.

On the occasion of his 60th birthday in October 2009, friends, collaborators, and admirers of Wolfgang Dahmen have organized this volume which touches on va- ous of his research interests. This volume will provide an easy to read excursion into many important topics in applied and computational mathematics. These include nonlinear and adaptive approximation, multivariate splines, subdivision schemes, multiscale and wavelet methods, numerical schemes for partial differential and boundary integral equations, learning theory, and high-dimensional integrals. College Station, Texas, USA Ronald A. DeVore Paderborn, Germany Angela Kunoth June 2009 vii Acknowledgements We are deeply grateful to Dr. Martin Peters and Thanh-Ha Le Thi from Springer for realizing this book project and to Frank Holzwarth for technical support. ix Contents Introduction: Wolfgang Dahmen's mathematical work...1 Ronald A. DeVore and Angela Kunoth 1 Introduction ...1 2 The early years: Classical approximation theory...2 3 Bonn, Bielefeld, Berlin, and multivariate splines ...2 3. 1 Computer aided geometric design ...3 3. 2 Subdivision and wavelets ...4 4 Wavelet and multiscale methods for operator equations...5 4. 1 Multilevel preconditioning ...5 4. 2 Compression of operators...5 5 Adaptive solvers ...6 6 Constructionandimplementation...7 7 Hyperbolic partial differential equations and conservation laws ...8 8 Engineering collaborations ...9 9 Thepresent ...9 10 Finalremarks...10 Publications by Wolfgang Dahmen (as of summer 2009)...10 The way things were in multivariate splines: A personal view...19 Carl de Boor 1 Tensor product spline interpolation...19 2 Quasiinterpolation ...20 3 MultivariateB-splines ...21 4 Kergininterpolation ...

This book provides a thorough introduction to the mathematical and algorithmic aspects of certified reduced basis methods for parametrized partial differential equations. Central aspects ranging from model construction, error estimation and computational efficiency to empirical interpolation methods are discussed in detail for coercive problems. More advanced aspects associated with time-dependent problems, non-compliant and non-coercive problems and applications with geometric variation are also discussed as examples.

A new starting-point and a new method are requisite, to insure a complete [classi?cation of the Steiner triple systems of order 15]. This method was furnished, and its tedious and di?cult execution und- taken, by Mr. Cole. F. N. Cole, L. D. Cummings, and H. S. White (1917) [129] The history of classifying combinatorial objects is as old as the history of the objects themselves. In the mid-19th century, Kirkman, Steiner, and others became the fathers of modern combinatorics, and their work - on various objects, including (what became later known as) Steiner triple systems - led to several classi?cation results. Almost a century earlier, in 1782, Euler [180] published some results on classifying small Latin squares, but for the ?rst few steps in this direction one should actually go at least as far back as ancient Greece and the proof that there are exactly ?ve Platonic solids. One of the most remarkable achievements in the early, pre-computer era is the classi?cation of the Steiner triple systems of order 15, quoted above. An onerous task that, today, no sensible person would attempt by hand calcu- tion. Because, with the exception of occasional parameters for which com- natorial arguments are e?ective (often to prove nonexistence or uniqueness), classi?cation in general is about algorithms and computation.

The aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom reflectance, spectrally diverse suspended sediments and phytoplankton communities, diverse benthic communities, and transient events that affect surface reflectance (coastal blooms, runoff, etc.) all combine to produce an optical complexity not seen in terrestrial or open ocean systems. Despite this complexity, remote sensing is proving to be an invaluable tool for "Case 2" waters. This book presents recent advances in coastal remote sensing with an emphasis on applied science and management. Case studies of the operational use of remote sensing in ecosystem studies, monitoring, and interfacing remote sensing/science/management are presented. Spectral signatures of phytoplankton and suspended sediments are discussed in detail with accompanying discussion of why blue water (Case 1) algorithms cannot be applied to Case 2 waters. Audience This book is targeted for scientists and managers interested in using remote sensing in the study or management of aquatic coastal environments. With only limited discussion of optics and theory presented in the book, such researchers might benefit from the detailed presentations of aquatic spectral signatures, and to operational management issues. While not specifically written for remote sensing scientists, it will prove to be a useful reference for this community for the current status of aquatic coastal remote sensing.

Continuamentenasconoifatti 1 aconfusionedelleteorie 2 Carlo Dossi Electromagnetism is withoutany doubt a fascinating area of physics, engineering and mathematics. Since the early pioneeringworks ofAmpere, Faraday, and Maxwell, the scienti?cliteratureon this subject has become immense, and books devoted to almost all of its aspects have been published in the meantime. However, webelievethatthereisstillsomeplacefornew booksdealingwithel- tromagnetism, particularly if they are focused on more speci?c models, or try to mix different levels of analysis: rigorous mathematical results, sound numerical appro- mation schemes, real-life examples from physics and engineering. The complete mathematical description of electromagnetic problems is provided by the celebrated Maxwell equations, a system of partial differential equations - pressed interms ofphysical quantitiesliketheelectric?eld, themagnetic?eld and the currentdensity.Maxwell'scontributiontotheformulationofthese equationsisrelated to the introductionof a speci?c term, called displacement current, that he proposed to add to the set of equations generally assumed to hold at that time, in order to ensure the conservation of the electric charge. The presence of the displacement current permits to describe one of the most - portant phenomenon in electromagnetism, namely, wave propagation; however, in many interesting applications the propagation speed of the wave is very high with respect to the ratio of some typical length and time scale of the considered device, and therefore the dominant aspect becomes the diffusionof the electromagnetic ?elds. When the focus is on diffusioninstead of propagation, from the modelingpointof view this corresponds to neglecting the time derivative of the electric induction (i.e., thedisplacement current introducedby Maxwell)or, alternatively,neglectingthe time derivative of the magnetic induction.

The presence of uncertainty in a system description has always been a critical issue in control. The main objective of Randomized Algorithms for Analysis and Control of Uncertain Systems, with Applications (Second Edition) is to introduce the reader to the fundamentals of probabilistic methods in the analysis and design of systems subject to deterministic and stochastic uncertainty. The approach propounded by this text guarantees a reduction in the computational complexity of classical control algorithms and in the conservativeness of standard robust control techniques. The second edition has been thoroughly updated to reflect recent research and new applications with chapters on statistical learning theory, sequential methods for control and the scenario approach being completely rewritten. Features: * self-contained treatment explaining Monte Carlo and Las Vegas randomized algorithms from their genesis in the principles of probability theory to their use for system analysis; * development of a novel paradigm for (convex and nonconvex) controller synthesis in the presence of uncertainty and in the context of randomized algorithms; * comprehensive treatment of multivariate sample generation techniques, including consideration of the difficulties involved in obtaining identically and independently distributed samples; * applications of randomized algorithms in various endeavours, such as PageRank computation for the Google Web search engine, unmanned aerial vehicle design (both new in the second edition), congestion control of high-speed communications networks and stability of quantized sampled-data systems. Randomized Algorithms for Analysis and Control of Uncertain Systems (second edition) is certain to interest academic researchers and graduate control students working in probabilistic, robust or optimal control methods and control engineers dealing with system uncertainties. The present book is a very timely contribution to the literature. I have no hesitation in asserting that it will remain a widely cited reference work for many years. M. Vidyasagar

This edited volume consists of twelve contributions related to the EU Marie Curie Transfer of Knowledge Project Cooperation of Estonian and Norwegian Scienti c Centres within Mathematics and its Applications, CENS-CMA (2005-2009), - der contract MTKD-CT-2004-013909, which ?nanced exchange visits to and from CENS, the Centre for Nonlinear Studies at the Institute of Cybernetics of Tallinn University of Technology in Estonia. Seven contributions describe research highlights of CENS members, two the work of members of CMA, the Centre of Mathematics for Applications,Univ- sity of Oslo, Norway, as the partner institution of CENS in the Marie Curie project, and three the ?eld of work of foreign research fellows, who visited CENS as part of theproject. Thestructureofthebookre?ectsthedistributionofthetopicsaddressed: Part I Waves in Solids Part II Mesoscopic Theory Part III Exploiting the Dissipation Inequality Part IV Waves in Fluids Part V Mathematical Methods The papers are written in a tutorial style, intended for non-specialist researchers and students, where the authors communicate their own experiences in tackling a problem that is currently of interest in the scienti?c community. The goal was to produce a book, which highlights the importance of applied mathematics and which can be used for educational purposes, such as material for a course or a seminar. To ensure the scienti?c quality of the contributions, each paper was carefully - viewed by two international experts. Special thanks go to all authors and referees, without whom making this book would not have been possible.

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.

Argumentation is all around us. Letters to the Editor often make points of cons- tency, and "Why" is one of the most frequent questions in language, asking for r- sons behind behaviour. And argumentation is more than 'reasoning' in the recesses of single minds, since it crucially involves interaction. It cements the coordinated social behaviour that has allowed us, in small bands of not particularly physically impressive primates, to dominate the planet, from the mammoth hunt all the way up to organized science. This volume puts argumentation on the map in the eld of Arti cial Intelligence. This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader systematic area emerging in the sum of topics and results. As a logician, I nd this intriguing, since I see AI as 'logic continued by other means', reminding us of broader views of what my discipline is about. Logic arose originally out of re ection on many-agent practices of disputation, in Greek Ant- uity, but also in India and China. And logicians like me would like to return to this broader agenda of rational agency and intelligent interaction. Of course, Aristotle also gave us a formal systems methodology that deeply in uenced the eld, and eventually connected up happily with mathematical proof and foundations.

The Third Conference on Applied Mathematics and Scienti?c Computing took place June 23-27, 2003 on island of Brijuni, Croatia. The main goal of the conference was to interchange ideas among applied mathematicians in the broadest sense both from and outside academia, as well as experts from other areas who apply different mathematical techniques. During the meeting there were invited and contributed talksand software presentations. Invited presentations were given by active researchers from the ?eldsof approximation theory, numerical methods for differential equations and numericallinear algebra. These proceedings contain research and review papers by invited speakers and selected contributed papers from the ?elds of applied and numerical mathematics. A particular aim of the conference was to encourage young scientists to present results of their research. Traditionally, the best presentation given by PhD student was rewarded. This year awardee was Luka Grubisi ? c ' (University of Hagen, Hagen, Germany) and we congratulate him for this achievement. It would be hard to organize the conference without generous support of the Croatian Ministry of Science and Technology and we acknowledge it. We are also indebted to themainorganizer, Department of Mathematics, University of Zagreb.Motivating beautiful nature should bealso mentioned.And,attheend, we are thankful to Drs. JosipTambaca ? and Ivica Nakic ' for giving this book its ?nal shape.

? DoesP=NP. In just ?ve symbols Dick Karp -in 1972-captured one of the deepest and most important questions of all time. When he ?rst wrote his famous paper, I think it's fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of compu- tion, it is a very hard problem, and its resolution will have potentially tremendous consequences. This book is a collection of some of the most popular posts from my blog- Godel Lost Letter andP=NP-which I started in early 2009. The main thrust of the blog, especially when I started, was to explore various aspects of computational complexity around the famousP=NP question. As I published posts I branched out and covered additional material, sometimes a timely event, sometimes a fun idea, sometimes a new result, and sometimes an old result. I have always tried to make the posts readable by a wide audience, and I believe I have succeeded in doing this.

Research in Bayesian analysis and statistical decision theory is rapidly expanding and diversifying, making it increasingly more difficult for any single researcher to stay up to date on all current research frontiers. This book provides a review of current research challenges and opportunities. While the book can not exhaustively cover all current research areas, it does include some exemplary discussion of most research frontiers. Topics include objective Bayesian inference, shrinkage estimation and other decision based estimation, model selection and testing, nonparametric Bayes, the interface of Bayesian and frequentist inference, data mining and machine learning, methods for categorical and spatio-temporal data analysis and posterior simulation methods. Several major application areas are covered: computer models, Bayesian clinical trial design, epidemiology, phylogenetics, bioinformatics, climate modeling and applications in political science, finance and marketing. As a review of current research in Bayesian analysis the book presents a balance between theory and applications. The lack of a clear demarcation between theoretical and applied research is a reflection of the highly interdisciplinary and often applied nature of research in Bayesian statistics. The book is intended as an update for researchers in Bayesian statistics, including non-statisticians who make use of Bayesian inference to address substantive research questions in other fields. It would also be useful for graduate students and research scholars in statistics or biostatistics who wish to acquaint themselves with current research frontiers.

In January 2012 an Oberwolfach workshop took place on the topic of recent developments in the numerics of partial differential equations. Focus was laid on methods of high order and on applications in Computational Fluid Dynamics. The book covers most of the talks presented at this workshop.

Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of the cross-fertilization between OR/MS and CS/AI. It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation. Taken collectively, these articles are indicative of the state of the art in the interface between OR/MS and CS/AI and of the high-caliber research being conducted by members of the INFORMS Computing Society.

The present volume celebrates the 60th birthday of Professor Giovanni Paolo Galdi and honors his remarkable contributions to research in the ?eld of Mathematical Fluid Mechanics. The book contains a collection of 35 peer reviewed papers, with authors from 20 countries, re?ecting the worldwide impact and great inspiration by his work over the years. These papers were selected from invited lectures and contributed talks presented at the International Conference on Mathematical Fluid Mechanics held in Estoril, Portugal, May 21-25, 2007 and organized on the oc- sion of Professor Galdi's 60th birthday. We express our gratitude to all the authors and reviewers for their important contributions. Professor Galdi devotes his career to research on the mathematical analysis of the Navier-Stokes equations and non-Newtonian ?ow problems, with special emphasis on hydrodynamic stability and ?uid-particle interactions, impressing the worldwide mathematical communities with his results. His numerous contributions have laid down signi?cant milestones in these ?elds, with a great in?uence on interdis- plinary research communities. He has advanced the careers of numerous young researchers through his generosity and encouragement, some directly through int- lectual guidance and others indirectly by pairing them with well chosen senior c- laborators. A brief review of Professor Galdi's activities and some impressions by colleagues and friends are included here.

This book presents numerical and other approximation techniques for solving various types of mathematical problems that cannot be solved analytically. In addition to well known methods, it contains some non-standard approximation techniques that are now formally collected as well as original methods developed by the author that do not appear in the literature. This book contains an extensive treatment of approximate solutions to various types of integral equations, a topic that is not often discussed in detail. There are detailed analyses of ordinary and partial differential equations and descriptions of methods for estimating the values of integrals that are presented in a level of detail that will suggest techniques that will be useful for developing methods for approximating solutions to problems outside of this text. The book is intended for researchers who must approximate solutions to problems that cannot be solved analytically. It is also appropriate for students taking courses in numerical approximation techniques.

This book contains the results in numerical analysis and optimization presented at the ECCOMAS thematic conference "Computational Analysis and Optimization" (CAO 2011) held in Jyvaskyla, Finland, June 9-11, 2011. Both the conference and this volume are dedicated to Professor Pekka Neittaanmaki on the occasion of his sixtieth birthday. It consists of five parts that are closely related to his scientific activities and interests: Numerical Methods for Nonlinear Problems; Reliable Methods for Computer Simulation; Analysis of Noised and Uncertain Data; Optimization Methods; Mathematical Models Generated by Modern Technological Problems. The book also includes a short biography of Professor Neittaanmaki.

This book investigates stability loss problems of the viscoelastic composite materials and structural members within the framework of the Three-Dimensional Linearized Theory of Stability (TDLTS). The stability loss problems are considered the development of the initial infinitesimal imperfection in the structure of the material or of the structural members. This development is studied within the framework of the Three-Dimensional Geometrical Non-Linear Theory of the Deformable Solid Body Mechanics. The solution to the corresponding boundary-value problems is presented in the series form in the small parameter which characterizes the degree of the initial imperfection. In this way, the nonlinear problems for the domains bounded by noncanonical surfaces are reduced for the same nonlinear problem for the corresponding domains bounded by canonical surfaces and the series subsequent linearized problems. It is proven that the equations and relations of these linearized problems coincide with the corresponding ones of the well-known TDLTS. Under concrete investigations as stability loss criterion the case is taken for the initial infinitesimal imperfection that starts to increase indefinitely. Moreover, it is proven that the critical parameters can be determined by the use of only the zeroth and first approximations.

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.

The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover, most of the speakers at the workshop were willing to contribute to the book that is now in front of you. The goal of this book, as de?ned during the discussion sessions at the workshop, is three-fold: ?rst, it should describe the basics of model order reduction. Second, both general and more specialized model order reduction techniques for linear and nonlinear systems should be covered, including the use of several related numerical techniques. Third, the use of model order reduction techniques in practical appli- tions and current research aspects should be discussed. We have organized the book according to these goals. In Part I, the rationale behind model order reduction is explained, and an overview of the most common methods is described.

This book elucidates how Finite Element methods look like from the perspective of Green's functions, and shows new insights into the mathematical theory of Finite Elements. Practically, this new view on Finite Elements enables the reader to better assess solutions of standard programs and to find better model of a given problem. The book systematically introduces the basic concepts how Finite Elements fulfill the strategy of Green's functions and how approximating of Green's functions. It discusses in detail the discretization error and shows that are coherent with the strategy of "goal oriented refinement". The book also gives much attention to the dependencies of FE solutions from the parameter set of the model.

This is the first book to revisit geotechnical site characterization from a probabilistic point of view and provide rational tools to probabilistically characterize geotechnical properties and underground stratigraphy using limited information obtained from a specific site. This book not only provides new probabilistic approaches for geotechnical site characterization and slope stability analysis, but also tackles the difficulties in practical implementation of these approaches. In addition, this book also develops efficient Monte Carlo simulation approaches for slope stability analysis and implements these approaches in a commonly available spreadsheet environment. These approaches and the software package are readily available to geotechnical practitioners and alleviate them from reliability computational algorithms. The readers will find useful information for a non-specialist to determine project-specific statistics of geotechnical properties and to perform probabilistic analysis of slope stability.

Image processing is concerned with the analysis and manipulation of images by computer. Providing a thorough treatment of image processing with an emphasis on those aspects most used in computer graphics, the authors concentrate on describing and analyzing the underlying concepts rather than on presenting algorithms or pseudocode. As befits a modern introduction to this topic, a good balance is struck between discussing the underlying mathematics and the main topics: signal processing, data discretization, the theory of colour and different colour systems, operations in images, dithering and half-toning, warping and morphing and image processing. This second edition reflects recent trends in science andtechnology that exploit image processing in computer graphics and vision applications. Stochastic image models and statistical methods for image processing are covered as are: A modern approach and new developments in the area, Probability theory for image processing, Applications in image analysis and computer vision.