Bücher der Reihe The IMA Volumes in Mathematics and its Applications

Discrete probability theory and the theory of algorithms have become close partners over the last ten years, though the roots of this partnership go back much longer. The papers in this volume address the latest developments in this active field. They are from the IMA Workshops "e;Probability and Algorithms"e; and "e;The Finite Markov Chain Renaissance."e; They represent the current thinking of many of the world's leading experts in the field.Researchers and graduate students in probability, computer science, combinatorics, and optimization theory will all be interested in this collection of articles. The techniques developed and surveyed in this volume are still undergoing rapid development, and many of the articles of the collection offer an expositionally pleasant entree into a research area of growing importance.

This IMA Volume in Mathematics and its Applications COMPUTATIONAL MODELING IN BIOLOGICAL FLUID DYNAMICS is based on the proceedings of a very successful workshop with the same title. The workshop was an integral part of the September 1998 to June 1999 IMA program on "e;MATHEMATICS IN BIOLOGY."e; I would like to thank the organizing committee: Lisa J. Fauci of Tulane University and Shay Gueron of Technion - Israel Institute of Technology for their excellent work as organizers of the meeting and for editing the proceedings. I also take this opportunity to thank the National Science Founda- tion (NSF), whose financial support of the IMA made the Mathematics in Biology program possible. Willard Miller, Jr., Professor and Director Institute for Mathematics and its Applications University of Minnesota 400 Lind Hall, 207 Church St. SE Minneapolis, MN 55455-0436 612-624-6066, FAX 612-626-7370 miller@ima.umn.edu World Wide Web: http://www.ima.umn.edu v PREFACE A unifying theme in biological fluid dynamics is the interaction of moving, elastic boundaries with a surrounding fluid. A complex dynami- cal system describes the motion of red blood cells through the circulatory system, the movement of spermatazoa in the reproductive tract, cilia of microorganisms, or a heart pumping blood. The revolution in computa- tional technology has allowed tremendous progress in the study of these previously intractable fluid-structure interaction problems.

Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established the modern field of computational algebraic geometry which has come to play a major role in both theoretical advances and applications. Over the past fifteen years, several excellent general purpose packages for computations in algebraic geometry have been developed, such as, CoCoA, Singular and Macaulay 2. While these packages evolve continuously, incorporating new mathematical advances, they both motivate and demand the creation of new mathematics and smarter algorithms.This volume reflects the workshop "e;Software for Algebraic Geometry"e; held in the week from 23 to 27 October 2006, as the second workshop in the thematic year on Applications of Algebraic Geometry at the IMA. The papers in this volume describe the software packages Bertini, PHClab, Gfan, DEMiCs, SYNAPS, TrIm, Gambit, ApaTools, and the application of Risa/Asir to a conjecture on multiple zeta values. They offer the reader a broad view of current trends in computational algebraic geometry through software development and applications.

This IMA Volume in Mathematics and its Applications ALGORITHMS FOR PARALLEL PROCESSING is based on the proceedings of a workshop that was an integral part of the 1996-97 IMA program on "e;MATHEMATICS IN HIGH-PERFORMANCE COMPUTING. "e; The workshop brought together algorithm developers from theory, combinatorics, and scientific computing. The topics ranged over models, linear algebra, sorting, randomization, and graph algorithms and their analysis. We thank Michael T. Heath of University of lllinois at Urbana (Com- puter Science), Abhiram Ranade of the Indian Institute of Technology (Computer Science and Engineering), and Robert S. Schreiber of Hewlett- Packard Laboratories for their excellent work in organizing the workshop and editing the proceedings. We also take this opportunity to thank the National Science Founda- tion (NSF) and the Army Research Office (ARO), whose financial support made the workshop possible. A vner Friedman Robert Gulliver v PREFACE The Workshop on Algorithms for Parallel Processing was held at the IMA September 16 - 20, 1996; it was the first workshop of the IMA year dedicated to the mathematics of high performance computing. The work- shop organizers were Abhiram Ranade of The Indian Institute of Tech- nology, Bombay, Michael Heath of the University of Illinois, and Robert Schreiber of Hewlett Packard Laboratories. Our idea was to bring together researchers who do innovative, exciting, parallel algorithms research on a wide range of topics, and by sharing insights, problems, tools, and methods to learn something of value from one another.

This IMA Volume in Mathematics and its Applications DIRECTIONS IN ROBUST STATISTICS AND DIAGNOSTICS is based on the proceedings of the first four weeks of the six week IMA 1989 summer program "e;Robustness, Diagnostics, Computing and Graphics in Statistics"e;. An important objective of the organizers was to draw a broad set of statisticians working in robustness or diagnostics into collaboration on the challenging problems in these areas, particularly on the interface between them. We thank the organizers of the robustness and diagnostics program Noel Cressie, Thomas P. Hettmansperger, Peter J. Huber, R. Douglas Martin, and especially Werner Stahel and Sanford Weisberg who edited the proceedings. A vner Friedman Willard Miller, Jr. PREFACE Central themes of all statistics are estimation, prediction, and making decisions under uncertainty. A standard approach to these goals is through parametric mod- elling. Parametric models can give a problem sufficient structure to allow standard, well understood paradigms to be applied to make the required inferences. If, how- ever, the parametric model is not completely correct, then the standard inferential methods may not give reasonable answers. In the last quarter century, particularly with the advent of readily available computing, more attention has been paid to the problem of inference when the parametric model used is not correctly specified.

This volume collects papers based on plenary and invited talks given at the 50th Barrett Memorial Lectures on Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models that was organized by the University of Tennessee, Knoxville and held virtually in May 2021. The three-day meeting brought together experts from the computational, scientific, engineering, and mathematical communities who work with nonlocal models. These proceedings collect contributions and give a survey of the state of the art in computational practices, mathematical analysis, applications of nonlocal models, and explorations of new application domains. The volume benefits from the mixture of contributions by computational scientists, mathematicians, and application specialists. The content is suitable for graduate students as well as specialists working with nonlocal models and covers topics on fractional PDEs, regularity theory for kinetic equations, approximation theory for fractional diffusion, analysis of nonlocal diffusion model as a bridge between local and fractional PDEs, and more.