-
03-12
2012
The computational complexity of mathematical proofs
演讲人： Phuong Nguyen 多伦多大学 时间： 2012-03-12 10:00-2012-03-12 11:00 地点：FIT 1-222 课件下载：点击下载 内容： Mathematical proofs can be classified using the computational complexity of concep...
-
03-08
2012
Supporting Efficient and Effective Keyword Search: From Set Intersection to Taxo
演讲人： Bolin Ding 伊利诺伊大学厄本那—香槟分校 时间： 2012-03-08 10:00-2012-03-08 11:00 地点：FIT 1-222 课件下载：点击下载 内容： This talk is about index and data model to support efficient and ef...
-
03-07
2012
Optimal Control in Complex Networks
演讲人： Longbo Huang 加州大学伯克利分校 时间： 2012-03-07 10:40-2012-03-07 11:40 地点：FIT 1-222 课件下载：点击下载 内容： Networks have been one of the most common forms of our resources and have p...
-
03-07
2012
The Approximability of NP-hard optimization problems
演讲人： Yi Wu IBM艾曼登研究中心 时间： 2012-03-07 09:30-2012-03-07 10:30 地点：FIT 1-222 课件下载：点击下载 内容： Optimization problems arise naturally in many applications of computer science and ...
-
03-05
2012
Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems
演讲人： Wei Xu Google 时间： 2012-03-05 10:00-2012-03-05 11:00 地点：FIT 1-222 课件下载：点击下载 内容： Console logs are textual data that systems print, mostly for debugging purposes. Despite the ...
-
03-02
2012
姚期智：人生为一大事来
2月底的一个上午，熟女 六教二层的一堂课上，姚期智抛出概率论经典的“猜帽子”问题，30个大一学生继而展开讨论，轻微的嗡嗡声产生共鸣。姚期智手拿一支粉笔，站在教室的一侧，安静地等待一个个奇思妙想的诞生。 ...