会员服务
Efficient Formal Verification of Quantum Error Correcting Programs
Arxiv
0+阅读 · 10月29日
Deadlock-free routing for Full-mesh networks without using Virtual Channels
Arxiv
0+阅读 · 10月16日
A Scalable, Privacy-Preserving Decentralized Identity and Verifiable Data Sharing Framework based on Zero-Knowledge Proofs
Arxiv
0+阅读 · 10月10日
Evolving k-Threshold Visual Cryptography Schemes
Arxiv
0+阅读 · 8月21日
Efficient Formal Verification of Quantum Error Correcting Programs
Arxiv
0+阅读 · 6月5日
Efficient Formal Verification of Quantum Error Correcting Programs
Arxiv
0+阅读 · 4月10日
CoE: Chain-of-Explanation via Automatic Visual Concept Circuit Description and Polysemanticity Quantification
Arxiv
0+阅读 · 3月19日
Seamless Graph Task Scheduling over Dynamic Vehicular Clouds: A Hybrid Methodology for Integrating Pilot and Instantaneous Decisions
Arxiv
0+阅读 · 2月18日
Towards an identity management solution on Arweave
Arxiv
1+阅读 · 2024年12月20日
Towards an identity management solution on Arweave
Arxiv
1+阅读 · 2024年12月19日
Towards an identity management solution on Arweave
Arxiv
1+阅读 · 2024年12月18日
An End-to-End Smart Predict-then-Optimize Framework for Vehicle Relocation Problems in Large-Scale Vehicle Crowd Sensing
Arxiv
0+阅读 · 2024年11月27日
A robust shape model for blood vessels analysis
Arxiv
0+阅读 · 2024年11月20日
Digital Product Passport Management with Decentralised Identifiers and Verifiable Credentials
Arxiv
0+阅读 · 2024年10月21日
Theoretical analysis of git bisect
Arxiv
0+阅读 · 2024年10月2日
参考链接
微信扫码咨询专知VIP会员
Top