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 -
From exact gradients to exact standard errors: third-order sensitivity equations for the FOCE and FOCEI population likelihood2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Mathematics Statistical Methods and Bayesian Inference Open access
Hidde van de Beek, Massinissa Beldjenna, Matthew L. Fidler, Laura B. Zwep, J. G. Coen van Hasselt
0citations -
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 -
JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library2023 The Open Journal of Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access
J.E. Campagne, François Lanusse, Joe Zuntz, A. Boucaud, Santiago Casas, Minas Karamanis, +4 more
54citations