Not finding it? Sign in to also search OpenAlex live.
-
Systematic Comparison and Improvement of Pre-silicon Leakage Analysis Tools2026 ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF Companion) conference-paper Computer Science Cryptographic Implementations and Security Open access
Abolfazl Sajadi, Nuša Zidarič, Todor P. Stefanov, Nele Mentens
0citations -
Cross-comparison of state of the art neuromorphological simulators on modern CPUs and GPUs using the Brain Scaffold Builder2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Parallel Computing and Optimization Techniques Open access
Robin De Schepper, Nora Abi Akar, Thorsten Hater, B. F. B. Huisman, Egidio Ugo D'Angelo, Abigail Morrison, +1 more
2citations -
MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat2022 CentAUR (University of Reading) book-chapter Computer Science Model-Driven Software Engineering Techniques Open access
Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe⋆, Armin Moin, Atta Badii, +2 more
3citations -
Comparison of Low-budget Black-box Optimization Algorithms on BBOB2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access
Elena Raponi, Carraz Nathanael Rakotonirina, Rapin Jérémy, Carola Doerr, Olivier Teytaud
1citations -
Comparison of Low-budget Black-box Optimization Algorithms on BBOB2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access
Elena Raponi, Carraz Nathanael Rakotonirina, Rapin Jérémy, Carola Doerr, Olivier Teytaud
0citations -
Development of a DNI Forecast Tool Based on Machine Learning for the Smart Operation of a Parabolic Trough Collector System with Thermal Energy Storage2024 SolarPACES Conference Proceedings conference-paper Computer Science Solar Radiation and Photovoltaics Open access
Johannes Christoph Sattler, Siddharth Dutta, Spiros Alexopoulos, Adnan Kawam, Cristiano Teixeira Boura, Ulf Herrmann, +1 more
0citations -
Performance Made Visible: A Tool-Based Exploration of HPC Applications2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access
Krishna Sai Lakshmi Gayatri Manda, Ayushya Pare, Michael Commer, M. Errenst, Matthias Hellmann, Marc-André Hermanns, +1 more
0citations -
Performance Made Visible: A Tool-Based Exploration of HPC Applications2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access
Krishna Sai Lakshmi Gayatri Manda, Ayushya Pare, Michael Commer, M. Errenst, Matthias Hellmann, Marc-André Hermanns, +1 more
0citations -
Application of convex hull analysis for the evaluation of data heterogeneity between patient populations of different origin and implications of hospital bias in downstream machine-learning-based data processing: A comparison of 4 critical-care patient datasets
Konstantin Sharafutdinov, Jayesh Sudhir Bhat, Sebastian Johannes Fritsch, Kateryna Nikulina, Moein E. Samadi, Richard Polzin, +4 more
12citations -
Optimizing With Low Budgets: A Comparison on the Black-Box Optimization Benchmarking Suite and OpenAI Gym2023 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access
Elena Raponi, Nathanaël Carraz Rakotonirina, Jérémy Rapin, Carola Doerr, Olivier Teytaud
10citations -
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more
7citations -
MO-IOHinspector: Anytime Benchmarking of Multi-Objective Algorithms using IOHprofiler2024 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Diederick Vermetten, Jeroen Rook, Oliver Ludger Preuß, Jacob de Nobel, Carola Doerr, Manuel López‐Ibáñez, +2 more
0citations -
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
Development and Validation of an Algorithm for Segmentation of the Prostate and its Zones from Three-dimensional Transrectal Multiparametric Ultrasound Images2025 European Urology Open Science article Computer Science Medical Image Segmentation Techniques Open access
Daniël L. van den Kroonenberg, Florian Delberghe, Auke Jager, Arnoud W. Postema, Harrie P. Beerlage, Wim Zwart, +2 more
9citations