咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 342 篇 期刊文献
  • 18 册 图书

馆藏范围

  • 986 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 567 篇 工学
    • 423 篇 计算机科学与技术...
    • 300 篇 软件工程
    • 90 篇 控制科学与工程
    • 82 篇 信息与通信工程
    • 46 篇 电气工程
    • 33 篇 电子科学与技术(可...
    • 32 篇 机械工程
    • 29 篇 生物医学工程(可授...
    • 25 篇 安全科学与工程
    • 23 篇 生物工程
    • 21 篇 化学工程与技术
    • 20 篇 仪器科学与技术
    • 19 篇 材料科学与工程(可...
    • 19 篇 建筑学
    • 18 篇 土木工程
    • 14 篇 交通运输工程
  • 379 篇 理学
    • 266 篇 数学
    • 61 篇 统计学(可授理学、...
    • 50 篇 物理学
    • 49 篇 系统科学
    • 34 篇 生物学
    • 21 篇 化学
  • 153 篇 管理学
    • 116 篇 管理科学与工程(可...
    • 70 篇 工商管理
    • 40 篇 图书情报与档案管...
  • 31 篇 经济学
    • 31 篇 应用经济学
  • 26 篇 医学
    • 23 篇 临床医学
    • 22 篇 基础医学(可授医学...
  • 18 篇 教育学
    • 15 篇 教育学
  • 16 篇 法学
    • 15 篇 社会学
  • 12 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 28 篇 artificial intel...
  • 22 篇 computer science
  • 17 篇 monitoring
  • 16 篇 computational mo...
  • 14 篇 application soft...
  • 14 篇 semantics
  • 13 篇 software enginee...
  • 13 篇 data models
  • 12 篇 software
  • 11 篇 decision making
  • 11 篇 hardware
  • 11 篇 training
  • 10 篇 reliability
  • 10 篇 computer archite...
  • 10 篇 neural networks
  • 10 篇 optimization
  • 9 篇 support vector m...
  • 9 篇 logic programmin...
  • 9 篇 robot sensing sy...
  • 9 篇 students

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 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 篇 department of ap...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 6 篇 department for m...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 34 篇 pal madhumangal
  • 20 篇 madhumangal pal
  • 18 篇 gancheva veska
  • 14 篇 veska gancheva
  • 14 篇 josef börcsök
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 mostafa abotaleb
  • 12 篇 ali hayek
  • 11 篇 gurkan tuna
  • 11 篇 mariana arghir
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 10 篇 fritzson peter
  • 9 篇 roy sankar kumar
  • 9 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 shyamal kumar mo...
  • 8 篇 kayhan gulez

语言

  • 964 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 德文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming Department"
986 条 记 录,以下是191-200 订阅
排序:
Novel Approach of a Smart Medical Mirror System for Medical Applications  5
Novel Approach of a Smart Medical Mirror System for Medical ...
收藏 引用
5th IEEE Middle East and Africa Conference on Biomedical Engineering, MECBME 2020
作者: Halaby, Shady Khoury, George Zeid Daou, Roy Abi Hayek, Ali Boercsoek, Josef Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany
Humans always face problems when it comes to medical check-up due to lack of time or laziness. However, lots of medical problems and fatal illnesses can be detected at earlier stages if the person is subject to contin... 详细信息
来源: 评论
Arcturus: A prototype advanced Ada∗ programming environment  1
Arcturus: A prototype advanced Ada∗ programming environment
收藏 引用
1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1984
作者: Standieh, Thomas A. Taylor, Richard N. Programming Environment Project Department of Information and Computer Science University of California Irvine IrvineCA92717 United States
The Arcturus system demonstrates several important principles that will characterize advanced Ada programming support environments. These include conceptual simplicity, tight coupling of tools, and effective command a... 详细信息
来源: 评论
Application of Machine Learning Techniques for Software Anomaly Detection  3
Application of Machine Learning Techniques for Software Anom...
收藏 引用
3rd International Conference on Applied Mathematics and computer Science, ICAMCS 2023
作者: Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A rising variety of platforms and software programs have leveraged repository-stored datasets and remote access in recent years. As a result, datasets are more vulnerable to malicious attacks. As a result, network sec... 详细信息
来源: 评论
The e-learning test system module for statistical analysis of tests' results  28
The e-learning test system module for statistical analysis o...
收藏 引用
28th International Scientific Conference Electronics, ET 2019 - Proceedings
作者: Stoyanova, Lyudmila Yordanova Minkovska, Daniela Veleva Percuku, Arber Shefqet Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
In this paper are presented the description of the developed and implemented system for tests control and the analysis of the results received from the testing of students. The database and the developed forms are rev... 详细信息
来源: 评论
Automated geometric reasoning: Dixon resultants, gröbner bases, and characteristic sets
收藏 引用
International Workshop on Automated Deduction in Geometry, 1996
作者: Kaput, Deepak Institute for Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States
Three different methods for automated geometry theorem proving-a generalized version of Dixon resultants, Gröbner bases and characteristic sets--axe reviewed. The main focus is, however, on the use of the general... 详细信息
来源: 评论
Software Anomaly Detection Method Based on Artificial Neural Network  20
Software Anomaly Detection Method Based on Artificial Neural...
收藏 引用
20th IEEE International Conference on e-Business Engineering, ICEBE 2024
作者: Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A growing range of data sets have been created in recent years;these are used by platforms and software applications and kept in remote access repositories. Datasets are therefore more susceptible to harmful attacks. ... 详细信息
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
A distributed garbage collection algorithm  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Using domain algebras to prove the correctness of a compiler  2nd
收藏 引用
2nd Annual Symposium on Theoretical Aspects of computer Science, STACS 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology GöteborgS-412 96 Sweden
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang... 详细信息
来源: 评论
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... 详细信息
来源: 评论