会员服务
会议涵盖了从理论结果到具体应用的各个方面，重点讨论了实际的验证工具以及实现这些工具所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的进步至关重要。会议记录将发表在《计算机科学》系列的斯普林格-维拉格讲稿中。预计将邀请一些论文参加《系统设计中的形式化方法》专刊和《ACM杂志》。官网链接：http://i-cav.org/2019/
这种20多元一盒的感冒药，竟有望“饿死”癌细胞
这种20多元一盒的感冒药，竟有望“饿死”癌细胞
生物探索
0+阅读 · 2017年11月24日
用概念激活向量 (CAVs) 理解深度网络
用概念激活向量 (CAVs) 理解深度网络
AI科技评论
0+阅读 · 2019年8月17日
王友军课题组成果为心脑疾病的光遗传学治疗提供潜在工具 | Angew. Chem. Int. Ed. 论文推荐
王友军课题组成果为心脑疾病的光遗传学治疗提供潜在工具 | Angew. Chem. Int. Ed. 论文推荐
科研圈
1+阅读 · 2018年4月24日
工学 | 顶级SCI期刊专刊/国际会议信息5条
工学 | 顶级SCI期刊专刊/国际会议信息5条
Call4Papers
0+阅读 · 2019年1月16日
北师大王友军课题组的研究为心脑疾病的光遗传学治疗提供了新的潜在工具
北师大王友军课题组的研究为心脑疾病的光遗传学治疗提供了新的潜在工具
中国生物技术网
0+阅读 · 2018年4月23日
Intel 亮出智能交通的战略刺刀：先解决中国大公交的视觉盲区
Intel 亮出智能交通的战略刺刀：先解决中国大公交的视觉盲区
极客公园
0+阅读 · 2019年6月12日
敲黑板！！小细胞肺癌现代治疗策略
敲黑板！！小细胞肺癌现代治疗策略
肿瘤资讯
0+阅读 · 2018年5月1日
谷歌大脑发布概念激活向量，了解神经网络的新思维方式
谷歌大脑发布概念激活向量，了解神经网络的新思维方式
大数据文摘
2+阅读 · 2019年7月23日
《科技日报》整版报道：IEEE IV大会助力中国智能汽车飞驰
《科技日报》整版报道：IEEE IV大会助力中国智能汽车飞驰
德先生
0+阅读 · 2018年6月13日
上汽集团2017年财报亮点分析 | 厚势汽车
上汽集团2017年财报亮点分析 | 厚势汽车
厚势
0+阅读 · 2018年3月30日
科技日报：IEEE IV 大会助力中国智能汽车飞驰
科技日报：IEEE IV 大会助力中国智能汽车飞驰
算法与数学之美
0+阅读 · 2018年6月14日
CALGB 40502研究解读 | 激素受体阳性乳腺癌患者紫杉醇药物治疗的精细化甄选
CALGB 40502研究解读 | 激素受体阳性乳腺癌患者紫杉醇药物治疗的精细化甄选
肿瘤资讯
0+阅读 · 2018年7月9日
Cell：内皮细胞与脂肪细胞间的细胞外囊泡交流参与机体代谢平衡调节
Cell：内皮细胞与脂肪细胞间的细胞外囊泡交流参与机体代谢平衡调节
外泌体之家
3+阅读 · 2018年10月11日
英国首个独立的自动驾驶车载5G试验场落地
英国首个独立的自动驾驶车载5G试验场落地
智能交通技术
0+阅读 · 2018年12月15日
2030年，城市与生活展望
2030年，城市与生活展望
全球创新论坛
0+阅读 · 2018年4月27日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top