This book aims to present a state-of-the-art survey of theories and methods of reliability, maintenance, and warranty with emphasis on multi-unit systems, and to reflect current hot topics: imperfect maintenance, economic dependence, opportunistic maintenance, quasi-renewal processes, warranty with maintenance and economic dependency, and software testing and maintenance.
An in-depth introduction to subspace methods for system identification in discrete-time linear systems thoroughly augmented with advanced and novel results, this text is structured into three parts.
Models of dynamical systems are of great importance in almost all fields of science and engineering and specifically in control, signal processing and information science.
Modelling and Control of Mini-Flying Machines is an exposition of models developed to assist in the motion control of various types of mini-aircraft: Planar Vertical Take-off and Landing aircraft; helicopters; quadrotor mini-rotorcraft; other fixed-wing aircraft; blimps.
Stochastic differential equations play an increasingly important role in modeling the dynamics of a large variety of systems in the natural sciences, and in technological applications.
Mobile crowdsensing is a new sensing paradigm that utilizes the intelligence of a crowd of individuals to collect data for mobile purposes by using their portable devices, such as smartphones and wearable devices.
Multibody Mechanics and Visualization is designed to appeal to computer-savvy students who will acquire significant skills in mathematical and physical modelling of mechanical systems in the process of producing attractive computer simulations and animations.
This book introduces a novel approach to designing and analyzing beneficial nonlinearity, which plays a crucial role in engineering systems and cannot be overlooked in structural design, dynamic response analysis, and parameter selection.
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 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 is the tenth of 15 related monographs, discusses product-cubic nonlinear systems with two crossing-linear and self-quadratic products vector fields and the dynamic behaviors and singularity are presented through the first integral manifolds.
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.
This book is devoted to offering a comprehensive and detailed discussion of the design of high-reliability, high-efficiency spectrum utilization, cross-technology support and concurrent backscatter schemes.
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.
This book covers the latest advancements and applications of nonlinear dynamics in various fields of science and engineering, presenting a curated selection of peer-reviewed contributions at the 2nd International Conference on Nonlinear Dynamics and Applications (ICNDA 2024) at Sikkim Manipal Institute of Technology (SMIT).
This book integrates for readers three areas of knowledge, pertaining to risk-based project decision making: project risk management (PRM), complexity theory, and decision-making under deep uncertainty (DMDU).
This book delves into the intricacies of transformative processes, focusing particularly on radical and disruptive changes that shape markets, social systems, organizations, cities, and service ecosystems.
This edited book provides a comprehensive framework for the integration of mathematical methodologies into biological research, emphasizing applications that directly address topics related to SDG 3 (Good Health and Well Being) and SDG 6 (Clean Water and Sanitation).
The book describes the methodologies for dynamics formulation, balancing, and optimizing dynamic quantities of multibody systems, such as mechanisms and robots.
Summary Programming with Types teaches you to design safe, resilient, correct software that's easy to maintain and understand by taking advantage of the power of strong type systems.
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 provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.
Dieses Buch untersucht die Notwendigkeit innovativer Ansätze zur Administrationsdigitalisierung, indem Technologien wie KI, Blockchain und intelligente Prozesse genutzt werden, um den Erwartungen der Bürger gerecht zu werden.
The 9 volume set LNCS 15484-15492 constitutes the refereed proceedings of the 30th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2024, which took place in Kolkata, India, during December 9-13, 2024.
This book constitutes the refereed proceedings of the 20th China Conference on Machine Translation, CCMT 2024, which took place in Xiamen, China, during November 8-10, 2024.
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.
