会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
Privacy for Quantum Annealing. Attack on Spin Reversal Transformations in the case of cryptanalysis
Arxiv
0+阅读 · 3月31日
Inverse design of dual-band valley-Hall topological photonic crystals with arbitrary pseudospin states
Arxiv
0+阅读 · 3月28日
Rapid and Inexpensive Inertia Tensor Estimation from a Single Object Throw
Arxiv
0+阅读 · 3月17日
Factorizations of relative entropy using stochastic localization
Arxiv
0+阅读 · 3月25日
Bayesian Circular Regression with von Mises Quasi-Processes
Arxiv
0+阅读 · 3月13日
Bayesian Circular Regression with von Mises Quasi-Processes
Arxiv
0+阅读 · 3月18日
Hierarchical autoregressive neural networks in three-dimensional statistical system
Arxiv
0+阅读 · 3月11日
Video-Guided Foley Sound Generation with Multimodal Controls
Arxiv
0+阅读 · 3月17日
HeRCULES: Heterogeneous Radar Dataset in Complex Urban Environment for Multi-session Radar SLAM
Arxiv
0+阅读 · 2月18日
HeRCULES: Heterogeneous Radar Dataset in Complex Urban Environment for Multi-session Radar SLAM
Arxiv
0+阅读 · 2月4日
HeRCULES: Heterogeneous Radar Dataset in Complex Urban Environment for Multi-session Radar SLAM
Arxiv
0+阅读 · 2月21日
Approximating the total variation distance between spin systems
Arxiv
0+阅读 · 2月8日
Reciprocating Locks
Arxiv
0+阅读 · 1月25日
Reciprocating Locks
Arxiv
0+阅读 · 1月29日
Towards mutual synchronization of serially connected Spin Torque Oscillators based on magnetic tunnel junctions
Arxiv
0+阅读 · 2月14日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top