×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院重庆绿色智能技术研究院机构知识库
KMS Chongqing Institute of Green and Intelligent Technology, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
自动推理与认知研究... [13]
作者
冯勇 [20]
吴文渊 [20]
陈经纬 [9]
李轶 [3]
史晓雨 [1]
文献类型
期刊论文 [12]
会议论文 [8]
发表日期
2024 [1]
2021 [1]
2020 [3]
2019 [2]
2017 [3]
2016 [3]
更多...
语种
英语 [20]
出处
2014 Sympo... [2]
JOURNAL OF... [2]
12th Inter... [1]
17th Inter... [1]
19th Inter... [1]
2017 7th I... [1]
更多...
资助项目
Key Resear... [3]
CAS Light ... [2]
Guizhou Sc... [2]
NSFC[11671... [2]
NSFC[11771... [2]
National K... [2]
更多...
收录类别
SCI [11]
EI [9]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
(本次检索基于用户作品认领结果)
浏览/检索结果:
共20条,第1-10条
帮助
限定条件
语种:英语
作者:冯勇
第一作者
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
发表日期升序
发表日期降序
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
On the Probability of Generating a Primitive Matrix
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2024, 页码: 17
作者:
Chen, Jingwei
;
Feng, Yong
;
Liu, Yang
;
Wu, Wenyuan
收藏
  |  
浏览/下载:191/0
  |  
提交时间:2024/04/07
Integer matrix
matrix completion
probabilistic algorithm
unimodular matrix
cuSCNN: A Secure and Batch-Processing Framework for Privacy-Preserving Convolutional Neural Network Prediction on GPU
期刊论文
FRONTIERS IN COMPUTATIONAL NEUROSCIENCE, 2021, 卷号: 15, 页码: 13
作者:
Bai, Yanan
;
Liu, Quanliang
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:60/0
  |  
提交时间:2022/08/22
privacy-preserving
convolutional neural network
homomorphic encryption
GPU computation
deep learning
cloud computing
Numerical roadmap of smooth bounded real algebraic surface
期刊论文
COMPUTER AIDED GEOMETRIC DESIGN, 2020, 卷号: 79, 页码: 16
作者:
Chen, Changbo
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:91/0
  |  
提交时间:2020/08/24
Roadmap
Silhouette
Critical point
Connectivity
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 23
作者:
Chen, Changbo
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:94/0
  |  
提交时间:2020/08/24
Continuation method
critical point method
real algebraic curve
singularity
seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation
期刊论文
IEEE ACCESS, 2020, 卷号: 8, 页码: 98383-98394
作者:
Bai, Yanan
;
Shi, Xiaoyu
;
Wu, Wenyuan
;
Chen, Jingwei
;
Feng, Yong
收藏
  |  
浏览/下载:106/0
  |  
提交时间:2020/08/24
Encryption
Data privacy
Cloud computing
Lattices
Machine learning
Computational efficiency
Homomorphic encryption
matrix computation
machine learning
GSW encryption scheme
big data
privacy protection
On ranking functions for single-path linear-constraint loops
期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:
Li, Yi
;
Wu, Wenyuan
;
Feng, Yong
收藏
  |  
浏览/下载:85/0
  |  
提交时间:2020/08/24
Software reliability
Program termination
Linear ranking functions
Farkas' lemma
THE PSLQ ALGORITHM FOR EMPIRICAL DATA
期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:
Feng, Yong
;
Chen, Jingwei
;
Wu, Wenyuan
Adobe PDF(321Kb)
  |  
收藏
  |  
浏览/下载:251/0
  |  
提交时间:2019/03/01
Integer relation
PSLQ
empirical data
Computing real witness points of positive dimensional polynomial systems
期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:
Wu, Wenyuan
;
Reid, Greg
;
Feng, Yong
收藏
  |  
浏览/下载:163/0
  |  
提交时间:2018/03/05
Numerical algebraic geometry
Real algebraic geometry
Homotopy continuation
Singular critical points
Real witness points
Full Rank Representation of Real Algebraic Sets and Applications
会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:
Chen, Changbo
;
Wu, Wenyuan
;
Feng, Yong
Adobe PDF(1096Kb)
  |  
收藏
  |  
浏览/下载:122/0
  |  
提交时间:2018/03/16
Faster binary arithmetic operations on encrypted integers
会议论文
2017 7th International Workshop on Computer Science and Engineering, WCSE 2017, No. 38 A, Xueqing Road, Haidian District, Beijing, China, June 25, 2017 - June 27, 2017
作者:
Chen, Jingwei
;
Feng, Yong
;
Liu, Yang
;
Wu, Wenyuan
收藏
  |  
浏览/下载:103/0
  |  
提交时间:2018/03/16