会员服务
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
Arxiv
0+阅读 · 2025年12月24日
A human-centered approach to reframing job satisfaction in the BIM-enabled construction industry
Arxiv
0+阅读 · 2025年12月23日
Improved Bounds for Coin Flipping, Leader Election, and Random Selection
Arxiv
0+阅读 · 2025年11月20日
BIM-GPT: a Prompt-Based Virtual Assistant Framework for BIM Information Retrieval
Arxiv
2+阅读 · 2023年4月18日
Not cool, calm or collected: Using emotional language to detect COVID-19 misinformation
Arxiv
0+阅读 · 2023年3月27日
An ontology-aided, natural language-based approach for multi-constraint BIM model querying
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top