会员服务

从穿孔卡到智慧计算-David Harel

2017 年 9 月 8 日 UMLChina

David Harel最近演讲：从穿孔卡到智慧计算。David Harel，UML状态机发明人，以色列魏茨曼科研所教授，美国工学院院士，以色列科学院院士。

问一个问题：《人月神话》二十周年纪念版在哪个部分提到了David Harel的文章？首先答对者获得奖金红包。


登录查看更多
0

相关内容

哈雷尔教授是以色列科学与人文学院的副院长，自1980年以来一直在魏茨曼科学研究所工作，过去担任数学和计算机科学学院的院长。他的研究领域包括逻辑和可计算性、软件和系统工程、生物系统建模、气味复制等等。他的著作包括《Algorithmics: The Spirit of Computing》和《Computers Ltd.: What They?Really? Can't Do》。所获奖项包括ACM杰出教育家奖、以色列奖、ACM软件系统奖和五个荣誉学位。他还是英国皇家学会(FRS)的会员，以及美国国家工程学院、美国艺术与科学学院和美国国家科学院的外国成员。
最新《生成式对抗网络》简介，25页ppt
最新《生成式对抗网络》简介，25页ppt
专知会员服务
173+阅读 · 2020年6月28日
【硬核课】最新《图卷积神经网络GCN》2020概述，76页ppt，NTU-Xavier Bresson，纽约大学深度学习课程
【硬核课】最新《图卷积神经网络GCN》2020概述，76页ppt，NTU-Xavier Bresson，纽约大学深度学习课程
专知会员服务
157+阅读 · 2020年5月1日
【微众银行】联邦学习白皮书_v2.0，48页pdf，
【微众银行】联邦学习白皮书_v2.0，48页pdf，
专知会员服务
165+阅读 · 2020年4月26日
【新书稿：《数学与计算：技术和科学的革命性理论》，340页pdf】《Mathematics and Computation - A Theory Revolutionizing Technology and Science》by Avi Wigderson (Princeton University Press 2019)
【新书稿：《数学与计算：技术和科学的革命性理论》，340页pdf】《Mathematics and Computation - A Theory Revolutionizing Technology and Science》by Avi Wigderson (Princeton University Press 2019)
专知会员服务
40+阅读 · 2020年2月13日
如何加速NVIDIA gpu上的训练、推理和ML应用？108页ppt，Accelerating training, inference, and ML applications on NVIDIA GPUs
如何加速NVIDIA gpu上的训练、推理和ML应用？108页ppt，Accelerating training, inference, and ML applications on NVIDIA GPUs
专知会员服务
60+阅读 · 2019年12月29日
【O'Reilly TensorFlow Conference 2019】TensorFlow社区公告（TensorFlow community announcements），Google TensorFlow产品总监Kemal El Moujahid
【O'Reilly TensorFlow Conference 2019】TensorFlow社区公告（TensorFlow community announcements），Google TensorFlow产品总监Kemal El Moujahid
专知会员服务
5+阅读 · 2019年11月14日
【CCL 2019】表示学习--自然语言处理中的图神经网络（Graph Neural Networks in NLP），西湖大学长聘副教授张岳
【CCL 2019】表示学习--自然语言处理中的图神经网络（Graph Neural Networks in NLP），西湖大学长聘副教授张岳
专知会员服务
63+阅读 · 2019年11月12日
【CCL 2019】特邀报告 数据高效性机器学习，郭毅可（英国皇家工程院院士、欧洲科学院院士）
【CCL 2019】特邀报告 数据高效性机器学习，郭毅可（英国皇家工程院院士、欧洲科学院院士）
专知会员服务
15+阅读 · 2019年11月11日
【纽约大学-AI研讨会】现代人工智能（Modern Artificial Intelligence）
【纽约大学-AI研讨会】现代人工智能（Modern Artificial Intelligence）
专知会员服务
24+阅读 · 2019年11月10日
图卷积神经网络及其应用，中国科学院计算技术研究所沈华伟研究员，第八届全国社会媒体处理大会SMP2019
图卷积神经网络及其应用，中国科学院计算技术研究所沈华伟研究员，第八届全国社会媒体处理大会SMP2019
专知会员服务
65+阅读 · 2019年10月21日
分布式智能计算系统前沿
分布式智能计算系统前沿
中国计算机学会
19+阅读 · 2019年10月8日
前沿 | 字节跳动李航：智能与计算
前沿 | 字节跳动李航：智能与计算
MOOC
6+阅读 · 2019年2月6日
三维感知与三维数据分析最新进展 - 3D传感&人工智能前沿科技论坛
三维感知与三维数据分析最新进展 - 3D传感&人工智能前沿科技论坛
AI科技评论
10+阅读 · 2019年2月2日
专栏 | 字节跳动李航：智能与计算
专栏 | 字节跳动李航：智能与计算
机器之心
5+阅读 · 2019年1月21日
IBM长文解读人工智能、机器学习和认知计算
IBM长文解读人工智能、机器学习和认知计算
人工智能学家
5+阅读 · 2018年8月26日
张钹院士：走向真正的人工智能（附报告全文）
张钹院士：走向真正的人工智能（附报告全文）
走向智能论坛
13+阅读 · 2018年7月1日
谭铁牛院士：人工智能的春天刚刚开始（附PPT）
谭铁牛院士：人工智能的春天刚刚开始（附PPT）
走向智能论坛
17+阅读 · 2018年5月29日
【回顾】PyTorch 简介
【回顾】PyTorch 简介
AI研习社
8+阅读 · 2017年10月29日
心理学与脑科学：进展、思考和展望
心理学与脑科学：进展、思考和展望
科技导报
9+阅读 · 2017年10月27日
暖心！数据分析还可以这样子玩！中科大利用程序“隐形资助”贫困生
暖心！数据分析还可以这样子玩！中科大利用程序“隐形资助”贫困生
大数据技术
3+阅读 · 2017年7月13日
Recurrent Event Network: Global Structure Inference over Temporal Knowledge Graph
Recurrent Event Network: Global Structure Inference over Temporal Knowledge Graph
Arxiv
7+阅读 · 2019年10月8日
Deep Short Text Classification with Knowledge Powered Attention
Arxiv
8+阅读 · 2019年2月21日
Pay Less Attention with Lightweight and Dynamic Convolutions
Pay Less Attention with Lightweight and Dynamic Convolutions
Arxiv
4+阅读 · 2019年1月29日
Towards Understanding Acceleration Tradeoff between Momentum and Asynchrony in Nonconvex Stochastic Optimization
Arxiv
3+阅读 · 2018年10月1日
Receptive Field Block Net for Accurate and Fast Object Detection
Receptive Field Block Net for Accurate and Fast Object Detection
Arxiv
3+阅读 · 2018年7月26日
Accelerated Randomized Coordinate Descent Algorithms for Stochastic Optimization and Online Learning
Arxiv
9+阅读 · 2018年7月16日
Dynamic and Static Topic Model for Analyzing Time-Series Document Collections
Arxiv
8+阅读 · 2018年5月6日
Multiagent Soft Q-Learning
Arxiv
11+阅读 · 2018年4月25日
Learning to Extract Coherent Summary via Deep Reinforcement Learning
Arxiv
6+阅读 · 2018年4月19日
Net2Net: Accelerating Learning via Knowledge Transfer
Arxiv
3+阅读 · 2016年4月23日
VIP会员
相关主题
David Harel
UML
相关VIP内容
最新《生成式对抗网络》简介，25页ppt
最新《生成式对抗网络》简介，25页ppt
专知会员服务
173+阅读 · 2020年6月28日
【硬核课】最新《图卷积神经网络GCN》2020概述，76页ppt，NTU-Xavier Bresson，纽约大学深度学习课程
【硬核课】最新《图卷积神经网络GCN》2020概述，76页ppt，NTU-Xavier Bresson，纽约大学深度学习课程
专知会员服务
157+阅读 · 2020年5月1日
【微众银行】联邦学习白皮书_v2.0，48页pdf，
【微众银行】联邦学习白皮书_v2.0，48页pdf，
专知会员服务
165+阅读 · 2020年4月26日
【新书稿：《数学与计算：技术和科学的革命性理论》，340页pdf】《Mathematics and Computation - A Theory Revolutionizing Technology and Science》by Avi Wigderson (Princeton University Press 2019)
【新书稿：《数学与计算：技术和科学的革命性理论》，340页pdf】《Mathematics and Computation - A Theory Revolutionizing Technology and Science》by Avi Wigderson (Princeton University Press 2019)
专知会员服务
40+阅读 · 2020年2月13日
如何加速NVIDIA gpu上的训练、推理和ML应用？108页ppt，Accelerating training, inference, and ML applications on NVIDIA GPUs
如何加速NVIDIA gpu上的训练、推理和ML应用？108页ppt，Accelerating training, inference, and ML applications on NVIDIA GPUs
专知会员服务
60+阅读 · 2019年12月29日
【O'Reilly TensorFlow Conference 2019】TensorFlow社区公告（TensorFlow community announcements），Google TensorFlow产品总监Kemal El Moujahid
【O'Reilly TensorFlow Conference 2019】TensorFlow社区公告（TensorFlow community announcements），Google TensorFlow产品总监Kemal El Moujahid
专知会员服务
5+阅读 · 2019年11月14日
【CCL 2019】表示学习--自然语言处理中的图神经网络（Graph Neural Networks in NLP），西湖大学长聘副教授张岳
【CCL 2019】表示学习--自然语言处理中的图神经网络（Graph Neural Networks in NLP），西湖大学长聘副教授张岳
专知会员服务
63+阅读 · 2019年11月12日
【CCL 2019】特邀报告 数据高效性机器学习，郭毅可（英国皇家工程院院士、欧洲科学院院士）
【CCL 2019】特邀报告 数据高效性机器学习，郭毅可（英国皇家工程院院士、欧洲科学院院士）
专知会员服务
15+阅读 · 2019年11月11日
【纽约大学-AI研讨会】现代人工智能（Modern Artificial Intelligence）
【纽约大学-AI研讨会】现代人工智能（Modern Artificial Intelligence）
专知会员服务
24+阅读 · 2019年11月10日
图卷积神经网络及其应用，中国科学院计算技术研究所沈华伟研究员，第八届全国社会媒体处理大会SMP2019
图卷积神经网络及其应用，中国科学院计算技术研究所沈华伟研究员，第八届全国社会媒体处理大会SMP2019
专知会员服务
65+阅读 · 2019年10月21日
热门VIP内容
相关资讯
分布式智能计算系统前沿
分布式智能计算系统前沿
中国计算机学会
19+阅读 · 2019年10月8日
前沿 | 字节跳动李航：智能与计算
前沿 | 字节跳动李航：智能与计算
MOOC
6+阅读 · 2019年2月6日
三维感知与三维数据分析最新进展 - 3D传感&人工智能前沿科技论坛
三维感知与三维数据分析最新进展 - 3D传感&人工智能前沿科技论坛
AI科技评论
10+阅读 · 2019年2月2日
专栏 | 字节跳动李航：智能与计算
专栏 | 字节跳动李航：智能与计算
机器之心
5+阅读 · 2019年1月21日
IBM长文解读人工智能、机器学习和认知计算
IBM长文解读人工智能、机器学习和认知计算
人工智能学家
5+阅读 · 2018年8月26日
张钹院士：走向真正的人工智能（附报告全文）
张钹院士：走向真正的人工智能（附报告全文）
走向智能论坛
13+阅读 · 2018年7月1日
谭铁牛院士：人工智能的春天刚刚开始（附PPT）
谭铁牛院士：人工智能的春天刚刚开始（附PPT）
走向智能论坛
17+阅读 · 2018年5月29日
【回顾】PyTorch 简介
【回顾】PyTorch 简介
AI研习社
8+阅读 · 2017年10月29日
心理学与脑科学：进展、思考和展望
心理学与脑科学：进展、思考和展望
科技导报
9+阅读 · 2017年10月27日
暖心！数据分析还可以这样子玩！中科大利用程序“隐形资助”贫困生
暖心！数据分析还可以这样子玩！中科大利用程序“隐形资助”贫困生
大数据技术
3+阅读 · 2017年7月13日
相关论文
Recurrent Event Network: Global Structure Inference over Temporal Knowledge Graph
Recurrent Event Network: Global Structure Inference over Temporal Knowledge Graph
Arxiv
7+阅读 · 2019年10月8日
Deep Short Text Classification with Knowledge Powered Attention
Arxiv
8+阅读 · 2019年2月21日
Pay Less Attention with Lightweight and Dynamic Convolutions
Pay Less Attention with Lightweight and Dynamic Convolutions
Arxiv
4+阅读 · 2019年1月29日
Towards Understanding Acceleration Tradeoff between Momentum and Asynchrony in Nonconvex Stochastic Optimization
Arxiv
3+阅读 · 2018年10月1日
Receptive Field Block Net for Accurate and Fast Object Detection
Receptive Field Block Net for Accurate and Fast Object Detection
Arxiv
3+阅读 · 2018年7月26日
Accelerated Randomized Coordinate Descent Algorithms for Stochastic Optimization and Online Learning
Arxiv
9+阅读 · 2018年7月16日
Dynamic and Static Topic Model for Analyzing Time-Series Document Collections
Arxiv
8+阅读 · 2018年5月6日
Multiagent Soft Q-Learning
Arxiv
11+阅读 · 2018年4月25日
Learning to Extract Coherent Summary via Deep Reinforcement Learning
Arxiv
6+阅读 · 2018年4月19日
Net2Net: Accelerating Learning via Knowledge Transfer
Arxiv
3+阅读 · 2016年4月23日
大家都在搜
  1. 洛克菲勒
  2. palantir
  3. 大型语言模型
  4. ETHZ博士论文
  5. 全面综述
  6. 笛卡尔
  7. MoE
  8. 汽车智能化
  9. 大模型
  10. 出海产品从 0 到 1 该怎么做
    11.
Top
微信扫码咨询专知VIP会员
Top