登陆
注册
1. 深度神经网络的形式化验证
2. 线性近似在神经网络验证中的应用
3. 线性近似精确度的度量标准
4. 算法层面的神经网络验证加速
已有246人学习
1. 为什么需要可验证的人工智能系统
2. 人工智能系统验证的核心科学问题
3. 可验证人工智能系统的可能实现途径
4. 人工智能系统的可信构造与验证方法
已有212人学习
1. 人工智能的安全风险和挑战
2. 人工智能模型的隐私风险
3. 人工智能用户的隐私保护
已有165人学习
1、5G技术特性
2、联通MEC关键能力
3、5G+智慧钢铁、港口、电力等
已有189人学习
1、全球5G竞争-技术研发投入层面
2、40亿万新基建
3、智能制造定义
4、工业互联网的概念和内涵等
已有166人学习
1、疫情催化下的新基建加速
2、概念的由来
3、中国需要什么样的新基建
4、如何看待新基建
5、发展现状与前景
6、有哪些机遇
7、如何把握
8、有哪些具体的政策
9、新基建实时动态
10、问与答
已有112人学习
1、开源的世界
2、竞争与创新
3、开源的良性循环：技术创新与商业连接
4、开源成功的主要因素：三大支撑
5、开源如何选择商业模式？
6、开源软件的繁荣背后的秘密
7、为什么只有开源，工业互联网才能成功
8、工业互联网怎样开源才能成功
9、开源工业互联网宣言
已有125人学习
1、工业互联网概述
2、京东方工业互联网
3、京东方工业互联网团队
已有138人学习
1、卡奥斯工业互联网平台
2、工业APP和工业互联网
3、卡奥斯工业APP探索和实践
已有145人学习
1、智能制造定义
2、半导体产业链
3、人工智能芯片等
已有126人学习
1、产业协同
2、工业企业
3、创新成果
4、应用和对接
5、数字化、新基建
6、5G和工业互联网
7、广东工信厅的产业集群
8、数字化的案例
9、问与答
已有146人学习
1. 什么是芯片？
2. 当前芯片的危机与挑战；
3. 国产芯片路在何方；
4. 网友交流和答疑。
已有304人学习
已完成
数据加载中