京东 11.11 红包
第七届国际区块链周-部分报告
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
区块链安全与应用技术的研究进展--张小松
...
第七届区块链全球峰会-2021年10月27日下午第一段
...
2021年12月CNCC2021 分片区块链中的编程模型初探
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
CNCC2021《区块链可靠性技术研究》
...
信息安全发展历程与趋势--冯登国
...
数字粮库
...
后E级计算：挑战和对策--钱德沛
...
DSA 2022特邀报告
...
大数据共享与保护、云服务智能故障预测诊断与优化
...
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel，下午Panel
...
自动驾驶与网络安全
...
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
...
处理器能用面向对象方法设计吗？--孙凝晖
...
ISSRE2021学术讨论
...
ROSMonitoring， runtime verification
...
碳达峰碳中和-人工智能发展的必由之路
...
2021年11月施巍松教授边缘计算背景应用和挑战讲座
...
形式化方法与系统软件：一个实践者的视角
...
区块链：零信任之上的共识（山东大学成秀珍教授）
...
基于软件度量的Solidity智能合约缺陷预测方法
...
轨道交通系统安全保障与智能化关键技术
...
2022年4月28日学术研究方法浅谈--北航马帅
...
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
...
一种基于GAN的跨项目软件缺陷预测方法
...
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
...
2021 CCF软件大会 优秀博士论坛
...
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
...
2021年11月怎么做好科研与写好论文
...
CCF YOCSEF 观点论坛：如何释放青年学者的内生动能——帽子、票子还是调子？
...
夯实AI基础，繁荣AI生态 昇腾赋能共助“一带一路”新发展
...
2021年江苏互联网+师生共创组2下午
...
ISSRE 2021学术讨论
...
中国计算机学会形式化方法专委战略研讨会： 基于形式化方法的计算系统设计与验证（下午场：人机物融合系统设计、综合与监控）
...
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
...
反例引导的C代码空间流模型检测方法
...
TaintPoint：使用活跃轨迹高效挖掘污点风格漏洞
...
2022年3月人工智能论坛机器之心AI科技年会（上午）
...
第四届世界顶尖科学家论坛，开放科学：构建开放创新生活
...
ISSRE 2021卓越企业论坛：TrustTest-Reliability and Resilience Verification in Huawei