中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文

view all items

(Results 1-20 of 246)
Help
Items/Page:    Sort:
时滞动态系统的安全验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-28
刘文有
  |  View/Download:8/0
 
混成系统的安全控制器合成与分析 [学位论文]
博士, 北京: 中国科学院大学, 2021-05-28
白云军
  |  View/Download:10/0
 
基于物理的织物污渍时变材质模拟研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-28
郑屹
  |  View/Download:11/0
 
扩展正则表达式及其自动机的学习算法的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-27
汪小凡
  |  View/Download:18/1
 
增强特征提取有效性的图像显著性检测方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-26
张哲
  |  View/Download:6/0
 
神经网络局部鲁棒性的符号传播验证算法及验证平台 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-26
李建霖
  |  View/Download:8/0
 
基于抽象解释和利普希茨常数的深度神经网络鲁棒性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-26
杨鹏飞
  |  View/Download:9/0
 
基于VERDS的智能合约形式化验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-26
包玉龙
  |  View/Download:7/0
 
含有指针算术和归纳定义的分离逻辑判定算法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-26
苏婉昀
  |  View/Download:14/0
 
移动嵌入式可信执行环境和数据隐私保护研究 [学位论文]
博士, 北京: 中国科学院大学, 2021-05-26
刘敬彬
  |  View/Download:10/0
 
精确高效的动态并发缺陷检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-18
云昊
  |  View/Download:10/1
 
面向安卓异步组件的静态分析技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05
潘临杰
  |  View/Download:9/0
 
节省持续集成开销的方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05
李梓劼
  |  View/Download:8/0
 
基于多模融合的室内定位研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05
何兵;  何兵
  |  View/Download:4/0
 
最大可满足性及其拓展问题的求解 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05
雷震东
  |  View/Download:6/0
 
基于深度学习的轻量级物体表观建模研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05
张健照
  |  View/Download:14/2
 
多视图聚类方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05
周润物
  |  View/Download:23/0
 
基于深度强化学习的机器学习模型公平性测试 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05
谢文涛
  |  View/Download:14/0
 
基于骨架引导的三维模型内蕴对称性检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-09
马俊辉
  |  View/Download:16/1
 
基于用户意图推断的嵌入式图像合成方法 [学位论文]
硕士, 北京: 中国科学院研大学, 2020-09
谭雪晗
  |  View/Download:30/1
 

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace