Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Books
Journals
Dissertations
About the Radboud Dissertation Series
Published dissertations
FAQ
About the Press
About the Press
Mission Statement
For authors/editors
Team
Editorial Team
Editorial Board
Steering Committee
Advisory Board
Contact
Privacy
Newsletter
Search
Register
Login
Home
/
Computer science
Computer science
21 Titles
All Books
Uncertainty Quantification of Machine Learning Models
Laurens Sluijterman (Author)
March 26, 2025
Transforming Arbitration: Exploring the Impact of AI, Blockchain, Metaverse and Web3
Maud Piers, Sean McCarthy (Volume editor)
January 7, 2025
Towards rapid and reliable parameter estimation for gravitational waves
Alex Kolmus (Author)
May 21, 2025
Structured Randomness
Daniël Kuijsters (Author)
July 4, 2025
Spotlight on Recommender Systems: Contributions to Selected Components in the Recommendation Pipeline
Gebrekirstos Gebremeskel (Author)
July 9, 2025
Speech representations: Adventures in pre-training and fine-tuning transformers for speech technology tasks
Nik Vaessen (Author)
September 11, 2025
Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty
Thom Badings (Author)
March 27, 2025
Rethinking the Security of Machine Learning in Malware Detection
Hamid Bostani (Author)
September 10, 2025
Rethinking Anomaly Detection: From Theory to Practice
Roel Bouman (Author)
April 15, 2025
Perspectives on Adversarial Machine Learning in Intelligent Information Systems
Zhuoran Liu (Author)
April 17, 2025
Orchestrating the Internet of Things with Task-Oriented Programming: A purely functional rhapsody
Mart Lubbers (Author)
October 4, 2023
On the predictive and explanative roles of deep neural networks in neuroscience
Amr Fouad Abdelhamid Farahat (Author)
October 24, 2025
Model Inference and Comparison for Software Evolution in Large Component-Based Systems
Dennis Hendriks (Author)
August 28, 2024
Low dose CT perfusion: filtering the way to the clinic
Sjoerd Tunissen (Author)
May 22, 2025
Guiding Automated Theorem Proving with Machine Learning
Jelle Piepenbrock (Author)
March 12, 2025
Guarantees by Construction: Types for deadlock and leak free concurrency • separation logics for verified message passing • general and efficient coalgebraic automata minimization • paradox-free probabilistic programming
Jules Jacobs (Author)
June 24, 2024
Exploring Relations and Graphs for Information Retrieval
Chris Kamphuis (Author)
November 4, 2025
Deep Learning for Localization and Segmentation in Thorax Abdomen CT
Gabriel Efrain Humpire Mamani (Author)
July 1, 2024
Commutative algebra and symmetric cryptography
Robert Christian Subroto (Author)
November 24, 2025
Automatic Recognition and Assessment of Dysarthric Speech
Chitralekha Ganapati Bhat (Author)
March 24, 2025
Advancing Indonesian Neuropsychological Assessment with Tools from Computer Science
Shinta Wahyuningrum (Author)
June 19, 2025
