咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

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

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 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
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 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...
  • 11 篇 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
  • 22 篇 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,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是331-340 订阅
排序:
Many-valued logic, normal forms
Many-valued logic, normal forms
收藏 引用
10th Symposium on programming Languages and Software Tools, SPLST 2007
作者: Varga, Katalin Pásztor Várterész, Magda Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Computer Science University of Debrecen Hungary
Interpretation of the truth degrees. Suitable extension of the two-valued logical operations as conjunction, disjunction, implication, negation. Main directions (Post, Kleene, Lukasiewicz, Bochvar). Notion of assertab... 详细信息
来源: 评论
An Emboli Detection System Based on Dual Tree Complex Wavelet Transform
An Emboli Detection System Based on Dual Tree Complex Wavele...
收藏 引用
13th Mediterranean Conference on Medical and Biological Engineering and Computing 2013, MEDICON 2013
作者: Serbes, G. Sakar, Betul Erdogdu Aydin, N. Gulcur, H.O. Biomedical Engineering Institute Bogazici University Istanbul Turkey Department of Computer Programming Bahcesehir University Istanbul Turkey Department of Computer Engineering Yildiz Technical University Istanbul Turkey
Automated decision systems for emboli detection is a crucial need since it is being done by visual determination of experts which causes excess time consumption and subjectivity. This work presents an emboli detection... 详细信息
来源: 评论
Calculation of PFD-values for a safety related system
Calculation of PFD-values for a safety related system
收藏 引用
European Safety and Reliability Conference 2007, ESREL 2007 - Risk, Reliability and Societal Safety
作者: Börcsök, J. Holub, P. Schwarz, M.H. Dang Pham, N.T. HIMA Paul Hildebrandt GmbH + Co. KG Brühl Germany Computer Architecture and System Programming University of Kassel Germany
The standard IEC/EN61508 provides the developer with guidelines to develop and implement safety related systems according to the international standard. The standard supplies qualitative and quantitative criteria to e... 详细信息
来源: 评论
Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs  2nd
收藏 引用
2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000
作者: Gupta, Gopal Akhter, Shameem F. Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las CrucesNM United States
We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressi... 详细信息
来源: 评论
Semantic file systems  91
Semantic file systems
收藏 引用
13th ACM Symposium on Operating Systems Principles, SOSP 1991
作者: Gifford, David K. Jouvelot, Pierre Sheldon, Mark A. O'Toole Jr., James W. Programming Systems Research Group MIT Laboratory for Computer Science United States CRI Ecole des Mines de Paris France
A semantic file system is an information storage system that provides flexible associative access to the system's contents by automatically extracting attributes from files with file type specific transducers. Ass... 详细信息
来源: 评论
Determination of the thickness-shear resonance frequency for piezoelectric accelerometers using the KLM model
Determination of the thickness-shear resonance frequency for...
收藏 引用
13th International Congress on Sound and Vibration 2006, ICSV 2006
作者: Ursu, Mihai Department of Mechanics and Computer Programming Technical University of Cluj-Napoca Muncii Bvd. 103-105 400641 Cluj-Napoca Romania
In this paper a complete equivalent electric circuit for a planar shear piezoelectric accelerometer is presented. Starting from the KLM (Krimholtz-Leedom-Matthaei) approach for a single piezoceramic plate sandwiched b... 详细信息
来源: 评论
Attracting and retaining women in computer science and engineering: Evaluating the results
Attracting and retaining women in computer science and engin...
收藏 引用
114th Annual ASEE Conference and Exposition, 2007
作者: Keathly, David Akl, Robert Garlick, Ryan University of North Texas United States IEEE Computer Society ACM and the UNT Programming Teams IEEE University of North Texas Department of Computer Science and Engineering United States
computer science and engineering communities have been exploring a variety of activities and techniques to attract and retain more students, especially women and minorities, to computer science and computer engineerin... 详细信息
来源: 评论
Workflow for Medical Data Classification and Analysis  6
Workflow for Medical Data Classification and Analysis
收藏 引用
6th International Symposium on Multidisciplinary Studies and Innovative Technologies, ISMSIT 2022
作者: Gancheva, Veska Todorova, Violeta Technical University of Sofia Department of Programming and Computer Technologies Sofia Bulgaria Technical University of Sofia Department of Teoretical Electrotechnics Sofia Bulgaria
An approach for automated knowledge extraction and decision-making from medical images through a workflow for preprocessing of incoming X-ray images, analysis, classification and evaluation of the results is presented... 详细信息
来源: 评论
Case study: Simulation of a LAN
Case study: Simulation of a LAN
收藏 引用
Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle
作者: Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud... 详细信息
来源: 评论
Efficiency Measurement of Compressed Air Compressors Using High Availability SoC with 1oo2 Redundancy Architecture  11
Efficiency Measurement of Compressed Air Compressors Using H...
收藏 引用
11th International Conference on Electronics, Communications and Networks, CECNet 2021
作者: Abdelawwad, Mohamed Hahn, Eike Boercsoek, Josef Fairbrother, Julian Al Shahadat, Tarek Otto, Peter ICAS Institute for Computer Architecture and System Programming University of Kassel Kassel Germany Postberg + Co. GmbH Kassel Germany
Compressed air systems are essential components in various industrial and everyday applications. The efficiency of these systems is very important due to their role in the energy consumption of industrial plants. To i... 详细信息
来源: 评论