成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
SPIN
关注
0
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起,以进行验证和确认。研讨会特别关注并发软件,但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接:
https://conf.researchr.org/track/spin-2019/spin-2019-papers a>
综合
百科
VIP
热门
动态
论文
精华
T2 mapping at 0.55 T using Ultra-Fast Spin Echo MRI
Arxiv
0+阅读 · 10月22日
SimULi: Real-Time LiDAR and Camera Simulation with Unscented Transforms
Arxiv
0+阅读 · 10月16日
SimULi: Real-Time LiDAR and Camera Simulation with Unscented Transforms
Arxiv
0+阅读 · 10月14日
Local Gibbs sampling beyond local uniformity
Arxiv
0+阅读 · 10月13日
Whole Body Model Predictive Control for Spin-Aware Quadrupedal Table Tennis
Arxiv
0+阅读 · 10月9日
Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Arxiv
0+阅读 · 10月8日
A coupled HDG discretization for the interaction between acoustic and elastic waves
Arxiv
0+阅读 · 9月28日
Quantum error correction beyond $SU(2)$: spin, bosonic, and permutation-invariant codes from convex geometry
Arxiv
0+阅读 · 9月27日
A Neuronal Model at the Edge of Criticality: An Ising-Inspired Approach to Brain Dynamics
Arxiv
0+阅读 · 6月8日
Two-State Spin Systems with Negative Interactions
Arxiv
0+阅读 · 8月17日
Quantum Random Synthetic Skyrmion Texture Generation, a Qiskit Simulation
Arxiv
0+阅读 · 9月23日
The high-dimensional asymptotics of first order methods with random data
Arxiv
0+阅读 · 6月24日
Practical classical error correction for parity-encoded spin systems
Arxiv
0+阅读 · 4月30日
Implementation of the Collision Avoidance System for DO-178C Compliance
Arxiv
0+阅读 · 9月20日
Privacy for Quantum Annealing. Attack on Spin Reversal Transformations in the case of cryptanalysis
Arxiv
0+阅读 · 3月31日
参考链接
父主题
Springer
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top