会员服务
华为再发「天才少年」召集令！曾放弃360万年薪的他也来首秀
华为再发「天才少年」召集令！曾放弃360万年薪的他也来首秀
新智元
0+阅读 · 2022年7月26日
2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布
2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布
中国计算机学会
0+阅读 · 2022年4月19日
推荐！【F16模型：符号系统、模型提取、异常检测和形式化方法】《利用符号表示实现安全可靠学习》美空军2022最新107页技术报告
推荐！【F16模型：符号系统、模型提取、异常检测和形式化方法】《利用符号表示实现安全可靠学习》美空军2022最新107页技术报告
专知
8+阅读 · 2022年11月3日
世间再无霍金，时间永留简史
世间再无霍金，时间永留简史
CSDN
1+阅读 · 2018年3月14日
华为正式发布鸿蒙OS，2020年将满足车规级标准
华为正式发布鸿蒙OS，2020年将满足车规级标准
厚势
0+阅读 · 2019年8月9日
华为正式发布自研操作系统鸿蒙HarmonyOS
华为正式发布自研操作系统鸿蒙HarmonyOS
黑智
0+阅读 · 2019年8月9日
华为正式发布自研操作系统鸿蒙HarmonyOS
华为正式发布自研操作系统鸿蒙HarmonyOS
i黑马
0+阅读 · 2019年8月9日
华为鸿蒙微内核已经投入商用；PC 端将支持打开小程序；VS Code 1.37 发布 | 极客头条
华为鸿蒙微内核已经投入商用；PC 端将支持打开小程序；VS Code 1.37 发布 | 极客头条
CSDN
0+阅读 · 2019年8月10日
智能合约的形式化验证方法研究综述
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
迈向可验证的 AI: 形式化方法的五大挑战
迈向可验证的 AI: 形式化方法的五大挑战
THU数据派
2+阅读 · 2022年7月20日
正式发布！鸿蒙，来了！
正式发布！鸿蒙，来了！
程序人生
0+阅读 · 2019年8月9日
华为鸿蒙开源！敢为全球第一全场景分布式 OS，可替换 Android！
华为鸿蒙开源！敢为全球第一全场景分布式 OS，可替换 Android！
CSDN
0+阅读 · 2019年8月9日
可信深度学习系统：智能系统可信保证之路 | YEF 专栏
可信深度学习系统：智能系统可信保证之路 | YEF 专栏
学术头条
7+阅读 · 2020年7月4日
IT人的担当：减少大数据和人工智能的可怕威胁
IT人的担当：减少大数据和人工智能的可怕威胁
AI前线
0+阅读 · 2017年10月12日
【学会新闻】2018新一代人工智能高峰论坛之分论坛精彩内容
【学会新闻】2018新一代人工智能高峰论坛之分论坛精彩内容
中国自动化学会
0+阅读 · 2018年8月28日
参考链接
微信扫码咨询专知VIP会员
Top