×
验证码:
换一张
Forgotten Password?
Stay signed in
China Science and Technology Network Pass Registration
×
China Science and Technology Network Pass Registration
Log In
Chinese
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
Log In
Register
ALL
ORCID
Title
Creator
Date Issued
Subject Area
Keyword
Document Type
Source Publication
Date Accessioned
Indexed By
Publisher
Funding Project
MOST Discipline Catalogue
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
Subjects
K-Map
News
Search in the results
Collection
Institute... [24]
Institute... [17]
Institue ... [14]
National ... [6]
Institute ... [3]
Authors
Ma Zhimin... [11]
Li Ziming [6]
Li Ming [6]
Yuan Chunm... [5]
Ming Pingb... [4]
Li Qizhai [4]
More...
Document Type
Journal ... [102]
Date Issued
2020 [4]
2019 [12]
2018 [5]
2017 [9]
2016 [6]
2015 [4]
More...
Language
英语 [91]
中文 [10]
Source Publication
软件学报 [6]
JOURNAL OF... [4]
系统工程理论与实践 [4]
JOURNAL OF... [3]
数学进展 [3]
系统科学与数学 [3]
More...
Funding Project
National N... [6]
CAS NCMIS [5]
National N... [3]
National N... [3]
National N... [3]
Fund of th... [2]
More...
Indexed By
CSCD [10]
SCI [5]
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-10 of 102
Help
Show only claimed items
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submit date Ascending
Submit date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Issue Date Ascending
Issue Date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Modes of genetic adaptations underlying functional innovations in the rumen
期刊论文
SCIENCE CHINA-LIFE SCIENCES, 2020, 页码: 21
Authors:
Pan, Xiangyu
;
Cai, Yudong
;
Li, Zongjun
;
Chen, Xianqing
;
Heller, Rasmus
;
Wang, Nini
;
Wang, Yu
;
Zhao, Chen
;
Wang, Yong
;
Xu, Han
;
Li, Songhai
;
Li, Ming
;
Li, Cunyuan
;
Hu, Shengwei
;
Li, Hui
;
Wang, Kun
;
Chen, Lei
;
Wei, Bin
;
Zheng, Zhuqing
;
Fu, Weiwei
;
Yang, Yue
;
Zhang, Tingting
;
Hou, Zhuoting
;
Yan, Yueyang
;
Lv, Xiaoyang
;
Sun, Wei
;
Li, Xinyu
;
Huang, Shisheng
;
Liu, Lixiang
;
Mao, Shengyong
;
Liu, Wenqing
;
Hua, Jinlian
;
Li, Zhipeng
;
Zhang, Guojie
;
Chen, Yulin
;
Wang, Xihong
;
Qiu, Qiang
;
Dalrymple, Brian P.
;
Wang, Wen
;
Jiang, Yu
Favorite
  |  
View/Download:1/0
  |  
Submit date:2021/01/14
rumen innovations
comparative transcriptomics
comparative genomics
evo-devo
evolution of organs
Large-scale Identification of N-linked Intact Glycopeptides in Human Serum using HILIC Enrichment and Spectral Library Search
期刊论文
MOLECULAR & CELLULAR PROTEOMICS, 2020, 卷号: 19, 期号: 4, 页码: 672-689
Authors:
Shu, Qingbo
;
Li, Mengjie
;
Shu, Lian
;
An, Zhiwu
;
Wang, Jifeng
;
Lv, Hao
;
Yang, Ming
;
Cai, Tanxi
;
Hu, Tony
;
Fu, Yan
;
Yang, Fuquan
Favorite
  |  
View/Download:16/0
  |  
Submit date:2020/05/24
THE QUADRATIC SPECHT TRIANGLE
期刊论文
JOURNAL OF COMPUTATIONAL MATHEMATICS, 2020, 卷号: 38, 期号: 1, 页码: 103-124
Authors:
Li, Hongliang
;
Ming, Pingbing
;
Shi, Zhongci
Favorite
  |  
View/Download:8/0
  |  
Submit date:2020/05/24
Specht triangle
Plate bending element
Basis functions
FatSeal:一种基于格的高效签名算法
期刊论文
电子与信息学报, 2020, 卷号: 42.0, 期号: 002, 页码: 333-340
Authors:
谢天元
;
李昊宇
;
朱熠铭
;
潘彦斌
;
刘珍
;
杨照民
Favorite
  |  
View/Download:2/0
  |  
Submit date:2021/01/14
数字签名
格
Fiat-Shamir签名
后量子
拒绝采样
Apparent singularities of D-finite systems
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
Authors:
Chen, Shaoshi
;
Kauers, Manuel
;
Li, Ziming
;
Zhang, Yi
Favorite
  |  
View/Download:21/0
  |  
Submit date:2020/01/10
D-finite system
Grobner basis
Ordinary point
Formal power series
Apparent singularity
Desingularization
Hierarchical graphical model reveals HFR1 bridging circadian rhythm and flower development in Arabidopsis thaliana
期刊论文
NPJ SYSTEMS BIOLOGY AND APPLICATIONS, 2019, 卷号: 5, 页码: 11
Authors:
Duren, Zhana
;
Wang, Yaling
;
Wang, Jiguang
;
Zhao, Xing-Ming
;
Lv, Le
;
Li, Xiaobo
;
Liu, Jingdong
;
Zhu, Xin-Guang
;
Chen, Luonan
;
Wang, Yong
Favorite
  |  
View/Download:16/0
  |  
Submit date:2020/05/24
An Arbitrary-Order Discontinuous Galerkin Method with One Unknown Per Element
期刊论文
JOURNAL OF SCIENTIFIC COMPUTING, 2019, 卷号: 80, 期号: 1, 页码: 268-288
Authors:
Li, Ruo
;
Ming, Pingbing
;
Sun, Ziyuan
;
Yang, Zhijian
Favorite
  |  
View/Download:17/0
  |  
Submit date:2020/01/10
Least-squares reconstruction
Discontinuous Galerkin method
Elliptic problem
OptQuant: Distributed training of neural networks with optimized quantization mechanisms
期刊论文
NEUROCOMPUTING, 2019, 卷号: 340, 页码: 233-244
Authors:
He, Li
;
Zheng, Shuxin
;
Chen, Wei
;
Ma, Zhi-Ming
;
Liu, Tie-Yan
Favorite
  |  
View/Download:77/0
  |  
Submit date:2019/12/13
Distributed machine learning
Deep learning
Stochastic gradient descent
Gradient quantization
Elimination Theory in Differential and Difference Algebra
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 287-316
Authors:
Li Wei
;
Yuan Chun-Ming
Favorite
  |  
View/Download:18/0
  |  
Submit date:2019/04/02
Differential Chow forms
differential resultants
sparse differential resultants
Wu-Ritt characteristic sets
The Ore-Sato Theorem and Shift Exponents in the q-Difference Case
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 271-286
Authors:
Du Hao
;
Li Ziming
Favorite
  |  
View/Download:16/0
  |  
Submit date:2019/04/02
Coboundary
cocycle
q-factorial term
q-hypergeometric term