咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware
  • 3 篇 computer science
  • 3 篇 software systems
  • 3 篇 programming prof...

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner
  • 4 篇 michaela huhn

语言

  • 215 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
219 条 记 录,以下是1-10 订阅
排序:
Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System  10
Approbation of a Generalization of the Synergetic Design of ...
收藏 引用
10th International Conference on Information Technology and Nanotechnology, ITNT 2024
作者: Kolesnikova, Svetlana Kustova, Ekaterina Institute Of Computational Systems And Programming St. Petersburg State University Of Aerospace Instrumentation St. Petersburg Russia
The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base objec... 详细信息
来源: 评论
METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALGORITHM  5
METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALG...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Gavrylenko, Svitlana Zozulia, Vladislav Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, develo... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
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 (TLA+), into com... 详细信息
来源: 评论
Analysis of Trade-Offs Between Accuracy And Speed of Real-Time Object Detectors for the Tasks of Explosive Ordnance Detection  5
Analysis of Trade-Offs Between Accuracy And Speed of Real-Ti...
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Mishchuk, Vadym Podorozhniak, Andrii Department of Computer Systems Networks and Cybersecurity National Aerospace University "Kharkiv Aviation Institute" Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine
This paper investigates the performance trade-offs between accuracy and inference time in real-time object detection models, particularly for detecting landmines and unexploded ordnance (UXO). Using subsets from the C... 详细信息
来源: 评论
Predicting the Performance of ATL Model Transformations  23
Predicting the Performance of ATL Model Transformations
收藏 引用
14th Annual ACM/SPEC International Conference on Performance Engineering, ICPE 2023
作者: Groner, Raffaela Bellmann, Peter Höppner, Stefan Thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Institute of Neural Information Processing Ulm University Ulm Germany Institute of Medical Systems Biology Ulm University Ulm Germany
Model transformation languages are special-purpose languages, which are designed to define transformations as comfortably as possible, i.e., often in a declarative way. Typically, developers create their transformatio... 详细信息
来源: 评论
METHODS FOR IMPROVING THE QUALITY OF CLASSIFICATION ON IMBALANCED DATA  4
METHODS FOR IMPROVING THE QUALITY OF CLASSIFICATION ON IMBAL...
收藏 引用
4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023
作者: Gavrylenko, Svitlana Vladislav, Zozulia Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine
The subject of the study is methods of balancing raw data. The purpose of the article is to improve the quality of intrusion detection in computer networks by using class balancing methods. Task: to investigate method... 详细信息
来源: 评论
Formalization of Data Exchange Between the systems of Monitoring and Control over an Anaerobic Bioreactor  4
Formalization of Data Exchange Between the Systems of Monito...
收藏 引用
4th International Conference on Control systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2022
作者: Kolesnikova, Svetlana Fomenkova, Anastasia Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation St. Petersburg Russia
A conceptual scheme for monitoring and control of the technical state of a complex system - an anaerobic bioreactor - is proposed. A mathematical apparatus and the heart of its algorithmic software are presented as a ... 详细信息
来源: 评论
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management  20th
A Comparative Analysis of Multi-agent Simulation Platforms ...
收藏 引用
Proceedings of the 20th European Conference on Multi-Agent systems, EUMAS 2023
作者: Ali, Aliyu Tanko Leucker, Martin Schuldei, Andreas Stellbrink, Leonard Sachenbacher, Martin Institute for Software Engineering and Programming Languages University of Lübeck Ratzeburger Allee 160 Lübeck Germany Institute for Multimedia and Interactive Systems University of Lübeck Ratzeburger Allee 160 Lübeck Germany
Effective energy and mobility management benefits from multi-agent simulations (MAS) to model complex interactions among various agent types. Selecting the optimal MAS platform to implement and simulate these interact... 详细信息
来源: 评论
Predicting the Performance of ATL Model Transformations (extended abstract)
Predicting the Performance of ATL Model Transformations (ext...
收藏 引用
2024 Software Engineering, SE 2024
作者: Groner, Raffaela Bellmann, Peter Höppner, Stefan Thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Ulm University Institute for Software Engineering and Programming Languages James-Franck-Ring UlmD-89069 Germany Ulm University Institute of Medical Systems Biology Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Medical Systems Biology Institute of Neural Information Processing Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Neural Information Processing James-Franck-Ring UlmD-89069 Germany
Model transformations are used in different areas of computer science. They are often used during the development of software but also at runtime, e.g., to update a digital twin. However, users of these languages stil... 详细信息
来源: 评论
The method of dynamic routing in Self-healing Networks  5
The method of dynamic routing in Self-healing Networks
收藏 引用
5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024
作者: Anna, Shyman Kuchuk, Nina Kovalenko, Andriy Kashkevich, Svitlana Partyka, Stanislav Yankovskyi, Oleksandr Department of Computer Engineering and Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine
The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the ... 详细信息
来源: 评论