Lecture

中文|English

Responsive image

Current Location：homepage Lecture

Lecture

New applications in video-based artificial intelligence and ... 2018-12-03
BLOCKCHAIN: Buzzword/Engineering/Science? (A distributed com... 2018-11-21
Formal Verification of Differential Privacy 2018-11-20
A Crosscutting View of Computer Architecture 2018-11-10
Behavioural Verification of Distributed Components 2018-10-28
Multi-oriented and Multi-script Document Recognition 2018-10-22
IDE Support for Machine Learning Programming 2018-10-16
Formal Design, Implementation and Verification of Blockchain... 2018-10-07
Reasoning about Cognitive Trust in Human-Robot Interactions 2018-09-17
Using Companion Robots for Education 2018-09-14
Understanding the Loss Surface of Neural Networks for Binary... 2018-08-16
Graph Visualization: Quality Metrics 2018-07-22
Secure Multiparty Computation: Past and Present 2016-03-04
Jean-Francois Monin：Programming with dependent types using ... 2016-03-04

firstpage <<previouspage nextpage>> endpage
PageNumber 5/6

Links:

◇East China Normal University

Software Engineering Institute

Address：Zhongshan North Road 3663, Shanghai
Nanmu Road111, Shanghai

E-mail：office@sei.ecnu.edu.cn | Tel：021-62232550

www.sei.ecnu.edu.cn Copyright Software Engineering Institute