Not finding it? Sign in to also search OpenAlex live.
-
Exact Inference for Continuous-Time Gaussian Process Dynamics2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access
Katharina Ensinger, Nicholas Tagliapietra, Sebastian Ziesche, Sebastian Trimpe
2citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Scalable Gaussian Process Regression via Deterministic Trigonometric Features: Uniform Bounds for Safe Model Predictive Control2026 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access
Julius Jagdt, Johanna Menn, Sebastian Trimpe, Melanie N. Zeilinger, Anna Scampicchio
0citations -
Decoder Dependence in Surface‐Code Threshold Estimation Under Digitized Hybrid Continuous‐Variable and Discrete Noise2026 Fortschritte der Physik article Computer Science Quantum Computing Algorithms and Architecture Open access
Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt, Sven Groppe
0citations -
Quantum Log-Determinant Methods for Torsion-Sensitive Topological Data Analysis2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Dimitrios Thanos, Caesnan Leditto, Adam Wesołowski, Andreea-Iulia Lefterovici, Mahtab Yaghubi Rad
0citations
24 results