On Feynman--Kac training of partial Bayesian neural networks

LaTeX Template for Mike Morrison's #betterposter

A collection of resources regarding the interplay between differential equations, deep learning, dynamical systems, control and numerical methods.

Implements Inside-Out SMC^2, a nested sequential Monte Carlo algorithm developed for Bayesian experimental design in dynamical systems.

The slow descent into madness

Auxiliary Kalman and particle Gibbs samplers for Feynman-Kac (state-space) models.

A generic library for linear and non-linear Gaussian smoothing problems. The code leverages JAX and implements several linearization algorithms, both in a sequential and parallel fashion, as well a…

Julia implementation of various rigid body dynamics and kinematics algorithms

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

A collection of user models and parameter estimation methods.

Iterative Linearized Control Toolbox

Example codes for the book Applied Stochastic Differential Equations

A differentiable physics engine for robotics

Conic Augmented Lagrangian Interior-Point SOlver

Bayesian inference for a logistic regression model in various languages

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

Tensors and neural networks in Haskell

JAX workshop for Simo Särkkä's group

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Model-based design and verification for robotics.

A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning within Monte Carlo methods.

Cleaner and Formatter for BibTeX files

This is a collection of code samples aimed at illustrating temporal parallelization methods for sequential data.

Examples of how to create colorful, annotated equations in Latex using Tikz.

user.js -- Firefox configuration hardening

Zheng Zhao's doctoral dissertation from Aalto University

Multi-Joint dynamics with Contact. A general purpose physics simulator.

Efficient Differentiable Simulation of Articulated Bodies (ICML2021)