-
06-09
2017
Hardness of (2+eps)-SAT, and further results on promise constraint satisfaction
Speaker: Prof. Venkatesan Guruswami Time: 2017-06-09 14:00-2017-06-09 15:00 Venue: FIT 1-222 Abstract: Given a k-SAT instance with the promise that there is an assignment satisfying at least t out...
-
06-01
2017
A Matching Theory of Organization and Network
Speaker: Prof. Andy Luchuan Liu the South University of Science and Technology Time: 2017-06-01 10:30-2017-06-01 11:30 Venue: FIT 1-312 Abstract: To explore the formation of organization and networ...
-
05-31
2017
Shortcuts to adiabaticity for BEC in nonlinear systems
Speaker: Prof. Xi Chen Shanghai University Time: 2017-05-31 14:00-2017-05-31 15:00 Venue: MMW S327 Abstract: In this talk, I will first give a brief introduction of shortcuts to adiabaticity with ...
-
05-09
2017
Sparse Energy Functions in Protein Design
Speaker: Jonathan Jou Duke University Time: 2017-05-09 14:00-2017-05-09 15:00 Venue: FIT 1-222 Abstract: Computational protein design is a transformational field with translational biomedical appli...
-
05-07
2017
Endgame Solving: The Surprising Breakthrough that Enabled Superhuman Two-Player No-Limit Texas Hold 'em Play
Speaker: Prof. Sam Ganzfried Florida International University Time: 2017-05-07 10:00-2017-05-07 11:00 Venue: FIT 1-222 Abstract: While computer programs for no-limit Texas hold 'em have become stea...
-
04-24
2017
Lectures on Algorithmic Graph Theory and their Applications
Speaker: Prof. Martin Charles Golumbic University of Haifa Time: 2017-04-24 14:30-2017-04-24 15:30 Venue: FIT 1-222 Abstract: In a series of four lectures, we present classical and more recent resu...