Engineering斯坦福大学：工程-Stanford Seminar - Propositions as Types斯坦福斯坦福研讨会 -命题类型-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

Stanford Seminar - Propositions as Types斯坦福斯坦福研讨会 -命题类型

1933 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(239)

自动播放

[1] Course Overview:...

2.1万播放

02:30

Course Overview: Hybrid & Electric Vehicles | Stanford Online课程概述：混合和电动车|斯坦福德在线

[2] Decarbonizing the...

5932播放

00:00

Decarbonizing the Grid: Technology and Policy (webcast)脱碳网格：技术和政策（网络广播）

[3] Grid Modernizatio...

2779播放

00:00

Grid Modernization and the Integration of Distributed Resources (webcast)网格现代化与分布式资源的集成（网络广播）

[4] Completing projec...

1954播放

00:00

Completing projects faster and smarter with Virtual Design and Construction通过虚拟设计和施工更快、更智能地完成项目

[6] Project Risk Anal...

2094播放

00:00

Project Risk Analysis Live Information Session项目风险分析现场信息会议

[7] Chemical Engineer...

1509播放

00:00

Chemical Engineering Online Masters Degree Program Webinar化学工程在线硕士学位课程网络研讨会

[8] Webinar: From Sma...

1439播放

00:00

Webinar: From Smart Sensors to Smart Networks网络研讨会：从智能传感器到智能网络

[9] Webinar: Visual C...

1791播放

00:00

Webinar: Visual Computing-Tracking the Top Trends and Opportunities网络研讨会：视觉计算 - 跟踪顶级趋势和机会

[10] Stanford Engineer...

1930播放

00:00

Stanford Engineering Hero Lecture: Kenneth Arrow (In Memoriam)斯坦福工程英雄讲座：Kenneth Arrow（纪念）

[11] Stanford Seminar ...

3403播放

1:19:09

Stanford Seminar - Shannon-Inspired Statistical Computing斯坦福研讨会 - Shannon-Inspired统计计算

[12] Stanford Seminar ...

2073播放

1:16:55

Stanford Seminar - Abstractions for Multi-Material 3D PrintingStanford研讨会 - 多材料3D打印

[13] Stanford Seminar ...

1562播放

1:04:53

Stanford Seminar - I ♥ Logs: Apache Kafka, Stream Processing, and Real-time DataStanford研讨会 - I日志：Apache Kafka，流处理和实时数据

[14] Stanford Seminar ...

849播放

00:00

Stanford Seminar - History of Robots from Ancient Egypt to Current Times斯坦福斯坦福研讨会 - 从古埃及到当前时代的机器人史

[15] Stanford Seminar ...

1505播放

00:00

Stanford Seminar - Big Date: A Data Driven Society?斯坦福研讨会 - 大日期：数据驱动的社会？

[16] Stanford Seminar ...

1668播放

1:13:08

Stanford Seminar - Low-Cost 3D Chip Stacking with ThruChip Wireless ConnectionsStanford研讨会 - 低成本3D芯片堆叠与ThruChip无线连接

[17] Stanford Seminar ...

1910播放

1:19:39

Stanford Seminar - Instruction Sets Should Be Free: The Case for RISC-V斯坦福研讨会 - 指令集应该是自由的:RISC-V的情况

[18] Stanford Seminar ...

872播放

00:00

Stanford Seminar - TSAR (the TimeSeries AggregatoR) Anirudh Todi of Twitter斯坦福研讨会 - TSAR（TimeSeries aggregator）Twitte...

[19] Stanford Seminar ...

784播放

00:00

Stanford Seminar - Insights with New Data: Using Google Search DataStanford研讨会 - 具有新数据的见解：使用Google搜索数据

[20] Stanford Seminar ...

1413播放

1:12:33

Stanford Seminar - Faults, Scaling, and Erlang ConcurrencyStanford研讨会 - 故障、伸缩性和Erlang并发性

[21] Stanford Seminar ...

1798播放

1:19:54

Stanford Seminar - Old Dog New Tricks: Technology, Entertainment and Working in Asia斯坦福研讨会 - 将计就计：技术，娱乐和亚洲的工作

[22] Stanford Seminar ...

1086播放

00:00

Stanford Seminar - Applying Mainstream Design Approaches to Spacecraft CommunicationsStanford研讨会 - 将主流设计方法应用于航天器通信

[23] Stanford Seminar ...

1048播放

00:00

Stanford Seminar - Minimal Models of Human Nature Interaction斯坦福斯坦福研讨会 - 人性互动的最小模型

[24] Stanford Seminar ...

1120播放

00:00

Stanford Seminar - The Relationship between Wrap Contracts and Technological Innovation斯坦福州研讨会 - 包装合同与技术创新之间的关系

[25] Stanford Seminar ...

816播放

00:00

Stanford Seminar - Big Data, Yesterday, Today and Tomorrow斯坦福斯坦福研讨会 - 大数据，昨天，今天和明天

[26] Stanford Seminar ...

899播放

00:00

