Login to filter by course Login to filter by course Reset
Knowledge TracingDelves into Bayesian Knowledge Tracing and Learning Curves, exploring the prediction of student knowledge over time and the importance of accurate performance measurement.
Variational Auto-Encoders and NVIBExplores Variational Auto-Encoders, Bayesian inference, attention-based latent spaces, and the effectiveness of Transformers in language processing.
Theorem Proving and VampireExplores theorem proving in first-order logic and the saturation-based approach, highlighting the Vampire theorem prover.
Knowledge Inference for GraphsExplores knowledge inference for graphs, discussing label propagation, optimization objectives, and probabilistic behavior.
Inference of Reaction KineticsFocuses on the inference of reaction kinetics in combustion, covering rules inference, sensitivity analysis, and Bayesian inference.
Bayesian Mapping of Landslide HazardExplores high-resolution Bayesian mapping of landslide hazard, emphasizing the significance of capturing unobserved triggers like rainfall intensity.