Numerical analysis

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.

This book constitutes the refereed proceedings of the 9th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2017 held in Munster, Germany in March 2017.

This book systematically classifies the mathematical formalisms of computational models that are required for solving problems in mathematics, engineering and various other disciplines.

Invariant, or coordinate-free methods provide a natural framework for many geometric questions.

This book explores recent advances in uncertainty quantification for hyperbolic, kinetic, and related problems.

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 book presents a novel approach to the classical scientific discipline of Structural Engineering, which is inspired by numerous current applications from domains of Civil, Mechanical or Aerospace Engineering.

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 29th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Shenzhen, China on May 26-29, 2023.

This book contains 43 papers form among the 55 papers presented at the Sixth International Conference on Fibonacci Numbers and Their Applications which was held at Washington State University, Pullman, Washington, from July 18-22, 1994.

The last thirty years were a period of continuous and intense growth in the subject of dynamical systems.

The conference proceeding  LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018.

This book is focused on the numerical discretization of ordinary differential equations (ODEs), under several perspectives.

Today, people use a large number of "e;systems"e; ranging in complexity from washing machines to international airline reservation systems.

A friendly introduction to Toeplitz theory and its applications throughout modern functional analysis.

This volume includes contributions from the 9th Parallel-in-Time (PinT) workshop, an annual gathering devoted to the field of time-parallel methods, aiming to adapt existing computer models to next-generation machines by adding a new dimension of scalability.

This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019, held in Barranquilla, Colombia, in September/October 2019.

At the dawn of the 21st century, computational stochastic dynamics is an emerging research frontier.

This book presents the state-of-the-art in supercomputer simulation.

Presenting state-of-the-art methods in the area, the book begins with a presentation of weak discrete time approximations of jump-diffusion stochastic differential equations for derivatives pricing and risk measurement.

Beginning his work on the monograph to be published in English, this author tried to present more or less general notions of the possibilities of mathematics in the new and rapidly developing science of infectious immunology, describing the processes of an organism's defence against antigen invasions.

This book deals with problems related to the evaluation of customer satisfaction in very different contexts and ways.

This volume developed from a Workshop on Natural Locomotion in Fluids and on Surfaces: Swimming, Flying, and Sliding which was held at the Institute for Mathematics and its Applications (IMA) at the University of Minnesota, from June 1-5, 2010.

Fast Compact Algorithms and Software for Spline Smoothing investigates algorithmic alternatives for computing cubic smoothing splines when the amount of smoothing is determined automatically by minimizing the generalized cross-validation score.

This is a somewhat unusual book with a dual purpose.

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user.

This book is an example-based introduction to techniques, from elementary to advanced, of using Mathematica, a revolutionary tool for mathematical computation and exploration.

This book aims to provide with some approaches for lessening the unknowns of the FE methods of unsteady PDEs.

This two-volume set (CCIS 1565 and CCIS 1566) constitutes selected and revised papers from the 16th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2021, held in Taiyuan, China, in December 2021.

The 3-volume-set LNCS 12696 - 12698 constitutes the refereed proceedings of the 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Eurocrypt 2021, which was held in Zagreb, Croatia, during October 17-21, 2021.

Hybrid dynamical systems exhibit continuous and instantaneous changes, having features of continuous-time and discrete-time dynamical systems.

The projectors are considered as simple but important type of matrices and operators.

Circuit simulation has been a topic of great interest to the integrated circuit design community for many years.

Nonlinear Systems and Methods For Mechanical, Electrical and Biosystems presents topics observed at the 3rd Conference on Nonlinear Science and Complexity(NSC), focusing on energy transfer and synchronization in hybrid nonlinear systems.

Everything should be made as simple as possible, but not simpler.

This book contains manuscripts of topics related to numerical modeling in Civil Engineering (Volume 1) as part of the proceedings of the 1st International Conference on Numerical Modeling in Engineering (NME 2018), which was held in the city of Ghent, Belgium.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018.

This book presents the basic concepts of functional analysis, wavelet analysis and thresholding.

This book includes selected papers presented at the Indo-French Seminar on Optimization, Variational Analysis and Applications (IFSOVAA-2020), held at the Department of Mathematics, Institute of Science, Banaras Hindu University, Varanasi, India, from 2-4 February 2020.

The intention of this book is to reveal and discuss some aspects of the metal fo- ing plasticity theory.

Experts from university and industry are presenting new technologies for solving industrial problems and giving many important and practicable impulses for new research.

In recent years kinetic theory has developed in many areas of the physical sciences and engineering, and has extended the borders of its traditional fields of application.

Generic group algorithms solve computational problems defined over algebraic groups without exploiting properties of a particular representation of group elements.

An easy-to-understand guide covering the key principles of finite element methods and its applications to differential equations.

An Introduction to Wavelet Analysis provides a comprehensive presentation of the conceptual basis of wavelet analysis, including the construction and application of wavelet bases.

1.