会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
Continuous-Time Radar-Inertial and Lidar-Inertial Odometry using a Gaussian Process Motion Prior
Arxiv
0+阅读 · 11月20日
MAViS: Modular Autonomous Virtualization System for Two-Dimensional Semiconductor Quantum Dot Arrays
Arxiv
0+阅读 · 11月19日
Soft Robotic Dynamic In-Hand Pen Spinning
Arxiv
0+阅读 · 11月19日
The Role of Tensor-Generated Matrices in Analyzing Spin State Classicality and Tensor H-Eigenvalue Distributions
Arxiv
0+阅读 · 11月15日
AI-driven inverse design of materials: Past, present and future
Arxiv
0+阅读 · 11月14日
Weak Poincaré Inequalities, Simulated Annealing, and Sampling from Spherical Spin Glasses
Arxiv
0+阅读 · 11月13日
On sampling two spin models using the local connective constant
Arxiv
0+阅读 · 11月12日
Spin glass model of in-context learning
Arxiv
0+阅读 · 11月13日
The Overlap Gap Property limits limit swapping in QAOA
Arxiv
0+阅读 · 11月11日
Counterexamples to a Weitz-Style Reduction for Multispin Systems
Arxiv
0+阅读 · 11月10日
Scaling Whole-Chip QAOA for Higher-Order Ising Spin Glass Models on Heavy-Hex Graphs
Arxiv
0+阅读 · 11月4日
AI-Guided Codesign Framework for Novel Material and Device Design applied to MTJ-based True Random Number Generators
Arxiv
0+阅读 · 11月1日
Deterministic counting from coupling independence
Arxiv
0+阅读 · 10月30日
Inverse renormalization group of spin glasses
Arxiv
0+阅读 · 10月29日
On the stability of solutions to random optimization problems under small perturbations
Arxiv
0+阅读 · 10月28日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top