The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
This book is a collection of papers from the 9th International ISAAC Congress held in 2013 in Kraków, Poland. The papers are devoted to recent results in mathematics, focused on analysis and a wide range of its applications. These include up-to-date findings of the following topics: - Differential Equations: Complex and Functional Analytic Methods - Nonlinear PDE - Qualitative Properties of E…
The purpose of this book is to provide an introduction to numerical modelling of the ocean and the atmosphere. It originates from courses given at Stockholm University and is intended to serve as a textbook for students in meteorology and oceanography with a background in mathematics and physics. Focus is on numerical schemes for the most commonly used equations in oceanography and meteorology …
The Conference on Traffic and Granular Flow brings together international researchers from different fields ranging from physics to computer science and engineering to discuss the latest developments in traffic-related systems. Originally conceived to facilitate new ideas by considering the similarities of traffic and granular flow, TGF'15, organised by Delft University of Technology, now cover…
This is a monograph covering topological fixed point theory for several classes of single and multivalued maps. The authors begin by presenting basic notions in locally convex topological vector spaces. Special attention is then devoted to weak compactness, in particular to the theorems of Eberlein–Šmulian, Grothendick and Dunford–Pettis. Leray–Schauder alternatives and eigenvalue proble…
Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial …
This text provides the reader with the necessary technical tools and background to reach the frontiers of research without the introduction of too many extraneous concepts. Detailed and accessible proofs are included, as are a variety of exercises and problems. The two new chapters in this second edition are devoted to two topics of much current interest amongst functional analysts: Greedy appr…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
This book documents the state of the art in the use of remote sensing to address time-sensitive information requirements. Specifically, it brings together a group of authors who are both researchers and practitioners, who work toward or are currently using remote sensing to address time-sensitive information requirements with the goal of advancing the effective use of remote sensing to supply t…
This contributed volume presents some recent theoretical advances in mathematics and its applications in various areas of science and technology. Written by internationally recognized scientists and researchers, the chapters in this book are based on talks given at the International Conference on Advances in Applied Mathematics (ICAAM), which took place December 16-19, 2013, in Hammamet, Tunisi…