图 书 馆境外开放课程——编辑志愿者
16
17
18
19
16Interactive derivation viewer[推导的观众互动]
Steven Trac(迈阿密大学) 这描述了IDV，这是一种用于以图形方式呈现派生的工具，这些派生是在定理证明数千问题（TPTP）语言中编写的。
热度：58
Steven Trac(迈阿密大学) 这描述了IDV，这是一种用于以图形方式呈现派生的工具，这些派生是在定理证明数千问题（TPTP）语言中编写的。
热度：58
17Intelligent Interaction with the Real World [与现实世界的智能交互]
Leslie Pack Kaelbling(麻省理工学院) 自人工智能领域开始以来，人工智能的一个愿景就是强大，智能，通用的机器人，它们与现实世界相互作用。我们在这方面取得了有益进展，但仍有很长的路要走。我将描...
热度：66
Leslie Pack Kaelbling(麻省理工学院) 自人工智能领域开始以来，人工智能的一个愿景就是强大，智能，通用的机器人，它们与现实世界相互作用。我们在这方面取得了有益进展，但仍有很长的路要走。我将描...
热度：66
182.004 Systems, Modeling, and Control II (MIT)[2.004系统，建模和控制II（麻省理工学院）]
Prof. Franz Hover;Prof. David Gossard;Prof. George Barbastathis(麻省理工学院) 成功完成本课程后，学生将能够：在电气和机械能领域中创建简单动态系统的集总参数模型（表示为ODE）从实验测量中对模型参数进行定量估计获得线性系统的时域响应...
热度：80
Prof. Franz Hover;Prof. David Gossard;Prof. George Barbastathis(麻省理工学院) 成功完成本课程后，学生将能够：在电气和机械能领域中创建简单动态系统的集总参数模型（表示为ODE）从实验测量中对模型参数进行定量估计获得线性系统的时域响应...
热度：80
196.061 Introduction to Electric Power Systems (MIT)[6.061引言电力系统（麻省理工学院）]
Kirtley; James(麻省理工学院) 本课程是电力系统和电气到机械能转换领域的入门课程。作为在工业，军事和运输用途中传输和转换能量的方式，电力已变得越来越重要。电力系统也是替代能源系统的核...
热度：93
Kirtley; James(麻省理工学院) 本课程是电力系统和电气到机械能转换领域的入门课程。作为在工业，军事和运输用途中传输和转换能量的方式，电力已变得越来越重要。电力系统也是替代能源系统的核...
热度：93