咨询与建议

限定检索结果

文献类型

  • 908 篇 会议
  • 454 篇 期刊文献
  • 23 册 图书

馆藏范围

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

日期分布

学科分类号

  • 822 篇 工学
    • 610 篇 计算机科学与技术...
    • 435 篇 软件工程
    • 131 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 57 篇 电气工程
    • 50 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 46 篇 安全科学与工程
    • 37 篇 生物医学工程(可授...
    • 35 篇 建筑学
    • 35 篇 土木工程
    • 33 篇 生物工程
    • 28 篇 仪器科学与技术
    • 27 篇 材料科学与工程(可...
    • 27 篇 化学工程与技术
    • 19 篇 动力工程及工程热...
  • 491 篇 理学
    • 339 篇 数学
    • 83 篇 统计学(可授理学、...
    • 63 篇 物理学
    • 63 篇 系统科学
    • 45 篇 生物学
    • 25 篇 化学
  • 210 篇 管理学
    • 149 篇 管理科学与工程(可...
    • 87 篇 工商管理
    • 60 篇 图书情报与档案管...
  • 43 篇 经济学
    • 41 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 29 篇 法学
    • 27 篇 社会学
  • 29 篇 教育学
    • 24 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 28 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 14 篇 functional progr...
  • 14 篇 standards
  • 13 篇 computer languag...

机构

  • 46 篇 department of ap...
  • 24 篇 department of co...
  • 19 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 12 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 21 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,312 篇 英文
  • 62 篇 其他
  • 8 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming"
1385 条 记 录,以下是941-950 订阅
Optimizing neural network architecture using Tikhonov regularization parameter for intrusion detection systems and classification of attacks
Optimizing neural network architecture using Tikhonov regula...
收藏 引用
2008 International Conference on Information and Knowledge Engineering, IKE 2008
作者: Sharawi, Marwa S. Sammany, Mohammed El-Beltagy, Mohammed Saroit, Imane Faculty of Informatics and Computer Science British University in Egypt Cairo Egypt Department of Applied Mathematics and Programming Aleppo University Aleppo Syria Department of Decision Support System Faculty of Computers and Information Cairo University Cairo Egypt Department of Information Technology Faculty of Computers and Information Cairo University Cairo Egypt
Network Intrusion Detection Systems (NIDS) require the ability to generalize from previously observed attacks to detect even new or slight variation records of known attacks. As an intrusion detection system can be re... 详细信息
来源: 评论
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility
Hilbert's nullstellensatz and an algorithm for proving combi...
收藏 引用
21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008
作者: De Loera, Jesús A. Lee, Jon Malkin, Peter N. Margulies, Susan Dept. of Mathematics Univ. of California Davis Davis CA United States Mathematical Programming IBM T.J. Watson Res. Cntr. Yorktown Heights NY United States Dept. of Computer Science Univ. of California Davis Davis CA United States
Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamilton... 详细信息
来源: 评论
Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations
Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...
收藏 引用
2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1
作者: Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan
This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads... 详细信息
来源: 评论
Redundant optical data transmission using semiconductor lasers
Redundant optical data transmission using semiconductor lase...
收藏 引用
ACS/IEEE International Conference on computer Systems and Applications
作者: H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY
This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected err... 详细信息
来源: 评论
Evaluation models for the noise diminution due to the phonique barrier walls
Evaluation models for the noise diminution due to the phoniq...
收藏 引用
7th European Conference on Noise Control 2008, EURONOISE 2008
作者: Arghir, M. Borza, D. Blaga, F. Vesseleny, T. Solea, G. Runcan, M. Technical University of Cluj-Napoca Faculty of Machines Design Department of Mechanics and Computer Programming B-dul MunciiNr. 103-105 400 641 Cluj-Napoca Romania National Institute of Applied Sciences of Rouen INSA Rouen LMR Ave l'Universite 76800 Rouen France University of Oradea Str. Universitatii nr.1 400 641 Cluj-Napoca Romania
The paper contains our study regarding the reduction of urban noise using the sonic barrier walls as to the EMPARA procedure, which is based on the simplified standard method for measurements and computing of surface ... 详细信息
来源: 评论
Using cellular automata for parallel simulation of laser dynamics with dynamic load balancing
收藏 引用
International Journal of High Performance Systems Architecture 2008年 第4期1卷 251-259页
作者: Guisado, J.L. de Vega, F. Fernández Jiménez-Morales, F.J. Iskra, K.A. Sloot, P.M.A. Departamento de Arquitectura y Tecnología de Computadores Universidad de Sevilla ETS Ingeniería Informática Avda. Reina Mercedes s/n. 41012 Sevilla Spain Centro Universitario de Mérida Universidad de Extremadura Sta. Teresa Jornet 38 06800 Mérida Badajoz Spain Departamento de Física de la Materia Condensada Universidad de Sevilla P.O. Box 1065 41080 Sevilla Spain Argonne National Laboratory Mathematics and Computer Science Division 9700 South Cass Avenue Argonne IL 60439 United States Section Computational Science Laboratory for Computing Systems Architecture and Programming University of Amsterdam Kruislaan 403 1098 SJ Amsterdam Netherlands
We present an analysis of the feasibility of executing a parallel bioinspired model of laser dynamics, based on cellular automata (CA), on the usual target platform of this kind of applications: a heterogeneous non-de... 详细信息
来源: 评论
Software development for safety-related systems
Software development for safety-related systems
收藏 引用
2nd International Conference on Systems, ICONS 2007
作者: Börcsök, Josef Schaefer, Sebastian Department of Computer Architecture and System Programming University of Kassel
Safety-related systems mostly comprise hardware and software solutions. Due to the increasing application of complex hardware and software systems, the software systems have to be considered regarding safety as well a... 详细信息
来源: 评论
Obtaining exact value by approximate computations
收藏 引用
Science China Mathematics 2007年 第9期50卷 1361-1368页
作者: Jing-zhong ZHANG Yong FENG Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer ApplicationsChinese Academy of SciencesChengdu 610041China
Numerical approximate computations can solve large and complex problems *** have the advantage of high *** they only give approximate results,whereas we need exact results in some *** is a gap between approximate comp... 详细信息
来源: 评论
Transactional programming in a multi-core environment  07
Transactional programming in a multi-core environment
收藏 引用
2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07
作者: Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University
With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core p... 详细信息
来源: 评论
The CoBRA grid: A highly configurable lightweight grid
收藏 引用
International Journal of Web and Grid Services 2007年 第3期3卷 267-286页
作者: Hellinckx, Peter Arickx, Frans Broeckhove, Jan Stuer, Gunther Research Group Computational Modelling and Programming Department of Mathematics and Computer Science Antwerp University Campus Middelheim Middelheimlaan 1-2020 Antwerp Belgium
In this paper, a new multipurpose Lightweight Grid (LWG) system is introduced, under the acronym Computational Basic Reprogrammable Adaptive (CoBRA) grid. It provides the functionality grid users require, and offers g... 详细信息
来源: 评论