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.
A rigorous but accessible treatment of the subject intertwining theoretical techniques with hands-on laboratory instruction and divided into three parts, this book covers various aspects of the digital signal processing (DSP) "e;problem"e;.
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.
Aimed at graduate and postgraduate students and researchers in mathematics and the applied sciences, this book provides an introductory account of scattering phenomena and a guide to the technical requirements for investigating wave scattering problems.
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.
Developed from a course taught to senior undergraduates, this book provides a unified introduction to Fourier analysis and special functions based on the Sturm-Liouville theory in L2.
Variational and boundary integral equation techniques are two of the most useful methods for solving time-dependent problems described by systems of equations of the form 2 ?
Safety critical and high-integrity systems, such as industrial plants and economic systems can be subject to abrupt changes - for instance due to component or interconnection failure, and sudden environment changes etc.
Perturbations of Positive Semigroups with Applications is a self-contained introduction to semigroup theory with emphasis on positive semigroups on Banach lattices and perturbation techniques.
This book serves as a textbook for an analytical mechanics course, a fundamental subject of physics, that pays special attention to important topics that are not discussed in most standard textbooks.
The book provides a self-contained and complete description of the long time evolution of the solutions to a class of one-dimensional reaction-diffusion equations, in which the diffusion is given by an integral operator.
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.
Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics.
This book introduces a unified implementation of bond- and state-based peridynamic theory (PD) within a commercial finite element framework, Ansys, utilizing its native elements.
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 monograph introduces a new mathematical model in population dynamics that describes two species sharing the same environmental resources in a situation of open hostility.
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 volume presents a comprehensive compilation of chapters whose topics were presented at the 2nd International Conference on Mathematical Analysis and Application in Modeling (CMAAM-2023), held at the Department of Mathematics & the Center for Mathematical Biology and Ecology, Jadavpur University, Kolkata, West Bengal, India, from 9-11 October 2023.
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 textbook offers a self-contained introduction to probability, covering all topics required for further study in stochastic processes and stochastic analysis, as well as some advanced topics at the interface between probability and functional analysis.
This book delves into the intricate world of interval programming, offering a comprehensive exploration of mathematical programming problems characterized by interval data.
This textbook provides an introduction to the mathematical methods used to analyse deterministic models in life sciences, including population dynamics, epidemiology and ecology.
This book provides a complete round-up of developments concerned with the application of partial moments in system identification and data-driven modelling; it captures the essence of work carried out at the Laboratoire d'Informatique et d'Automatique pour les Systemes for more than 40 years.
This book focuses on the foundations of compressible flow, illustrating the use of principles of thermodynamics and fluid dynamics in the development of compressible flow equations.
This book introduces readers to order analysis and various aspects of deep learning, and describes important connections to optimization, such as nonlinear optimization as well as vector and set optimization.
