2024年12月29日
星期日
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
苏开乐
作品数:
48
被引量:152
H指数:8
供职机构:
浙江师范大学数理与信息工程学院
更多>>
发文基金:
国家自然科学基金
广东省自然科学基金
国家重点基础研究发展计划
更多>>
相关领域:
自动化与计算机技术
理学
电子电信
更多>>
合作作者
陈清亮
暨南大学信息科学技术学院计算机...
吕关锋
北京工业大学计算机学院
吴立军
电子科技大学计算机科学与工程学...
丁德成
汕头大学计算机科学研究所
骆翔宇
清华大学软件学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
29个
自动化与计算...
21个
电子电信
15个
理学
13个
文化科学
7个
经济管理
6个
自然科学总论
4个
机械工程
3个
生物学
3个
天文地球
3个
交通运输工程
3个
语言文字
2个
哲学宗教
2个
化学工程
2个
冶金工程
2个
轻工技术与工...
2个
一般工业技术
1个
石油与天然气...
1个
动力工程及工...
1个
建筑科学
1个
航空宇航科学...
主题
20个
网络
17个
计算机
14个
形式化
14个
逻辑
13个
英文
13个
语义
13个
图像
12个
神经网
12个
神经网络
12个
数据库
12个
安全协议
9个
通信
8个
BDD
7个
定理
7个
智能体
6个
多项式
6个
异构
6个
知识
4个
代理
4个
电子商务
机构
12个
中山大学
6个
南京大学
4个
北京工业大学
3个
北京大学
3个
广东技术师范...
3个
浙江师范大学
2个
国防科学技术...
2个
暨南大学
2个
华南师范大学
2个
清华大学
2个
华南理工大学
2个
汕头大学
2个
中国科学院
2个
上海大学
1个
贵州大学
1个
复旦大学
1个
广东商学院
1个
桂林电子科技...
1个
电子科技大学
1个
湖南文理学院
资助
26个
国家自然科学...
19个
国家重点基础...
13个
广东省自然科...
10个
国家杰出青年...
9个
国家高技术研...
8个
国家教育部博...
7个
中国博士后科...
5个
教育部留学回...
5个
德国研究基金
4个
广东省科技攻...
4个
国家科技支撑...
4个
江苏省自然科...
4个
广东省科技计...
3个
北京市自然科...
3个
国家社会科学...
3个
广州市科技计...
3个
广东省高校优...
3个
国家重点实验...
3个
教育部“新世...
3个
中央高校基本...
传媒
16个
计算机学报
16个
计算机科学
14个
软件学报
13个
计算机工程与...
12个
计算机研究与...
10个
计算机工程
9个
计算机工程与...
9个
小型微型计算...
8个
中山大学学报...
8个
计算机应用研...
7个
计算机应用与...
6个
计算机应用
6个
计算机工程与...
6个
2004年全...
5个
通信学报
5个
华中科技大学...
5个
计算机教育
5个
计算机科学与...
4个
科学通报
4个
模式识别与人...
地区
11个
广东省
8个
北京市
4个
江苏省
3个
浙江省
2个
湖南省
1个
湖北省
1个
上海市
1个
四川省
1个
福建省
1个
贵州省
共
33
条 记 录,以下是 1-10
全选
清除
导出
陈清亮
供职机构:暨南大学
研究主题:SPV 最短路径 认知逻辑 安全协议 语义模型
发表作品
相关人物
供职机构
所获资助
研究领域
吕关锋
供职机构:北京工业大学计算机学院
研究主题:BDD OBDD SPV 最短路径 知识结构
发表作品
相关人物
供职机构
所获资助
研究领域
丁德成
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
发表作品
相关人物
供职机构
所获资助
研究领域
吴立军
供职机构:电子科技大学计算机科学与工程学院
研究主题:形式化方法 时态 时态认知逻辑 EMD 符号模型检测
发表作品
相关人物
供职机构
所获资助
研究领域
肖茵茵
供职机构:广东技术师范学院计算机科学学院
研究主题:实例化 安全协议验证 认证性 有界模型检测 自动化验证
发表作品
相关人物
供职机构
所获资助
研究领域
骆翔宇
供职机构:华侨大学计算机科学与技术学院
研究主题:WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
发表作品
相关人物
供职机构
所获资助
研究领域
杨晋吉
供职机构:华南师范大学
研究主题:存储介质 图像 形式化验证 染色体 概率模型检测
发表作品
相关人物
供职机构
所获资助
研究领域
岳伟亚
供职机构:中山大学信息科学与技术学院信息技术教育部重点实验室
研究主题:语义模型 形态小波 灰度形态学 模糊形态学 图像处理
发表作品
相关人物
供职机构
所获资助
研究领域
林瀚
供职机构:中山大学
研究主题:数据序列 样本数据 序列数据库 序列数据 关注度
发表作品
相关人物
供职机构
所获资助
研究领域
李超明
供职机构:中山大学信息科学与技术学院计算机科学系
研究主题:MAS模型 MAS AO 方法论 体系结构
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张