501 citations
- University of WaterlooCA11 papers
- University of TorontoCA7 papers
- Institut de Mathématiques de BordeauxFR6 papers
- Institut de recherche mathématique de RennesFR6 papers
- Laboratoire de Mathématiques et Physique ThéoriqueFR5 papers
- Sapienza University of RomeIT5 papers
- Tsinghua UniversityCN5 papers
- Carleton UniversityCA4 papers
- University of KansasUS4 papers
- York UniversityCA4 papers
- Zhengzhou UniversityCN4 papers
- Brown UniversityUS3 papers
5 papers · 1 filter
On Testing Quantum Programs
Andriy Miranskyy, Lei Zhang
A quantum computer (QC) can solve many computational problems more efficiently than a classic one. The field of QCs is growing: companies (such as DWave, IBM, Google, and Microsoft…
SMILER: Saliency Model Implementation Library for Experimental Research
Calden Wloka, Toni Kunić, Iuliia Kotseruba +4
The Saliency Model Implementation Library for Experimental Research (SMILER) is a new software package which provides an open, standardized, and extensible framework for maintainin…
Vietnamese Open Information Extraction
Diem Truong, Duc-Thuan Vo, U. T Nguyen
Open information extraction (OIE) is the process to extract relations and their arguments automatically from textual documents without the need to restrict the search to predefined…
Moduli of Lagrangian immersions with formal deformations
Hansol Hong, Siu-Cheong Lau
We introduce a joint project with Cheol-Hyun Cho on the construction of quantum-corrected moduli of Lagrangian immersions. The construction has important applications to mirror sym…
The visual boundary of hyperbolic free-by-cyclic groups
Yael Algom-Kfir, Arnaud Hilion, Emily Stark
Let be an atoroidal outer automorphism of the free group . We study the Gromov boundary of the hyperbolic group . We explicitly describe a…