咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献
  • 9 册 图书

馆藏范围

  • 228 篇 电子文献
  • 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...
  • 8 篇 software enginee...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 5 篇 artificial intel...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware

机构

  • 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 篇 michael philipps...
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner

语言

  • 224 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
228 条 记 录,以下是161-170 订阅
排序:
Abstract Processes in the Absence of Conflicts in General Place/Transition systems
arXiv
收藏 引用
arXiv 2022年
作者: van Glabbeek, Rob Goltz, Ursula Schicke-Uffmann, Jens-Wolfhard Data61 CSIRO Sydney Australia School of Comp. Sc. and Engineering Univ. of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany
Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-Reisig processes connected through... 详细信息
来源: 评论
Selected challenges of software evolution for automated production systems
Selected challenges of software evolution for automated prod...
收藏 引用
IEEE International Conference on Industrial Informatics (INDIN)
作者: B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in th... 详细信息
来源: 评论
A graphical user interface for evolutionary algorithms
收藏 引用
Acta Cybernetica 2003年 第2期16卷 337-365页
作者: Tóth, Zoltán Institute of Informatics University of Szeged Árpád tér 2 H-6720 Szeged Hungary Department of Computer Science 2: Programming Systems Friedrich-Alexander University of Erlangen-Nuremberg Martensstr. 3 D-91058 Erlangen Germany
The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization...
来源: 评论
A Model-Based Approach to Automotive Feature Development for Updates and Upgrades
A Model-Based Approach to Automotive Feature Development for...
收藏 引用
2023 IEEE International Conference on Service-Oriented System Engineering (SOSE)
作者: Marc Schindewolf Jan Willem Wittler Thomas Kühn Daniel Grimm Eric Sax Institut für Technik der Informationsverarbeitung Karlsruhe Institute of Technology Karlsruhe Germany Dependability of Software-intensive Systems Karlsruhe Institute of Technology Karlsruhe Germany Software Engineering and Programming Languages Martin Luther University Halle-Wittenberg Halle-Wittenberg Germany
The automotive industry faces challenges due to the increasing demand for customization and individualization by consumers. With a wide range of equipment levels and feature options, it has become impossible to test a...
来源: 评论
Speaker's Emotions Recognition Module Based on the GoogleLeNet Neural Network
Speaker's Emotions Recognition Module Based on the GoogleLeN...
收藏 引用
2022 International Conference on Smart Information systems and Technologies, SIST 2022
作者: Tereikovskyi, Ihor Tereikovska, Liudmyla Kryvoruchko, Olena Tereikovskyi, Oleh Tyshchenko, Dmytro Franchuk, Tamara National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of System Programming And Specialized Computer Systems Kyiv Ukraine Kyiv National University Of Construction And Architecture Dept. Of Information Technology For Design And Applied Mathematics Kyiv Ukraine Kyiv National University Of Trade And Economics Dept. Of Software Engineering And Cyber Security Kyiv Ukraine National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of Department Of Computer Engineering Kyiv Ukraine
The article is devoted to the development of means for recognition of the emotions of the speaker, based on the neural network analysis of fixed fragments of the voice signal. The possibility of improving recognition ... 详细信息
来源: 评论
Supervised Learning for Yaw Orientation Estimation
Supervised Learning for Yaw Orientation Estimation
收藏 引用
International Conference on Indoor Positioning and Indoor Navigation (IPIN)
作者: Tobias Feigl Christopher Mutschler Michael Philippsen Machine Learning and Information Fusion Group Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Programming Systems Group
With free movement and multi-user capabilities, there is demand to open up Virtual Reality (VR) for large spaces. However, the cost of accurate camera-based tracking grows with the size of the space and the number of ... 详细信息
来源: 评论
Optimizing Machine Learning Algorithms to Enhance Blood Donation for Liver Patients: A Case Study  7
Optimizing Machine Learning Algorithms to Enhance Blood Dona...
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Mijwil, Maad M. El-Kenawy, El-Sayed M. Bala, Indu Aljanabi, Mohammad Abotaleb, Mostafa Ibrahim, Abdelhameed Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt School of Electrical and Electronics Engineering Lovely Professional University Punjab India Department of Computer Aliraqia University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt
Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune... 详细信息
来源: 评论
B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course  11
B2A, A Straight-Through Approach from Basics to Advanced Lev...
收藏 引用
11th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024
作者: Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia
In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorou... 详细信息
来源: 评论
Creating a Dynamic Online Learning Environment with AI Integration
Creating a Dynamic Online Learning Environment with AI Integ...
收藏 引用
International Computer Sciences and Information Technologies (CSIT)
作者: Oleksandra Bulgakova Zarina Viniarska Viacheslav Zosimov P.M Platonov Educational and Scientific Institute of Computer Engineering Automation Robotics and Computer Programming Odesa National University of Technology Odesa Ukraine Department of Applied information systems Taras Shevchenko National University of Kyiv Kyiv Ukraine
Educational, online learning has become a common practice due to rapid digitalization and recent global events. This study focuses on developing a comprehensive online learning platform that addresses users' needs... 详细信息
来源: 评论
Model-based Generation of Attack-Fault Trees
arXiv
收藏 引用
arXiv 2023年
作者: Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and ... 详细信息
来源: 评论