2024年12月28日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
陈意云
作品数:
133
被引量:643
H指数:16
供职机构:
中国科学技术大学计算机科学与技术学院
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
国家教育部博士点基金
更多>>
相关领域:
自动化与计算机技术
电子电信
文化科学
经济管理
更多>>
合作作者
张昱
中国科学技术大学计算机科学与技...
董兰芳
中国科学技术大学计算机科学与技...
李兆鹏
中国科学科技大学苏州研究院软件...
华保健
中国科学技术大学软件学院
华蓓
中国科学技术大学计算机科学与技...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
96个
自动化与计算...
32个
电子电信
22个
经济管理
19个
文化科学
19个
理学
13个
电气工程
8个
生物学
8个
天文地球
8个
医药卫生
7个
水利工程
7个
交通运输工程
7个
一般工业技术
7个
自然科学总论
6个
化学工程
5个
金属学及工艺
5个
机械工程
4个
石油与天然气...
4个
建筑科学
4个
环境科学与工...
4个
社会学
主题
37个
计算机
35个
网络
23个
代码
21个
仿真
21个
分布式
18个
图像
18个
计算机网
18个
计算机网络
17个
调度
17个
虚拟机
17个
HOARE逻...
16个
自适应
16个
面向对象
16个
编程
15个
编译器
14个
形式化
14个
搜索
12个
定理证明
11个
数据处理
9个
JAVA虚拟...
机构
95个
中国科学技术...
7个
中国科学院
7个
安徽省计算与...
4个
中国科技大学
4个
国家高性能计...
3个
安徽省高性能...
3个
安徽省电力中...
2个
安徽大学
2个
青岛大学
2个
解放军电子工...
2个
烟台大学
2个
中国科学院研...
2个
中国科学院软...
2个
中国科学院大...
1个
安庆师范学院
1个
广西大学
1个
国家电网公司
1个
哈尔滨理工大...
1个
合肥工业大学
1个
北京石油化工...
资助
70个
国家自然科学...
19个
国家高技术研...
16个
安徽省自然科...
16个
国家重点基础...
11个
国家教育部博...
10个
国家科技重大...
9个
江苏省自然科...
6个
中央高校基本...
5个
中国博士后科...
5个
中国科学技术...
5个
国家杰出青年...
5个
华为科技基金...
5个
安徽省高校省...
5个
中国科学技术...
4个
国家重点实验...
4个
中国科学院知...
4个
中国科学院知...
3个
北京市自然科...
3个
国家科技攻关...
3个
教育部留学回...
传媒
60个
小型微型计算...
35个
计算机工程
31个
计算机研究与...
25个
计算机工程与...
23个
计算机学报
22个
软件学报
19个
计算机科学
17个
计算机应用与...
17个
计算机应用
15个
中国科学技术...
11个
电子技术(上...
11个
微型机与应用
11个
计算机工程与...
10个
系统仿真学报
9个
电子学报
9个
计算机应用研...
9个
计算机系统应...
8个
计算机辅助设...
8个
计算机仿真
5个
电子与信息学...
地区
92个
安徽省
4个
北京市
3个
广东省
1个
江苏省
1个
山东省
1个
陕西省
1个
浙江省
共
104
条 记 录,以下是 1-10
全选
清除
导出
张昱
供职机构:中国科学技术大学
研究主题:自动驾驶 XPATH XML流 即时编译器 多目标
发表作品
相关人物
供职机构
所获资助
研究领域
李兆鹏
供职机构:中国科学技术大学软件学院
研究主题:HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
发表作品
相关人物
供职机构
所获资助
研究领域
董兰芳
供职机构:中国科学技术大学
研究主题:MPEG-4 人脸检测 计算机图形学 卷积神经网络 人脸
发表作品
相关人物
供职机构
所获资助
研究领域
华保健
供职机构:中国科学技术大学软件学院
研究主题:指针逻辑 HOARE逻辑 出具证明编译器 ANDROID 编译器
发表作品
相关人物
供职机构
所获资助
研究领域
华蓓
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:隐私保护 主动网络 WSDL UDDI SOAP
发表作品
相关人物
供职机构
所获资助
研究领域
王洵
供职机构:中国科学技术大学
研究主题:计算机图形学 MPEG-4 人脸动画 语音动画 隐马尔可夫模型
发表作品
相关人物
供职机构
所获资助
研究领域
郭帆
供职机构:中国科学技术大学
研究主题:移动代码 内存 系统默认 安全检查 类型化
发表作品
相关人物
供职机构
所获资助
研究领域
胡荣贵
供职机构:解放军电子工程学院
研究主题:单片机 移动代码 模拟训练系统 网络仿真 网络安全
发表作品
相关人物
供职机构
所获资助
研究领域
王志芳
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:指针逻辑 HOARE逻辑 语言设计 出具证明编译器 氧化物陶瓷
发表作品
相关人物
供职机构
所获资助
研究领域
罗奇鸣
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 别名 英文 软件工程 GIBBS抽样
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共11页
<
1
2
3
4
5
6
7
8
9
10
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张