This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
Topics in Modal Analysis, Volume 7: Proceedings of the 31st IMAC, A Conference and Exposition on Structural Dynamics, 2013, the seventh volume of seven from the Conference, brings together contrib…
This book presents a hybrid approach to the mechanics of thin bodies. Classical theories of rods, plates and shells with constrained shear are based on asymptotic splitting of the equations and bou…
This volume contains the articles presented at the 22nd International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held on Oct 13-16, 2013 in Orlando, Florid…
In order to accelerate the handling of the spread of COVID-19 in Indonesia, the Government of the Republic of Indonesia has issued vaccinations for the people of Indonesia at the end of 2020. The v…
The book introduces the basic concepts of the finite element method in the static and dynamic analysis of beam, plate, shell and solid structures, discussing how the method works, the characteristi…
This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical co…
This book investigates new important applications of the Spatial Grasp Technology (SGT) allowing us to effectively simulate and manage large distributed dynamic systems on semantic and holistic lev…
This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of in…
This book introduces resource aware image decomposition, registration, fusion, object detection and tracking algorithms along with their applications in security, monitoring and integration in 3rd …
This book speaks about physics discoveries that intertwine mathematical reasoning, modeling, and scientific inquiry. It offers ways of bringing together the structural domain of mathematics and the…
This book gathers the latest advances, innovations, and applications in the field of information technology in civil and building engineering, presented at the 18th International Conference on Comp…
This book conducts effective research on data-driven Structural Health Monitoring (SHM), and accordingly presents many novel feature extraction methods by time series analysis and signal processing…
“Intelligent Routines II: Solving Linear Algebra and Differential Geometry with Sage” contains numerous of examples and problems as well as many unsolved problems. This book extensively applies…
The book shows that the analytic combinatorics (AC) method encodes the combinatorial problems of multiple object tracking—without information loss—into the derivatives of a generating functi…
This book provides the theory of anisotropic elasticity with the computer program for analytical solutions as well as boundary element methods. It covers the elastic analysis of two-dimensional, pl…
In this book, the authors focus on three aspects related to the development of articulated agents: presenting an overview of high-level control algorithms for intelligent decision-making of articul…
This book comprises select proceedings of the 43rd National Systems Conference on Innovative and Emerging Trends in Engineering Systems (NSC 2019) held at the Indian Institute of Technology, Roorke…
This book unfolds the manifold, complex and intertwined relations between Fuzzy Logic and music in a first comprehensive overview on this topic: systematically as an outline, as completely as possi…
This book offers a clear and comprehensive overview of both the theory and application of fundamental aspects of concrete-filled double steel tubes (CFDST). Many analysis and design applications ar…
Topics in Modal Analysis & Testing, Volume 8: Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics, 2020, the eighth volume of nine from the Conference, brings together …
The book covers new developments in structural topology optimization. Basic features and limitations of Michell’s truss theory, its extension to a broader class of support conditions, generalizat…
This book comprises select proceedings of the International Conference on Advancement in Energy, Drives, and Control. It covers frontier topics in optimization and control. It covers applications o…
The book covers the theory of Michell structures being the lightest and fully stressed systems of bars, designed within a given domain, possibly within the whole space, transmitting a given load to…