咨询与建议

限定检索结果

文献类型

  • 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 篇 土耳其文
检索条件"机构=Department of Computer Programming"
986 条 记 录,以下是401-410 订阅
排序:
On anti-links  5th
收藏 引用
5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994
作者: Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i... 详细信息
来源: 评论
Fold and unfold for program semantics  98
Fold and unfold for program semantics
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Graham Hutton Languages and Programming Group Department of Computer Science University of Nottingham UK
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structur...
来源: 评论
Features of the distribution of computing resources in cloud systems  3
Features of the distribution of computing resources in cloud...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Petrovska, Inna Kuchuk, Heorhii Mozhaiev, Mykhailo National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine
The report considers the peculiarities of the distribution of computing resources in cloud systems. The most used classification of existing technologies of cloud services is considered. The advantages and disadvantag... 详细信息
来源: 评论
Parallel Multithreaded Filtering of X-Ray Computed Tomography Images
Parallel Multithreaded Filtering of X-Ray Computed Tomograph...
收藏 引用
Computing in Natural Sciences, Biomedicine and Engineering (COMCONF), International Conference on
作者: Veska Gancheva Kamelia Raynova Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria
Medical image quality is very important. High quality ensures the standard of medical diagnosis, treatment, and patient life through health care or automated intelligence systems for medical diagnosis, monitoring, and... 详细信息
来源: 评论
Neuromorphic Neurons and Networks for Artificial Intelligence Built Using Temporal Space Calculations  32
Neuromorphic Neurons and Networks for Artificial Intelligenc...
收藏 引用
32nd International Scientific Conference Electronics, ET 2023
作者: Trendafilov, Ianislav Gancheva, Veska Neuromorphica Ltd. 8 Kliment Ohridski blvd. Sofia1335 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
We deigned a spiking neural network that computes network weights in the temporal dimension. Such a network can be used for artificial intelligence and deep learning. We demonstrate circuits implementing blocks for bu... 详细信息
来源: 评论
Inventory of deteriorating complementary and substitute items with stock dependent demand
收藏 引用
American Journal of Mathematical and Management Sciences 2005年 第1-2期25卷 83-96页
作者: Maity, K. Maiti, M. Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore - 721 102 India
The optimal production for an inventory control system of deteriorating multi-items where items are of complementary or substitute types is formulated with a resource constraint. Here, it is assumed that substitute pr... 详细信息
来源: 评论
Unmanned vehicle-aided automated meter reading
Unmanned vehicle-aided automated meter reading
收藏 引用
6th International Conference on Broadband Communications and Biomedical Applications, IB2COM 2011
作者: Tuna, Gurkan Gungor, V. Cagri Gulez, Kayhan Trakya University Department of Computer Programming Edirne Turkey Bahçeşehir University Faculty of Engineering Department of Computer Engineering Istanbul Turkey Yildiz Technical University Electrical-Electronics Eng. Faculty Control and Automation Eng. Dept. Istanbul Turkey
This paper presents a novel approach of using unmanned vehicles for Automated Meter Reading (AMR) applications in rural areas where there are a few consumers scattered around a wide area. The proposed system does not ... 详细信息
来源: 评论
Social Engineering Attacks Detection Approach  13
Social Engineering Attacks Detection Approach
收藏 引用
13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023
作者: Lysenko, Sergii Vorobiov, Volodymyr Bokhonko, Oleksandr Gaj, Piotr Savenko, Oleg Woloszyn, Jacek Khmelnitsky National University Department of Computer Engineering and Information Systems Khmelnitsky Ukraine Silesian University of Technology Gliwice Poland Khmelnitsky National University Department of Computer Engineering and System Programming Khmelnitsky Ukraine Kazimierz Pulaski University of Technology and Humanities in Radom Department of Informatics and Teleinformatics Radom Poland
The paper focuses on the problem of technical social engineering attacks that encompass the manipulation of individuals to reveal sensitive information, execute actions, or breach security systems. These exploits freq... 详细信息
来源: 评论
Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers  8
Evaluating Keyphrase Extraction Methods for Clustering Influ...
收藏 引用
8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022
作者: Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc... 详细信息
来源: 评论
XML-Based Language for Specific Scientific Data Description
XML-Based Language for Specific Scientific Data Description
收藏 引用
International Conference on Internet and Web Applications and Services (ICIW)
作者: Bogdan Shishedjiev Mariana Goranova Juliana Georgieva Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria
The scientific computing manages massive amounts of very large data sets. The development of description of the format, structure and semantic content of data is essential for the automatic manipulation of data. The a... 详细信息
来源: 评论