会员服务
推荐！【F16模型：符号系统、模型提取、异常检测和形式化方法】《利用符号表示实现安全可靠学习》美空军2022最新107页技术报告
推荐！【F16模型：符号系统、模型提取、异常检测和形式化方法】《利用符号表示实现安全可靠学习》美空军2022最新107页技术报告
专知
8+阅读 · 2022年11月3日
华为再发「天才少年」召集令！曾放弃360万年薪的他也来首秀
华为再发「天才少年」召集令！曾放弃360万年薪的他也来首秀
新智元
0+阅读 · 2022年7月26日
迈向可验证的 AI: 形式化方法的五大挑战
迈向可验证的 AI: 形式化方法的五大挑战
THU数据派
2+阅读 · 2022年7月20日
2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布
2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布
中国计算机学会
0+阅读 · 2022年4月19日
智能合约的形式化验证方法研究综述
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
【经典书】计算机科学中的逻辑学:对系统的建模和推理，443页pdf
【经典书】计算机科学中的逻辑学:对系统的建模和推理，443页pdf
专知
0+阅读 · 2021年4月14日
可信深度学习系统：智能系统可信保证之路 | YEF 专栏
可信深度学习系统：智能系统可信保证之路 | YEF 专栏
学术头条
7+阅读 · 2020年7月4日
龙星计划两位海外学者授课视频全程首度公开！速来充电！
龙星计划两位海外学者授课视频全程首度公开！速来充电！
中国计算机学会
0+阅读 · 2019年9月14日
鸿蒙OS仓库连登GitHub榜首，华为鸿蒙手机或将年底上市！
鸿蒙OS仓库连登GitHub榜首，华为鸿蒙手机或将年底上市！
新智元
0+阅读 · 2019年8月13日
鸿蒙OS仓库连登GitHub榜首，华为鸿蒙手机或将年底上市！
鸿蒙OS仓库连登GitHub榜首，华为鸿蒙手机或将年底上市！
新智元
1+阅读 · 2019年8月13日
鸿蒙面世，华为的野心有多大？
鸿蒙面世，华为的野心有多大？
三联生活周刊
0+阅读 · 2019年8月10日
华为鸿蒙微内核已经投入商用；PC 端将支持打开小程序；VS Code 1.37 发布 | 极客头条
华为鸿蒙微内核已经投入商用；PC 端将支持打开小程序；VS Code 1.37 发布 | 极客头条
CSDN
0+阅读 · 2019年8月10日
正式发布！鸿蒙，来了！
正式发布！鸿蒙，来了！
CSDN云计算
0+阅读 · 2019年8月10日
正式发布！鸿蒙，来了！
正式发布！鸿蒙，来了！
程序人生
0+阅读 · 2019年8月9日
华为正式发布鸿蒙OS，2020年将满足车规级标准
华为正式发布鸿蒙OS，2020年将满足车规级标准
厚势
0+阅读 · 2019年8月9日
参考链接
微信扫码咨询专知VIP会员
Top