research
∙
08/23/2023
State Merging with Quantifiers in Symbolic Execution
We address the problem of constraint encoding explosion which hinders th...
share
research
∙
07/26/2023
Phenotype-preserving metric design for high-content image reconstruction by generative inpainting
In the past decades, automated high-content microscopy demonstrated its ...
research
∙
02/01/2020
Dialogue-based simulation for cultural awareness training
Existing simulations designed for cultural and interpersonal skill train...
research
∙
01/11/2019