Seminarium, Teoretisk datalogi

He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back

2 jul

Seminarium, Teoretisk datalogi

måndag 2018-07-02, 13.15

Medverkande: He Sun: Algorithms and Complexity in the School of Informatics, University of Edinburgh

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-07-02T13:15:00.000+02:00 2018-07-02T13:15:00.000+02:00 He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back (Seminarium, Teoretisk datalogi)

Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications

20 aug

Seminarium, Teoretisk datalogi

måndag 2018-08-20, 12.00

Medverkande: Shiteng Chen, Tsinghua University

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-08-20T12:00:00.000+02:00 2018-08-20T12:00:00.000+02:00 Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminarium, Teoretisk datalogi)

Jan Elffers: Towards faster pseudo-Boolean SAT solving

5 nov

Seminarium, Teoretisk datalogi

måndag 2018-11-05, 12.00

Medverkande: Jan Elffers, TCS Group, KTH)

Plats: Room 4423, Lindstedtsvägen 5, KTH

2018-11-05T12:00:00.000+01:00 2018-11-05T12:00:00.000+01:00 Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi)