This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020.
This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020.
This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020.
In an expanding world with limited resources, optimization and uncertainty quantification have become a necessity when handling complex systems and processes.
To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain.
The Distributed and Unified Numerics Environment (Dune) is a set of open-source C++ libraries for the implementation of finite element and finite volume methods.
This book provides an introduction to the theory of linear systems and control for students in business mathematics, econometrics, computer science, and engineering.
This book paints a fresco of the field of extrapolation and rational approximation over the last several centuries to the present through the works of their primary contributors.
The volume LNCS 12296 constitutes the papers of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research which will be held online in September 2020.
This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020.
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020.
This work collects the contributions presented at the INdAM Workshop "e;Mathematical modeling and Analysis of degradation and restoration in Cultural Heritage - MACH2019"e; held in Rome in March 2019.
This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data.
Inverse problems such as imaging or parameter identification deal with the recovery of unknown quantities from indirect observations, connected via a model describing the underlying context.
This volume chronicles the high impact research career of Harvey Greenberg (1940-2018), and in particular, it reviews historical contributions, presents current research projects, and suggests future pursuits.
This book gathers nineteen papers presented at the first NLAGA-BIRS Symposium, which was held at the Cheikh Anta Diop University in Dakar, Senegal, on June 24-28, 2019.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020.
This book collects a selection of papers presented at ELECTRIMACS 2019 - The 13th international conference of the IMACS TC1 Committee, held in Salerno, Italy, on 21st-23rd May 2019.
This self-contained book focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods.
This edited volume gathers selected, peer-reviewed contributions presented at the fourth International Conference on Differential & Difference Equations Applications (ICDDEA), which was held in Lisbon, Portugal, in July 2019.
This book constitutes refereed proceedings of the 4th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2020, held on June 15, 2020.
This book aims to give an encyclopedic overview of the state-of-the-art of Krylov subspace iterative methods for solving nonsymmetric systems of algebraic linear equations and to study their mathematical properties.
This proceedings volume highlights a selection of papers presented at the 7th International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam, during March 19-23, 2018.
This extended and revised second edition is intended for engineering students and researchers working with finite element methods in structural and mechanical analysis.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020.
This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI 2019), held under the auspices of the International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), which took place in Shenzhen, China on October 17, 2019.
In this book we gather recent mathematical developments and engineering applications of Trefftz methods, with particular emphasis on the Method of Fundamental Solutions (MFS).
This book is of interest to researchers wanting to know more about the latest topics and methods in the fields of the kinematics, control and design of robotic systems.
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020.
This proceedings volume gathers a selection of outstanding research papers presented at the third Conference on Isogeometric Analysis and Applications, held in Delft, The Netherlands, in April 2018.
This book describes analytical methods for modelling drop evaporation, providing the mathematical tools needed in order to generalise transport and constitutive equations and to find analytical solutions in curvilinear coordinate systems.
This book is intended to be a useful contribution for the modern teaching of applied mathematics, educating Industrial Mathematicians that will meet the growing demand for such experts.
This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history.
This book explores four guiding themes - reduced order modelling, high dimensional problems, efficient algorithms, and applications - by reviewing recent algorithmic and mathematical advances and the development of new research directions for uncertainty quantification in the context of partial differential equations with random inputs.
In this book the authors use a technique based on recurrence relations to study the convergence of the Newton method under mild differentiability conditions on the first derivative of the operator involved.
This proceedings volume gathers peer-reviewed, selected papers presented at the "e;Mathematical and Numerical Approaches for Multi-Wave Inverse Problems"e; conference at the Centre Internacional de Rencontres Mathematiques (CIRM) in Marseille, France, in April 2019.
This book presents developments of novel techniques and applies them in order to understand the interactions between thermally driven mesoscale flows (sea and mountain breezes) and the turbulent exchange within the atmospheric boundary layer.