This book will provide readers with a good overview of some of the most recent advances in the field of detector technology for gamma-ray imaging, especially as it pertains to new applications.
In this book, we study decision trees for fault diagnosis in circuits and switching networks, which are among the most fundamental models for computing Boolean functions.
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established.
This book highlights recent findings in industrial, manufacturing and mechanical engineering and provides an overview of the state of the art in these fields, mainly in Russia and Eastern Europe.
This book provides an introduction to the key concepts of Fully Homomorphic Encryption (FHE)-based computing, and discusses the challenges associated with architecting FHE-based computing systems.
This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems.
This book presents the proceedings of the 5th International Conference on Wireless Intelligent and Distributed Environment for Communication (WIDECOM 2022), which took place at the University of Windsor, Windsor, Canada, October 12-14, 2022.
Quantitative ultrasound (QUS) continues to mature as a research field and is primed to make a swift transition to routine preclinical and clinical applications.
This technical book deals with the design and function of vibration measurement systems, how they are put into operation and how measurements are interpreted.
This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems.
This book presents the proceedings of the 5th International Conference on Wireless Intelligent and Distributed Environment for Communication (WIDECOM 2022), which took place at the University of Windsor, Windsor, Canada, October 12-14, 2022.
Quantitative ultrasound (QUS) continues to mature as a research field and is primed to make a swift transition to routine preclinical and clinical applications.
This technical book deals with the design and function of vibration measurement systems, how they are put into operation and how measurements are interpreted.
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established.
This book offers a thorough introduction to the basics and scientific and technological innovations involved in the modern study of reinforcement-learning-based feedback control.
This volume contains selected papers from the Fifth Conference on Maintenance, Condition Monitoring and Diagnostics, MCMD 2021, in Oulu, Finland, collected by editors with years of experiences in condition monitoring, signal processing, advanced reasoning and diagnostics, maintenance, risk assessment, and asset management.
This book consists of select proceedings of the 1st International Conference on Sustainable Technologies and Advances in Automation, Aerospace and Robotics (STAAAR 2022).
This volume contains selected papers from the Fifth Conference on Maintenance, Condition Monitoring and Diagnostics, MCMD 2021, in Oulu, Finland, collected by editors with years of experiences in condition monitoring, signal processing, advanced reasoning and diagnostics, maintenance, risk assessment, and asset management.
This book consists of select proceedings of the 1st International Conference on Sustainable Technologies and Advances in Automation, Aerospace and Robotics (STAAAR 2022).
A dive-right-in, quick-start guide for busy library professionals who want to build literacy, STEAM, and other 21st-century skills using simple robots in a fun, collaborative environment.
This book presents the proceedings of the 30th International Conference on Systems Engineering held at the University of Nevada, Las Vegas (UNLV), USA, during August 22-24, 2023.
This book presents the first unified formalization for defining novelty across the span of machine learning, symbolic-reasoning, and control and planning-based systems.
This book describes the most recent advances in electromagnetic theory, motivated and partly informed by developments in engineering science and nanotechnology.
Dieses aus langjähriger Vorlesungstätigkeit entstandene Lehr- und Praxisbuch beschreibt die wichtigsten Berechnungsverfahren für Drehstromnetze in systematischer Fassung.
