Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Lean-QIT:迈向量子信息理论的形式化基础设施
Chengkai Zhu, Ziao Tang, Guocheng Zhen, Yimeng Cao, Yusheng Zhao, Ranyiliu Chen, Xuanqiang Zhao, Lei Zhang, Xin Wang
机构
*
QudeLeap Research(QudeLeap研究院)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area(粤港澳大湾区量子科学中心)
;
The University of Hong Kong(香港大学)
How Analysts Use AI in High-Stakes Crime Linkage: An Industrial Study
分析师如何在高风险犯罪关联中使用人工智能:一项行业研究
Jessica Woodhams, Amy Burrell, Wanyin Li, Fahim Ahmed, Matthew Tonkin, Jan Lemeire, Arkady Konovalov, Steven Frisson, Mark Webb, Sarah Galambos, Vesna Nowack, Dalal Alrajeh
ResearchStudio-Idea: An Evidence-Grounded Research-Ideation Skill Suite from ML Conference Outcomes
研究工作室-创意:基于机器学习会议成果的有证据支持的研究创意技能套件
Qihao Zhao, Yangyu Huang, Yalun Dai, Lingao Xiao, Jianjun Gao, Xin Zhang, Wenshan Wu, Scarlett Li, Yang He, Yan Lu, Yap Kim Hui
机构
*
Nanyang Technological University(南洋理工大学)
;
Microsoft Research(微软研究院)
;
National University of Singapore(新加坡国立大学)
;
CFAR, A*STAR(计算机辅助放射治疗中心,新加坡科技研究局)