很抱歉,此投票活动已停止,不能填写

35项新成果 |学术年会优秀海报等你来投票!

  • 35

    参与选项
  • 600

    投票总人数
  • 排行榜

投票规则

搜索
中国科学院软件研究所2020年度学术年会将于9月21日举行。大会共征集到来自软件所院青促会成员、所杰青、所优青成员等广大科研人员投稿的科研成果87份,由大会组委会及各实验室/中心择优选出74份成果以海报形式公开展出、8份成果作大会学术报告。

同时,大会选出35份代表性海报进行视频介绍,列入本届学术年会优秀海报投票范围。

每个用户在投票期限内只能投票1次,支持多选
投票时间:2020年9月14日至9月20日12时
您的投票结果将成为学术年会“优秀海报”的重要参考
*
1.
您的昵称:
*
2.
是否为所内人员
No.1  随机微分系统的无穷时间安全性验证(国重)
作者:Shenghua Feng、Mingshuai Chen、Bai Xue、 Sriram Sankaranarayanan、Naijun Zhan
No.2   基于骨架引导的三维模型内蕴对称性检测方法(国重)
作者:王文成,马俊辉,徐盼盼,储翌尧.
No.3   MaxSAT求解集合覆盖与顶点支配集问题(国重)
作者:雷震东,蔡少伟
No.4  基于用户意图猜测的嵌入式图像合成方法(国重)
作者:谭雪晗,徐盼盼,郭诗辉,王文成
No.5   布尔Holant*问题的二分定理(国重)
作者:Cai Jin-Yi ,Lu Pinyan ,Xia Mingji
No.6   Compression of Data Streams
作者:George Barmpatias,Andrew Lewis-Pye,Cheng Shichao

No.7   用于训练二值神经网络的去噪监督学习方法(国重)
作者:韩凯 王云鹤 许奕星 吴恩华
No.8   一个针对安卓应用的可扩展的流,上下文,对象,数据成员以及路径敏感的程序分析框架(国重)
作者:潘临杰    严俊
No.9    HolPy交互式定理证明系统
作者:詹博华   李黎明    许润清
No.10    QHLProver量子程序验证工具(国重)
作者:刘君毅  詹博华  王淑灵  应圣钢  刘涛  李杨佳  应明生  詹乃军
No.11   内存损坏型并发漏洞的检测
作者:蔡彦、朱碧云、孟瑞杰、云昊、和亮、苏璞睿、梁彬
No.12   基于时间扩散曲线的矢量绘图(国重)
作者:侯飞
No.13 安卓多任务机制:形式化语义与程序静态分析(国重)
作者:何锦龙
No.14   基于LoRa信号的远距离非接触感知(软工)
作者:张扶桑、金蓓弘
No.15 DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms
作者:Lijie Xu, Xingtong Ye, Kai Kang, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei
No.16 极端规模容器的高效数据推送和一致性保障(软工)
作者:唐震,宋傲,纪树平,王伟
No.17 基于启动上下文构造的Android应用多入口探索方法(软工)
作者:燕季薇 ,刘昊,潘临杰,严俊, 张健,梁彬
No.18 基于边缘计算的智能家居系统(软工)
作者:张康康、徐少鹏、刘璐、陈伟、魏峻
No.19 WebRTS: 一种面向Web应用的动态回归测试选择工具(软工)
作者:敖泽柳、吴国全、陈伟、魏峻
No.20 检测Spark应用中的缓存相关缺陷(软工)
作者:李慧,王栋,黄天泽,高钰,窦文生,许利杰,王伟,魏峻,钟华
No.21   一种基于配置的多云协作框架(软工)
作者:花磊,汤婷,吴恒,吴悦文,许源佳,刘赫,张文博
No.22 面向大型低轨星座的网络规划与干扰分析系统(天基)
作者:刘帅军、任海玉、王大鹏、刘立祥
No.23 软件定义卫星智能姿态控制(天基)
作者:吴凤鸽、赵军锁、许轲、张剑
No.24 一种高度关联大数据的存储方法及管理系统(可信)
作者:李昊, 张敏, 付艳艳, 惠榛等
No.25 面向二进制程序崩溃的多级释放后重用漏洞检测技术(可信)
作者:和亮 苏璞睿 杨轶 闫佳 黄桦烽
No.26  恶意代码沙箱规避行为检测分析系统(可信)
作者:闫佳 黄桦烽 杨轶 刘青芳 苏璞睿
No.27 基于“穿越”的移动目标选择落点不确定性建模(人机)
作者:黄进,田丰,范向民,涂华伟,张浩,彭晓兰,王宏安
No.28   笔作为虚拟现实中输入设备的握姿评估(人机)
作者:李念龙、韩腾、黄进、田丰、孙铭会、Pourang Irani,Jason Alexander
No.29   基于词对主题模型和词嵌入的无数据短文本分类(人机)
作者:Yi Yang, Hongan Wang, Jiaqi Zhu*, Yunkun Wu, Kailong Jiang, Wenli Guo and Wandong Shi
No.30   一种简单易用的语义解析平台(中文)
作者:安波,陈波,韩先培,孙乐
No.31 用于实体集合拓展的端到端自举网络(中文)
作者:颜令勇,韩先培,何苯,孙乐
No.32  基于注意力卷积二叉神经树的细粒度视觉分类(智能)
作者:汲如意、文龙银、张立波、独大为、武延军、赵琛、刘祥龙、黄飞跃


