境外开放课程——按学科专业列表
开放课程→自然科学→数学::数学史 | 数理逻辑与数学基础 | 数论 | 代数学 | 代数几何学 | 几何学 | 拓扑学 | 数学分析 | 非标准分析 | 函数论 | 常微分方程 | 偏微分方程 | 动力系统 | 积分方程 | 泛函分析 | 计算数学 | 概率论 | 数理统计学 | 应用统计数学 | 运筹学 | 组合数学 | 离散数学 | 模糊数学 | 应用数学
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
![](functions/showpic.php?filename=2019092707553027.png)
Model Checking and the Curse of Dimensionality[模型检验与维数灾难]
Edmund M. Clarke(卡内基梅隆大学) 模型检查是一种用于大型状态转换系统的自动验证技术。它最初是为推理有限状态并发系统而开发的。该技术已成功用于调试复杂的计算机硬件和通信协议。现在,它也开...
热度:51
Edmund M. Clarke(卡内基梅隆大学) 模型检查是一种用于大型状态转换系统的自动验证技术。它最初是为推理有限状态并发系统而开发的。该技术已成功用于调试复杂的计算机硬件和通信协议。现在,它也开...
热度:51
![](functions/showpic.php?filename=2019101508020587.png)
Lecture 1: Introduction to Convex Optimization I [Lecture 1:凸优化简介I]
Stephen P. Boyd(斯坦福大学) 好的。欢迎使用364a,这是凸优化。不幸的是,我不得不道歉开始上课。如果您正在观看,我想您会说-如果您在上课的预定时间观看,您会发现我不在。那是因为我在印...
热度:80
Stephen P. Boyd(斯坦福大学) 好的。欢迎使用364a,这是凸优化。不幸的是,我不得不道歉开始上课。如果您正在观看,我想您会说-如果您在上课的预定时间观看,您会发现我不在。那是因为我在印...
热度:80
![](functions/showpic.php?filename=2019101507565170.png)
Lecture 1: Overview Of Linear Dynamical Systems[Lecture 1:线性动力系统概述]
Stephen P. Boyd(斯坦福大学) 我实际上只是从一些开始-我将介绍班级的一些技巧,然后我们将开始。今天的演讲将是一场有趣的演讲,因此它并不代表班级。因此,在结束时,您将不去思考,“嗯,...
热度:93
Stephen P. Boyd(斯坦福大学) 我实际上只是从一些开始-我将介绍班级的一些技巧,然后我们将开始。今天的演讲将是一场有趣的演讲,因此它并不代表班级。因此,在结束时,您将不去思考,“嗯,...
热度:93
![](functions/showpic.php?filename=2019101507494238.png)
Lecture 1: Previous Knowledge Recommended (Matlab)[Lecture 1:推荐的先前知识(Matlab)]
Brad G. Osgood(斯坦福大学) 我们在播音。好的。欢迎大家。正如它在您走进去时在电视上所说的那样,但只是确保每个人都知道,这是EE261,傅立叶变换及其应用,傅立叶变换等,傅立叶。我叫Bra...
热度:59
Brad G. Osgood(斯坦福大学) 我们在播音。好的。欢迎大家。正如它在您走进去时在电视上所说的那样,但只是确保每个人都知道,这是EE261,傅立叶变换及其应用,傅立叶变换等,傅立叶。我叫Bra...
热度:59
![](functions/showpic.php?filename=2019101507383630.png)
Lecture 1: Course Overview[Lecture 1:课程概述]
Oussama Khatib(斯坦福大学) 在介绍机器人技术时,我们将真正涵盖机器人技术的基础。也就是说,我们将研究以多种不同方式表示机器人系统的数学模型。实际上,您刚刚看到了我们正在同时控制的...
热度:50
Oussama Khatib(斯坦福大学) 在介绍机器人技术时,我们将真正涵盖机器人技术的基础。也就是说,我们将研究以多种不同方式表示机器人系统的数学模型。实际上,您刚刚看到了我们正在同时控制的...
热度:50
![](functions/showpic.php?filename=2019092608295484.png)
A Game-Theoretic Approach to Robust Inlier Selection[运用博弈论方法进行稳健的内部选择]
Andrea Torsello(威尼斯卡福斯卡里大学) 内在选择,即从一大堆点中提取一小套正确的基准对应关系,是Computer Vision中各种估计过程的基本步骤,从对象识别到表面/图像配准再到姿势估计,这些过程均如此...
热度:54
Andrea Torsello(威尼斯卡福斯卡里大学) 内在选择,即从一大堆点中提取一小套正确的基准对应关系,是Computer Vision中各种估计过程的基本步骤,从对象识别到表面/图像配准再到姿势估计,这些过程均如此...
热度:54
![](functions/showpic.php?filename=2019092309165448.png)
Game Theory & Clustering[博弈论与聚类]
Marcello Pelillo(加州大学) 该课程将概述有关成对数据聚类的最新工作,该研究已导致在无监督学习和(进化)博弈论之间建立有趣的联系。该框架围绕“支配集”的概念集中,这是一种新颖的图论...
热度:41
Marcello Pelillo(加州大学) 该课程将概述有关成对数据聚类的最新工作,该研究已导致在无监督学习和(进化)博弈论之间建立有趣的联系。该框架围绕“支配集”的概念集中,这是一种新颖的图论...
热度:41
![](functions/showpic.php?filename=2019092309333564.jpg)
Non-classical Logic[非经典逻辑]
Edwin Mares(惠灵顿维多利亚大学) 非古典逻辑用于表征古典逻辑难以解决的现象或代表推理的其他观点。例如,相关逻辑拒绝了经典逻辑的规则,该规则允许我们向已经有效的推理添加新前提,以产生另一...
热度:73
Edwin Mares(惠灵顿维多利亚大学) 非古典逻辑用于表征古典逻辑难以解决的现象或代表推理的其他观点。例如,相关逻辑拒绝了经典逻辑的规则,该规则允许我们向已经有效的推理添加新前提,以产生另一...
热度:73
![](functions/showpic.php?filename=2019092309361932.png)
Computer vision[计算机视觉]
Richard Hartley(澳大利亚国立大学) 伪布尔函数是从布尔(0 1)向量的空间B ^ n到实数的函数。它们自然发生在与分割有关的计算机视觉问题中,在该问题中,应将图像中的每个像素标记为0或1,以最大程...
热度:70
Richard Hartley(澳大利亚国立大学) 伪布尔函数是从布尔(0 1)向量的空间B ^ n到实数的函数。它们自然发生在与分割有关的计算机视觉问题中,在该问题中,应将图像中的每个像素标记为0或1,以最大程...
热度:70
![](functions/showpic.php?filename=2019092309381158.jpg)
Introduction to Modal Logic[模态逻辑导论]
Rajeev P. Goré(澳大利亚国立大学) 我们涵盖命题模态和时间逻辑的语法,Kripke语义,对应理论和表格样式证明理论。这些逻辑在人工智能,理论计算机科学和混合系统等各个领域都有重要的应用。
热度:50
Rajeev P. Goré(澳大利亚国立大学) 我们涵盖命题模态和时间逻辑的语法,Kripke语义,对应理论和表格样式证明理论。这些逻辑在人工智能,理论计算机科学和混合系统等各个领域都有重要的应用。
热度:50
![](functions/showpic.php?filename=2019092307430228.png)
Document Analysis[文件分析]
Wray Buntine(信息与通讯技术部) 我们将在文档分析中考虑各种问题(称为实体识别,自然语言解析,信息检索),并研究解决该问题的各种概率图形模型和算法。这将不会广泛涉及信息提取或自然语言处...
热度:46
Wray Buntine(信息与通讯技术部) 我们将在文档分析中考虑各种问题(称为实体识别,自然语言解析,信息检索),并研究解决该问题的各种概率图形模型和算法。这将不会广泛涉及信息提取或自然语言处...
热度:46
![](functions/showpic.php?filename=2019092204432125.png)
Probing Landscapes[探索性景观]
Adam Prügel-Bennett(南安普敦大学) 自达尔文为我们所看到的生物的复杂性提供第一个机械解释以来,已经有一个半世纪的时间了。仅在最近的30年左右,才使用计算系统来尝试对复杂的人为问题进行自然选...
热度:63
Adam Prügel-Bennett(南安普敦大学) 自达尔文为我们所看到的生物的复杂性提供第一个机械解释以来,已经有一个半世纪的时间了。仅在最近的30年左右,才使用计算系统来尝试对复杂的人为问题进行自然选...
热度:63
![](functions/showpic.php?filename=2019092204301429.png)
Analysis of Dynamics[动力学分析]
Adam Prügel-Bennett(南安普敦大学) 自达尔文为我们所看到的生物的复杂性提供第一个机械解释以来,已经有一个半世纪的时间了。仅在最近的30年左右,才使用计算系统来尝试对复杂的人为问题进行自然选...
热度:78
Adam Prügel-Bennett(南安普敦大学) 自达尔文为我们所看到的生物的复杂性提供第一个机械解释以来,已经有一个半世纪的时间了。仅在最近的30年左右,才使用计算系统来尝试对复杂的人为问题进行自然选...
热度:78
![](functions/showpic.php?filename=2019092204530615.png)
Learning predictive clustering rules[学习预测聚类规则]
Bernard Ženko(约瑟夫·斯特凡学院) 预测性聚类基于两个机器学习子领域的思想:预测性建模和聚类。预测聚类方法使我们能够构建用于预测多个目标变量的模型,这些模型通常比相应的模型集合(每个模型...
热度:49
Bernard Ženko(约瑟夫·斯特凡学院) 预测性聚类基于两个机器学习子领域的思想:预测性建模和聚类。预测聚类方法使我们能够构建用于预测多个目标变量的模型,这些模型通常比相应的模型集合(每个模型...
热度:49
![](functions/showpic.php?filename=2019092204214964.png)
Pipelined Vector Processing and Scientific Computation[流水线矢量处理与科学计算]
John G. Zabolitzky(蒙城计算机博物馆) 近二十年来(1976年至1993年),由Seymour Cray和他的Cray Research Incorporated开创的矢量处理技术一直占据着技术科学高性能计算的主导地位。详细说明了该技术...
热度:29
John G. Zabolitzky(蒙城计算机博物馆) 近二十年来(1976年至1993年),由Seymour Cray和他的Cray Research Incorporated开创的矢量处理技术一直占据着技术科学高性能计算的主导地位。详细说明了该技术...
热度:29