作者：周治国

关键词：网络体系结构 ; 任播 ; 安全 ; 组管理 ; IPv6 ; 路由 ; 协议

论文级别：博士

学位年度：2008

作者：曾红卫

关键词：Web应用 ; 形式验证 ; 基于模型检验的测试 ; 构件组合 ; 反例引导的抽象精化

论文级别：博士

学位年度：2008

作者：陈洪辉

关键词：C~4ISR系统 ; 多视图 ; 需求验证 ; 需求描述 ; 一致性验证 ; 静态一致性验证 ; 行为一致性验证

论文级别：博士

学位年度：2007

作者：金明飞

关键词：胰高血糖素样肽-1(GLP-1) ; 降血糖 ; 乳酸乳球菌 ; 番茄 ; 马铃薯X病毒(PVX)

论文级别：博士

学位年度：2008

作者：牛司华

关键词：乳腺癌 ; 超声光散射断层成像 ; 预后 ; 乳腺癌 ; THC ; HIF-1α ; VEGF ; 0PN ; MVD ; 血管生成拟态

论文级别：博士

学位年度：2014

作者：鲍志刚

关键词：随机矩阵 ; Wigner矩阵 ; 样本相关系数阵 ; 非对称随机矩阵 ; 随机行列式 ; 线性谱统计量 ; 特征向量 ; 最大特征根 ; Stieltjes变换 ; Tracy-Widom分布 ; 中心极限定理 ; 布朗桥

论文级别：博士

学位年度：2013

作者：江志雄

关键词：语义Web服务 ; 服务描述 ; 动态语义 ; 语义匹配 ; 时序特性 ; 推理服务 ; 逻辑程序

论文级别：博士

学位年度：2008

作者：钱晔

关键词：EPMM ; CEPMM ; CCS ; 安全性 ; 可达性 ; 正则表达式 ; TCPCCS

论文级别：博士

学位年度：2014

作者：吴扬哲

关键词：T淋巴细胞 ; 红细胞 ; 量子点 ; 纳米结构 ; 纳米生物力学 ; 分子探测 ; 原子力显微术 ; 近场扫描光学显微术

论文级别：博士

学位年度：2009

作者：宦晴

关键词：人胚胎干细胞 ; 原核 ; 合子 ; 多能性 ; 人胚胎干细胞 ; 分化 ; 内皮细胞 ; 转化生长因子-beta1 ; 分化抑制子/DNA结合抑制子-1 ; 血管发生

论文级别：博士

学位年度：2010