【学术报告】计算的局限及其复杂性

International Cooperation

<<

2014-03-12
点击数:1743

学术报告:计算的局限及其复杂性

报告人简介:

Dr. Philip Grant 菲利普·格兰特 

英国斯旺西大学科学学院计算机系副教授、博士生导师

英国计算机协会成员

英国特许计算机信息技术专家

报告题目: Limits on Computation and Complexity 计算的局限及其复杂性

时间:317日下午15:00-16:00

地点:机电楼617教室

报告内容简介:

可计算性函数与非可计算的函数,包括其具体的含义、不同的释义如λ演算、图灵机、部分递归函数等,递归式,可计算性局限和不可判定的问题,停机问题;

计算的复杂性,包括其具体的含义,O符号,易处理的问题-P与难解的问题-NP及其具体介绍;

有限的停机问题;

图灵奖得主威廉·库克和迪克·卡普以及他们的研究成果和理论介绍。

主要出版著作:

1.        《可视化的自然影像统计》 Visualizing Natural Image Statistics

2.        《视觉装饰的可视化实证研究》 An Empirical Study on Using Visual Embellishments in Visualization 

3.        《通过本体映射实现从网页数据到可视化》 From Web Data to Visualization via Ontology Mapping 

4.        JACIE:一种用于网络中心,多媒体和协同应用程序的快速成型的命令语言》 JACIE - an authoring language for rapid prototyping net-centric, multimedia and collaborative applications  JACIE: Java-based Authoring language for Collaborative Interactive Environments

5.        《同质和异质分布式集群处理2维和3维粘弹性流动》 Homogeneous and heterogeneous distributed cluster processing for two- and three-dimensional viscoelastic flows 

6.        《应用井字游戏的形式设计交互协议》 Designing interaction protocols using noughts and crosses type games 

7.        《移动人脸识别的进展》 Advances in Moving Face Recognition

8.        《面部老化多方面鉴别》 Discriminant Feature Manifold for Facial Aging Estimation     

 

注:听报告的学生请携带校园卡记录创新学分