咨询与建议

限定检索结果

文献类型

  • 480 篇 期刊文献
  • 398 篇 会议

馆藏范围

  • 878 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 622 篇 工学
    • 498 篇 计算机科学与技术...
    • 424 篇 软件工程
    • 145 篇 信息与通信工程
    • 73 篇 控制科学与工程
    • 65 篇 生物工程
    • 47 篇 生物医学工程(可授...
    • 44 篇 机械工程
    • 41 篇 电气工程
    • 41 篇 电子科学与技术(可...
    • 37 篇 化学工程与技术
    • 30 篇 光学工程
    • 22 篇 航空宇航科学与技...
    • 19 篇 交通运输工程
    • 16 篇 仪器科学与技术
    • 14 篇 土木工程
    • 13 篇 动力工程及工程热...
    • 13 篇 网络空间安全
  • 337 篇 理学
    • 239 篇 数学
    • 77 篇 生物学
    • 58 篇 统计学(可授理学、...
    • 41 篇 物理学
    • 38 篇 化学
    • 28 篇 系统科学
  • 215 篇 管理学
    • 113 篇 管理科学与工程(可...
    • 104 篇 图书情报与档案管...
    • 33 篇 工商管理
  • 35 篇 医学
    • 27 篇 临床医学
    • 19 篇 基础医学(可授医学...
    • 16 篇 药学(可授医学、理...
    • 11 篇 公共卫生与预防医...
  • 12 篇 法学
  • 9 篇 农学
  • 5 篇 经济学
  • 3 篇 教育学
  • 3 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 49 篇 computer science
  • 41 篇 educational inst...
  • 41 篇 laboratories
  • 39 篇 educational tech...
  • 37 篇 knowledge engine...
  • 23 篇 computer science...
  • 22 篇 data mining
  • 17 篇 semantics
  • 15 篇 reinforcement le...
  • 13 篇 deep learning
  • 13 篇 image segmentati...
  • 12 篇 feature extracti...
  • 11 篇 ontologies
  • 11 篇 artificial intel...
  • 10 篇 authentication
  • 10 篇 multiobjective o...
  • 9 篇 recommender syst...
  • 9 篇 topology
  • 8 篇 contrastive lear...
  • 8 篇 computational mo...

机构

  • 421 篇 college of compu...
  • 283 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 41 篇 key laboratory o...
  • 35 篇 key laboratory o...
  • 34 篇 college of softw...
  • 33 篇 school of artifi...
  • 32 篇 college of compu...
  • 29 篇 key laboratory o...
  • 25 篇 jilin university...
  • 20 篇 jilin university...
  • 19 篇 key laboratory o...
  • 17 篇 key laboratory o...
  • 16 篇 jilin university...
  • 16 篇 school of comput...
  • 15 篇 key laboratory o...
  • 15 篇 the college of c...
  • 14 篇 key laboratory o...
  • 13 篇 college of compu...
  • 13 篇 international ce...

作者

  • 38 篇 yang bo
  • 35 篇 sun geng
  • 28 篇 li ximing
  • 27 篇 ouyang jihong
  • 25 篇 dantong ouyang
  • 25 篇 liu dayou
  • 24 篇 niyato dusit
  • 22 篇 ouyang dantong
  • 22 篇 yanheng liu
  • 22 篇 li jiahui
  • 21 篇 chen haipeng
  • 21 篇 liu yanheng
  • 20 篇 bo yang
  • 19 篇 chang yi
  • 19 篇 huang lan
  • 19 篇 li xiongfei
  • 18 篇 dayou liu
  • 17 篇 wang jian
  • 17 篇 wang jiacheng
  • 16 篇 guan renchu

语言

  • 795 篇 英文
  • 48 篇 其他
  • 35 篇 中文
检索条件"机构=MOE Key Laboratory of Symbolic Computation and Knowledge Engineering"
878 条 记 录,以下是171-180 订阅
排序:
Computing PUR of Zero-Dimensional Ideals of Breadth at Most One
收藏 引用
Journal of Systems Science & Complexity 2021年 第6期34卷 2396-2409页
作者: PAN Jian SHANG Baoxin LI Zhe ZHANG Shugong School of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education)Jilin UniversityChangchun 130012China College of Science Northeast Electric Power UniversityJilin 132012China School of Science Changchun University of Science and TechnologyChangchun 130022China
In this paper,for a zero-dimensional polynomial ideal I,the authors prove that k[x_(1),x_(2),…,x_(n)]/I is cyclic if and only if the breadth of I is 0 or ***,the authors present a new algorithm to compute polynomial ... 详细信息
来源: 评论
FlexPDA:A Flexible Programming Framework for Deep Learning Accelerators
收藏 引用
Journal of Computer Science & Technology 2022年 第5期37卷 1200-1220页
作者: Lei Liu Xiu Ma Hua-xiao Liu Guang-li Li Lei Liu College of Computer Science and Technology Jilin UniversityChangchunChina Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchunChina State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesBeijingChina University of Chinese Academy of Sciences BeijingChina
There are a wide variety of intelligence accelerators with promising performance and energy efficiency,deployed in a broad range of applications such as computer vision and speech ***,programming productivity hinders ... 详细信息
来源: 评论
RMADV-Hop: An improved DV-Hop localization algorithm
RMADV-Hop: An improved DV-Hop localization algorithm
收藏 引用
7th International Conference on Information Technology - New Generations, ITNG 2010
作者: Yi, Tingting Fang, Zhiyi Li, Ruixue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun 130012 China
In recent years, with the development of the wireless sensor networks, the localization method receives the attention of many researchers. However, due to the network cost and characteristics of sensor nodes, most of ... 详细信息
来源: 评论
Learning the structure of dynamic bayesian network with domain knowledge
Learning the structure of dynamic bayesian network with doma...
收藏 引用
2012 International Conference on Machine Learning and Cybernetics, ICMLC 2012
作者: Chen, Juan Jia, Haiyang Huang, Yuxiao Liu, Dayou College of Computer Science and Technology Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China
Dynamic Bayesian Network (DBN) is a graphical model for representing temporal stochastic processes. Learning the structure of DBN is a fundamental step for parameter learning, inference and application. For large scal... 详细信息
来源: 评论
A design of product configuration manager based on weight constraint parameter value in manufacture
A design of product configuration manager based on weight co...
收藏 引用
5th International Conference on Control and Automation, ICCA'05
作者: Li, Niya Liu, Dayou Zhang, Jian College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China
The configuration problem in manufacture is more complicated than most other fields. Therefore, the design of modeling and reasoning module for product configuration manager in manufacture is very important and comple... 详细信息
来源: 评论
A BRS-based approach for modeling RFID untraceability
收藏 引用
International Journal of Advancements in Computing Technology 2011年 第11期3卷 96-103页
作者: Jialiang, He Dantong, Ouyang Youjun, Xu College of Computer Science and Technology Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China College of Computer Science and Information Technology Daqing Normal University China
Untraceability is an important aspect of RFID security. A BRS-based approach for modeling RFID untraceability is provided in this paper. Elements in a RFID protocol can be represented as bigraphs, communications betwe... 详细信息
来源: 评论
A PKI-based lightweight workflow model
A PKI-based lightweight workflow model
收藏 引用
5th International Conference on Control and Automation, ICCA'05
作者: Zhang, Jian Sun, Jigui Li, Niya Hu, Chengquan Li, Zehai College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education China
The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framewo... 详细信息
来源: 评论
Operational semantics of ambient calculus
Operational semantics of ambient calculus
收藏 引用
SOSE 2005: IEEE International Workshop on Service-Oriented System engineering
作者: Zhang, Jing Jin, Ying Guo, De-Gui Liu, Lei Jin, Cheng-Zhi Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education of P.R.China Juin University Changchun 130012 China
Mobile ambients is a process calculus for modeling mobile agents in wide-area networks. It has important theoretical and practical values in studying concurrent and mobile computation as well as the security of intera... 详细信息
来源: 评论
Detecting epistasis by LASSO-penalized-model search algorithm in human Genome-Wide Association Studies
Detecting epistasis by LASSO-penalized-model search algorith...
收藏 引用
4th International Conference on Materials Science and Information Technology, MSIT 2014
作者: Zhou, Zhi Hui Liu, Gui Xia Su, Ling Tao Han, Liang Yan, Lun College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China
Extensive studies have shown that many complex diseases are influenced by interaction of certain genes, while due to the limitations and drawbacks of adopting logistic regression (LR) to detect epistasis in human Geno... 详细信息
来源: 评论
Learning essential graph with immune co-evolutionary algorithm
Learning essential graph with immune co-evolutionary algorit...
收藏 引用
International Conference on Information Science, Signal Processing and Their Applications
作者: Jia, Haiyang Chen, Juan Liu, Dayou College of Computer Science and Technology Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China
Essential graph is a graphical representation for Markov equivalence classes of Bayesian networks. Learning essential graph can avoid some problems in traditional Bayesian networks learning algorithms: (1) the number ... 详细信息
来源: 评论