咨询与建议

限定检索结果

文献类型

  • 2,745 篇 会议
  • 2,061 篇 期刊文献
  • 38 册 图书

馆藏范围

  • 4,844 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,748 篇 工学
    • 1,894 篇 计算机科学与技术...
    • 1,565 篇 软件工程
    • 541 篇 信息与通信工程
    • 411 篇 控制科学与工程
    • 289 篇 电气工程
    • 285 篇 电子科学与技术(可...
    • 272 篇 生物工程
    • 242 篇 生物医学工程(可授...
    • 215 篇 机械工程
    • 170 篇 光学工程
    • 151 篇 仪器科学与技术
    • 123 篇 化学工程与技术
    • 94 篇 网络空间安全
    • 93 篇 安全科学与工程
  • 1,910 篇 理学
    • 878 篇 物理学
    • 706 篇 数学
    • 364 篇 生物学
    • 244 篇 统计学(可授理学、...
    • 150 篇 系统科学
    • 141 篇 化学
  • 796 篇 管理学
    • 494 篇 管理科学与工程(可...
    • 352 篇 图书情报与档案管...
    • 275 篇 工商管理
  • 295 篇 医学
    • 243 篇 临床医学
    • 196 篇 基础医学(可授医学...
    • 103 篇 药学(可授医学、理...
    • 97 篇 公共卫生与预防医...
  • 148 篇 法学
    • 130 篇 社会学
  • 116 篇 教育学
    • 109 篇 教育学
  • 92 篇 经济学
    • 91 篇 应用经济学
  • 89 篇 农学
  • 17 篇 文学
  • 17 篇 军事学
  • 13 篇 艺术学
  • 1 篇 历史学

主题

  • 98 篇 deep learning
  • 85 篇 machine learning
  • 84 篇 computer science
  • 73 篇 accuracy
  • 72 篇 computational mo...
  • 68 篇 artificial intel...
  • 64 篇 feature extracti...
  • 63 篇 students
  • 63 篇 training
  • 51 篇 data mining
  • 49 篇 data models
  • 47 篇 proton-proton in...
  • 45 篇 higgs bosons
  • 43 篇 visualization
  • 42 篇 sentiment analys...
  • 41 篇 hadron colliders
  • 39 篇 education
  • 39 篇 optimization
  • 39 篇 decision making
  • 38 篇 internet of thin...

机构

  • 298 篇 faculty of scien...
  • 298 篇 department for p...
  • 290 篇 department of ph...
  • 282 篇 departamento de ...
  • 277 篇 department of ph...
  • 277 篇 kirchhoff-instit...
  • 275 篇 department of ph...
  • 273 篇 department of ph...
  • 273 篇 institute of phy...
  • 266 篇 institute of phy...
  • 256 篇 faculté des scie...
  • 252 篇 fakultät für phy...
  • 235 篇 institut für ast...
  • 231 篇 instituto de fís...
  • 229 篇 department of ph...
  • 228 篇 department of ph...
  • 226 篇 yerevan physics ...
  • 220 篇 department of ph...
  • 218 篇 physics division...
  • 215 篇 department of ph...

作者

  • 272 篇 c. alexa
  • 272 篇 g. bella
  • 272 篇 j. strandberg
  • 272 篇 d. calvet
  • 272 篇 c. amelung
  • 271 篇 j. m. izen
  • 271 篇 g. spigo
  • 271 篇 f. siegert
  • 267 篇 m. klein
  • 267 篇 r. ströhmer
  • 265 篇 m. rijssenbeek
  • 264 篇 s. jin
  • 264 篇 g. gaudio
  • 264 篇 s. mohapatra
  • 263 篇 a. c. könig
  • 260 篇 h. a. gordon
  • 259 篇 s. guindon
  • 256 篇 a. kaczmarska
  • 255 篇 y. nagasaka
  • 253 篇 h. sakamoto

语言

  • 4,189 篇 英文
  • 594 篇 其他
  • 37 篇 日文
  • 34 篇 中文
  • 4 篇 德文
  • 4 篇 法文
  • 1 篇 俄文
检索条件"机构=Graduate Program of Computer Science Faculty of Computer Science and Information Technology"
4844 条 记 录,以下是4741-4750 订阅
排序:
program synthesis for stepwise satisfiable specification of reactive system
Program synthesis for stepwise satisfiable specification of ...
收藏 引用
International Workshop on Principles of Software Evolution
作者: N. Yoshiura N. Yonezaki Department of Computer Science Graduate School of Information Science and Engineering Tokyo Institute of Technology Meguro Tokyo Japan
A reactive system, such as an operating system or elevator control system, is a system which ideally never terminates and is intended to maintain some interaction with environment. In previous research, a reactive sys... 详细信息
来源: 评论
Overcoming software complexity by constructing abstraction hierarchies: the principles and applications
Overcoming software complexity by constructing abstraction h...
收藏 引用
IEEE International Conference on Engineering of Complex computer Systems
作者: T.L. Kunii M. Hisada Faculty of Computer and Information Sciences Hosei University Koganei Tokyo Japan Graduate School of Computer Science and Engineering University of Aizu Aizu-Wakamatsu Japan
Ever increasing software complexity requires serious consideration to make software as a whole into sustainable social infrastructure. Abstraction hierarchies realized as incrementally modular hierarchies of software ... 详细信息
来源: 评论
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation
收藏 引用
Electronic Notes in Theoretical computer science 2000年 第2期30卷 199-207页
作者: Neng-Fa Zhou Sosuke Kaneko Department of Computer and Information Science Brooklyn College The City University of New York New York NY 11210-2889 USA Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan
In this paper, we extend the language we proposed in [11] to make it possible to program arc-consistency algorithms. We also propose a hybrid algorithm that integrates the interval-consistency (IC) and arc-consistency...
来源: 评论
Test generation for acyclic sequential circuits with hold registers
Test generation for acyclic sequential circuits with hold re...
收藏 引用
IEEE International Conference on computer-Aided Design
作者: T. Inoue D. Kumar Das C. Sano T. Mihara H. Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima Japan Computer Science and Engineering Department Jadavpur University Calcutta India Nara Institute of Science and Technology Graduate School of Information Science Nara Japan Mitsubishi Electronic Control Software Corporation Kobe Japan
We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinationa... 详细信息
来源: 评论
On consumption/investment problems with long-term time-average utilities
收藏 引用
Stochastics 2000年 第3-4期68卷 255-271页
作者: Takashi Adachi[a] Hiroaki Morimoto[b] [a] Department of Computer and Mathematical Sciences Graduate School of Information Sciences Tohoku University Aoba-ku Sendai Japan [b] Department of Mathematical Sciences Faculty of Science Ehime University Matsuyama Japan
We study consumption/investment problems with long-term time-average utilities. The associated Hamilton-Jacobi-Bellman equation can be solved under some regularity conditions of utility rate function, and the optimal ... 详细信息
来源: 评论
Sign of Gaussian curvature from eigen plane using principal components analysis
Sign of Gaussian curvature from eigen plane using principal ...
收藏 引用
15th International Conference on Pattern Recognition, ICPR 2000
作者: Fukui, Shinji Iwahori, Yuji Woodham, Robert J. Iwata, Akira Graduate School of Engineering Nagoya Institute of Technology Nagoya466-8555 Japan Faculty of Engineering Nagoya Institute of Technology Nagoya466-8555 Japan Dept. of Computer Science University of British Columbia VancouverBCV6T 1Z4 Canada
This paper describes a new method to recover the sign of the local Gaussian curvature at each point on the visible surface of a 3-D object. Multiple (p > 3) shaded images are acquired under different conditions of ... 详细信息
来源: 评论
Effective testing and debugging methods and its supporting system with program deltas
Effective testing and debugging methods and its supporting s...
收藏 引用
International Workshop on Principles of Software Evolution
作者: M. Matsushita M. Teraguchi K. Inoue Dept. of Inf. & Comput. Sci. Osaka Univ. Japan Tokyo Research Laboratory IRM Japan Limited Yamato Kanagawa Japan Department of Information and Computer Science Faculty of Engineering Science Osaka University Toyonaka Osaka Japan Information Technology Center Nara Institute of Science and Technology Ikoma Nara Japan
In the maintenance phase of software development, it is necessary to check that all features still perform correctly after some changes have been applied to existing software. However, it is not easy to debug the soft... 详细信息
来源: 评论
Hamiltonian Realizations of Nonlinear Adjoint Operators
收藏 引用
IFAC Proceedings Volumes 2000年 第2期33卷 39-44页
作者: Kenji Fujimoto Jacquelien M.A. Scherpen W. Steven Gray Faculty of Information Technology and Systems Department of Electrical Engineering Delft University of Technology P. O. Box 5031 2600 GA Delft The Netherlands Department of Systems Science Graduate School of Informatics Kyoto University Uji Kyoto 611-0011 Japan Department of Electrical and Computer Engineering Old Dominion University Norfolk Virginia 23529-0246 U.S.A.
This paper addresses state-space realizations for nonlinear adjoint operators. In particular the relationship among nonlinear Hilbert adjoint operators, Hamiltonian extensions and port-controlled Hamiltonian systems a... 详细信息
来源: 评论
Presentation of Assembly Condition and Subassembly Function Using Two Force Feedback Displays
收藏 引用
Journal of Robotics and Mechatronics 2000年 第1期12卷 2-10页
作者: Furusawa, Ryko Tanaka, Kazuaki Abe, Norihiro Matsunaga, Katsuya Taki, Hirokazu Faculty of Computer Science Kyushu Institute of Technology 680-4 Kawazu lizuka-shi Fukuoka prefecture820-8502 Japan Graduate School of Information Sciences and Electrical Engineering Kyushu University 6-10-1 Hakozaki Higashi-ku Fukuoka812-8581 Japan Department of Systems Engineering Wakayama University 930 Saƙaeďani Wakayama City640-8510 Japan
Assembling is one of the important factors in our daily life. The aim of assembling is to obtain a particular function from the subassembly which is generated by putting some parts together. This fact shows that assem... 详细信息
来源: 评论
The AI3 CacheBone project
The AI3 CacheBone project
收藏 引用
1999 Internet Workshop, IWS 1999
作者: Kanchanasut, Kanchana Yamaguchi, Suguru Kiatsirivatana, Kriengsak Inoue, Hiroyuki Suksakorn, Apisit Tantatsanawong, Panjai Internet Research Lab Computer Science and Information Management Program School of Advanced Technologies Asian Institute of Technology P.0.Box 4. KIongluang Pathumthani12120 Thailand Graduate School of Information Science Nara Institute of Science and Technology 8916-5 Takayama Ikoma Nara630-0101 Japan
Hierarchical WWW cache formation which provides both higher hit rates and saves overall bandwidth consumption through fetching WWW objects and periodically redistributing them among member caches is proposed as an app... 详细信息
来源: 评论