会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
Decomposing Grassmann Monomials for Superfield Expansions
Arxiv
0+阅读 · 8月20日
Overcoming critical slowing down in frustrated spin systems by learned multiscale sampling
Arxiv
0+阅读 · 8月31日
MULTI3IR: A Benchmark for Multi-perspective Multi-domain Multi-modal Information Retrieval
Arxiv
0+阅读 · 8月31日
SPIN: Decentralized Swarm Control via Tensorized Policy Coordination
Arxiv
0+阅读 · 7月20日
Circuit complexity lower bounds for quantum spin glasses
Arxiv
0+阅读 · 7月15日
Circuit complexity lower bounds for quantum spin glasses
Arxiv
0+阅读 · 7月21日
A Spectral Local-to-Global Principle for Spin Systems on Graphs with Girth At Least Five
Arxiv
0+阅读 · 8月26日
Ising Acceleration for Multi-Robot Multi-Target Planning
Arxiv
0+阅读 · 8月7日
Physics Models for Sim-to-Real Transfer in Professional-Level Robot Table Tennis
Arxiv
0+阅读 · 6月27日
Physics Models for Sim-to-Real Transfer in Professional-Level Robot Table Tennis
Arxiv
0+阅读 · 7月1日
Throwing a Tight Spiral American Football by a Humanoid Robot
Arxiv
0+阅读 · 8月17日
RadLoc: Radar-based 3-DoF Global Localization via Fast, Robust, and Lightweight Spatial Descriptor Across Diverse Environmental Scenarios
Arxiv
0+阅读 · 7月9日
Mixing times of spin systems on dynamical percolation
Arxiv
0+阅读 · 7月31日
Mixing times of spin systems on dynamical percolation
Arxiv
0+阅读 · 7月2日
Photonic Quantum Computing on Spin Memory Architecture with Tree-Encoded Fusion
Arxiv
0+阅读 · 6月20日
参考链接
微信扫码咨询专知VIP会员
Top