会员服务
第26届SPIN研讨会旨在将对软件分析和软件模型自动化工具技术感兴趣的研究人员和实践者聚集在一起，以进行验证和确认。研讨会特别关注并发软件，但不排除对顺序软件的分析。提交的资料包括理论结果、新算法、工具开发和经验评估。官网链接：https://conf.researchr.org/track/spin-2019/spin-2019-papers
《开端》会在现实中发生吗？我想聊聊时间循环的物理学原理
《开端》会在现实中发生吗？我想聊聊时间循环的物理学原理
少数派
0+阅读 · 2022年2月21日
通过二维材料增强的模拟退火算法，解决组合优化「大问题」
通过二维材料增强的模拟退火算法，解决组合优化「大问题」
机器之心
1+阅读 · 2022年2月2日
厉害了！24岁“天才少年”曹原再次连发2篇Nature！“石墨烯驾驭者”王者归来
厉害了！24岁“天才少年”曹原再次连发2篇Nature！“石墨烯驾驭者”王者归来
学术头条
0+阅读 · 2020年5月9日
员工的「碎片化」工作，对企业来说是致命的 | 超级观点
员工的「碎片化」工作，对企业来说是致命的 | 超级观点
36氪
1+阅读 · 2020年4月4日
销售力强的人，没有冬天，学会布局，掌握让用户“秒下单”的秘密！
销售力强的人，没有冬天，学会布局，掌握让用户“秒下单”的秘密！
创业邦杂志
0+阅读 · 2020年3月27日
“逼单”总失败？被客户牵着鼻子走？不懂这一点，你的销售都是“瞎忙活”！
“逼单”总失败？被客户牵着鼻子走？不懂这一点，你的销售都是“瞎忙活”！
创业邦杂志
0+阅读 · 2020年1月14日
CPL2019年第10期编辑推荐论文
CPL2019年第10期编辑推荐论文
中国物理学会期刊网
0+阅读 · 2019年11月6日
思科前高管 MPLS 创办 Pensando，对标 AWS
思科前高管 MPLS 创办 Pensando，对标 AWS
云头条
0+阅读 · 2019年10月17日
研究快讯 | 由11个固体自旋比特组成的量子寄存器的哈密顿量表征
研究快讯 | 由11个固体自旋比特组成的量子寄存器的哈密顿量表征
中国物理学会期刊网
0+阅读 · 2019年10月12日
Science? 青岛大学教授将Science怼上Science！
Science? 青岛大学教授将Science怼上Science！
知社学术圈
1+阅读 · 2019年9月15日
混合云时代 Bespin Global开启多云管理时代的智慧大门
混合云时代 Bespin Global开启多云管理时代的智慧大门
CSDN云计算
0+阅读 · 2019年9月11日
《科学》（20190830出版）一周论文导读
《科学》（20190830出版）一周论文导读
科学网
0+阅读 · 2019年8月31日
《科学》（20190816出版）一周论文导读
《科学》（20190816出版）一周论文导读
科学网
1+阅读 · 2019年8月17日
进展 | 铁磁金属/拓扑绝缘体异质结中自旋流--电荷流转换效率调制取得进展
进展 | 铁磁金属/拓扑绝缘体异质结中自旋流--电荷流转换效率调制取得进展
中科院物理所
0+阅读 · 2019年8月16日
半数顶级论文摘要存在倾向性描述，心理学精神病学研究成重灾区
半数顶级论文摘要存在倾向性描述，心理学精神病学研究成重灾区
量子位
0+阅读 · 2019年8月10日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top