forest evaporation lifting condensation layer R script tropical wet forest visible vapor plumes

Correct-by-construction Gabow IRF Isabelle/HOL Isabelle Refinement Framework Linear programming Markov chain Markov decision process Model Checking Modest toolset Probabilistic Model Checking Probabilistic timed automata Program verification SCC Strongly Connected Components Topological value iteration

Autoencoders Hyperparameter Tuning Portability Preprocessing Side-channel Analysis transfer learning

Feedforward neural network Machine learning Monte Carlo simulations Online application Post-burn contraction

Electromyography (EMG) Gamification operant conditioning Plasticity System identification

equivariance equivariant convolutions separable convolutions

Human preference Intersection over Union (IoU) Object detection

3D-CNN Action recognition BagNet computer vision Temporal receptive field

10th granulation conference Sheffield Buckingham Theorem non-dimensionalization population balance quadrature method of moments wet granulation

2D pose detection Data loading Multiprocessing Pose detection/tracklet conversion

Bayesian GSM OD matrix PLU polling interval

Agda Dependent Types Generic Programming Metaprogramming Type Theory

All software

Visible vapor plumes in a tropical wet forest: R script

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

AutoEncodersDLSCA

Code supporting the paper: High-speed predictions of post-burn contraction using a neural network trained on 2D-finite element simulations

Code to produce the results of the publication: “Reducing the Soleus Stretch Reflex with Conditioning: Exploring Game- and Impedance-based Biofeedback”

Code underlying the publication: Exploiting Learned Symmetries in Group Equivariant Convolutions

Code underlying the publication: "Humans disagree with the IoU for measuring object detector localization error."

Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

Dataset-NonDimensionalisationQMOM

det2d-read

Effects of PLU Polling Interval

Generics library for datatype-generic programming in Agda