咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 341 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 566 篇 工学
    • 422 篇 计算机科学与技术...
    • 299 篇 软件工程
    • 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 篇 军事学

主题

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

机构

  • 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
  • 19 篇 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

语言

  • 947 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming Department"
968 条 记 录,以下是121-130 订阅
排序:
Machine Learning in Defectoscopy: DBSCAN for Localization, Agglomerative Clustering for Typification
Machine Learning in Defectoscopy: DBSCAN for Localization, A...
收藏 引用
International Russian Smart Industry Conference (SmartIndustryCon)
作者: Ruslan Akhmadeev Yurii Litvinov Anastasiya Grigorieva Department of Computer Science Saint Petersburg State University Saint Petersburg Russia Department of System Programming Saint Petersburg State University Saint Petersburg Russia
Acoustic emission (AE) is one of the most relevant and cost-effective non-destructive testing methods for identifying defects in industrial objects. This paper addresses two primary tasks in defectoscopy: locating haz... 详细信息
来源: 评论
Simulation Model of Data Consistency Protocol for Multicloud Systems  3
Simulation Model of Data Consistency Protocol for Multicloud...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Kozina, Olha Kozin, Mykyta National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Kharkiv Nation University of Radio Electronics Department of Information Control System Kharkiv Ukraine
The development of multi-cloud systems with an acceptable level of service delays that significantly affect the quality of the end-users experience is an open research problem, for which simulation is successfully use... 详细信息
来源: 评论
Direct and Inverse Optimization Problems in a Gas Deposit Model  15
Direct and Inverse Optimization Problems in a Gas Deposit Mo...
收藏 引用
15th International Conference Management of Large-Scale System Development, MLSD 2022
作者: Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia
A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of ... 详细信息
来源: 评论
Advanced IOT Traffic Light Control System  5
Advanced IOT Traffic Light Control System
收藏 引用
5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023
作者: Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon
For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more... 详细信息
来源: 评论
Implementing and Executing Static Analysis using LLVM and CodeChecker
arXiv
收藏 引用
arXiv 2024年
作者: Horváth, Gábor Kovács, Réka Nikolett Szalay, Richárd Porkoláb, Zoltán Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Loránd University Budapest Hungary
Static analysis is a method to analyse the source code without executing it. It is widely used to find bugs and code smells in industrial software. Among other methods, the most important techniques are the one based ... 详细信息
来源: 评论
Sensing Metric-Based Hybrid Underlay/Overlay Transmission Framework for CR-IoT Networks for Smart City Applications  7
Sensing Metric-Based Hybrid Underlay/Overlay Transmission Fr...
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Bala, Indu Mijwil, Maad M. Abotaleb, Mostafa El-Kenawy, El-Sayed M. Ibrahim, Abdelhameed School of Electrical and Electronics Engineering Lovely Professional University Punjab India Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services... 详细信息
来源: 评论
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... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+}... 详细信息
来源: 评论
Approximation of the Objective Functional in a Partially Defined Optimization Problem  3
Approximation of the Objective Functional in a Partially Def...
收藏 引用
3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022
作者: Kalinin, Yevhen Kuchuk, Nina Lysytsia, Dmytro National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine National Technical University «kharkiv Polytechnic Institute» Department of Computer Engineering and Programming Kharkiv Ukraine
The reliable operation of today's complex technical systems often relies on remote software solutions for predicting their performance. To solve these tasks, client-server architectures, based on the database serv... 详细信息
来源: 评论
A Multithreaded Approach to Masking Images used for Animation
A Multithreaded Approach to Masking Images used for Animatio...
收藏 引用
Technology Innovation Management and Engineering Science International Conference (TIMES-iCON)
作者: Veska Gancheva Kalin Belov Ivaylo Georgiev Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Stephan Angeloff Institute of Microbiology Bulgarian Academy of Sciences Sofia Bulgaria
The current research is focused on designing a multithreaded parallel solution for processing a pair of raster image files that are used to create an animation. In the computational process, a multithreaded model was ... 详细信息
来源: 评论