This book collects the refereed proceedings of the First International Conference onon Algorithms and Discrete Applied Mathematics, CALDAM 2015, held in Kanpur, India, in February 2015. The volume contains 26 full revised papers from 58 submissions along with 2 invited talks presented at the conference. The workshop covered a diverse range of topics on algorithms and discrete mathematics, including computational geometry, algorithms including approximation algorithms, graph theory and computational complexity.

The present book - through the topics and the problems approach - aims at filling a gap, a real need in our literature concerning CFD (Computational Fluid Dynamics). Our presentation results from a large documentation and focuses on reviewing the present day most important numerical and computational methods in CFD. Many theoreticians and experts in the field have expressed their - terest in and need for such an enterprise. This was the motivation for carrying out our study and writing this book. It contains an important systematic collection of numerical working instruments in Fluid Dyn- ics. Our current approach to CFD started ten years ago when the Univ- sity of Paris XI suggested a collaboration in the field of spectral methods for fluid dynamics. Soon after - preeminently studying the numerical approaches to Navier-Stokes nonlinearities - we completed a number of research projects which we presented at the most important inter- tional conferences in the field, to gratifying appreciation. An important qualitative step in our work was provided by the dev- opment of a computational basis and by access to a number of expert softwares. This fact allowed us to generate effective working programs for most of the problems and examples presented in the book, an - pect which was not taken into account in most similar studies that have already appeared all over the world.

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.

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.

This book represents the results of 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 of research being conducted by members of the INFORMS Computing Society.

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.

The standard textbooks on aerodynamics usually omit any discussion of un steady aerodynamics or, at most, consider it only in a single chapter, based on two justifications. The first is that unsteady aerodynamics should be regarded as a specialized subject required "only" in connection with understanding and an alyzing aeroelastic phenomena such as flutter and gust response, and therefore should be dealt with in related specialist books. The second reason appears to be reluctance to discuss aerodynamics with the inclusion of the time-dependent terms in the conservation equations and the boundary conditions for fear that added complications may discourage the reader. We take the opposite view in this book and argue that a full understanding of the physics of lift generation is possible only by considering the unsteady aerody namics of the starting vortex generation process. Furthermore, certain "steady" flows are inherently unsteady in the presence of flow separation, as for example the unsteady flow caused by the Karman vortex shedding downstream of a cylin der and "static" airfoil stall which is an inherently unsteady flow phenomenon. Therefore, it stands to reason that a unified treatment of aerodynamics that yields steady-state aerodynamics as a special case offers advantages. This rea soning is strengthened by the developments in computational fluid dynamics over the past forty years, which showed that accurate steady-state solutions can be obtained efficiently by solving the unsteady flow equations.

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

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.

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.

