Filter by
Tools and Algorithms for the Construction and Analysis of Systems
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
This open access book focuses on robot introspection, which has a direct impact on physical human–robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies. In robotics, the ability to reason, solve their own anomalies and proactively enrich owned knowledge is a direct way to improve autonomous beha…
- Edition
- 1
- ISBN/ISSN
- 9789811562631
- Collation
- XVII, 137 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
This Open Access proceedings present a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is a successful networking at academic and management level. Thereby the colloquium is focussing on a high level academic exchange to distribute the obtained research results, determine synergetic effects and trends, connect the actors personally and in c…
- Edition
- 1
- ISBN/ISSN
- 9783662617557
- Collation
- VII, 344 ill; lamp
- Series Title
- -
- Call Number
- -
Mathematical Modeling of the Human Brain
This open access book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95136-8
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- -
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-d…
- Edition
- 1
- ISBN/ISSN
- 9783030360719
- Collation
- XXIII, 187 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
This open access book assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scien…
- Edition
- -
- ISBN/ISSN
- 9789811680441
- Collation
- -
- Series Title
- -
- Call Number
- -
VR Technologies in Cultural Heritage: First International Conference, VRTCH 2…
This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018. The 13 revised full papers along with the 5 short papers presented were carefully reviewed and selected from 21 submissions. The papers of this volume are organized in topical sections on data acquisition and…
- Edition
- -
- ISBN/ISSN
- 9783030058197
- Collation
- X, 245
- Series Title
- 904
- Call Number
- -
Attachment Ventilation Theory
This open access book systematically summarizes the current research progress of attachment ventilation, covering vertical wall attachment, column attachment, and adaptive attachment ventilation. Attachment ventilation is a high-performance ventilation mode that was first proposed by the author, Prof. Angui Li 20 years ago. Now it has been widely used in office spaces, subway stations, high-spe…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-9261-2
- Collation
- XXIII, 185
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography