Search Results - "Mathematical theory of computation"

Transfer Learning: Leveraging the Capability of Pre-trained Models Across Different Domains

“…This edited volume explores the potential of transfer learning in advancing artificial intelligence (AI) across diverse domains. Transfer learning enables AI…”
Get full text

Artificial Intelligence in Medicine and Surgery: An Exploration of Current Trends, Potential Opportunities, and Evolving Threats - Volume 2

“…Never before in human history has the opportunity to create a better future look more real or promising. The information-technology revolution that started in…”
Get full text

Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

“…This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in…”
Get full text

Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

“…This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods,…”
Get full text

Towards Learning Object Detectors with Limited Data for Industrial Applications by Guirguis, Karim

“…In this dissertation, three novel Generalized Few-Shot Object Detection (G-FSOD) approaches are presented to minimize the forgetting of previously learned…”
Get full text

Trustworthy Distributed Usage Control Enforcement in Heterogeneous Trusted Computing Environments by Wagner, Paul Georg

“…Distributed usage control allows to regulate the use of data even after sharing. However, existing solutions are susceptible to manipulation by dishonest data…”
Get full text

Retroreflex Ellipsometry for Nonplanar Surfaces by Chen, Chia-Wei

“…Retroreflex ellipsometry addresses the geometric restrictions of conventional ellipsometry by using a retroreflective sheet, which returns the light beam from…”
Get full text

Maximal Planar Graph Theory and the Four-Color Conjecture by Xu, Jin

“…This open access book integrates foundational principles with advanced methodologies concerning maximal planar graphs. It offers readers an exceptional…”
Get full text

Context-based Access Control and Attack Modelling and Analysis by Walter, Maximilian

“…This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control…”
Get full text

Distributed Planning for Self-Organizing Production Systems by Pfrommer, Julius

“…In dieser Arbeit wird ein Ansatz entwickelt, um eine automatische Anpassung des Verhaltens von Produktionsanlagen an wechselnde Aufträge und Rahmenbedingungen…”
Get full text

Data Visualization with Category Theory and Geometry: With a Critical Analysis and Refinement of UMAP by Barth, Lukas Silvester, Fahimi, Hannaneh, Joharinad, Parvaneh, Jost, Jürgen, Keck, Janis

“…This open access book provides a robust exposition of the mathematical foundations of data representation, focusing on two essential pillars of dimensionality…”
Get full text

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice by Minato, Shin-ichi, Uno, Takeaki, Yasuda, Norihito, Horiyama, Takashi, Kawarabayashi, Ken-ichi, Yamashita, Shigeru, Ono, Hirotaka

“…This Open access book provides an overview of the cutting-edge research to systematize innovative foundations in algorithmic theories and techniques, and apply…”
Get full text

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

“…The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and…”
Get full text

A Reference Structure for Modular Model-based Analyses by Koch, Sandro

“…In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the…”
Get full text

Principles of Catastrophic Forgetting for Continual Semantic Segmentation in Automated Driving by Kalb, Tobias Michael

“…Deep learning excels at extracting complex patterns but faces catastrophic forgetting when fine-tuned on new data. This book investigates how class- and…”
Get full text

Methodische Evaluation von Verfahren zur Korrektur atmosphärischer Turbulenz in Bildsequenzen by Hübner, Claudia Susanne

“…For long horizontal propagation distances, it is the atmosphere, not the sensor technology which is responsible for the quality of acquired image data…”
Get full text

Datensouveränität für Betroffene über persönliche medizinische Daten durch technische Umsetzung einer datenschutzgerechten Forschungsplattform by Appenzeller, Arno

“…Digitalization in the healthcare sector is progressing more and more. This is leading to an increase in data that is available for secondary uses such as…”
Get full text

Roboter für Assistenzfunktionen: Konzeptstudien für die Interaktion in der Praxis

“…The performance and flexibility of robot technologies make it possible to bring robots to everyday life. This creates many challenges: safety, legal…”
Get full text

Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

“…This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024,…”
Get full text

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

“…This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb,…”
Get full text