This volume represents the refereed proceedings of the Eighth International C- ference on Monte Carlo and Quasi-Monte Carlo Methods in Scienti c Computing, which was held at the University of Montreal, from 6-11 July, 2008. It contains a limited selection of articles based on presentations made at the conference. The program was arranged with the help of an international committee consisting of: Ronald Cools, Katholieke Universiteit Leuven Luc Devroye, McGill University Henri Faure, CNRS Marseille Paul Glasserman, Columbia University Peter W. Glynn, Stanford University Stefan Heinrich, University of Kaiserslautern Fred J. Hickernell, Illinois Institute of Technology Aneta Karaivanova, Bulgarian Academy of Science Alexander Keller, mental images GmbH, Berlin Adam Kolkiewicz, University of Waterloo Frances Y. Kuo, University of New South Wales Christian Lecot, Universite de Savoie, Chambery Pierre L'Ecuyer, Universite de Montreal (Chair and organizer) Jun Liu, Harvard University Peter Mathe, Weierstrass Institute Berlin Makoto Matsumoto, Hiroshima University Thomas Muller-Gronbach, Otto von Guericke Universitat Harald Niederreiter, National University of Singapore Art B. Owen, Stanford University Gilles Pages, Universite Pierre et Marie Curie (Paris 6) Klaus Ritter, TU Darmstadt Karl Sabelfeld, Weierstrass Institute Berlin Wolfgang Ch. Schmid, University of Salzburg Ian H. Sloan, University of New South Wales Jerome Spanier, University of California, Irvine Bruno Tuf n, IRISA-INRIA, Rennes Henryk Wozniak ' owski, Columbia University. v vi Preface The local arrangements (program production, publicity, web site, registration, social events, etc.

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.

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.

Gathering and updating results scattered in journal articles over thirty years, this self-contained monograph gives a comprehensive introduction to the subject. Its goal is to: - motivate and explain the method for general Lie groups, reducing the proof of deep results in invariant analysis to the verification of two formal Lie bracket identities related to the Campbell-Hausdorff formula (the "Kashiwara-Vergne conjecture"); - give a detailed proof of the conjecture for quadratic and solvable Lie algebras, which is relatively elementary; - extend the method to symmetric spaces; here an obstruction appears, embodied in a single remarkable object called an "e-function"; - explain the role of this function in invariant analysis on symmetric spaces, its relation to invariant differential operators, mean value operators and spherical functions; - give an explicit e-function for rank one spaces (the hyperbolic spaces); - construct an e-function for general symmetric spaces, in the spirit of Kashiwara and Vergne's original work for Lie groups. The book includes a complete rewriting of several articles by the author, updated and improved following Alekseev, Meinrenken and Torossian's recent proofs of the conjecture. The chapters are largely independent of each other. Some open problems are suggested to encourage future research. It is aimed at graduate students and researchers with a basic knowledge of Lie theory.

The papers in this volume were selected for presentation at the 15th International Meshing Roundtable, held September 17-20, 2006 in Birmingham, Alabama, U.S.A.. The conference was started by Sandia National Laboratories in 1992 as a small meeting of organizations striving to establish a common focus for research and development in the field of mesh generation. Now after 15 consecutive years, the International Meshing Roundtable has become recognized as an international focal point annually attended by researchers and developers from dozens of countries around the world. The 15th International Meshing Roundtable consists of technical presentations from contributed papers, keynote and invited talks, short course presentations, and a poster session and competition. The Program Committee would like to express its appreciation to all who participate to make the IMR a successful and enriching experience. The papers in these proceedings were selected from among 42 submissions by the Program Committee. Based on input from peer reviews, the committee selected these papers for their perceived quality, originality, and appropriateness to the theme of the International Meshing Roundtable. The Program Committee would like to thank all who submitted papers. We would also like to thank the colleagues who provided reviews of the submitted papers. The names of the reviewers are acknowledged in the following pages. As Program Chair, I would like to extend special thanks to the Program Committee and to the Conference Coordinators for their time and effort to make the 15th IMR another outstanding conference.

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

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.

When researchers gather around lunch tables, at conferences, or in bars, there are some topics that are more or less compulsory. The discussions are about the ho- less management of the university or the lab where they are working, the lack of funding for important research, politicians' inability to grasp the potential of a p- ticularly promising ?eld, and the endless series of committees that seem to produce very little progress. It is common to meet excellent researchers claiming that they have almost no time to do research because writing applications, lecturing, and - tending to committee work seem to take most of their time. Very few ever come into a position to do something about it. With Simula we have this chance. We were handed a considerable annual grant and more or less left to ourselves to do whatever we thought would produce the best possible results. We wanted to create a place where researchers could have the time and conditions necessary to re?ect over dif?cult problems, uninterrupted by mundane dif?culties; where doctoral students could be properly supervised and learn the craft of research in a well-organized and professional manner; and where entrepreneurs could ?nd professional support in developing their research-based - plications and innovations.

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.

This book contains selected papers of NSC08, the 2nd Conference on Nonlinear Science and Complexity, held 28-31 July, 2008, Porto, Portugal. It focuses on fundamental theories and principles, analytical and symbolic approaches, computational techniques in nonlinear physics and mathematics. Topics treated include * Chaotic Dynamics and Transport in Classic and Quantum Systems * Complexity and Nonlinearity in Molecular Dynamics and Nano-Science * Complexity and Fractals in Nonlinear Biological Physics and Social Systems * Lie Group Analysis and Applications in Nonlinear Science * Nonlinear Hydrodynamics and Turbulence * Bifurcation and Stability in Nonlinear Dynamic Systems * Nonlinear Oscillations and Control with Applications * Celestial Physics and Deep Space Exploration * Nonlinear Mechanics and Nonlinear Structural Dynamics * Non-smooth Systems and Hybrid Systems * Fractional dynamical systems

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.

Analysis, Control and Optimization of Complex Dynamic Systems gathers in a single volume a spectrum of complex dynamic systems related papers written by experts in their fields, and strongly representative of current research trends. Complex systems present important challenges, in great part due to their sheer size which makes it difficult to grasp their dynamic behavior, optimize their operations, or study their reliability. Yet, we live in a world where, due to increasing inter-dependencies and networking of systems, complexity has become the norm. With this in mind, the volume comprises two parts. The first part is dedicated to a spectrum of complex problems of decision and control encountered in the area of production and inventory systems. The second part is dedicated to large scale or multi-agent system problems occurring in other areas of engineering such as telecommunication and electric power networks, as well as more generic context.

Computational Methods in Elasticity and Plasticity: Solids and Porous Media presents the latest developments in the area of elastic and elasto-plastic finite element modeling of solids, porous media and pressure-dependent materials and structures. The book covers the following topics in depth: the mathematical foundations of solid mechanics, the finite element method for solids and porous media, the theory of plasticity and the finite element implementation of elasto-plastic constitutive models. The book also includes: -A detailed coverage of elasticity for isotropic and anisotropic solids. -A detailed treatment of nonlinear iterative methods that could be used for nonlinear elastic and elasto-plastic analyses. -A detailed treatment of a kinematic hardening von Mises model that could be used to simulate cyclic behavior of solids. -Discussion of recent advances in the analysis of porous media and pressure-dependent materials in more detail than other books currently available. Computational Methods in Elasticity and Plasticity: Solids and Porous Media also contains problem sets, worked examples and a solutions manual for instructors.