会员服务
Efficient Demodulation for Coset Codes on Lattices
Arxiv
0+阅读 · 10月1日
SoK: Secure Software-Based Multi-Domain Data Segregation
Arxiv
0+阅读 · 9月7日
Real-time virtual circuits for plasma shape control via neural network emulators: experimental demonstration on MAST Upgrade
Real-time virtual circuits for plasma shape control via neural network emulators: experimental demonstration on MAST Upgrade
Arxiv
0+阅读 · 8月28日
Enforcing Access Control in Distributed Version Control Systems
Arxiv
0+阅读 · 7月31日
A Differentiable Atari VCS:A Complex, Fully Known Ground Truth for Explainable AI
Arxiv
0+阅读 · 6月21日
AVIS: Adaptive Test-Time Scaling for Vision-Language Models
Arxiv
0+阅读 · 6月10日
Ciphera: A Decentralised Biometric Identity Framework
Arxiv
0+阅读 · 5月28日
AbdomenGen: Sequential Volume-Conditioned Diffusion Framework for Abdominal Anatomy Generation
Arxiv
0+阅读 · 4月14日
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
Arxiv
0+阅读 · 1月28日
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
Arxiv
0+阅读 · 1月26日
Efficient Formal Verification of Quantum Error Correcting Programs
Arxiv
0+阅读 · 2025年10月29日
Deadlock-free routing for Full-mesh networks without using Virtual Channels
Arxiv
0+阅读 · 2025年10月16日
A Scalable, Privacy-Preserving Decentralized Identity and Verifiable Data Sharing Framework based on Zero-Knowledge Proofs
Arxiv
0+阅读 · 2025年10月10日
Evolving k-Threshold Visual Cryptography Schemes
Arxiv
0+阅读 · 2025年8月21日
Efficient Formal Verification of Quantum Error Correcting Programs
Arxiv
0+阅读 · 2025年6月5日
参考链接
微信扫码咨询专知VIP会员
Top