Notice：
-
10-19
2007
Spectral Algorithms
Speaker: Ravi Kannan Microsoft Research Labs, India Time: 2007-10-19 10:00-2007-10-19 11:00 Venue: FIT Building 4-603, Tsinghua University Abstract: Spectral methods refer to algorithms which use L...
-
10-15
2007
Stochastic Analysis of File Swarming Systems
Speaker: John C.S. Lui The Chinese University of Hong Kong Time: 2007-10-15 15:40-2007-10-15 16:40 Venue: FIT Building 4-603, Tsinghua University Download: Click! Abstract: File swarming (or file s...
-
09-20
2007
Some Old and New Unsolved CS Problems
Speaker: Juris Hartmanis Cornell University, USA Time: 2007-09-20 09:00-2007-09-20 10:00 Venue: FIT Building Lecture Hall, Tsinghua University Download: Click! Abstract: This talk will review the c...
-
09-14
2007
Grand Challenges in Proof Complexity
Speaker: Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia Time: 2007-09-14 13:00-2007-09-14 14:30 Venue: FIT Building 4-603, Tsinghua University Abstract: These...
-
09-14
2007
Text-Compression using the Burrows-Wheeler Transform
Speaker: Elad Verbin ITCS, Tsinghua University Time: 2007-09-14 14:40-2007-09-14 16:40 Venue: FIT Building 4-603, Tsinghua University Download: Click! Abstract: In 1994, Burrows and Wheeler introdu...
-
09-13
2007
Grand Challenges in Proof Complexity
Speaker: Alexander Razborov Steklov Mathematical Institute, Russian Academy of Science, Russia Time: 2007-09-13 15:00-2007-09-13 16:30 Venue: FIT Building 4-603, Tsinghua University Abstract: These...