MEETING-DATE:August 30, 2018 MEETING-LOCATION:DC 1331 MEETING-TIME:1:30 MEETING-CHAIR:JC Chang MEETING-CHAIRPIC:jc.png COFFEE-HOUR-LAST-WEEK:Volunteers? COFFEE-HOUR-THIS-WEEK:Volunteers? COFFEE-HOUR-NEXT-WEEK:Volunteers? FORTH-DATE1:September 6, 2018 FORTH-DATE2:September 13, 2018 FORTH-DATE3:September 20, 2018 FORTH-DATE4:September 27, 2018 FORTH-LOCATION1:DC 1331 10:30 FORTH-LOCATION2:DC 1331 10:30 FORTH-LOCATION3:DC 1331 10:30 FORTH-LOCATION4:DC 1331 10:30 FORTH-CHAIR1:Bill Cowan FORTH-CHAIR2:Xiang Fang FORTH-CHAIR3:Ryan Goldade FORTH-CHAIR4:Yu Gu FORTH-CHAIRPIC1:bill.png FORTH-CHAIRPIC2:x2fang.png FORTH-CHAIRPIC3:ryan.jpg FORTH-CHAIRPIC4:tjlahey.gif FORTH-TP1:JC Chang FORTH-TP2:Bill Cowan FORTH-TP3:Xiang Fang FORTH-TP4:Ryan Goldade FORTH-TPPIC1:jc.png FORTH-TPPIC2:bill.png FORTH-TPPIC3:x2fang.png FORTH-TPPIC4:ryan.jpg TPNAME:Christopher Batty TPTITLE:Voxel Cores: Efficient, robust, and provably good approximation of 3D TPABSTRACT:I will discuss this recent paper that presents a new algorithm for constructing medial axes of voxelized shapes, with certain theoretical guarantees. TPPIC:batty.jpg DIONE: DITWO: DITHREE: DIFOUR: AIONE:Lab meeting next term: 10:30 on Thursdays AITWO: AITHREE: AIFOUR: LEONE: LETWO: LETHREE: LEFOUR: CONONE: CONTWO: CONTHREE: CONFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
Tuesday, 4 September 2018, 12:30PM - Computer Science (Artificial Intelligence Lab), DC 2310
Ricardo Salmon: -- On the Relationship Between Satisfiability and Partially Observable Markov Decision Processes
Tuesday, 4 September 2018, 3:00PM - Computer Science (Institute for Quantum Computing), DC 2314
Matthew Amy: -- Verified Compilation of Space-Efficient Reversible Circuits
Friday, 31 August 2018, 10:00AM - Applied Mathematics , MC 6460
Hyungjin Kim: -- Mysteries in Cosmology: Dark Energy and the Beginning of the Universe