No.33    T2AD: 自动驾驶的测试与测试控制表示语言(智能)
作者:董乾、杨光、薛志云、孟令中、师源、丁明明、司宏远
No.34   蓝雷:一种基于二级方向预测器的SGX侧信道攻击(总体部)
作者:霍天霖, 孟筱妮, 王文浩, 郝春亮, 赵培, 翟健, 李明树
No.35   上下文感知的过程中的众测人员推荐(互联网)
作者:Junjie Wang, Ye Yang, Song Wang, Yuanzhe Hu, Dandan Wang, Qing Wang
*
5.
您的投票将成为学术年会“优秀海报”的重要参考(支持多选)
0票
No.1 随机微分系统的无穷时间安全性验证(国重)
0票
No.2 基于骨架引导的三维模型内蕴对称性检测方法(国重)
0票
No.3 MaxSAT求解集合覆盖与顶点支配集问题(国重)
0票
No.4 基于用户意图猜测的嵌入式图像合成方法(国重)
0票
No.5 布尔Holant*问题的二分定理(国重)
0票
No.6 Compression of Data Streams(国重)
0票
No.7 用于训练二值神经网络的去噪监督学习方法(国重)
0票
No.8 一个针对安卓应用的可扩展的流,上下文,对象,数据成员以及路径敏感的程序分析框架(国重)
0票
No.9 HolPy交互式定理证明系统(国重)
0票
No.10 QHLProver量子程序验证工具(国重)
0票
No.11 内存损坏型并发漏洞的检测(国重)
0票
No.12 基于时间扩散曲线的矢量绘图(国重)
0票
No.13 安卓多任务机制:形式化语义与程序静态分析(国重)
0票
No.14 基于LoRa信号的远距离非接触感知(软工)
0票
No.15 DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms(软工)
0票
No.16 极端规模容器的高效数据推送和一致性保障(软工)
0票
No.17 基于启动上下文构造的Android应用多入口探索方法(软工)
0票
No.18 基于边缘计算的智能家居系统(软工)
0票
No.19 WebRTS: 一种面向Web应用的动态回归测试选择工具(软工)
0票
No.20 检测Spark应用中的缓存相关缺陷(软工)
0票
No.21 一种基于配置的多云协作框架(软工)
0票
No.22 面向大型低轨星座的网络规划与干扰分析系统(天基)
0票
No.23 软件定义卫星智能姿态控制(天基)
0票
No.24 一种高度关联大数据的存储方法及管理系统(可信)
0票
No.25 面向二进制程序崩溃的多级释放后重用漏洞检测技术(可信)
0票
No.26 恶意代码沙箱规避行为检测分析系统(可信)
0票
No.27 基于“穿越”的移动目标选择落点不确定性建模(人机)
0票
No.28 笔作为虚拟现实中输入设备的握姿评估(人机)
0票
No.29 基于词对主题模型和词嵌入的无数据短文本分类(人机)
0票
No.30 一种简单易用的语义解析平台(中文)
0票
No.31 用于实体集合拓展的端到端自举网络(中文)
0票
No.32 基于注意力卷积二叉神经树的细粒度视觉分类(智能)
0票
No.33 T2AD: 自动驾驶的测试与测试控制表示语言(智能)
0票
No.34 蓝雷:一种基于二级方向预测器的SGX侧信道攻击(总体部)
0票
No.35 上下文感知的过程中的众测人员推荐(互联网)
问卷星提供技术支持
举报