会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
RadGeoLoc: Radar Geolocalization via Particle Filtering
Arxiv
0+阅读 · 10月19日
From Generic to Dedicated: A Novel Optimizer for Online Continual Learning
Arxiv
0+阅读 · 10月20日
A thermally and perturbatively stable classical spin model in two dimensions
Arxiv
0+阅读 · 10月15日
Spectral Limits of Polynomial Graph Filters on the Long-Range Ising Model Benchmark
Arxiv
0+阅读 · 10月15日
The Blume-Capel Model as a $φ^6$ Field Theory: A Monte Carlo and Flow Model Study
Arxiv
0+阅读 · 10月14日
Subgaussian Vector Balancing by an Ising Model
Arxiv
0+阅读 · 10月13日
Beyond DFT electronic band structures via dual-space orbital learning
Arxiv
0+阅读 · 10月14日
Throwing a Tight Spiral American Football by a Humanoid Robot
Arxiv
0+阅读 · 10月9日
Anechoic: Onsager-Corrected Parallel Annealing for Sub-0.1 ms Dense Max-Cut on an FPGA
Arxiv
0+阅读 · 10月9日
Deep Mesoscopic Dynamics
Arxiv
0+阅读 · 10月13日
Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Arxiv
0+阅读 · 9月28日
Deterministic Approximation of the Total Variation Distance Between Spin Systems
Arxiv
0+阅读 · 10月8日
Do Spinning Radar Doppler Velocity Measurements Improve Vehicle Detection and Tracking?
Arxiv
0+阅读 · 9月17日
Rank-1-perturbed trickledown theorems: Mixing time of Glauber dynamics for the Sherrington-Kirkpatrick model up to $β\leq \frac{1}{2}+\varepsilon$
Arxiv
0+阅读 · 9月11日
Group Action and Spin Representation Lead to a Holant* Complexity Dichotomy on Domain Size 3
Arxiv
0+阅读 · 10月3日
参考链接
微信扫码咨询专知VIP会员
Top