会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
Reciprocating Locks
Arxiv
0+阅读 · 1月4日
Reciprocating Locks
Arxiv
0+阅读 · 1月12日
Reciprocating Locks
Arxiv
0+阅读 · 1月14日
Machine Learning Force-Field Approach for Itinerant Electron Magnets
Arxiv
0+阅读 · 1月10日
FreeSVC: Towards Zero-shot Multilingual Singing Voice Conversion
Arxiv
0+阅读 · 1月9日
Strong Low Degree Hardness for Stable Local Optima in Spin Glasses
Arxiv
0+阅读 · 1月11日
Approximate Counting for Spin Systems in Sub-Quadratic Time
Arxiv
0+阅读 · 1月10日
Injectivity of ReLU networks: perspectives from statistical physics
Arxiv
1+阅读 · 2024年12月12日
Are Doppler Velocity Measurements Useful for Spinning Radar Odometry?
Arxiv
0+阅读 · 2024年12月5日
Machine learning force-field model for kinetic Monte Carlo simulations of itinerant Ising magnets
Arxiv
0+阅读 · 2024年11月29日
AI-driven inverse design of materials: Past, present and future
Arxiv
0+阅读 · 2024年11月29日
Faster randomized partial trace estimation
Arxiv
0+阅读 · 2024年11月28日
Video-Guided Foley Sound Generation with Multimodal Controls
Arxiv
0+阅读 · 2024年11月28日
Video-Guided Foley Sound Generation with Multimodal Controls
Arxiv
0+阅读 · 2024年11月26日
Weak Poincaré Inequalities, Simulated Annealing, and Sampling from Spherical Spin Glasses
Arxiv
0+阅读 · 2024年11月22日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top