Search Results for author:
Found 3 papers, 1 papers with code
Control-Oriented Identification for the Linear Quadratic Regulator: Technical Report
Data-driven control benefits from rich datasets, but constructing such datasets becomes challenging when gathering data is limited.
Explainable AI for medical imaging: Explaining pneumothorax diagnoses with Bayesian Teaching
Limited expert time is a key bottleneck in medical imaging.
Towards Formally Verified Compilation of Tag-Based Policy Enforcement
This work is a first step toward verification of a full-scale compiler for a realistic tagged source language.
Cryptography and Security
Cannot find the paper you are looking for? You can
Submit a new open access paper.
