This book presents a comprehensive series of methods in nonsmooth optimization, with a particular focus on their application in stochastic programming and dedicated algorithms for decision-making under uncertainty.
This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22-24, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2024, held in Wroclaw, Poland, during July 3-5, 2024.
This textbook is a comprehensive overview of the construction, implementation, and application of important numerical methods for the solution of Initial Value Problems (IVPs).
This book constitutes the refereed post proceedings of the 22nd International Workshop on Digital Forensics and Watermarking, IWDW 2023, held in Jinan, China,during November 25 26, 2023.
Biometrics, the science of using physical traits to identify individuals, is playing an increasing role in our security-conscious society and across the globe.
A recent development in SDC-related problems is the establishment of intelligent SDC models and the intensive use of LMI-based convex optimization methods.
Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects.
This volume was born from the experience of the authors as researchers and educators,whichsuggeststhatmanystudentsofdataminingarehandicapped in their research by the lack of a formal, systematic education in its mat- matics.
A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic.
In order to build a successful, Java-based application it is important to have a clear understanding of the principles underlying the various financial models.
Overview Modelling and simulation is a tool that provides support for the planning, design, and evaluation of systems as well as the evaluation of strategies for system transformation and change.
Network Calculus is a mathematical theory concerned with deriving performance bound networks and this book aims to show that it can provide useful methods for designing and engineering networks.
A topic of significant interest to the CSCW, IT and IS communities is the issue of how software and other technical systems come to be adopted and used.
This monograph presents the existence and properties of both weak and strong solutions to the problems of the flow of a compressible fluid in a domain whose motion is prescribed.
This book constitutes the refereed proceedings of the 18th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2024), consisting of the 18th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 5th International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, SAR, China, during July 29-31, 2024.
This book provides an introduction to methods for practically solving mathematical problems, such as solving systems of linear equations, determining eigenvalues, approximating and integrating functions, solving nonlinear equations, and the approximate solution of ordinary differential equations.
This book is interdisciplinary and unites several areas of applied probability, statistics, and computational mathematics including computer experiments, optimal experimental design, and global optimization.
This book presents a comprehensive series of methods in nonsmooth optimization, with a particular focus on their application in stochastic programming and dedicated algorithms for decision-making under uncertainty.
This book delves into the intricate world of interval programming, offering a comprehensive exploration of mathematical programming problems characterized by interval data.
This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 30th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Singapore on August 3-6, 2024.
This monograph presents a study of newly developed guaranteed computational methodologies for eigenvalue problems of self-adjoint differential operators.
This book offers a comprehensive presentation of numerical methods for elliptic boundary value problems that satisfy discrete maximum principles (DMPs).
This book develops a systematic and rigorous mathematical theory of finite difference methods for linear elliptic, parabolic and hyperbolic partial differential equations with nonsmooth solutions.
Stochastic instantaneous volatility models such as Heston, SABR or SV-LMM have mostly been developed to control the shape and joint dynamics of the implied volatility surface.
Monte Carlo simulation is one of the best tools for performing realistic analysis of complex systems as it allows most of the limiting assumptions on system behavior to be relaxed.
Iterative Methods for Queuing and Manufacturing Systems introduces the recent advances and developments in iterative methods for solving Markovian queuing and manufacturing problems.
