Sort by
Refine Your Search
-
Listed
-
Field
-
such as Bayesian modelling and optimal control theory. Using state-of-the-art methods – including virtual reality, wearable sensing, motion platforms and advanced data analytics – you will place particular
-
including dynamical and cosmological horizons, gravitational entropy, Noether charge methods, holographic coarse-graining, chaos, black hole heat engines and quantum field theory in curved space-time. These
-
holographic systems out of equilibrium, with possible topics including dynamical and cosmological horizons, gravitational entropy, Noether charge methods, holographic coarse-graining, chaos, black hole heat
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions