咨询与建议

限定检索结果

文献类型

  • 1,037 篇 期刊文献
  • 625 篇 会议
  • 20 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,146 篇 工学
    • 718 篇 计算机科学与技术...
    • 547 篇 软件工程
    • 214 篇 信息与通信工程
    • 172 篇 控制科学与工程
    • 166 篇 电气工程
    • 142 篇 电子科学与技术(可...
    • 111 篇 生物工程
    • 100 篇 生物医学工程(可授...
    • 95 篇 光学工程
    • 87 篇 机械工程
    • 79 篇 材料科学与工程(可...
    • 64 篇 动力工程及工程热...
    • 59 篇 化学工程与技术
    • 49 篇 仪器科学与技术
    • 45 篇 交通运输工程
    • 40 篇 力学(可授工学、理...
  • 851 篇 理学
    • 398 篇 数学
    • 303 篇 物理学
    • 151 篇 生物学
    • 130 篇 统计学(可授理学、...
    • 109 篇 系统科学
    • 77 篇 化学
  • 268 篇 管理学
    • 185 篇 管理科学与工程(可...
    • 108 篇 工商管理
    • 94 篇 图书情报与档案管...
  • 96 篇 医学
    • 85 篇 临床医学
    • 68 篇 基础医学(可授医学...
    • 42 篇 药学(可授医学、理...
    • 30 篇 公共卫生与预防医...
  • 46 篇 法学
    • 41 篇 社会学
  • 30 篇 经济学
  • 25 篇 农学
  • 22 篇 教育学
  • 1 篇 哲学
  • 1 篇 文学
  • 1 篇 历史学
  • 1 篇 艺术学

主题

  • 19 篇 machine learning
  • 19 篇 artificial intel...
  • 12 篇 semantics
  • 11 篇 decision making
  • 10 篇 covid-19
  • 10 篇 computer science
  • 9 篇 deep learning
  • 9 篇 stylometry
  • 9 篇 software enginee...
  • 9 篇 feature selectio...
  • 9 篇 multi agent syst...
  • 8 篇 reinforcement le...
  • 8 篇 image segmentati...
  • 8 篇 optimization
  • 8 篇 stochastic syste...
  • 8 篇 energy efficienc...
  • 7 篇 neural networks
  • 7 篇 quality of servi...
  • 7 篇 authorship attri...
  • 7 篇 hardware

机构

  • 20 篇 school of engine...
  • 15 篇 optical sciences...
  • 12 篇 department of el...
  • 12 篇 department of ph...
  • 11 篇 department of el...
  • 11 篇 inrs-énergie mat...
  • 11 篇 department of el...
  • 9 篇 department of el...
  • 9 篇 department of el...
  • 9 篇 the department o...
  • 9 篇 department of ph...
  • 9 篇 department of gr...
  • 8 篇 institute of fun...
  • 8 篇 department of gr...
  • 8 篇 the school of co...
  • 8 篇 faculty of engin...
  • 8 篇 state key labora...
  • 8 篇 systems research...
  • 7 篇 xi’an institute ...
  • 7 篇 department of el...

作者

  • 37 篇 pedrycz witold
  • 18 篇 moss david j.
  • 18 篇 morandotti rober...
  • 16 篇 niyato dusit
  • 16 篇 péter gáspár
  • 16 篇 tan mengxi
  • 16 篇 chu sai t.
  • 16 篇 xu xingyuan
  • 16 篇 mitchell arnan
  • 16 篇 little brent e.
  • 15 篇 morandotti r.
  • 14 篇 wu jiayang
  • 14 篇 boes andreas
  • 14 篇 nguyen thach g.
  • 14 篇 corcoran bill
  • 13 篇 shen xuemin
  • 12 篇 stanczyk urszula
  • 12 篇 balázs németh
  • 12 篇 xiong zehui
  • 12 篇 urszula stańczyk

语言

  • 1,537 篇 英文
  • 134 篇 其他
  • 7 篇 中文
  • 4 篇 日文
检索条件"机构=Department of Computer Science 2: Programming Systems"
1682 条 记 录,以下是1061-1070 订阅
排序:
Convergence time analysis of quantized gossip consensus on digraphs
Convergence time analysis of quantized gossip consensus on d...
收藏 引用
作者: Cai, Kai Ishii, Hideaki Department of Electrical and Computer Engineering University of Toronto 10 King's College Rd Toronto M5S 3G4 Canada Department of Computational Intelligence and Systems Science Tokyo Institute of Technology 4259-J2-54 Nagatsuta-cho Midori-ku Yokohama 226-8502 Japan
We have recently proposed quantized gossip algorithms which solve the consensus and averaging problems on directed graphs with the least restrictive connectivity requirements. In this paper we study the convergence ti... 详细信息
来源: 评论
Verifying temporal properties of use-cases in natural language
Verifying temporal properties of use-cases in natural langua...
收藏 引用
8th International Symposium on Formal Aspects of Component Software, FACS 2011
作者: Simko, Viliam Hauzar, David Bures, Tomas Hnetynka, Petr Plasil, Frantisek Charles University Faculty of Mathematics and Physics Department of Distributed and Dependable Systems Malostranské náměstí 25 Prague 1 118 00 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2 Prague 8 182 07 Czech Republic
This paper presents a semi-automated method that helps iteratively write use-cases in natural language and verify consistency of behavior encoded within them. In particular, this is beneficial when the use-cases are c... 详细信息
来源: 评论
Overview
Overview
收藏 引用
5th International Conference on Electronic Voting, EVOTE 2012
作者: Kripp, Manuel J. Volkamer, Melanie Grimm, Rüdiger E-Voting.CC GmbH Competence Center for Electronic Voting and Participation Pyrkergasse 33/1/2 1190 Vienna Austria University Darmstadt Department of Computer Science Hochschulstraße 10 64289 Darmstadt Germany University Koblenz-Landau Institute for Information Systems Research Universitätsstrasse 1 56016 Koblenz Germany
来源: 评论
Structural Equivalence Partition and Boundary Testing
Structural Equivalence Partition and Boundary Testing
收藏 引用
2011 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2011 - 2011 Conference of the GI Division on Software Engineering, Software Engineering 2011
作者: Oster, Norbert Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen Germany
Structural (manual or automated) testing today often overlooks typical programming faults because of inherent flaws in the simple criteria applied (e.g. branch or all-uses). Dedicated testing strategies that address s... 详细信息
来源: 评论
A generalised diffusion-based file replication scheme for load balancing in P2P file-sharing networks
A generalised diffusion-based file replication scheme for lo...
收藏 引用
作者: Takaoka, Masanori Uchida, Masato Ohnishi, Kei Oie, Yuji NCOS Laboratory NEC Communication Systems 1753 Shimonumabe Nakahara-ku Kawasaki Kanagawa 211-8666 Japan Department of Electrical Electronics and Computer Engineering Faculty of Engineering Chiba Institute of Technology 2-17-1 Tsudanuma Narashino-shi Chiba 275-0016 Japan Graduate School of Computer Science and System Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan
We propose a generalised diffusion-based file replication scheme for load balancing in unstructured P2P file-sharing networks. The generalised method is derived by replacing the replication probability of a peer used ... 详细信息
来源: 评论
Distributed Identification of the Cell Transmission Traffic Model: A Case Study
Distributed Identification of the Cell Transmission Traffic ...
收藏 引用
American Control Conference
作者: Marco Rinaldi Luca Capisani Antonella Ferrara Alfredo Nunez Mohammad Hajiahmadi Bart De Schutter Department of Computer Engineering and Systems Science Universita degli Studi di Pavia via Ferrata 1 27100 Pavia Italy Delft Center for Systems and Control Delft University of Technology Mekelweg 2 2628 CD Delft The Netherlands
The problem of the distributed identification of a macroscopic first-order traffic model, viz. the Cell Transmission Model (CTM), is considered in the paper. The parameters to be identified characterize the dynamics o... 详细信息
来源: 评论
Enabling multiple accelerator acceleration for Java/OpenMP  3
Enabling multiple accelerator acceleration for Java/OpenMP
收藏 引用
3rd USENIX Workshop on Hot Topics in Parallelism, HotPar 2011
作者: Veldema, Ronald Blass, Thorsten Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal... 详细信息
来源: 评论
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7449 LNCS卷 V-VI页
作者: Fischer-Hübner, Simone Katsikas, Sokratis Quirchmayr, Gerald Karlstad University Department of Computer Science Universitetsgatan 2 65188 Karlstad Sweden University of Piraeus Department of Digital Systems 150 Androutsou St. 18532 Piraeus Greece University of Vienna Research Group Multimedia Information Systems Liebiggasse 4 1010 Wien Austria
来源: 评论
Challenges and possibilities in variable geometry suspension systems
收藏 引用
Periodica Polytechnica Transportation Engineering 2012年 第2期40卷 81-86页
作者: Németh, Balázs Gáspár, Péter Department of Control of Control for Transportation and Vehicle Systems BME Bertalan L. u. 2. H-1111 Budapest Hungary Systems and Control Laboratory Institute for Computer Science and Control MTA Kende u. 13-17. H-1111 Budapest Hungary
The variable-geometry suspension system is in the focus of the paper. The advantages of the variable-geometry system are the simple structure, low energy consumption andlow cost. During maneuvers the variable-geometry... 详细信息
来源: 评论
P.64: WITHDRAWN: P.65: The Effect of Surface Polarity of Gate Dielectric Buffer Layer on Operational Stability in Organic Thin Film Transistors
收藏 引用
SID Symposium Digest of Technical Papers 2013年 第1期44卷
作者: Jeongkyun Roh Chan-mo Kang Hyeonwoo Shin Jeonghun Kwak Byung Jun Jung Changhee Lee Department of Electrical and Computer Engineering Global Frontier Center for Multiscale Energy Systems Seoul National University 1 Gwanak-ro Gwanak-gu Seoul 151–742 Korea Department of Electronics Engineering Dong-A University 840 Hadan2-dong Saha-gu Busan 604–714 Korea Department of Materials Science and Engineering The University of Seoul 163 Seoulsiripdaero Dongdaemun-gu Seoul 130–743 Korea
We studied the effect of surface polarity of gate dielectric buffer layer on operational stability in organic thin film transistors (OTFTs). By employing four types of polymers with different polarity, we found out th... 详细信息
来源: 评论