Parametric Interval Algebraic Systems


Book Description

This self-contained book presents a framework for solving a general class of linear systems with coefficients being continuous functions of parameters varying within prescribed intervals. It also provides a comprehensive overview of the theory related to solving parametric interval linear systems and the basic properties of parametric interval matrices. In particular, it develops several new algorithms delivering sharp rigorous bounds for the solutions of such systems with full mathematical rigor. The framework employs the arithmetic of revised affine forms that enables the readers to handle dependent data. The book is intended not only for researchers interested in developing rigorous methods of numerical linear algebra, but also for engineers dealing with problems involving uncertain data. The theory discussed is also useful in various other fields of numerical analysis, in computer graphics, economics, computational geometry, computer-aided design, computer-assisted proofs, computer graphics, control theory, solving constraint satisfaction problems, and global optimization.




Surveys in Differential-Algebraic Equations III


Book Description

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Flexibility of DAE formulations - Reachability analysis and deterministic global optimization - Numerical linear algebra methods - Boundary value problems The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.




Scientific Computing, Computer Arithmetic, and Validated Numerics


Book Description

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.




Parallel Processing and Applied Mathematics, Part II


Book Description

Annotation This book constitutes the proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics, PPAM 2009, held in Wroclaw, Poland, in September 2009.




Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems


Book Description

This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.




Applied and Computational Matrix Analysis


Book Description

This volume presents recent advances in the field of matrix analysis based on contributions at the MAT-TRIAD 2015 conference. Topics covered include interval linear algebra and computational complexity, Birkhoff polynomial basis, tensors, graphs, linear pencils, K-theory and statistic inference, showing the ubiquity of matrices in different mathematical areas. With a particular focus on matrix and operator theory, statistical models and computation, the International Conference on Matrix Analysis and its Applications 2015, held in Coimbra, Portugal, was the sixth in a series of conferences. Applied and Computational Matrix Analysis will appeal to graduate students and researchers in theoretical and applied mathematics, physics and engineering who are seeking an overview of recent problems and methods in matrix analysis.




Parallel Processing and Applied Mathematics


Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in September 2007. The 63 revised full papers of the main conference presented together with 85 revised workshop papers were carefully reviewed and selected from over 250 initial submissions. The papers are organized in topical sections on parallel/distributed architectures and mobile computing, numerical algorithms and parallel numerics, parallel and distributed non-numerical algorithms, environments and tools for as well as applications of parallel/distributed/grid computing, evolutionary computing, meta-heuristics and neural networks. The volume proceeds with the outcome of 11 workshops and minisymposia dealing with novel data formats and algorithms for dense linear algebra computations, combinatorial tools for parallel sparse matrix computations, grid applications and middleware, large scale computations on grids, models, algorithms and methodologies for grid-enabled computing environments, scheduling for parallel computing, language-based parallel programming models, performance evaluation of parallel applications on large-scale systems, parallel computational biology, high performance computing for engineering applications, and the minisymposium on interval analysis.




Numerical Methods and Applications


Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Numerical Methods and Applications, NMA 2010, held in Borovets, Bulgaria, in August 2010. The 60 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions for inclusion in this book. The papers are organized in topical sections on Monte Carlo and quasi-Monte Carlo methods, environmental modeling, grid computing and applications, metaheuristics for optimization problems, and modeling and simulation of electrochemical processes.




Decision Making under Constraints


Book Description

This book presents extended versions of selected papers from the annual International Workshops on Constraint Programming and Decision Making from 2016 to 2018. The papers address all stages of decision-making under constraints: (1) precisely formulating the problem of multi-criteria decision-making; (2) determining when the corresponding decision problem is algorithmically solvable; (3) finding the corresponding algorithms and making these algorithms as efficient as possible; and (4) taking into account interval, probabilistic, and fuzzy uncertainty inherent in the corresponding decision-making problems. In many application areas, it is necessary to make effective decisions under constraints, and there are several area-specific techniques for such decision problems. However, because they are area-specific, it is not easy to apply these techniques in other application areas. As such, the annual International Workshops on Constraint Programming and Decision Making focus on cross-fertilization between different areas, attracting researchers and practitioners from around the globe. The book includes numerous papers describing applications, in particular, applications to engineering, such as control of unmanned aerial vehicles, and vehicle protection against improvised explosion devices.




Numerical Methods and Applications


Book Description

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Numerical Methods and Applications, NMA 2006, held in Borovets, Bulgaria, in August 2006. The 84 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on numerical methods for hyperbolic problems, robust preconditioning solution methods, Monte Carlo and quasi-Monte Carlo for diverse applications, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes, large-scale computations in environmental modelling, and contributed talks.