会议日程

会议议程

NCTCS2019会议日程(pdf)下载

NCTCS2019会议手册(pdf)下载

2019年8月2日
时间 议程 地点
13:00-21:00 参会代表报到、注册 兰州飞天大酒店
18:00-20:00 晚餐 兰州飞天大酒店
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 刘任任

 

武继刚

兰州大学大学生活动中心802会议室
分组报告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的护理不良事件文本分类研究 毛新军

 

宋方敏

 

兰州大学大学生活动中心804会议室
分组报告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 钟诚

 

苏开乐

 

兰州大学大学生活动中心808会议室
分组报告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闭幕式 祝恩 兰州大学大学生活动中心报告厅