Not finding it? Sign in to also search OpenAlex live.
-
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 -
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 -
Towards Realistic Optimization Benchmarks: A Questionnaire on the Properties of Real-World Problems2020 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access
Koen van der Blom, Timo M. Deist, Tea Tušar, Mariapia Marchi, Yusuke Nojima, Akira Oyama, +2 more
1citations
22 results