Not finding it? Sign in to also search OpenAlex live.
-
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
An Investigation on Inherent Robustness of Posit Data Representation2021 International Conference on VLSI Design and International Conference on Embedded Systems (VLSID) conference-paper Computer Science Numerical Methods and Algorithms Open access
Ihsen Alouani, Anouar Ben Khalifa, Farhad Merchant, Rainer Leupers
20citations -
Quantum Computing for High-Energy Physics: State of the Art and Challenges2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Alberto Di Meglio, Karl Jansen, Ivano Tavernelli, Constantia Alexandrou, Srinivasan Arunachalam, C. Bauer, +39 more
19citations -
Shaping Textile Sliders: An Evaluation of Form Factors and Tick Marks for Textile Sliders2022 CHI Conference on Human Factors in Computing Systems conference-paper Computer Science Interactive and Immersive Displays
Oliver Nowak, René Schäfer, Anke Brocker, Philipp Wacker, Jan Borchers
19citations -
Per-Instance Configuration of the Modularized CMA-ES by Means of Classifier Chains and Exploratory Landscape Analysis2020 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Raphael Patrick Prager, Heike Trautmann, Hao Wang, Thomas Bäck, Pascal Kerschke
17citations -
Future Trends in Digital Face Manipulation and Detection2022 Advances in computer vision and pattern recognition book-chapter Computer Science Digital Media Forensic Detection Open access
Rubén Tolosana, Christian Rathgeb, Rubén Vera-Rodríguez, Christoph Busch, Luisa Verdoliva, Siwei Lyu, +16 more
17citations -
Unified field theoretical approach to deep and recurrent neuronal networks2022 Journal of Statistical Mechanics Theory and Experiment article Computer Science Gaussian Processes and Bayesian Inference Open access
Kai Segadlo, Bastian Epping, Alexander van Meegen, David Dahmen, Moritz Helias
17citations -
Efficient and Robust Certification of Genuine Multipartite Entanglement in Noisy Quantum Error Correction Circuits2021 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access
A. Blanco, A. Bermúdez, Markus Michael Müller, Farid Shähandeh
16citations -
Robustness Analysis of Networked Control Systems with Aging Status2020 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) conference-paper Computer Science Age of Information Optimization Open access
Bin Han, Siyu Yuan, Zhiyuan Jiang, Yao Lin Zhu, Hans Dieter Schotten
15citations