兰州大学110周年校庆学术活动之2019年全国理论计算机科学学术年会

日期: 2019-08-02 阅读: 来源: 关键词:

由中国计算机学会主办、中国计算机学会理论计算机科学专业委员会和兰州大学信息科学与工程学院承办的2019年全国理论计算机科学学术年会(2019 National Conference of Theoretical Computer Science,NCTCS2019)将于2019年8月2日至8月4日在我校举行。本次会议作为兰州大学110周年校庆系列活动中的重要学术盛会,邀请了国内外理论计算机科学领域的著名学者做大会报告,开展广泛的学术交流活动,展示最新的研究成果。

欢迎广大师生参加!

  时 间:2019年8月3日-4日

  地 点:兰州大学大学生活动中心

会议议程概览

 

2019年8月3日

时间

议程

主持人

地点

08:00-08:30

参会代表报到、注册

兰州大学大学生活动中心报告厅

08:30-08:50

NCTCS2019开幕式

祝恩

08:50-09:00

合影留念

09:00-09:40

特邀报告1:Nonsubmodular Optimization and Iterated Sandwich Method(堵丁柱)

李廉

09:40-10:20

特邀报告2:高效图计算的挑战与实践(金海)

薛锦云

10:20-10:40

茶歇

10:40-11:20

特邀报告3:Join Algorithms in the BSP(易珂)

傅育熙

兰州大学大学生活动中心报告厅

11:20-12:00

特邀报告4:Sampling and Counting for Big Data

(尹一通)

陈志刚

12:00-13:30

午餐

兰州大学丹桂苑餐厅

13:30-15:10

优秀论文报告1:Adversarial Training from a Domain Adaptation Perspective (何琨)

孙晓明

兰州大学大学生活动中心报告厅

优秀论文报告2:A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem(李初民)

优秀论文报告3:Zeros of Holant problems: locations and algorithms (张驰豪)

优秀论文报告4:Tight Approximation Ratio of Anonymous Pricing (肖涛) 

优秀论文报告5:一种简洁有效的两阶段无监督视频异常事件检测方法 (王思齐) 

15:10-15:30

茶歇

15:30-16:50

优秀论文报告6:Modular Verification for Almost-Sure Termination of Probabilistic Programs (黄明璋)

张昭

兰州大学大学生活动中心报告厅

优秀论文报告7:Querying a Matrix Through Matrix-Vector Products(张家琳)

优秀论文报告8:Lovasz local lemma: classical variable, commuting and quantum(何昆)

优秀论文报告9:Dynamic Sampling from Graphical Models(凤维明)

16:50-17:10

茶歇

17:10-17:50

自由发言

殷建平

18:00-19:15

晚宴

兰州大学丹桂苑餐厅

19:30-21:30

专委会工作会议

兰州大学逸夫科学馆201会议室

 

2019年8月4日

时间

议程

主持人

地点

08:30-09:10

特邀报告5:Approximate  Counting via Correlation Decay(陆品燕)

贲可荣

兰州大学大学生活动中心报告厅

09:10-09:50

特邀报告6:Quantum Computing for the Near Future(翁文康)

何琨

09:50-10:10

茶歇

 

10:10-10:50

特邀报告7:缺失多视图聚类算法研究(刘新旺)

陈晓云

兰州大学大学生活动中心报告厅

10:50-11:30

邀请企业报告:华为人工智能和人才培养

(华为 张志峰)

张瑞生

11:30-13:00

午餐

兰州大学丹桂苑餐厅

分组报告A

13:00-15:00

分组报告A1:Semi-Online Machine Covering on Two Hierarchical Machines with Known Total Size of Low-Hierarchy Jobs

刘任任

 

武继刚

兰州大学大学生活动中心1003会议室

分组报告A2:0-可逆自动机生成最短正则表达式的高效算法

分组报告A3:Facility Location Games with Externalities

分组报告A4:Cooperation on the monte carlo rule: Prison’s dilemma game on the grid

分组报告A5:混合环上带惩罚费用的负载平衡问题

分组报告A6:用符号计算证明Ramsey 定理的机械化方法

分组报告A7:Special frequency quadrilaterals and an application

分组报告A8:参数化犹豫模糊熵及其应用

分组报告A9:犹豫直觉模糊集的知识测度及其应用

分组报告A10:A Randomized Approximation Algorithm for Maximum Coverage Problem based on Chernoff Bound

分组报告A11:虚拟现实软件系统开发方法研究

分组报告B

13:00-15:00

分组报告B1:基于TCNN-SVM的护理不良事件文本分类研究

毛新军

 

宋方敏

 

兰州大学大学生活动中心1005会议室

分组报告B2:Unsupervised Learning for Small Object Detection in Retinal Image

分组报告B3:数据驱动的病因推理模型

分组报告B4:Sampling to maintain approximate probability distribution under chi-square test

分组报告B5:面向私有二进制协议的报文聚类方法

分组报告B6:基于场景划分的海天线检测方法

分组报告B7:采用融合卷积网的图像分类算法

分组报告B8:结合三尺度嵌套残差的 YOLOv3-tiny 交通标志快速检测算法

分组报告B9:Adjusting the Inheritance of Topic for Dynamic Document Clustering

分组报告B10:An Improved Proof of the Closure under Homomorphic Inverse of FCFL Valued in Lattice-ordered Monoids

分组报告B11:基于稀疏表征的异常点检测方法

分组报告C

13:00-15:00

分组报告C1:A Combined Weighted Concept Lattice for Multi-Source Semantic interoperability of ECG-Ontologies Based on Inclusion Degree and Information Entropy

钟诚

 

苏开乐

 

兰州大学大学生活动中心1007会议室

分组报告C2:Agent能力承诺协作的自适应图规划协议生成方法

分组报告C3:复杂网络局部特征分类

分组报告C4:军用软件测试领域的命名实体识别技术研究

分组报告C5:Minimizing the Spread of Rumor within Budget Constraint in Online Network

分组报告C6:带偏置的信号传播机制的随机游走算法

分组报告C7:基于多模型融合的流失用户预测方法

分组报告C8:基于节点连接模式相关性的链接预测方法

分组报告C9:Quantum Reversible Fuzzy Grammars

分组报告C10:Socially-attentive Representation Learning for Cold-Start Fraud Review Detection

分组报告C11:A Signcryption Scheme Based Learning with Errors Over Rings without Trapdoor

分组报告C12:基于节点连接模式的缺失节点识别方法

15:00-16:00

NCTCS2019闭幕式

祝恩

兰州大学大学生活动中心报告厅

 
发现错误?报错
文:
图:
编辑:赵洋
 

推荐关注

阅读下一篇