咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
Normalising the associative law: An experiment with Martin-Löf's type theory
收藏 引用
Formal Aspects of Computing 1991年 第3期3卷 218-252页
作者: Hedberg, Michael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology Göteborg S-412 96 Sweden
Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it ma... 详细信息
来源: 评论
Graphingwiki - A semantic wiki extension for visualising and inferring protocol dependency
Graphingwiki - A semantic wiki extension for visualising and...
收藏 引用
1st Workshop on Semantic Wikis - From Wiki to Semantics, SemWiki 2006 - Co-located with the ESWC 2006
作者: Eronen, Juhani Röning, Juha Secure Programming Group Computer Engineering Laboratory University of Oulu FIN-90014 Oulu Finland
This paper introduces the Graphingwiki extension toMoinMoin Wiki. Graphingwiki enables the deepened analysis of the Wiki data by augmenting it with semantic data in a simple, practical and easy-to-use manner. Visualis... 详细信息
来源: 评论
Network virtualization for military application: Review and initial development of conceptual design
Network virtualization for military application: Review and ...
收藏 引用
14th International Conference on Advanced Communication Technology, ICACT 2012
作者: Kerdsri, Jiradett Wipusitwarkun, Komwut Computer and Programming Laboratory Defense Technology Institute Thailand Sirindhorn International Institute of Technology Thailand
Networking Technology, undoubtedly, plays a vital role in modern warfare especially in Network Centric Operations (NCOs) and Global Information Grid (GIG) concept. However, the current popular network infrastructure, ... 详细信息
来源: 评论
Optimal speed controller design with interval type-2 fuzzy sets  2
Optimal speed controller design with interval type-2 fuzzy s...
收藏 引用
2nd IEEE KhPI Week on Advanced Technology, KhPI Week 2021
作者: Zakovorotniy, Alexander Kharchenko, Artem National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine
Interval type-2 fuzzy sets are often used in the designing of fuzzy systems associated with the speed control under uncertainty. In this paper, we consider the possibilities of using interval type-2 fuzzy sets to desc... 详细信息
来源: 评论
Fast decompilation of compiled Prolog clauses  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Buettner, Kevin A. Logic Programming Research Group School of Computer & Information Science Syracuse University United States
Serious Prolog implementations in recent years have been primarily compiler-based, nearly all of which are founded on the abstract instruction set of Warren [1983]. The performance achieved by such implementations gre... 详细信息
来源: 评论
Coloring gray-scale image using artificial neural networks
Coloring gray-scale image using artificial neural networks
收藏 引用
2nd International Conference on Adaptive Science and Technology, ICAST 2009
作者: Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele... 详细信息
来源: 评论
Study of methods for improving the meta-algorithm of the bagging classifier  4
Study of methods for improving the meta-algorithm of the bag...
收藏 引用
4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023
作者: Gavrylenko, Svitlana Hornostal, Oleksii Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine
In this paper, we explored approaches that improve the performance of ensemble bagging classifiers for identifying the state of a computer system. The following algorithms are considered: Ensemble pruning, Advanced Vo... 详细信息
来源: 评论
Resource-oriented consistency analysis of engineering processes
Resource-oriented consistency analysis of engineering proces...
收藏 引用
14th International Conference on Enterprise Information Systems, ICEIS 2012
作者: Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany
A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering p... 详细信息
来源: 评论
DETECTION computer NETWORK INTRUSION USING DEEP NEURAL NETWORKS  5
DETECTION COMPUTER NETWORK INTRUSION USING DEEP NEURAL NETWO...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Gavrylenko, Svitlana Poltoratskyi, Vadym Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine
In this work, the effectiveness of using classical machine learning methods and modern deep neural network models for intrusion detection in computer networks has been investigated. The purpose of this work is to deve... 详细信息
来源: 评论
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages  1st
ChatGPT in the Loop: A Natural Language Extension for Dom...
收藏 引用
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023
作者: Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual inform... 详细信息
来源: 评论