This book presents the proceedings of the Twentieth International Conference on Dependability of Computer Systems, showcasing recent advancements in this broad area.
This book reports on advances in mechanical engineering, with a special emphasis on innovative design approaches, constructions and working processes, and on intelligent devices.
This book keeps an eye in the direction of applications of advanced and high performance scientific computing in describing the behavior of natural and constructed systems, e.
The objective of this book is to navigate beginning graduate students in mathematics and engineering through a mature field of multiscale problems in homogenization theory and to provide an idea of its broad scope.
This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability.
This book explores the universe and its subsystems from the three lenses of evolutionary (contingent), developmental (predictable), and complex (adaptive) processes at all scales.
This book gathers state-of-the-art research in computational engineering and bioengineering to facilitate knowledge exchange between various scientific communities.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 37th IMAC, A Conference and Exposition on Structural Dynamics, 2019, the third volume of eight from the Conference brings together contributions to this important area of research and engineering.
This book offers a user friendly, hands-on, and systematic introduction to applied and computational harmonic analysis: to Fourier analysis, signal processing and wavelets; and to their interplay and applications.
This book reports on cutting-edge theories and methods for analyzing complex systems, such as transportation and communication networks and discusses multi-disciplinary approaches to dependability problems encountered when dealing with complex systems in practice.
This book contains all refereed papers accepted during the ninth edition of the conference that took place at the Cite Internationale Universitaire de Paris on December 18-19, 2018.
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.
This book introduces the reader to the concept of functional synchronization and how it operates on very different levels in psychological and social systems - from the emergence of thought to the formation of social relations and the structure of societies.
Gathering the proceedings of the 12th CHAOS2019 International Conference, this book highlights recent developments in nonlinear, dynamical and complex systems.
This book presents new ideas in the framework of novel, finite element discretization schemes for solids and structure, focusing on the mechanical as well as the mathematical background.
This book explains the use of cloud computing systems for engineering applications to satisfy the need for enterprise level, state-of-the-art computational capacities at an affordable cost.
This book presents recent mathematical methods in the area of inverse problems in imaging with a particular focus on the computational aspects and applications.
This volume encompasses prototypical, innovative and emerging examples and benchmarks of Differential-Algebraic Equations (DAEs) and their applications, such as electrical networks, chemical reactors, multibody systems, and multiphysics models, to name but a few.
This book provides an extensive coverage of the methodology of survival analysis, ranging from introductory level material to deeper more advanced topics.
This book presents current investigations in the field of mathematical modeling and simulation to support the development of intelligent information systems in domains such as ecology and geology, manufacturing, project management, and safety of distributed information systems.
This book introduces a series of problems and methods insufficiently discussed in the field of Fractional Calculus - a major, emerging tool relevant to all areas of scientific inquiry.
This volume collects the edited and reviewed contributions presented in the 8th iTi Conference on Turbulence, held in Bertinoro, Italy, in September 2018.
This work gathers a selection of outstanding papers presented at the 25th Conference on Differential Equations and Applications / 15th Conference on Applied Mathematics, held in Cartagena, Spain, in June 2017.
This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode.
This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introduction originally published by PUCPRESS (2016).
This book describes recent developments in a wide range of areas, including the modeling, analysis and control of dynamical systems, and explores related applications.
This updated edition retains its introduction to applied fundamental statistics, probability, reliability, and decision theory as these pertain to problems in Civil Engineering.
This book presents selected papers from the 18th International Conference on Global Research and Education, Inter-Academia 2019, held in Budapest and Balatonfured on September 4-7, 2019.
Since 1950, the Highway Capacity Manual has been a standard used in the planning, design, analysis, and operation of virtually any highway traffic facility in the United States.
This monograph presents computational models that describe electro-mechanical characteristics of tapered and cylinder roller bearings in various industrial applications.
This book presents the methodology of complex activity with a set of interconnected mathematical models that describe the processes of technology design, adoption and use.
This textbook introduces senior undergraduate and beginning graduate students of mechanical engineering to the field of digital control with an emphasis on applications.