The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS). This review naturally also includes a history of the problem, as well as specific algorithms. To this point such a work does not exist: There are sources where one can find incomplete and perhaps untrustworthy information. With this book, information …
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 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
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 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
This book examines the theoretical links between Edward W. Said and Sigmund Freud as well the relationship between psychoanalysis, postcolonialism and decoloniality more broadly. The author begins by offering a comprehensive review of the literature on psychoanalysis and postcolonialism, which is contextualized within the apparatus of racialized capitalism. In the close analysis of the inte…
This volume develops a comprehensive framework for applying the theory of hauntology to everyday life from ethnographic and clinical points of view. The central argument of the book is that all human experience is fundamentally haunted, and that a shift from ontological theory of subjective experience to a hauntological one is necessary and has urgent implications. Building on the notion of hau…
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 during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
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 during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
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 contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Structural Dynamics, including papers on: …
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 boundary conditions of three-dimensional elasticity. The asymptotic solutions become accurate as the thickness decreases, and the three-dimensional fields of stresses and displacements can be determined.…
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, Florida, USA. The first IMR was held in 1992, and the conference series has been held annually since. Each year the IMR brings together researchers, developers, and application experts in a variety of disci…
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 vaccination is considered controversial so that it invites many people to give their opinions in various media. This opinion must be considered as an evacuation material so that the vaccination plan th…
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 characteristics of a finite element approximation and how to avoid the pitfalls of finite element modeling. Presenting the finite element theory as simply as possible, the book allows readers to gain the knowledge…
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 concepts. In the second part, power flow and contingency analysis are treated. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of th…
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 levels. This patented technology, developed for decades and in different countries, is based on a completely different philosophy and model allowing us to directly operate in united distributed physical …
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 initial conditions on MSS reliability and availability, changing importance of components over time in MSS with aging components, and the determination of age-replacement policies. It also describes mod…
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 Generation Surveillance Systems. All algorithms are evaluated through experimental and simulation results and a parallel and pipelined efficient architecture for implementing the algorithms is described.
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 content of physics in one coherent inquiry. Teaching and learning physics is challenging because students lack the skills to merge these learning paradigms. The purpose of this book is not only to im…
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 Computing in Civil and Building Engineering (ICCCBE), São Paulo, Brazil, August 18-20, 2020. It covers highly diverse topics such as BIM, construction information modeling, knowledge management, GIS, GPS…
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, to extract reliable damage sensitive features from vibration responses. In this regard, some limitations of time series modeling are dealt with. For decision-making, innovative distance-based novelt…
“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 successful software Sage, which can be found free online http://www.sagemath.org/. Sage is a recent and popular software for mathematical computation, available freely and simple to use. This boo…
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 function (GF). The book lays out an easy-to-follow path from theory to practice and includes salient AC application examples. Since GFs are not widely utilized amongst the tracking community, the book takes…
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, plate bending, coupled stretching-bending, and three-dimensional deformations, and is extended to the piezoelectric, piezomagnetic, magnetic-electro-elastic, viscoelastic materials, and the ones under t…
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 articulated agents, experimental study of the properties of soft agents as the end-effector of articulated agents, and accurate management of low-level torque-control loop to accurately control the articulat…
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, Roorkee, India. The contents cover latest research in the highly multidisciplinary field of systems engineering, and discusses its various aspects like systems design, dynamics, analysis, modeling and simul…
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 possible, in the aspects of Fuzzy Logic in this relation, and especially in music as a process with three main phases, five anthropological layers, and thirteen forms of existence of the art work (Classics…
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 are presented, which involve mechanical components and structural members often encountered in engineering practice. This monograph is written for practicing structural and civil engineers, students, an…
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 contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Modal Analysis, including papers on: Op…