Bibliography (complete)
Showing 401 - 450 of 11232 Results
Turn Page
- First Page
- Previous Page
- 151-200
- 301-350
- 351-400
- Sie sind auf Seite:401-450
- 451-500
- 501-550
- Last Page
- Next Page
- 651-700
-
Source
-
[Journal Article]
Gray, Jeff; Rumpe, Bernhard
Reference models : how can we leverage them?
Software and systems modeling, 20, 6, 1775-1776 (2021)
[DOI: 10.1007/s10270-021-00948-0] -
[Dissertation / PhD Thesis]
Voigtlaender, Paul
Video object segmentation and tracking
(2021)
[DOI: 10.18154/RWTH-2021-10681] -
[Dissertation / PhD Thesis]
Lindner, Peter
The theory of infinite probabilistic databases
(2021)
[DOI: 10.18154/RWTH-2021-10669] -
[Dataset]
Dahlmanns, Markus; Lohmöller, Johannes; Pennekamp, Jan; Bodenhausen, Jörn; Wehrle, Klaus; Henze, Martin
Dataset to "Missed Opportunities: Measuring the Untapped TLS Support in the Industrial Internet of Things"
(2021)
[DOI: 10.18154/RWTH-2021-10668] -
[Master Thesis]
Schmeing, Elena; Ehlenz, Matthias Siegfried; Röpke, René
Akzeptanzkriterien für den Einsatz von Learning Analytics an deutschen Schulen
(2021)
[DOI: 10.18154/RWTH-2021-10649] -
[Contribution to a book, Contribution to a conference proceedings]
Kirchhof, Jörg Christian; Malcher, Lukas; Rumpe, Bernhard
Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
[Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE ’21), ACM SIGPLAN, Oktober 2021 / E. Tilevich, C. De Roover, editors], 197-209 (2021)
[DOI: 10.1145/3486609.3487210] -
[Bachelor Thesis]
Koritzius, Thore; Orland, Fabian; Protze, Joachim
Critical path-based parallel performance metrics for hybrid MPI+OpenMP applications
(2021) -
[Book, Dissertation / PhD Thesis]
Bohlender, Dimitri
Symbolic methods for formal verification of industrial control software
Aachener Informatik-Berichte 2021-11 (2021)
[DOI: 10.18154/RWTH-2021-10633] -
[Contribution to a book, Contribution to a conference proceedings]
Schuster, Daniel; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.
Freezing Sub-models During Incremental Process Discovery
Conceptual Modeling : 40th International Conference, ER 2021, Virtual Event, October 18-21, 2021, Proceedings / edited by Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann, 14-24 (2021)
[DOI: 10.1007/978-3-030-89022-3_2] -
[Journal Article]
Neuhäuser, Leonie Lisa; Stamm, Felix I.; Lemmerich, Florian; Schaub, Michael Thomas; Strohmaier, Markus Bernhard
Simulating systematic bias in attributed social networks and its effect on rankings of minority nodes
Applied network science, 6, 1, 86 (2021)
[DOI: 10.1007/s41109-021-00425-z] -
[Contribution to a book, Contribution to a conference proceedings]
Atouani, Abdallah; Kirchhof, Jörg Christian; Kusmenko, Evgeny; Rumpe, Bernhard
Artifact and reference models for generative machine learning frameworks and build systems
[Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE ’21), ACM SIGPLAN, Oktober 2021 / E. Tilevich, C. De Roover, editors], 55-68 (2021)
[DOI: 10.1145/3486609.3487199] -
[Contribution to a book, Contribution to a conference proceedings]
Becker, Fabian; Bibow, Pascal; Dalibor, Manuela; Gannouni, Aymen; Hahn, Viviane; Hopmann, Christian; Jarke, Matthias; Koren, István; Kröger, Moritz; Lipp, Johannes; Maibaum, Judith; Michael, Judith; Rumpe, Bernhard; Sapel, Patrick; Schäfer, Niklas Cedric; Schmitz, Georg; Schuh, Günther; Wortmann, Andreas
A Conceptual Model for Digital Shadows in Industry and Its Application
Conceptual Modeling : 40th International Conference, ER 2021, Virtual Event, October 18-21, 2021, Proceedings / Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann, 271-281 (2021)
[DOI: 10.1007/978-3-030-89022-3_22] -
[Journal Article]
Drave, Imke Helene; Gerasimov, Arkadii; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
A Methodology for Retrofitting Generative Aspects in Existing Applications
Journal of object technology : JOT, 20, 2, 1-24 (2021)
[DOI: 10.5381/jot.2021.20.2.a7] -
[Dataset]
Noichl, Svenja
Datensatz zu InfoBiTS: Informatische Bildung für Technikferne Seniorinnen und Senioren
(2021)
[DOI: 10.18154/RWTH-2021-10449] -
[Dissertation / PhD Thesis]
Noichl, Svenja
InfoBiTS: Informatische Bildung für Technikferne Seniorinnen und Senioren : Förderung digitaler Kompetenzen durch informatische Grundbildung mittels digitaler Lehr-/Lernszenarien
(2021)
[DOI: 10.18154/RWTH-2021-10434] -
[Book, Report]
Nagl, Manfred
The Architecture is the Center of the Software Development Process
Aachener Informatik-Berichte AIB-2021-08 (2021)
[DOI: 10.18154/RWTH-2021-10397] -
[Contribution to a book, Contribution to a conference proceedings]
Müller, Sascha; Jordon, Adeline; Gerndt, Andreas; Noll, Thomas
A Modular Approach to Non-deterministic Dynamic Fault Trees
Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings / edited by Ibrahim Habli, Mark Sujan, Friedemann Bitsch, 243-257 (2021)
[DOI: 10.1007/978-3-030-83903-1_16] -
[Journal Article]
Büsing, Christina Maria Katharina; Rachuba, Sebastian; Thielen, Clemens
Special Issue on Healthcare Analytics
Operations research for health care, 30, 100309 (2021)
[DOI: 10.1016/j.orhc.2021.100309] -
[Contribution to a book, Contribution to a conference proceedings]
Wang, Weiyue; Yang, Zijian; Gao, Yingbo; Ney, Hermann
Transformer-Based Direct Hidden Markov Model for Machine Translation
The 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing - proceedings of the Student Research Workshop : August 5-6, 2021, Bangkok, Thailand (online) : ACL-IJCNLP 2021, 23-32 (2021) -
[Contribution to a book, Contribution to a conference proceedings]
Kunze, Ike Sebastian; Gunz, Moritz; Saam, David; Wehrle, Klaus; Rüth, Jan Christoph
Tofino+P4 : A Strong Compound for AQM on High-Speed Networks?
IFIP/IEEE International Symposium on Integrated Network Management, 72-80 (2021) -
[Book, Report]
Nagl, Manfred
Architectural Styles: Do they Need Different Notations?
Aachener Informatik-Berichte AIB-2021-09 (2021)
[DOI: 10.18154/RWTH-2021-10363] -
[Contribution to a book, Contribution to a conference proceedings]
Khan, Muhammad Hannan; Hassan, Osman; Khan, Shahid
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings / edited by Antonio Cerone, Peter Csaba Ölveczky, 86-104 (2021)
[DOI: 10.1007/978-3-030-85315-0_6] -
[Contribution to a book, Contribution to a conference proceedings]
van der Aalst, Wil M. P.
Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins
Theoretical aspects of computing - ICTAC 2021 : 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / Antonio Cerone, Peter Csaba Ölveczky (eds.), 3-17 (2021)
[DOI: 10.1007/978-3-030-85315-0_1] -
[Contribution to a book, Contribution to a conference proceedings]
Khan, Shahid; Volk, Matthias; Katoen, Joost-Pieter; Braibant, Alexis; Bouissou, Marc
Model Checking the Multi-Formalism Language FIGARO
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE, 463-470 (2021)
[DOI: 10.1109/DSN48987.2021.00056] -
[Contribution to a conference proceedings, Journal Article]
Fonck, Simon; Fritsch, Sebastian Johannes; Kowalewski, Stefan; Hensen, Raimund; Stollenwerk, André
Algorithmic distinction of ARDS and Heart Failure in ICU data from medical embedded systems by using a computer model
IFAC-PapersOnLine, 54, 4, 135-140 (2021)
[DOI: 10.1016/j.ifacol.2021.10.023] -
[Contribution to a conference proceedings, Journal Article]
Ehret, Jonathan; Bönsch, Andrea; Aspöck, Lukas; Röhr, Christine T.; Baumann, Stefan; Grice, Martine; Fels, Janina; Kuhlen, Torsten
Do Prosody and Embodiment Influence the Perceived Naturalness of Conversational Agents’ Speech?
ACM transactions on applied perception, 18, 4, 21 (2021)
[DOI: 10.1145/3486580] -
[Contribution to a book, Contribution to a conference proceedings]
Budde, Carlos E.; Hartmanns, Arnd; Klauck, Michaela; Křetínský, Jan; Parker, David; Quatmann, Tim; Turrini, Andrea; Zhang, Zhen
On Correctness, Precision, and Performance in Quantitative Verification : QComp 2020 Competition Report
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen, 216-241 (2021)
[DOI: 10.1007/978-3-030-83723-5_15] -
[Contribution to a book, Contribution to a conference proceedings]
Yazdi, Mohammad Amin; Schimmel, David; Nellesen, Marcel; Politze, Marius; Müller, Matthias S.
DA4RDM: Data Analysis for Research Data Management Systems
Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management / Editors: Jorge Bernardino, Elio Masciari, Colette Rolland and Joaquim Filipe. - Volume 3, 177-183 (2021)
[DOI: 10.5220/0010678700003064] -
[Contribution to a book, Contribution to a conference proceedings]
Kloock, Maximilian Martin; He, Qingyun; Kowalewski, Stefan; Alrifaee, Bassam
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 IEEE International Intelligent Transportation Systems Conference (ITSC) : 19-22 Sept. 2021 / publisher: IEEE, 244-250 (2021)
[DOI: 10.1109/ITSC48978.2021.9564414] -
[Contribution to a conference proceedings]
Xing, Yiran; Shi, Zai; Meng, Zhao; Lakemeyer, Gerhard; Ma, Yunpu; Wattenhofer, Roger
KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers) - Association for Computational Linguistics Stroudsburg, PA, USA, 2021. - ISBN - doi:10.18653/v1/2021.acl-long.44, 525-535 (2021)
[DOI: 10.18653/v1/2021.acl-long.44] -
[Journal Article]
van der Aalst, Wil M. P.; Hinz, Oliver; Weinhardt, Christof
Resilient Digital Twins : Organizations Need to Prepare for the Unexpected
Business & information systems engineering, 63, 6, 615-619 (2021)
[DOI: 10.1007/s12599-021-00721-z] -
[Journal Article]
Bohner, Lauren; Tortamano, Pedro; Gremse, Felix; Chilvarquer, Israel; Kleinheinz, Johannes; Hanisch, Marcel
Assessment of Trabecular Bone During Dental Implant Planning using Cone-beam Computed Tomography with High-resolution Parameters
The open dentistry journal, 15, 1, 57-63 (2021)
[DOI: 10.2174/1874210602115010057] -
[Journal Article]
Martin, Niels; Fischer, Dominik A.; Kerpedzhiev, Georgi D.; Goel, Kanika; Leemans, Sander J. J.; Röglinger, Maximilian; van der Aalst, Wil M. P.; Dumas, Marlon; La Rosa, Marcello; Wynn, Moe T.
Opportunities and Challenges for Process Mining in Organizations: Results of a Delphi Study
Business & information systems engineering, 63, 5, 511-527 (2021)
[DOI: 10.1007/s12599-021-00720-0] -
[Contribution to a book, Contribution to a conference proceedings]
Andriushchenko, Roman; Češka, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Stupinský, Šimon
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings / Alexandra Silva, K. Rustan M. Leino (eds.). - Part I, 856-869 (2021)
[DOI: 10.1007/978-3-030-81685-8_40] -
[Book, Dissertation / PhD Thesis]
Diaz Pier, Sandra
Structural plasticity as a connectivity generation and optimization algorithm in neural networks
Schriften des Forschungszentrums Jülich. IAS series 47 (2021)
[DOI: 10.18154/RWTH-2021-09810] -
[Journal Article]
Hausen, Daniela Adele; Bossert, Lukas C.; Trautwein-Bruns, Ute
Aufgaben- und Kompetenzspektrum der Data Stewards an der RWTH Aachen University : generell und explizit am Beispiel des Sonderforschungsbereichs 1382
Bausteine Forschungsdatenmanagement, 3, 92-105 (2021)
[DOI: 10.17192/bfdm.2021.3.8352] -
[Master Thesis]
Kotowski, Niklas; Haehn, Rebecca
Accelerating symbolic simulation to analyze the effect of delays in train timetables
(2021) -
[Journal Article]
Liebal, Ulf Winfried; Köbbing, Sebastian; Netze, Linus; Schweidtmann, Artur M.; Mitsos, Alexander; Blank, Lars M.
Insight to Gene Expression From Promoter Libraries With the Machine Learning Workflow Exp2Ipynb
Frontiers in bioinformatics, 1, 747428 (2021)
[DOI: 10.3389/fbinf.2021.747428] -
[Bachelor Thesis]
Pätzold, Cornelius
Performance and productivity evaluation of Cpp-taskflow and OpenMP tasking
(2021)
[DOI: 10.18154/RWTH-2021-09669] -
[Journal Article]
Tipantuna, Christian; Hesselbach, Xavier; Unger, Walter
Heuristic Strategies for NFV-Enabled Renewable and Non-Renewable Energy Management in the Future IoT World
IEEE access, 9, 125000-125031 (2021)
[DOI: 10.1109/ACCESS.2021.3110246] -
[Journal Article]
Mohd-Shafie, Muhammad Luqman; Kadir, Wan Mohd Nasir Wan; Lichter, Horst; Khatibsyarbini, Muhammad; Isa, Mohd Adham
Model-based test case generation and prioritization: a systematic literature review
Software and systems modeling, 21, 2, 717-753 (2021)
[DOI: 10.1007/s10270-021-00924-8] -
[Contribution to a conference proceedings, Journal Article]
Lachmann, Thomas; Lendl, Stefan; Woeginger, Gerhard
A linear time algorithm for the robust recoverable selection problem
Discrete applied mathematics, 303, 94-107 (2020)
[DOI: 10.1016/j.dam.2020.08.012] -
[Journal Article]
Kollnig, Konrad; Bientinesi, Paolo; Di Napoli, Edoardo A.
Rational Spectral Filters with Optimal Convergence Rate
SIAM journal on scientific computing, 43, 4, A2660-A2684 (2020)
[DOI: 10.1137/20M1313933] -
[Journal Article]
Matzutt, Roman; Kalde, Benedikt; Pennekamp, Jan; Drichel, Arthur; Henze, Martin; Wehrle, Klaus
CoinPrune : Shrinking Bitcoin’s Blockchain Retrospectively
IEEE Transactions on Network and Service Management, 18, 3, 3064-3078 (2021)
[DOI: 10.1109/TNSM.2021.3073270] -
[Contribution to a book, Contribution to a conference proceedings]
Ali, Lubna Kamel Nazih; Vu Tuan Tran; Röpke, René; Schroeder, Ulrik
A digital educational game for practicing oer editing
CELDA 2021 : 18th International Conference on Cognition and Exploratory Learning in the Digital Age ; virtual ; 13 - 15 October 2021 ; proceedings / edited by Demetrios G. Sampson ; Dirk Ifenthaler ; Pedro Isaías, 319-322 (2021) -
[Journal Article]
Kugelstadt, Tassilo; Bender, Jan Stephen; Fernández-Fernández, José Antonio; Jeske, Stefan Rhys; Löschner, Fabian; Longva, Andreas Borgen
Fast Corotated Elastic SPH Solids with Implicit Zero-Energy Mode Control
Proceedings of the ACM on Computer Graphics and Interactive Techniques, 4, 3, 1-21 (2021)
[DOI: 10.1145/3480142] -
[Dissertation / PhD Thesis]
Ritzert, Martin
Learning on graphs with logic and neural networks
(2021)
[DOI: 10.18154/RWTH-2021-09549] -
[Contribution to a book, Contribution to a conference proceedings]
Samfass, Philipp; Klinkenberg, Jannis; Chung, Minh Thanh; Bader, Michael
Predictive, reactive and replication-based load balancing of tasks in Chameleon and sam(oa)2
Proceedings of the Platform for Advanced Scientific Computing Conference, 10 Seiten (2021)
[DOI: 10.1145/3468267.3470574] -
[Book, Proceedings]
McIntosh-Smith, Simon (Editor); de Supinski, Bronis R. (Editor); Klinkenberg, Jannis (Editor)
OpenMP : enabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, proceedings
Programming and software engineering 12870 (2021)
[DOI: 10.1007/978-3-030-85262-7] -
[Contribution to a book, Contribution to a conference proceedings]
Holmes, Benedikt; Drichel, Arthur; Meyer, Ulrike
Sharing FANCI Features : A Privacy Analysis of Feature Extraction for DGA Detection
CYBER 2021: The Sixth International Conference on Cyber-Technologies and Cyber-Systems, 58-64 (2021)
Turn Page
- First Page
- Previous Page
- 151-200
- 301-350
- 351-400
- Sie sind auf Seite:401-450
- 451-500
- 501-550
- Last Page
- Next Page
- 651-700