research
∙
01/09/2023
Leveraging Contextual Relatedness to Identify Suicide Documentation in Clinical Notes through Zero Shot Learning
Identifying suicidality including suicidal ideation, attempts, and risk ...
share
research
∙
02/02/2021
Couplings of the Random-Walk Metropolis algorithm
Couplings play a central role in contemporary Markov chain Monte Carlo m...
research
∙
01/31/2021
Transition kernel couplings of the Metropolis-Hastings algorithm
Couplings play a central role in the analysis of Markov chain convergenc...
research
∙
10/16/2020
Maximal couplings of the Metropolis-Hastings algorithm
Couplings play a central role in the analysis of Markov chain Monte Carl...
research
∙
01/15/2020
Learning Concise Models from Long Execution Traces
Abstract models of system-level behaviour have applications in design ex...
research
∙
01/05/2020
Hardware/Software Co-verification Using Path-based Symbolic Execution
Conventional tools for formal hardware/software co-verification use boun...
research
∙
08/04/2019
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
This paper presents CREST, a prototype front-end tool intended as an add...
research
∙
08/11/2017