叶世伟
【姓名】 叶世伟
【职称】 副教授;
【研究领域】 自动化技术;计算机软件及计算机应用;互联网技术;
【研究方向】 人工智能、图像识别和神经计算等
【发表文献关键词】 Web性能,Web应用,瞬变电压抑制,电磁脉冲,目标函数,凸函数,瞬态干扰,信号处理方法,信号恢复,性能测试,脉冲信号,预测算法,转导推理,转导,干扰信号,低通滤波,改进算法,递归神经网络,弹性反传算...
【工作单位】 中国科学院研究生院
【曾工作单位】 中国科学院研究生院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/45 30 35 3 324 8053
中国期刊全文数据库    共找到44篇
[1]杨秀梅;施智平;吴爱轩;关永;叶世伟;张杰;.串联机器人雅可比矩阵的高阶逻辑形式化[J]小型微型计算机系统.2016,(04)
[2]安育龙;施智平;叶世伟;李晓娟;张杰;魏洪兴;.GJK算法的一种特殊情形的形式化验证和应用[J]小型微型计算机系统.2015,(02)
[3]吕兴利;施智平;李晓娟;关永;叶世伟;张杰;.连续傅里叶变换基础理论的高阶逻辑形式化[J]计算机科学.2015,(04)
[4]康西楠;施智平;叶世伟;关永;.矩阵变换理论在HOL4中的形式化[J]计算机仿真.2014,(03)
[5]师丽坤;赵春娜;关永;施智平;李晓娟;叶世伟;.实数二项式系数在HOL4中的形式化[J]计算机科学.2014,(02)
[6]赵刚;赵春娜;关永;吕兴利;李晓娟;施智平;王瑞;叶世伟;.拉普拉斯变换微积分性质在HOL4中的形式化[J]小型微型计算机系统.2014,(09)
[7]谷伟卿;施智平;关永;张杰;赵春娜;叶世伟;.Gauge积分在HOL4中的形式化[J]计算机科学.2013,(02)
[8]刘振科;施智平;关永;金声震;张杰;叶世伟;李晓娟;.函数矩阵理论在HOL4中的形式化[J]小型微型计算机系统.2013,(03)
[9]刘霏;谢斌;黄真;叶世伟;吴健康;王才丰;黄帅;.基于肌电和惯性传感器数据融合的脑卒中患者上肢够物运动定量评估[J]中国康复医学杂志.2013,(07)
[10]孟磊;叶世伟;.基于永磁同步电机的电动轮仿真方法研究[J]计算机仿真.2011,(05)
更多
中国重要会议全文数据库    共找到1篇
[1]宋欣;王娟;张斌;叶世伟;.流形学习算法分析及在人脸数据库上的应用[A].2008年全国开放式分布与并行计算机学术会议论文集(上册).2008-10-25
更多