2024年8月26日
星期一
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
江苏省“六大人才高峰”高层次人才项目(2011-DZXX-035)
作品数:
11
被引量:47
H指数:4
相关作者:
钱振江
黄皓
宋方敏
刘苇
李康杰
更多>>
相关机构:
南京大学
常熟理工学院
伦敦大学
更多>>
发文基金:
江苏省“六大人才高峰”高层次人才项目
江苏省高校自然科学研究项目
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
医药卫生
理学
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
19个
自动化与计算...
11个
电子电信
9个
文化科学
8个
医药卫生
7个
理学
5个
电气工程
4个
生物学
4个
机械工程
3个
经济管理
2个
建筑科学
1个
天文地球
1个
金属学及工艺
1个
水利工程
1个
轻工技术与工...
1个
环境科学与工...
1个
农业科学
1个
艺术
1个
自然科学总论
1个
兵器科学与技...
主题
12个
内核
12个
操作系
12个
操作系统
11个
形式化
11个
硬件
11个
微内核
11个
架构
10个
形式化设计
10个
形式化验证
10个
微内核架构
9个
网络
9个
计算机
7个
定理
7个
定理证明
7个
信号
6个
ISABEL...
5个
导联
5个
断言
4个
电路
4个
电图
机构
16个
南京大学
5个
常熟理工学院
2个
扬州大学
2个
中国药科大学
1个
东北大学
1个
河海大学
1个
伦敦大学
1个
南京林业大学
1个
南京师范大学
1个
南京军区南京...
1个
中国矿业大学
1个
山东师范大学
1个
计算机软件新...
资助
19个
江苏省“六大...
18个
国家自然科学...
15个
江苏省高校自...
12个
国家高技术研...
10个
江苏省自然科...
7个
江苏省科技计...
6个
中国博士后科...
5个
江苏省“青蓝...
5个
中央高校基本...
4个
江苏省科技支...
4个
江苏省“青蓝...
3个
国家教育部博...
3个
国家自然科学...
3个
江苏省高等教...
2个
国家重点基础...
2个
江苏省教育厅...
2个
苏州市科技发...
2个
国家级大学生...
2个
江苏省高校优...
2个
中国矿业大学...
传媒
8个
电子学报
8个
南京大学学报...
8个
计算机工程
7个
计算机学报
6个
计算机应用与...
6个
计算机科学
5个
物理学报
5个
计算机应用研...
5个
小型微型计算...
5个
北京生物医学...
5个
计算机工程与...
4个
科学通报
4个
电子测量技术
4个
计算机研究与...
4个
数据采集与处...
4个
软件学报
4个
中国生物医学...
4个
常熟理工学院...
4个
2013中国...
3个
电子技术应用
地区
19个
江苏省
共
19
条 记 录,以下是 1-10
全选
清除
导出
钱振江
供职机构:常熟理工学院
研究主题:操作系统 形式化设计 形式化验证 定理证明 形式化
发表作品
相关人物
供职机构
所获资助
研究领域
黄皓
供职机构:南京大学
研究主题:入侵检测 网络安全 访问控制 操作系统 计算机网络
发表作品
相关人物
供职机构
所获资助
研究领域
宋方敏
供职机构:南京大学计算机科学与技术系
研究主题:量子计算 形式化设计 公理集合论 操作系统 量子算法
发表作品
相关人物
供职机构
所获资助
研究领域
刘苇
供职机构:南京大学
研究主题:形式化验证 操作系统 形式化设计 定理证明 ISABELLE
发表作品
相关人物
供职机构
所获资助
研究领域
李康杰
供职机构:南京大学计算机科学与技术系
研究主题:形式化验证 形式化设计 形式化 微内核架构 ISABELLE
发表作品
相关人物
供职机构
所获资助
研究领域
庄建军
供职机构:南京大学
研究主题:心电信号 乐音 微控制器 尿液 尿路造口袋
发表作品
相关人物
供职机构
所获资助
研究领域
刘永俊
供职机构:常熟理工学院
研究主题:人脸识别 特征抽取 最大散度差鉴别分析 最大散度差 主分量分析
发表作品
相关人物
供职机构
所获资助
研究领域
卢亮
供职机构:南京大学
研究主题:微内核 形式化设计 形式化描述 形式化 多线程机制
发表作品
相关人物
供职机构
所获资助
研究领域
汤力
供职机构:常熟理工学院
研究主题:操作系统 虚拟机监控器 权能 虚拟化 动态内存
发表作品
相关人物
供职机构
所获资助
研究领域
鲁亚峰
供职机构:南京大学计算机科学与技术系
研究主题:ANDROID系统 安卓系统 权限 通信安全 用户
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张