Stanford Seminar - [Cell: Personalized Cell Technology: Ubiguitous Wireless BroadbandStanford研讨会 - [Cell：个性化细胞技术：Ubig...

[27] Stanford Seminar ...

1482播放

00:00

Stanford Seminar - The Origin of Life and the Search for a Second Genesis of Life on Other Worlds斯坦福研讨会 - 生命的起源和在其他世界寻...

[28] Stanford Seminar ...

1252播放

00:00

Stanford Seminar - Insights in the Nature of Time in Physics, and Implications for Computer Science斯坦福研讨会 - 物理学中时间的性质，...

[29] Stanford Seminar ...

1016播放

1:18:15

Stanford Seminar - Augmented Reality at America's CupStanford研讨会 - 增强现实在美国的应用

[30] Stanford Seminar ...

1437播放

1:41:40

Stanford Seminar - Stephan Wolfram of Wolfram Research斯坦福研讨会 - Stephan Wolfram的研究

[31] Stanford Seminar ...

1106播放

00:00

Stanford Seminar - Inventing a New Internet: Learning from Icarus斯坦福研讨会 - 发明新互联网：从伊卡鲁斯学习

[32] Stanford Seminar ...

1270播放

00:00

Stanford Seminar - Value Intellectual Capital斯坦福研讨会 - 价值智力资本

[33] Stanford Seminar ...

960播放

1:13:39

Stanford Seminar - Instruction execution on the Mill CPUStanford研讨会 - 在Mill CPU上执行指令

[34] Stanford Seminar ...

957播放

00:00

Stanford Seminar - "Embrace Failure for Success and Profit" Jonathan Siegel, Rackspace斯坦福研讨会 - “拥抱成功和利润失败”Jonathan Sie...

[35] Stanford Seminar ...

1251播放

00:00

Stanford Seminar - Building a Trustworthy Business in the Post-Snowden Era斯坦福研讨会 - 在斯诺登时代建立一个值得信赖的业务

[36] Stanford Seminar ...

542播放

00:00

Stanford Seminar - On the Origin of Experience: The Shaping of Sense and the Complex World斯坦福斯坦福研讨会 - 关于经验起源：感觉塑造和复杂的世界

[37] Stanford Seminar ...

726播放

00:00

Stanford Seminar - Topological Data Analysis: How Ayasdi used TDA to Solve Complex Problems斯坦福研讨会 - 拓扑数据分析：Ayasdi如何使用T...

[38] Stanford Seminar ...

1108播放

1:30:57

Stanford Seminar - Mostly Missless Memory in the Mill CPUStanford研讨会 - Mill CPU中大部分是Missless Memory

[39] Stanford Seminar ...

1488播放

00:00

Stanford Seminar - Who Owns the Future斯坦福研讨会 - 拥有未来

[40] Stanford Seminar ...

1171播放

00:00

Stanford Seminar - Wireless Power Transfer and RF Energy HarvestingStanford研讨会 - 无线电力传输和RF能量收获

[41] Stanford Seminar ...

1515播放

1:30:32

Stanford Seminar - Building Computers from Bacteriophage斯坦福研讨会 - 用噬菌体构建计算机

[42] Stanford Seminar ...

1177播放

1:11:07

Stanford Seminar - Software-Defined Networking at the CrossroadsStanford研讨会 - 软件定义网络

[43] Stanford Seminar ...

1385播放

1:16:58

Stanford Seminar -Drinking from the Firehose: How the Mill CPU Decodes 30+ Instructions per CycleStanford研讨会 - Mill CP...

[44] Stanford Seminar ...

660播放

00:00

Stanford Seminar - BitTorrent Live: A Low Latency Live P2P Video Streaming ProtocolStanford研讨会 - BitTorrent Live：低延迟直...

[45] Stanford Seminar ...

1045播放

00:00

Stanford Seminar - Exploring Alternative Global Futures斯坦福研讨会 - 探索替代全球期货

[46] Stanford Seminar ...

912播放

00:00

Stanford Seminar - Fixing Media's Business ModelStanford研讨会 - 修复媒体的商业模式

[47] Stanford Seminar ...

1583播放

00:00

Stanford Seminar - Predicting and Preventing Asteroid Impacts斯坦福研讨会 - 预测和防止小行星影响

[48] Stanford Seminar ...

659播放

00:00

Stanford Seminar - Microsoft Research and the Evolution of Computing斯坦福研讨会 - 微软研究和计算的演变

[49] Stanford Seminar ...

677播放

00:00

Stanford Seminar - Javascript anticensorship proxies斯坦福研讨会 - JavaScript次要审计代理

[50] Stanford Seminar ...

828播放

00:00

Stanford Seminar - Makers, Hackers and the Personal Computer Revolution斯坦福研讨会 - 制造商，黑客和个人电脑革命

[51] Stanford Seminar ...

982播放

00:00

Stanford Seminar - Considerate Audio MEdiating Oracle (CAMEO)Stanford研讨会 - 体贴调解Oracle（Caveo）

[52] Stanford Seminar ...

1272播放

1:28:33

Stanford Seminar - Multiscale Dataflow ComputingStanford研讨会 - 多尺度数据流计算

[53] Stanford Seminar ...

765播放

1:18:51

Stanford Seminar - Microsoft's Harry Shum on the Bing Dialog ModelStanford研讨会 - Harry Shum的Bing对话模式

[54] Stanford Seminar ...

657播放

00:00

Stanford Seminar - "Haptic Systems: Hardware and Software" Ken Salisbury斯坦福研讨会 - “触觉系统：硬件和软件”肯·索尔兹伯里

[55] Stanford Seminar ...

1525播放

00:00

Stanford Seminar - Google's Peter Norvig on Online Education斯坦福研讨会 - Google 的 Peter Norvig 关于在线教育

[56] Stanford Seminar ...

1456播放

00:00

Stanford Seminar - EteRNE: RNA Nanoengineering through Crowd ScienceStanford研讨会 - Eterne：通过人群科学的RNA纳米工程

[57] Stanford Seminar ...

895播放

00:00

Stanford Seminar - Cloud Computing's Impact on Network Design斯坦福研讨会 - 云计算对网络设计的影响

[58] Stanford Seminar ...

1148播放

00:00

Stanford Seminar - Google's Steve Yegge on GROK斯坦福研讨会 - 谷歌的史蒂夫·伊斯蒂夫

[59] Stanford Seminar ...

788播放

00:00

Stanford Seminar - High Performance Computing in the Oil IndustryStanford研讨会 - 石油工业高性能计算

[60] Let's Make Biolog...

684播放

1:29:24

Let's Make Biology Easier to Engineer让生物学更容易设计

[61] Turing: Pioneer o...

1156播放

00:00

Turing: Pioneer of the Information Age图灵：信息时代的先驱

[62] 4th Generation Pe...

1100播放

00:00

4th Generation Peer-to-Peer Technology第四代对等技术

[63] Bayes, Medical Di...

1281播放

00:00

Bayes, Medical Diagnostics, and Nomograms贝父，医疗诊断和载体图表

[64] The Future of Ven...

1305播放

00:00

The Future of Venture Capital and High-Tech Entrepreneurship风险投资和高科技企业家的未来

[65] Computational Ins...

644播放

00:00

Computational Insights and the Theory of Evolution计算洞察与演化论

[66] Model Checking Ce...

920播放

00:00

Model Checking Cell Biology模型检查细胞生物学

[67] Science, Mathemat...

1384播放

1:34:35

Science, Mathematica, and the Making of Wolfram|Alpha科学，数学，和Wolfram|Alpha

[68] How We've Scaled ...

933播放

00:00

How We've Scaled Dropbox我们如何缩放Dropbox

[69] Innovation in Ope...

1281播放

00:00

Innovation in Open Networks and the MIT Media Lab开放网络和麻省理工学院媒体实验室的创新

[70] SOPA & PIPA: How ...

1210播放

1:23:56

SOPA & PIPA: How the Internet Fought BackSOPA和PIPA：互联网如何反击

[71] Parallel Computin...

1271播放

00:00

Parallel Computing: Its Opportunities and Challenges并行计算：其机会和挑战

[72] The Future of Sof...

636播放

00:00

The Future of Software Patents软件专利的未来

[73] The Power of Abst...

1168播放

00:00

The Power of Abstraction抽象的力量

[74] Carbon Nanotube I...

1865播放

1:06:59

Carbon Nanotube Imperfection-Immune Digital VLSI碳纳米管缺陷免疫VLSI

[75] Modifying traditi...

1342播放

1:11:24

Modifying traditional B Trees for optimal performance on arbitrary storage media修改传统B Trees 以优化任意的存储介质的性能

[76] Technology in Ban...

1493播放

00:00

Technology in Banking: Facing the Challenges of Scale and Complexity银行技术：面对规模和复杂性的挑战

[77] Reactive Function...

1144播放

1:25:40

Reactive Functional Programming From Models to Classrooms函数响应式编程：从模型到教室

[78] Why the Google Bo...

997播放

00:00

Why the Google Book Settlement Failed and What's Next?为什么谷歌书籍结算失败，下一步是什么？

[79] Future-proofing S...

1327播放

00:00

Future-proofing Scala collections: From mutable to persistent to parallel面向未来的 Scala 集合：从可变到持久再到并行

[80] Cosmos, Condos, a...

1346播放

1:35:08

Cosmos, Condos, and Clouds宇宙，公寓和云计算

[81] Finding the Missi...

974播放

1:45:02

Finding the Missing Memristor寻找丢失的忆阻器

[82] Cyber Security of...

1268播放

00:00

Cyber Security of Industrial Control Systems工业控制系统的网络安全

[83] Assessment of Cli...

1296播放

00:00

Assessment of Climate Change: Complexity and Uncertainty评估气候变化：复杂性和不确定性

[84] A Quick Tour of D...

788播放

00:00

A Quick Tour of DartDart 快速浏览

[85] Information Techn...

1625播放

1:11:59

Information Technology for a Smaller Planet小星球的信息技术

[86] Introducing Apach...

1340播放

00:00

Introducing Apache Hadoop: The Modern Data Operating System介绍Apache Hadoop：现代数据操作系统

[87] Pearson to Person...

1623播放

1:08:19

Pearson to Person: Social Networking in the Enterprise企业中的社交网络

[88] How to Program th...

997播放

1:13:02

How to Program the Many Cores For Inconsistency Robustness如何编写多核的不一致性健壮性

[89] Recent Advances i...

1374播放

00:00

Recent Advances in the Use of DNA as a Building Material使用DNA作为建筑材料的最新进展

[90] Python in Python:...

2005播放

00:00

Python in Python: The PyPy SystemPython在Python中：PYPY系统

[91] Parsing with Deri...

742播放

00:00

Parsing with Derivatives与衍生品进行解析

[92] Using Technology ...

1447播放

1:24:31

Using Technology to Rethink How We Teach and Learn利用科技重新思考我们的教学和学习方式

[93] The Process of In...

1683播放

00:00

The Process of Innovation创新过程

[94] Design of Video C...

676播放

00:00

Design of Video Collaboration视频协作设计

[95] Perspectives on S...

921播放

00:00

Perspectives on Social Phenomena in Online Networks关于在线网络中社会现象的透视

[96] Building Software...

1465播放

00:00

Building Software Systems At Google and Lessons Learned在谷歌和经验教训中构建软件系统

[97] Interactive Evolu...

763播放

00:00

Interactive Evolution of Camouflage伪装的互动演变

[98] Loopage

837播放

1:23:52

Loopage

[99] Elements of Progr...

767播放

00:00

Elements of Programming编程要素

[100] Perspectives on V...

822播放

00:00

Perspectives on Venture Capital Industry风险投资行业的观点

[101] The $99 Laptop Re...

824播放

00:00

The $99 Laptop Revolution99 美元的笔记本电脑革命

[102] Snowmelt Runoff, ...

949播放

1:15:10

Snowmelt Runoff, Fourth Paradigm, & the End of Stationarity融雪径流，第四范式，平稳的终结

[103] Enabling Paper-Li...

1348播放

1:20:36

Enabling Paper-Like Displays: Roll-to-Roll Manufacturing滚动式制造

[104] Smart Endpoints v...

2109播放

1:05:45

Smart Endpoints vs. Smart Networks智能端点与智能网络

[105] BigDog, the Rough...

1581播放

00:00

BigDog, the Rough-Terrain RobotBigDog，崎岖地形机器人

[106] Another Go at Lan...

657播放

00:00

Another Go at Language Design另一个去语言设计

[107] HipHop Compiler f...

828播放

00:00

HipHop Compiler for PHP? Transforming PHP into C++HIPHOP编译器为PHP？将PHP转化为C ++

[108] Biologically Insp...

830播放

00:00

Biologically Inspired Machine Learning生物启发机器学习

[109] Learning in Human...

1037播放

00:00

Learning in Humans and Robots学习人类和机器人

[110] App stores and so...

1212播放

00:00

App stores and software ecosystems应用商店和软件生态系统

[111] Can Hi-Tech Hitch...

1564播放

00:00

Can Hi-Tech Hitchhiking Work?Hi-Tech Hitchhiking工作吗？

[112] The Rise and Fall...

838播放

00:00

The Rise and Fall of a Companion Robot: Lessons Learned from Pleo伴侣机器人的崛起和堕落：从Pleo吸取的经验教训

[113] The Spiral Cache:...

1242播放

00:00

The Spiral Cache: A self-organizing memory architecture螺旋缓存：一种自组织内存架构

[114] Internet Lessons ...

676播放

00:00

Internet Lessons for Solving Energy用于解决能量的互联网课程

[115] Elements of a wir...

890播放

00:00

Elements of a wireless sensor architecture无线传感器架构的元素

[116] The Gazelle Brows...

1521播放

00:00

The Gazelle Browser瞪羚浏览器

[117] Accelerating comp...

1325播放

00:00

Accelerating computation with FPGAs with a seismic data processing example通过使用地震数据处理示例加速与FPGA的计算

[118] Systems Architect...

1109播放

00:00

Systems Architecture, Kabuki Capitalism, and the Economic Manhattan Project系统架构、歌舞伎资本主义和经济曼哈顿计划

[119] Automated Design ...

796播放

00:00

Automated Design Using Darwinian Evolution and Genetic Programming自动设计使用达尔文进化和遗传编程

[120] Semiconductor Val...

1359播放

1:17:35

Semiconductor Value in the Post-Fabless EraPost-Fabless时代中半导体的价值

[121] Farewell Informat...

612播放

00:00

Farewell Information, Welcome Media告别信息，欢迎媒体

[122] Algorithmic Game ...

1559播放

00:00

Algorithmic Game Theory: Two Vignettes算法博弈论：两只小插曲

[123] Executable Gramma...

864播放

00:00

Executable Grammars: Seeking the minimal extensible self-compiling compiler可执行语法：寻求最小的可扩展自编译编译器

[124] Voting Machines &...

1413播放

00:00

Voting Machines & Audits: It Ain't how your Grandparents Voted投票机和审计：这不是你祖父母的投票方式

[125] Pario: the Next S...

599播放

00:00

Pario: the Next Step Beyond Audio and VideoPario：超越音频和视频的下一步

[126] PortLand: Scaling...

762播放

00:00

PortLand: Scaling Data Center Networks to 100,000 Ports and Beyond波特兰：将数据中心网络缩放到100,000个端口及以后

[127] Rethinking Time i...

1334播放

1:23:34

Rethinking Time in Distributed Systems重新思考分布式系统中的时间

[128] Starting a Produc...

552播放

00:00

Starting a Productivity Revolution in Parallel Computation开启并行计算的生产力革命

[129] Wave Glider: An A...

902播放

00:00

Wave Glider: An Autonomous Wave-Powered Sensor PlatformWAVE GLIDER：一个自主波动传感器平台

[130] DRAM Errors in th...

1116播放

00:00

DRAM Errors in the Wild: A Large-Scale Field Study野外的DRAM错误：大规模的田间研究

[131] Construction of D...

784播放

1:14:06

Construction of De Novo Biological Process Control Circuits生物过程控制电路

[132] Self and Self: Wh...

750播放

00:00

Self and Self: Whys and Wherefores自我与自我：为什么和为什么

[133] Future Computer M...

764播放

00:00

Future Computer Memory未来的计算机内存

[134] Scalable Privacy-...

1478播放

00:00

Scalable Privacy-Friendly Client Cloud Computing可扩展的隐私友好的客户云计算

[135] Google App Engine...

1483播放

00:00

Google App Engine谷歌应用引擎

[136] Towards a Global ...

683播放

00:00

Towards a Global Scale Public Computer迈向全球规模的公共电脑

[137] Issues in Mainstr...

1245播放

00:00

Issues in Mainstream Clusters主流集群中的问题

[138] Excubate: A New M...

803播放

00:00

Excubate: A New Model of New Technology Business Development辅助：新技术业务发展的新模式

[139] How to Invent the...

674播放

00:00

How to Invent the Future by Playing Online Games: SuperStruct如何通过玩在线游戏创造未来：SuperStruct

[140] Stanford Seminar ...

1240播放

1:02:35

Stanford Seminar - Big Data is (at least) Four Different Problems斯坦福研讨会 - 大数据：四个不同的问题

[141] Stanford Seminar ...

1534播放

1:17:04

Stanford Seminar - Computation with Motile Biological AgentsStanford研讨会 - 计算与有活力的生物剂

[142] Stanford Seminar ...

1621播放

1:05:04

Stanford Seminar - The Privacy Properties of Telephone MetadataStanford研讨会 - 电话元数据的隐私属性

[143] Stanford Seminar ...

1933播放

待播放

Stanford Seminar - Propositions as Types斯坦福斯坦福研讨会 -命题类型

[144] Stanford Seminar ...

868播放

1:16:29

Stanford Seminar - Cryptology and Security: the view from 2016Stanford研讨会 - 密码学与安全:2016年的观点

[145] Stanford Seminar ...

859播放

1:25:12

Stanford Seminar - Can the brain do back-propagation?斯坦福研讨会 - 大脑能做反向传播吗?

[146] Stanford Seminar ...

922播放

00:00

Stanford Seminar - Sista: Speculative Inlining, Smalltalk-StyeStanford研讨会 - Sista：投机内联，SmallTalk-Stye

[147] Stanford Seminar ...

1197播放

1:15:53

Stanford Seminar - Micro but Mighty: Microbots in an Macro World斯坦福研讨会 - 微型但强大:微型机器人在宏观世界

[148] Stanford Seminar-...

1061播放

1:07:36

Stanford Seminar-Solid State LiDar for Autonomous Vehicles,Security, Industrial Automation, 3D MapsStanford研讨会 - 用于自动驾...

[149] Stanford Seminar ...

1127播放

1:04:19

Stanford Seminar - How to Make Better ForecastsStanford研讨会 - 如何更好地预测

[150] Stanford Seminar ...

955播放

1:25:57

Stanford Seminar - Making Programming Accessible to Everyone with Wolfram LanguageStanford研讨会 - 让每个人都能用Wolfram语言编程

[151] Stanford Seminar ...

734播放

1:29:40

Stanford Seminar - The Quest for Low Storage Latency Changes Everything斯坦福研讨会 - 对低存储延迟的追求改变了一切

[152] Stanford Seminar ...

879播放

00:00

Stanford Seminar - Flash Reliability in Production: The Expected and the Unexpected斯坦福研讨会 - 生产中的闪存可靠性：预期和意外

[153] Stanford Seminar ...

732播放

00:00

Stanford Seminar - QED and Symbolic QED: Dramatic Improvements in SoC Validation and DebugStanford研讨会 - 象征性：SoC验证和调试的戏剧性改进

[154] Stanford Seminar ...

853播放

1:18:03

Stanford Seminar - Quantum Computing as a Service斯坦福研讨会 - 量子计算服务

[155] Stanford Seminar ...

1535播放

1:02:58

Stanford Seminar - How to Compute with Schrödinger's Cat: An Introduction to Quantum ComputingStanford研讨会 - 量子计算导论

[156] Stanford Seminar ...

1241播放

1:17:03

Stanford Seminar - Recent Advances in Deep Learning斯坦福研讨会 - 深度学习的最新进展

[157] Stanford Seminar ...

1387播放

55:30

Stanford Seminar - Harvesting the World's Heat斯坦福研讨会 - 收集世界的热量

[158] Stanford Seminar ...

925播放

00:00

Stanford Seminar - Where is Wearable Technology Going?斯坦福研讨会 - 可穿戴技术在哪里？

[159] Stanford Seminar ...

951播放

1:00:01

Stanford Seminar - Song Han of Stanford University斯坦福研讨会 - 斯坦福大学的Song Han

[160] Stanford Seminar ...

1285播放

1:09:59

Stanford Seminar - Backwards towards the Future斯坦福研讨会 - 回溯未来

[161] Stanford Seminar ...

1238播放

00:00

Stanford Seminar - The TLS 1.3 ProtocolStanford研讨会 - TLS 1.3协议

[162] Stanford Seminar ...

1362播放

59:14

Stanford Seminar - Locking the Web Open - A Call for a New, Distributed Web斯坦福研讨会 - 新型分布式网络

[163] Stanford Seminar ...

1098播放

1:05:10

Stanford Seminar - $9 Computer Architecture: The Chip that Makes C.H.I.P., C.H.I.P.Stanford研讨会 - $ 9电脑架构：制造C.H.I.P的芯片

[164] Stanford Seminar ...

1437播放

00:00

Stanford Seminar - The Search Engine Manipulation Effect (SEME) and Its Unparalleled Power斯坦福研讨会 - 搜索引擎操纵效果（SEME）及其无与伦比的电力

[165] Stanford Seminar ...

1238播放

00:00

Stanford Seminar - IPFS and the Permanent Web斯坦福研讨会 - IPFS 和永久网络

[166] Stanford Seminar ...

775播放

1:08:44

Stanford Seminar - Wafer-Scale Thermionic Energy Converters?斯坦福研讨会 - 晶圆级热离子能量转换器

[167] Stanford Seminar ...

1371播放

51:15

Stanford Seminar - Citadel of One: Individuality and the rise of the machines斯坦福研讨会 - 个体和机器的兴起

[168] Stanford Seminar ...

1329播放

00:00

Stanford Seminar - What Could Possibly Go Wrong?斯坦福研讨会 - 什么可能出错？

[169] Stanford Seminar ...

565播放

00:00

Stanford Seminar - Rethinking Memory System Design for Data-Intensive Computing斯坦福研讨会 - 重新思考数据密集型计算的内存系统设计

[170] Stanford Seminar ...

626播放

00:00

Stanford Seminar - The Future of Trustworthy Computer Systems斯坦福研讨会 - 值得信赖的计算机系统的未来

[171] Stanford Seminar ...

1144播放

00:00

Stanford Seminar - Security and the Software Defined NetworkStanford研讨会 - 安全和软件定义网络

[172] Stanford Seminar ...

1045播放

1:11:37

Stanford Seminar - Inventing the Inventor: Transforming a Generation of Minecraft Players斯坦福研讨会 - 我的世界玩家

[173] Stanford Seminar ...

1187播放

00:00

Stanford Seminar - How Not to Generate Random Numbers斯坦福研讨会 - 如何不生成随机数

[174] Stanford Seminar ...

810播放

1:19:30

Stanford Seminar - Storage Industry Current and Future Trends斯坦福研讨会 - 存储行业当前和未来趋势

[175] Stanford Seminar ...

1498播放

00:00

Stanford Seminar - Knowledge Vault and Knowlege-Based Trust斯坦福研讨会 - 知识库和知识信任

[176] Stanford Seminar ...

1426播放

00:00

Stanford Seminar -"Online Arms Race" Mikko Hypponen of F-Secure斯坦福研讨会 - “在线军术赛”Mikko Hypponen的F-Secure

[177] Stanford Seminar ...

998播放

00:00

Stanford Seminar - Intel Software Guard ExtensionsStanford研讨会 - 英特尔软件保护延伸

[178] Stanford Seminar ...

990播放

00:00

Stanford Seminar - Programing Should Be More Than Coding斯坦福斯坦福研讨会 - 编程应该超过编码

[179] Stanford Seminar ...

937播放

00:00

Stanford Seminar - "Deep Learning for Dummies" Carey Nachenberg of Symantec and UCLA CS斯坦福研讨会 - “Deep Learning for Dum...

[180] Stanford Seminar ...

1673播放

1:05:14

Stanford Seminar - The Rust Programming Language斯坦福研讨会 -Rust编程语言

[181] Stanford Seminar ...

1298播放

00:00

Stanford Seminar - Dynamic Code Optimization and the NVIDIA Denver ProcessorStanford研讨会 - 动态代码优化和NVIDIA Denver处理器

[182] Stanford Seminar ...

1024播放

1:13:30

Stanford Seminar - Oracle v. Google: Are Java APIs Copyrightable?斯坦福研讨会 - Java api是否具有版权?

[183] Stanford Seminar ...

965播放

1:14:47

Stanford Seminar - PCG: A Family of Better Random Number Generators斯坦福研讨会 - PCG：更好的随机数生成器

[184] Stanford Seminar ...

1313播放

1:16:15

Stanford Seminar - Border Gateway Protocol: the Good, Bad, and Ugly of Internet Routing斯坦福研讨会 - 边界网关协议：互联网路由的优势与劣势

[185] Stanford Seminar ...

801播放

1:18:06

Stanford Seminar - Deep Speech: Scaling up end-to-end speech recognition斯坦福研讨会 - 扩大端到端语音识别

[186] Stanford Seminar ...

938播放

00:00

Stanford Seminar - Service Robots are Here斯坦福研讨会 - 服务机器人在这里

[187] Stanford Seminar ...

666播放

00:00

Stanford Seminar - Computational Epidemiology: The Role of Big Data and Pervasive Informatics斯坦福研讨会 - 计算流行病学：大数据和普遍信息学的作用

[188] Stanford Seminar ...

1507播放

1:13:21

Stanford Seminar - Realizing the Next Growth Wave for SemiconductorsStanford研讨会 - 半导体的下一个增长趋势

[189] Stanford Seminar ...

1165播放

00:00

Stanford Seminar - From Nanodevices to Nanosystems: The Carbon Nanotube Case StudyStanford研讨会 - 从纳米切口到纳米系统：碳纳米管案例研究

[190] Stanford Seminar ...

710播放

1:01:46

Stanford Seminar - Entrepreneurial Lessons for Real World ApplicationStanford研讨会 - 应用创业课程

[191] Stanford Seminar ...

1301播放

54:02

Stanford Seminar - Enntrepreneurial Thought Leaders: Bobby Lee斯坦福研讨会 - 创业思维领袖：Bobby Lee

[192] Stanford Seminar ...

848播放

00:00

Stanford Seminar - Enntrepreneurial Thought Leaders: Astro Teller斯坦福研讨会 - 创业思想领袖：Astro Teller

[193] Stanford Seminar ...

1639播放

56:10

Stanford Seminar - Enntrepreneurial Thought Leaders: Al Ramadan and Dave PetersonStanford研讨会 - 创业思维领袖：Al Ramadan和Dave Peterson

[194] Stanford Seminar ...

894播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: DJ Kleinbaum of Emerald Therapeutics斯坦福研讨会 - 创业思想领袖：Emerald Therap...

[195] Stanford Seminar ...

1575播放

00:00

Stanford Seminar - Immersed in Virtual Reality斯坦福研讨会 - 沉浸在虚拟现实中

[196] Stanford Seminar ...

1558播放

50:30

Stanford Seminar - Enntrepreneurial Thought Leaders: Minnie Ingersoll of ShiftStanford研讨会 - 创业思维领袖：Shift的米妮·英格索尔

[197] Stanford Seminar ...

1015播放

55:37

Stanford Seminar - Enntrepreneurial Thought Leaders: Federica Marchionni of Lands' End斯坦福研讨会 - 创业思维领袖：Federica Marchionni

[198] Stanford Seminar ...

1404播放

53:01

Stanford Seminar - Entrepreneurial Thought Leaders: James Freeman of Blue Bottle Coffee斯坦福研讨会 - 创业思想领袖：James Freeman

[199] Stanford Seminar ...

1150播放

53:55

Stanford Seminar - Enntrepreneurial Thought Leaders: Dharmesh Shah of Hubspot斯坦福研讨会 - 创业思想领袖：Hubspot 的 Dharmesh Shah

[200] Stanford Seminar ...

705播放

59:47

Stanford Seminar - Enntrepreneurial Thought Leaders: John Hennessy of Stanford University斯坦福研讨会 - 创业思维领袖：斯坦福大学的John Hennessy

[202] Stanford Seminar ...

1569播放

48:29

Stanford Seminar - Michael Moritz of Sequoia Capital and Lisa Sugar of Popsugar斯坦福研讨会 - Michael Moritz 和Lisa Sugar

[203] Stanford Seminar ...

596播放

52:42

Stanford Seminar - Entrepreneurial Thought Leaders: Michael Tubbs of City of Stockton斯坦福研讨会 - 创业思想领袖： City of Stockton...

[204] Stanford Seminar ...

818播放

57:19

Stanford Seminar - Entrepreneurial Thought Leaders: Brit Morin of Brit + Co斯坦福研讨会 - 创业思想领袖：Brit + Co的 Brit Morin

[205] Stanford Seminar ...

708播放

56:04

Stanford Seminar - Entrepreneurial Thought Leaders: Rebecca Lynn of Canvas Ventures斯坦福研讨会 - 企业家思想领袖：Canvas Ventures的Re...

[206] Stanford Seminar ...

703播放

1:00:04

Stanford Seminar - Entrepreneurial Thought Leaders: Scott Cook of Intuit斯坦福研讨会 - 创业思想领袖：Intuit的Scott Cook

[207] Stanford Seminar ...

1081播放

57:26

Stanford Seminar - Entrepreneurial Thought Leaders: Lyndon Rive of Solar City斯坦福研讨会 - 企业家思想领袖：Solar City的Lyndon Rive

[208] Stanford Seminar ...

1027播放

53:20

Stanford Seminar - Entrepreneurial Thought Leaders: James Beshara of Tilt斯坦福研讨会 - 企业家思想领袖：Tilt的James Beshara

[209] Stanford Seminar ...

1159播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Jeff Seibert of Twitter斯坦福研讨会 - 创业思想领袖：Twitter的Jeff Seibert

[210] Stanford Seminar ...

1427播放

48:55

Stanford Seminar - Christina Smolke of Stanford, Steve Jurvetson of DFJ and Astro Teller of Google XStanford研讨会 - Chr...

[211] Stanford Seminar ...

951播放

51:10

Stanford Seminar - Entrepreneurial Thought Leaders: Stewart Butterfield of Slack斯坦福斯坦福研讨会 - 企业家思想领袖：Slack的Stewart Butterfield

[212] Stanford Seminar ...

1599播放

58:14

Stanford Seminar - Entrepreneurial Thought Leaders: Susan Koger of ModCloth斯坦福研讨会 - 企业家思想领袖：ModCloth的Susan Koger

[213] Stanford Seminar ...

928播放

1:00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Will Marshall of Planet Labs斯坦福研讨会 - 企业家思想领袖：Planet Labs的Will Marshall

[214] Stanford Seminar ...

821播放

41:31

Stanford Seminar - Entrepreneurial Thought Leaders: Chinedu Echeruo of Constant Capital Partners斯坦福研讨会 - 企业家思想领袖：Const...

[215] Stanford Seminar ...

1058播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Mike Rothenberg of Rothenberg Ventures斯坦福研讨会 - 企业家思想领袖：罗斯伯格·罗滕贝格博物馆

[216] Stanford Seminar ...

602播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Kathleen Eisenhardt of Stanford University斯坦福研讨会 - 企业家思想领袖：斯坦福大学凯瑟琳艾森哈德特

[217] Stanford Seminar ...

1501播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Kyle Forster of Big Switch NetworksStanford研讨会 - 创业思想领袖：大型交换网的凯尔堡

[218] Stanford Seminar ...

776播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Ron Gutman of HealthTap斯坦福研讨会 - 创业思想领袖：HealthTap 的 Ron Gutman

[219] Stanford Seminar ...

1456播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Sean George of Invitae斯坦福研讨会 - 企业家思想领袖：肖恩乔治的邀请

[220] Stanford Seminar ...

1408播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Laurene Powell Jobs of Emerson Collective斯坦福研讨会 - 企业家思想领袖：劳伦鲍威尔·集体的工作

[221] Stanford Seminar ...

677播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Josh Reeves of ZenPayroll斯坦福研讨会 - 企业家思想领袖：Zenpayroll的Josh Reeves

[222] Stanford Seminar ...

725播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: John Collison of Stripe斯坦福斯坦福研讨会 - 创业思想领袖：条纹约翰科希体

[223] Stanford Seminar ...

1216播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Kathryn Gould of Foundation Capital斯坦福研讨会 - 企业家思想领袖：凯瑟琳古尔德基金会

[224] Stanford Seminar ...

1188播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Alon Cohen of Houzz斯坦福斯坦福研讨会 - 企业家思想领袖：Houzz的Alon Cohen

[225] Stanford Seminar ...

1107播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Jeanne Gang of Studio Gang Architects斯坦福研讨会 - 创业思想领袖：Jeanne Gang S...

[226] Stanford Seminar ...

1428播放

00:00

Stanford Seminar - Entrepreneurial Thought Leaders: Shah Selbe of National Geographic Society斯坦福研讨会 - 企业家思想领袖：莎阿尔贝国家地理学会

[227] Stanford Seminar ...

1475播放

56:18

Stanford Seminar - Entrepreneurial Thought Leaders: Jennifer Pahlka of Code for America斯坦福研讨会 - 企业家思想领袖：Code for Ameri...

[285] Stanford Engineer...

2081播放

54:18

Stanford Engineering Hero Lecture: Marcian "Ted" Hoff工程英雄计划：Marcian "Ted" Hoff

[286] Stanford Engineer...

772播放

1:13:58

Stanford Engineering Hero Lecture: Morris Chang in conversation with President John L. Hennessy工程英雄计划：Morris Chang与Joh...

[287] Stanford Engineer...

1476播放

1:13:55

Stanford Engineering Hero Lecture: Kenneth Arrow斯坦福工程英雄计划：Kenneth Arrow

[288] William J. Perry ...

916播放

1:18:29

William J. Perry on Energy, National Security and TechnologyWilliam J. Perry 谈能源、国家安全和技术

[289] Jim Clark in conv...

1534播放

00:00

Jim Clark in conversation with John HennessyJim Clark与John Hennessy对话

[290] Stanford Engineer...

1430播放

1:11:54

Stanford Engineering Hero Martin Hellman Lecture斯坦福大学工程英雄计划：Martin Hellman

[291] Andreas "Andy" Be...

831播放

00:00

Andreas "Andy" Bechtolsheim: The Process of Innovation" - Stanford Engineering Hero LectureAndreas“Andy”Bechtolsheim：...

[292] Bradford Parkinso...

683播放

1:25:48

Bradford Parkinson "GPS for Humanity" - Stanford Engineering Hero Lecture全人类的GPS - Bradford Parkinson

[293] Stanford Lecture:...

1373播放

1:08:50

Stanford Lecture: Donald Knuth - All Questions Answered (May 12, 2011)Donald Knuth - 问题解答（2011年5月12日）

[294] Stanford Certific...

2126播放

01:43

Stanford Certificate - Biomedical Engineering: Imaging, Devices and Systems斯坦福证书 - 生物医学工程：影像，设备和系统

[295] Stanford Certific...

748播放

00:00

Stanford Certificate - Data, Models and Optimization斯坦福证书 - 数据，模型和优化

[296] Stanford Certific...

1466播放

00:00

Stanford Certificate - Electronic Circuits斯坦福证书 - 电子电路

[297] Stanford Certific...

961播放

00:00

Stanford Certificate - Nanotechnology: Design and Manufacturing of Intelligent Systems斯坦福证书 - 纳米技术：智能系统的设计和制造

[298] Martin Hellman: T...

966播放

1:11:54

Martin Hellman: The Wisdom of FoolishnessMartin Hellman：愚蠢与智慧