-
10-19
2007
Spectral Algorithms
演讲人： Ravi Kannan Microsoft Research Labs, India 时间： 2007-10-19 10:00-2007-10-19 11:00 地点：FIT Building 4-603, Tsinghua University 内容： Spectral methods refer to algorithms which use Linear...
-
10-15
2007
Stochastic Analysis of File Swarming Systems
演讲人： John C.S. Lui The Chinese University of Hong Kong 时间： 2007-10-15 15:40-2007-10-15 16:40 地点：FIT Building 4-603, Tsinghua University 课件下载：点击下载 内容： File swarming (or file shar...
-
09-20
2007
Some Old and New Unsolved CS Problems
演讲人： Juris Hartmanis Cornell University, USA 时间： 2007-09-20 09:00-2007-09-20 10:00 地点：FIT Building Lecture Hall, Tsinghua University 课件下载：点击下载 内容： This talk will review the clas...
-
09-14
2007
Text-Compression using the Burrows-Wheeler Transform
演讲人： Elad Verbin ITCS, Tsinghua University 时间： 2007-09-14 14:40-2007-09-14 16:40 地点：FIT Building 4-603, Tsinghua University 课件下载：点击下载 内容： In 1994, Burrows and Wheeler introduced...
-
09-14
2007
Grand Challenges in Proof Complexity
演讲人： Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia 时间： 2007-09-14 13:00-2007-09-14 14:30 地点：FIT Building 4-603, Tsinghua University 内容： These lect...
-
09-13
2007
Grand Challenges in Proof Complexity
演讲人： Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia 时间： 2007-09-13 15:00-2007-09-13 16:30 地点：FIT Building 4-603, Tsinghua University 内容： These lect...