Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection2025 Symposium on Maritime Informatics and Robotics (MARIS) conference-paper Computer Science Adversarial Robustness in Machine Learning Open access
Martin Aubard, László Antal, Ana Maria Madureira, Luís Filipe Teixeira, Erika Ábrahám
6citations -
Enabling Hyperparameter-Tuning of AI Models for Healthcare using the CoE RAISE Unique AI Framework for HPC2023 MIPRO ICT and Electronics Convention (MIPRO) conference-paper Computer Science Machine Learning and Data Classification
Morris Riedel, Chadi Barakat, Sebastian Johannes Fritsch, Andreas Lintermann, Andreas Schuppert, Sigurður Brynjólfsson, +2 more
1citations -
Deep Anatomical Federated Network (Dafne): An open client-server framework for the continuous, collaborative improvement of deep learning-based medical image segmentation2023 arXiv (Cornell University) preprint Computer Science Medical Image Segmentation Techniques Open access
Francesco Santini, Jakob Wasserthal, Abramo Agosti, Xeni Deligianni, Kevin R. Keene, Hermien E. Kan, +8 more
20citations -
SymSeqBench: a unified framework for the generation and analysis of rule-based symbolic sequences and datasets2025 JuSER (Forschungszentrum Jülich) preprint Computer Science semigroups and automata theory Open access
Barna Zajzon, Younes Bouhadjar, Maxime Fabre, Felix Schmidt, Noah Ostendorf, Emre Neftci, +2 more
2citations -
SymSeqBench: a unified framework for the generation and analysis of rule-based symbolic sequences and datasets2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access
Barna Zajzon, Younes Bouhadjar, Maxime Fabre, Felix Schmidt, Noah Ostendorf, Emre Neftci, +2 more
0citations -
Bayesian calibration, process modeling and uncertainty quantification in biotechnology2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Gaussian Processes and Bayesian Inference Open access
Laura M. Helleckes, Michael Osthege, Wolfgang Wiechert, Eric von Lieres, Marco Oldiges
4citations