[Distinguished Lecture Series] Mobile Sensing SystemHojung Cha |Department of Computer Science, Yonsei University2014/3/19 (수) 오후 02:15|302동 208호
Counterexample ranking using mined invariantsAnsuman Banerjee|Indian Statistical Institute, India2014/3/06 (목) 오후 02:00|Rm 309, Bldg 302, SNU
Formal Specification and Verification of Distributed Cyber-Physical Systems 배경민( Kyungmin Bae)|University of Illinois2013/12/31 (화) 오전 11:00|Room 309, Bldg 302
Machine learning approach for human motion analysisTaehwan Kim|Toyota Technological Institute2013/12/27 (금) 오후 03:00|Room 308 Bldg 302
Machine Learning with Nearest NeighborsYung-Kyun Noh|KAIST2013/12/27 (금) 오후 02:00|Room 308 Building 302
Understanding Eventual Consistency양홍석(Hongseok Yang)|University of Oxford2013/12/27 (금) 오전 11:00|Room 309, Bldg 302
ARCHITECTURE LEVEL THERMAL MODELING, MANAGEMENT FOR MULTI-COREAND 3D MICROPROCESSORSSheldon X-.D. Tan|Univ. of California at Riverside2013/12/10 (화) 오후 02:45|Room 308 Building 302
Digital Microfluidic Biochips: Towards Functional Diversity, More than Moore, and Cyberphysical IntegrationKrishnendu Chakrabarty|Duke Univ.2013/12/09 (월) 오전 11:00|Room 105 Building 301
[Distinguished Lecture Series] Transforming the Impossible to the NaturalHsiao-Wuen Hon|Microsoft Research Asia2013/11/21 (목) 오전 10:30|302동 105호
