research
∙
08/09/2023
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
Verifying the functional correctness of programs with both classical and...
share
research
∙
07/11/2023
ResMatch: Residual Attention Learning for Local Feature Matching
Attention-based graph neural networks have made great progress in featur...
research
∙
12/07/2022
Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers
Real-time crowd-powered systems, such as Chorus/Evorus, VizWiz, and Appa...
research
∙
05/16/2022
ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning
Deep-learning-based local feature extraction algorithms that combine det...
research
∙
04/12/2022
Encodability Criteria for Quantum Based Systems (Technical Report)
This technical report contains the proofs to the lemmata and theorems of...
research
∙
02/11/2022
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Verifying quantum systems has attracted a lot of interest in the last de...
research
∙
07/02/2021
Formal Semantics of a Classical-Quantum Language
We investigate the formal semantics of a simple imperative language that...
research
∙
06/08/2021
SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning
Modifications on triplet loss that rescale the back-propagated gradients...
research
∙
01/13/2021
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Fidelity is one of the most widely used quantities in quantum informatio...
research
∙
05/22/2020