咨询与建议

限定检索结果

文献类型

  • 246 篇 会议
  • 88 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 213 篇 工学
    • 170 篇 计算机科学与技术...
    • 140 篇 软件工程
    • 26 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 11 篇 电气工程
    • 11 篇 船舶与海洋工程
    • 10 篇 机械工程
    • 10 篇 建筑学
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 5 篇 光学工程
  • 117 篇 理学
    • 61 篇 数学
    • 24 篇 物理学
    • 19 篇 生物学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
    • 8 篇 海洋科学
    • 6 篇 化学
  • 60 篇 管理学
    • 38 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 医学
    • 8 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 法学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 8 篇 semantics
  • 7 篇 monitoring
  • 7 篇 artificial intel...
  • 6 篇 forecasting
  • 6 篇 data models
  • 5 篇 computer science
  • 5 篇 predictive model...
  • 5 篇 middleware
  • 5 篇 data structures
  • 5 篇 software
  • 5 篇 standards
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 supercomputers
  • 4 篇 electronic mail
  • 4 篇 neural networks
  • 4 篇 information tech...
  • 4 篇 computational mo...
  • 4 篇 databases
  • 4 篇 control systems

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 4 篇 institute for so...

作者

  • 31 篇 steffen bernhard
  • 23 篇 margaria tiziana
  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 christiansen hen...
  • 8 篇 abdelhameed ibra...
  • 7 篇 howar falk
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 7 篇 zimborás zoltán
  • 6 篇 rakyta péter
  • 6 篇 morse gregory
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 michael philipps...
  • 5 篇 merten maik
  • 5 篇 lamprecht anna-l...
  • 5 篇 koller alexander
  • 5 篇 naujokat stefan
  • 5 篇 doaa sami khafag...

语言

  • 327 篇 英文
  • 4 篇 其他
  • 2 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
334 条 记 录,以下是31-40 订阅
排序:
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 ... 详细信息
来源: 评论
Energy Efficiency Improvement System for AC Circuits
Energy Efficiency Improvement System for AC Circuits
收藏 引用
2024 Conference of Young Researchers in Electrical and Electronic Engineering, ElCon 2024
作者: Kulagin, Vladimir Selivanov, Kirill Vlasov, Andrey Aminev, Dmitrii Bunina, Lyudmila Bikovsky, Sergey Moscow Technical University of Communications and Informatics Moscow Russia Bauman Moscow State Technical University Bmstu Department of Design and Technology of Electronic Devices Moscow Russia Russian Technological University - Mirea Department of Development of Software Solutions and System Programming Moscow Russia Russian Technological University - Mirea Department of Electrical Engineering Systems Moscow Russia
The problem of the rational use of energy resources remains constantly relevant and requires the search for new approaches. One of them is power control. In AC circuits, the authors see the most promising method of ph... 详细信息
来源: 评论
Application of Machine Learning Techniques for Software Anomaly Detection
Application of Machine Learning Techniques for Software Anom...
收藏 引用
International Conference on Applied Mathematics & Computer Science (ICAMCS)
作者: Veska Gancheva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia 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...
来源: 评论
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}^{+}... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Migrating Birds Optimization-Based Feature Selection for Text Classification
arXiv
收藏 引用
arXiv 2024年
作者: Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey
This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification ha... 详细信息
来源: 评论
Human VS AI-Generated Content: Where to Draw the Line?
Human VS AI-Generated Content: Where to Draw the Line?
收藏 引用
International Scientific Conference Electronics (ET)
作者: Daniela V. Minkovska Elena V. Antonova Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria
The integration and detection of AI (Artificial Intelligence) in a variety of fields, primarily education, are examined in this paper. With an emphasis on virtual assistants and their uses, it explores the potential a... 详细信息
来源: 评论
Development and Analysis of Genetic Algorithm for Optimization of Continuous Cast Billets Warehousing Process
Development and Analysis of Genetic Algorithm for Optimizati...
收藏 引用
International Russian Smart Industry Conference (SmartIndustryCon)
作者: Ivan S. Shchegolikhin Sergey M. Andreev Department of Computer Engineering and Programming Nosov Magnitogorsk State Technical University Magnitogorsk Russia Department of Automated Control Systems Nosov Magnitogorsk State Technical University Magnitogorsk Russia
Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increa...
来源: 评论
Univariate & Multivariate Forecasting of Time Series Through a Contemporary Manner
Univariate & Multivariate Forecasting of Time Series Through...
收藏 引用
International Conference on High Technology for Sustainable Development (HiTech)
作者: Kiril Koparanov Daniela Minkovska Elena Antonova Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Department of Computer Systems Technical University of Sofia Sofia Bulgaria
Detailed forecasting of time series is one of the fields where the latest advancements in information technology make significant contributions. Operating with financial data poses noteworthy challenges owing to its i... 详细信息
来源: 评论