咨询与建议

限定检索结果

文献类型

  • 567 篇 会议
  • 522 篇 期刊文献

馆藏范围

  • 1,089 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 756 篇 工学
    • 592 篇 计算机科学与技术...
    • 517 篇 软件工程
    • 153 篇 信息与通信工程
    • 86 篇 控制科学与工程
    • 77 篇 生物工程
    • 67 篇 生物医学工程(可授...
    • 57 篇 机械工程
    • 53 篇 电子科学与技术(可...
    • 50 篇 化学工程与技术
    • 44 篇 光学工程
    • 41 篇 电气工程
    • 26 篇 仪器科学与技术
    • 23 篇 交通运输工程
    • 22 篇 航空宇航科学与技...
    • 19 篇 土木工程
    • 14 篇 建筑学
    • 13 篇 动力工程及工程热...
  • 419 篇 理学
    • 295 篇 数学
    • 95 篇 生物学
    • 72 篇 统计学(可授理学、...
    • 57 篇 物理学
    • 51 篇 化学
    • 29 篇 系统科学
  • 253 篇 管理学
    • 136 篇 管理科学与工程(可...
    • 120 篇 图书情报与档案管...
    • 39 篇 工商管理
  • 43 篇 医学
    • 35 篇 临床医学
    • 28 篇 基础医学(可授医学...
    • 24 篇 药学(可授医学、理...
  • 19 篇 农学
  • 17 篇 法学
    • 15 篇 社会学
  • 7 篇 经济学
  • 6 篇 教育学
  • 4 篇 艺术学
  • 3 篇 文学
  • 2 篇 军事学

主题

  • 64 篇 computer science
  • 57 篇 educational inst...
  • 50 篇 knowledge engine...
  • 50 篇 laboratories
  • 50 篇 educational tech...
  • 39 篇 data mining
  • 27 篇 computer science...
  • 24 篇 ontology
  • 21 篇 image segmentati...
  • 21 篇 semantics
  • 20 篇 feature extracti...
  • 16 篇 genetic algorith...
  • 15 篇 deep learning
  • 14 篇 ontologies
  • 14 篇 topology
  • 13 篇 reinforcement le...
  • 13 篇 clustering algor...
  • 11 篇 support vector m...
  • 11 篇 recommender syst...
  • 11 篇 neural networks

机构

  • 471 篇 college of compu...
  • 273 篇 key laboratory o...
  • 84 篇 key laboratory o...
  • 44 篇 college of softw...
  • 41 篇 key laboratory o...
  • 35 篇 key laboratory o...
  • 32 篇 college of compu...
  • 29 篇 school of artifi...
  • 24 篇 jilin university...
  • 20 篇 jilin university...
  • 19 篇 key laboratory o...
  • 19 篇 key laboratory o...
  • 17 篇 school of comput...
  • 17 篇 key laboratory o...
  • 16 篇 jilin university...
  • 15 篇 key laboratory o...
  • 15 篇 department of co...
  • 15 篇 key laboratory o...
  • 14 篇 key laboratory o...
  • 14 篇 the college of c...

作者

  • 45 篇 yang bo
  • 35 篇 liang yanchun
  • 34 篇 sun geng
  • 31 篇 ouyang dantong
  • 28 篇 dantong ouyang
  • 28 篇 li xiongfei
  • 26 篇 li ximing
  • 25 篇 ouyang jihong
  • 24 篇 yanchun liang
  • 23 篇 niyato dusit
  • 23 篇 bo yang
  • 22 篇 liu dayou
  • 22 篇 yanheng liu
  • 22 篇 liu yanheng
  • 21 篇 li jiahui
  • 20 篇 da-you liu
  • 19 篇 guan renchu
  • 19 篇 zuo wanli
  • 19 篇 dayou liu
  • 18 篇 chen haipeng

语言

  • 1,022 篇 英文
  • 47 篇 其他
  • 20 篇 中文
检索条件"机构=Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education"
1089 条 记 录,以下是211-220 订阅
排序:
Mapping integrity constraint ontology to relational databases
收藏 引用
The Journal of China Universities of Posts and Telecommunications 2010年 第6期17卷 113-121页
作者: OUYANG Dan-tong College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China
Integrity constraint is a formula that checks whether all necessary information has been explicitly provided. It can be added into ontology to guarantee the data-centric application. In this paper,a set of constraint ... 详细信息
来源: 评论
Solving SAT problem with a revised hitting set algorithm
Solving SAT problem with a revised hitting set algorithm
收藏 引用
2010 2nd International Conference on Future Computer and Communication, ICFCC 2010
作者: Xu, Youjun Ouyang, Dantong Ye, Yuxin He, Jialiang College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China
The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and... 详细信息
来源: 评论
A Morphology Focused Cell Detection Model for Histopathology Images
A Morphology Focused Cell Detection Model for Histopathology...
收藏 引用
2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023
作者: Wang, Zhe Wei, Fangyue Guo, Shuyu Che, Xiaoting Bai, Tian Jilin University College of Computer Science and Technology Changchun China Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China
The accurate automatic recognition of cell locations is of great significance for downstream tasks in pathology. Due to the various size and distribution of different cell types, previous cell detection methods applie... 详细信息
来源: 评论
Singleton arc consistency based on failure-first principle
Singleton arc consistency based on failure-first principle
收藏 引用
International Conference on Machine Learning and Cybernetics
作者: Li, Zhan-Shan Xing, Shi-Mei Yang, Feng-Jie Du, Hui-Ying Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China College of Computer Science and Technology Changchun 130012 China
Constraint satisfaction problems play a significant role in the field of Artificial Intelligence. Reducing the search space can improve the efficiency of solving the problems before the search of solutions. Applying i... 详细信息
来源: 评论
Quasi-periodic Solutions of the General Nonlinear Beam Equations
收藏 引用
Communications in Mathematical Research 2012年 第1期28卷 51-64页
作者: GAO YI-XIAN College of Mathematics and Statistics Northeast Normal University Changchun 130024 Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012
In this paper, one-dimensional (1D) nonlinear beam equations of the form utt - uxx + uxxxx + mu = f (u) with Dirichlet boundary conditions are considered, where the nonlinearity f is an analytic, odd function an... 详细信息
来源: 评论
Blind identification of image copy-paste tampering based on logarithm polar coordinate transformation
Blind identification of image copy-paste tampering based on ...
收藏 引用
2011 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2011
作者: Lv, A. Ying-Da Shen, B. Xuan-Jing Chen, C. Hai-Peng College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
To detect image copy-paste tampering, an improved blind identification was proposed in this study. Firstly, according to gray-level and gray-structure, every couple of doubtful blocks can be located. Secondly, for eac... 详细信息
来源: 评论
SMRI: A New Method for siRNA Design for COVID-19 Therapy
收藏 引用
Journal of Computer Science & Technology 2022年 第4期37卷 991-1002页
作者: Meng-Xin Chen Xiao-Dong Zhu Hao Zhang Zhen Liu Yuan-Ning Liu College of Software Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education Jilin UniversityChangchun 130012China College of Computer Science and Technology Jilin UniversityChangchun 130012China Graduate School of Engineering Nagasaki Institute of Applied ScienceNagasaki 851-0193Japan
First discovered in Wuhan, China, SARS-CoV-2 is a highly pathogenic novel coronavirus, which rapidly spreads globally and becomes a pandemic with no vaccine and limited distinctive clinical drugs available till March ... 详细信息
来源: 评论
An improved particle swarm algorithms for global optimization
An improved particle swarm algorithms for global optimizatio...
收藏 引用
2010 International Conference on Machine Vision and Human-Machine Interface, MVHI 2010
作者: Tian, Ye Liu, Dayou College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China
Particle swarm optimization (PSO) algorithm is a robust and efficient approach for solving complex real-world problems. In this paper, a modified particle swarm algorithm (IMPSO) is introduced for unconstrained global... 详细信息
来源: 评论
MAX-MIN ant system on GPU with CUDA
MAX-MIN ant system on GPU with CUDA
收藏 引用
2009 4th International Conference on Innovative Computing, Information and Control, ICICIC 2009
作者: Bai, Hongtao Ouyang, Dantong Li, Ximing He, Lili Yu, Haihong College of Computer Science and Technology Jilin University 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University 130012 China
We propose a parallel MAX-MIN Ant System (MMAS) algorithm that is suitable for an implementation on graphics processing units (GPUs). Multi ant colonies with respective parameter settings are whole offloaded to the GP... 详细信息
来源: 评论
An approach to accelerate diagnosis by isomorphic determining
An approach to accelerate diagnosis by isomorphic determinin...
收藏 引用
2009 International Conference on Information engineering and Computer Science, ICIECS 2009
作者: Wang, Xiaoyu Ouyang, Dantong Feng, Yuxuan Zhao, Jian College of Computer Science and Technology Jilin University Key Laboratory Symbolic Computation and Knowledge Engineering Ministry of Educaion Changchun China
When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic tas... 详细信息
来源: 评论