research
∙
09/21/2023
Stratified Type Theory
To exploit the expressivity of being able to refer to the type of types,...
share
research
∙
02/27/2023
Detection and Amelioration of Social Engineering Vulnerability in Contingency Table Data using an Orthogonalised Log-linear Analysis
Social Engineering has emerged as a significant threat in cyber security...
research
∙
03/25/2021
Realistic Differentially-Private Transmission Power Flow Data Release
For the modeling, design and planning of future energy transmission netw...
research
∙
12/11/2019
Practical Sized Typing for Coq
Termination of recursive functions and productivity of corecursive funct...
research
∙
02/19/2018
Online Action Detection in Untrimmed, Streaming Videos - Modeling and Evaluation
The goal of Online Action Detection (OAD) is to detect action in a timel...
research
∙
03/04/2017