Bibliographie (komplett)
Treffer 1 - 50 von 11990 Ergebnissen
Blättern
- Sie sind auf Seite:1-50
- 51-100
- 101-150
- letzte Seite
- nächste Seite
- 251-300
-
Quelle
-
[Fachzeitschriftenartikel]
Pennekamp, Jan; Matzutt, Roman; Klinkmüller, Christopher; Bader, Lennart; Serror, Martin; Wagner, Eric; Malik, Sidra; Spiß, Maria; Rahn, Jessica; Gürpinar, Tan; Vlad, Eduard; Leemans, Sander Jacobus Johannes; Kanhere, Salil S.; Stich, Volker; Wehrle, Klaus
An Interdisciplinary Survey on Information Flows in Supply Chains
ACM computing surveys, 56, 2, 32 (2023)
[DOI: 10.1145/3606693] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Jansen, Nils (Editor); Tribastone, Mirco (Editor); Gerlach, Lina; Dobe, Oyendrila; Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo
Introducing Asynchronicity to Probabilistic Hyperproperties
Quantitative Evaluation of Systems / Jansen, Nils (Editor) [https://orcid.org/0000-0003-1318-8973] ; Cham : Springer Nature Switzerland, 2023, Chapter 4 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-43834-9=978-3-031-43835-6 ; doi:10.1007/978-3-031-43835-6, 47 - 64 (2023)
[DOI: 10.1007/978-3-031-43835-6_4] -
[Tagungsband]
Roddenberry, T. Mitchell; Grande, Vincent P.; Frantzen, Florian; Schaub, Michael T.; Segarra, Santiago
Signal Processing On Product Spaces
(2023)
[DOI: 10.1109/ICASSP49357.2023.10095735] -
[Fachzeitschriftenartikel]
Calmon, Lucille; Schaub, Michael T; Bianconi, Ginestra
Dirac signal processing of higher-order topological signals
New journal of physics, 25, 9, 093013 - (2023)
[DOI: 10.1088/1367-2630/acf33c] -
[Fachzeitschriftenartikel]
Bick, Christian; Gross, Elizabeth; Harrington, Heather A.; Schaub, Michael Thomas
What Are Higher-Order Networks?
SIAM review, 65, 3, 686 - 731 (2023)
[DOI: 10.1137/21M1414024] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bossek, Jakob Matheus; Neumann, Aneta; Neumann, Frank
On the Impact of Basic Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson Problem
Proceedings of the Genetic and Evolutionary Computation Conference Companion (2023)
[DOI: 10.1145/3583131.3590384] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Heithoff, Malte Felix; Hellwig, Alexander; Michael, Judith; Rumpe, Bernhard
Digital Twins for Sustainable Software Systems
2023 IEEE/ACM 7th International Workshop on Green And Sustainable Software (GREENS) : [Proceedings] (2023)
[DOI: 10.1109/GREENS59328.2023.00010] -
[Beitrag zu einem Tagungsband]
Brocker, Annabell; Schroeder, Ulrik
Investigating Feedback Types in JupyterLab for Programming Novices
DELFI 2023 - Die 21. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. / René Röpke, Ulrik Schröder, 103-108 (2023)
[DOI: 10.18420/delfi2023-19] -
[Buchbeitrag]
Neumann, Alexander Tobias; Welten, Sascha Martin; Kunz, Julia; Klamma, Ralf; Decker, Stefan Josef
HAICO: A Monitoring and Transaction Chatbot for Distributed Analytics Workflows
2023 IEEE International Conference on Web Services (ICWS) : [Proceedings], 707-709 (2023)
[DOI: 10.1109/ICWS60048.2023.00092] -
[Buch, Poster]
Löbel, Alexander; Salmen, Frederic; Meyer, Ulrike; Schroeder, Ulrik
Behind the Screens: The Security & Privacy Advice Landscape of Children in Grades 5 & 6
Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 1-2 (2023)
[DOI: 10.1145/3605468.3609766] -
[Fachzeitschriftenartikel]
Salmani Barzoki, Bahare; Katoen, Joost-Pieter
Automatically Finding the Right Probabilities in Bayesian Networks
Journal of artificial intelligence research : JAIR, 77, 1637-1696 (2023)
[DOI: 10.1613/jair.1.14044] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bodenbenner, Matthias; Pennekamp, Jan; Montavon, Benjamin; Wehrle, Klaus; Schmitt, Robert H.
FAIR Sensor Ecosystem: Long-Term (Re-)Usability of FAIR Sensor Data through Contextualization
2023 IEEE 21st International Conference on Industrial Informatics (INDIN) : [Proceedings] (2023)
[DOI: 10.1109/INDIN51400.2023.10218149] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Wagner, Eric; Rothaug, Nils; Wolsing, Konrad; Bader, Lennart; Wehrle, Klaus; Henze, Martin
Retrofitting Integrity Protection into Unused Header Fields of Legacy Industrial Protocols
Proceedings of the 48th IEEE Conference on Local Computer Networks : LCN 2023 : October 1-5, 29023, Daytona Beach, Florida, USA / general chair: Sharief Oteafy ; editors: Eyuphan Bulut, Florian Tschorsch, and Kanchana Thilakarathna (2023)
[DOI: 10.1109/LCN58197.2023.10223384] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Andriushchenko, Roman; Bork, Alexander; Češka, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Macák, Filip
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135 (2023)
[DOI: 10.1007/978-3-031-37709-9_6] -
[Fachzeitschriftenartikel]
Leemans, Sander Jacobus Johannes; Mannel, Lisa Luise; Sidorova, Natalia
Significant stochastic dependencies in process models
Information systems : IS, 118, 102223 (2023)
[DOI: 10.1016/j.is.2023.102223] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Wang, Bo; Kozhokanova, Anara; Terboven, Christian; Müller, Matthias S.
RLP: Power Management Based on a Latency-Aware Roofline Model
2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS) : 15-19 May 2023, 446-456 (2023)
[DOI: 10.1109/IPDPS54959.2023.00052] -
[Fachzeitschriftenartikel]
Martini, Michael; Schuster, Daniel; van der Aalst, Wil M. P.
Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants
Proceedings of the VLDB Endowment, 16, 10, 2666-2678 (2023)
[DOI: 10.14778/3603581.3603603] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt
A Systematic Literature Review of Mixed Reality Learning Approaches
Extended Reality : International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II, 15-34 (2023)
[DOI: 10.1007/978-3-031-43404-4_2] -
[Fachzeitschriftenartikel]
Kim, Soo-Yon; Hillemacher, Steffen; Decker, Stefan Josef; Rumpe, Bernhard; Geisler, Sandra
Designing and Implementing Practicable Data Management Plans in Large-Scale ProjectsBausteine Forschungsdatenmanagement : 2023, 3
Bausteine Forschungsdatenmanagement, 2023, 3, 1-12 (2023)
[DOI: 10.17192/bfdm.2023.3.8571] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin
The Descriptive Complexity of Graph Neural Networks
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26-29 June 2023, [1]-14 (2023)
[DOI: 10.1109/LICS56636.2023.10175735] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin; Lichter, Moritz; Neuen, Daniel
The Iteration Number of the Weisfeiler-Leman Algorithm
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings] - IEEE, 2023. - ISBN 979-8-3503-3587-3 - doi:10.1109/LICS56636.2023.10175741, 13 Seiten (2023)
[DOI: 10.1109/LICS56636.2023.10175741] -
[Fachzeitschriftenartikel]
Khojasteh, Behnam; Solowjow, Friedrich; Trimpe, Johann Sebastian; Kuchenbecker, Katherine J.
Multimodal Multi-User Surface Recognition With the Kernel Two-Sample Test
IEEE transactions on automation science and engineering, [1]-16 (2023)
[DOI: 10.1109/TASE.2023.3296569] -
[Fachzeitschriftenartikel]
Zajzon, Barna; Duarte, Renato; Morrison, Abigail Joanna Rhodes
Toward reproducible models of sequence learning: replication and analysis of a modular spiking network with reward-based learning
Frontiers in integrative neuroscience, 17, 935177 (2023)
[DOI: 10.3389/fnint.2023.935177] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Kühlem, Konstantin
Collaborative Learning in Mixed Reality Using WebXR and H5P
Methodologies and intelligent systems for technology enhanced learning, 13th International Conference / Marcelo Milrad, Nuno Otero, María Cruz Sánchez‑Gómez, Juan José Mena, Dalila Durães, Filippo Sciarrone, Claudio Alvarez-Gómez, Manuel Rodrigues, Pierpaolo Vittorini, Rosella Gennari, Tania Di Mascio, Marco Temperini, Fernando De la Prieta editors, 239-249 (2023)
[DOI: 10.1007/978-3-031-41226-4_25] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Heinemann, Birte; Schroeder, Ulrik
Evaluating Usability and User Feedback in an Immersive Virtual Reality Environment for Computer Science Education
Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023 Aveiro, Portugal, September 4-8, 2023 : Proceedings / Olga Viberg · Ioana Jivet · Pedro J. Muñoz-Merino · Maria Perifanou · Tina Papathoma, Editors, 718-724 (2023)
[DOI: 10.1007/978-3-031-42682-7_67] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Neumann, Alexander Tobias; Slupczynski, Michal Piotr; Yin, Yue; Li, Chenyang; Decker, Stefan Josef
Citation Recommendation Chatbot for Professional Communities
Collaboration Technologies and Social Computing : 29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings / edited by Hideyuki Takada, D. Moritz Marutschke, Claudio Alvarez, Tomoo Inoue, Yugo Hayashi, Davinia Hernandez-Leo, 52-67 (2023)
[DOI: 10.1007/978-3-031-42141-9_4] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Sen, Ömer; Malskorn, Philipp; Glomb, Simon; Hacker, Helge Immanuel; Henze, Martin; Ulbig, Andreas
An Approach to Abstract Multi-stage Cyberattack Data Generation for ML-Based IDS in Smart Grids
2023 IEEE Belgrade PowerTech : June 25-29, 2023 : Belgrade, Serbia (2023)
[DOI: 10.1109/PowerTech55446.2023.10202747] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bader, Lennart; Serror, Martin; Lamberts, Olav; Sen, Ömer; van der Velde, Dennis; Hacker, Helge Immanuel; Filter, Julian; Padilla, Elmar; Henze, Martin
Comprehensively Analyzing the Impact of Cyberattacks on Power Grids
EUROS&P 2023 : 8th IEEE European Symposium on Security and Privacy : proceedings (2023)
[DOI: 10.1109/EuroSP57164.2023.00066] -
[Buch, Tagungsband]
Bordawekar, Rajesh (Editor); Cappiello, Cinzia (Editor); Efthymiou, Vasilis (Editor); Ehrlinger, Lisa (Editor); Gadepally, Vijay (Editor); Galhotra, Sainyam (Editor); Geisler, Sandra (Editor); Groppe, Sven (Editor); Gruenwald, Le (Editor); Halevy, Alon (Editor); Harmouch, Hazar (Editor); Hassanzadeh, Oktie (Editor); Ilyas, Ihab (Editor); Jiménez-Ruiz, Ernesto (Editor); Krishnan, Sanjay (Editor); Lahiri, Tirthankar (Editor); Li, Guoliang (Editor); Lu, Jiaheng (Editor); Mauerer, Wolfgang (Editor); Minhas, Umar Farooq (Editor); Naumann, Felix (Editor); Özsu, M. Tamer (Editor); Rezig, El Kindi (Editor); Srinivas, Kavitha (Editor); Stonebraker, Michael (Editor); Valluri, Satyanarayana R. (Editor); Vidal, Maria-Esther (Editor); Wang, Haixun (Editor); Wang, Jiannan (Editor); Wu, Yingjun (Editor); Xue, Xun (Editor); Zait, Mohamed (Editor); Zeng, Kai (Editor)
VLDBW 2023 : workshops at VLDB 2023 : joint proceedings of workshops at the 49th International Conference on Very Large Data Bases (VLDB 2023)
CEUR workshop proceedings 3462 (2023) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bossek, Jakob Matheus; Sudholt, Dirk
Runtime Analysis of Quality Diversity Algorithms
GECCO '23 : proceedings of the Genetic and Evolutionary Computation Conference : July 15-19, 2023, Lisbon, Portugal, 1546-1554 (2023)
[DOI: 10.1145/3583131.3590383] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Koren, István; Rinker, Felix; Meixner, Kristof; Matevska, Jasminka; Walter, Jörg
Challenges and Opportunities of DevOps in Cyber-Physical Production Systems Engineering
2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems (ICPS), 8-11 May 2023, 6 Seiten (2023)
[DOI: 10.1109/ICPS58381.2023.10128073] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Marrero, Alejandro; Segredo, Eduardo; Hart, Emma; Bossek, Jakob Matheus; Neumann, Aneta
Generating diverse and discriminatory knapsack instances by searching for novelty in variable dimensions of feature-space
Proceedings of the Genetic and Evolutionary Computation Conference, 312-320 (2023)
[DOI: 10.1145/3583131.3590504] -
[Fachzeitschriftenartikel]
van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Kourani, Humam
Discovering hybrid process models with bounds on time and complexity: When to be formal and when not?
Information systems : IS, 116, 102214 (2023)
[DOI: 10.1016/j.is.2023.102214] -
[Fachzeitschriftenartikel]
Trinh, Minh; Petrovic, Oliver; Brecher, Christian; Behery, Mohamed Anwar Abdellatif; Lakemeyer, Gerhard
Kollaborative Montageprozesse mit Behavior Trees: Flexibilität und Sicherheit bei der Mensch-Roboter-Kollaboration
VDI-Z integrierte Produktion, 165, 1/2, 62-65 (2023)
[DOI: 10.37544/0042-1766-2023-01-02-62] -
[Fachzeitschriftenartikel]
Löschner, Fabian; Fernandez Fernandez, Jose Antonio; Jeske, Stefan Rhys; Longva, Andreas Borgen; Bender, Jan Stephen
Micropolar Elasticity in Physically-Based Animation
Proceedings of the ACM on Computer Graphics and Interactive Techniques, 6, 3, 1-24 (2023)
[DOI: 10.1145/3606922] -
[Bachelorarbeit]
Schmitz, Thea; Ali, Lubna Kamel Nazih; Brocker, Annabell
Entwicklung eines Moduls für die Förderung der Nutzung von OER in der Oberstufe mit Hilfe einer Web-Applikation
(2023)
[DOI: 10.18154/RWTH-2023-08213] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Pourbafrani, Mahsa; van der Aalst, Wil M. P.
Data-driven Simulation in Process Mining: Introducing a Reference Model
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023 : June 20th-June 23rd, 2023, Florence, Italy / edited by: Enrico Vicario, Romeo Bandinelli, Virginia Fani, Michele Mastroianni ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: UNIFI - Università degli Studi di Firenze, 10 Seiten (2023)
[DOI: 10.7148/2023-0411] -
[Masterarbeit]
Roesges, Soeren; Heinemann, Birte
Inklusive Annäherung an die Grundlagen der Elektrotechnik
(2023)
[DOI: 10.18154/RWTH-2023-08186] -
[Fachzeitschriftenartikel]
Li, Dun; Yang, Hongxi; Lyu, Mingqian; Zhou, Lihui; Zhang, Yuan; Kang, Chunsheng; Wang, Ju; Wang, Yaogang
Association between behavioural risks and Alzheimer's disease: Elucidated with an integrated analysis of gene expression patterns and molecular mechanisms
Neuroscience & biobehavioral reviews, 150, 105207 (2023)
[DOI: 10.1016/j.neubiorev.2023.105207] -
[Fachzeitschriftenartikel]
Schaub, Michael Thomas; Li, Jiaze; Peel, Leto
Hierarchical community structure in networks
Physical review / E, 107, 5, 054305 (2023)
[DOI: 10.1103/PhysRevE.107.054305] -
[Fachzeitschriftenartikel]
Baumeister, Markus; Kobbelt, Leif
How close is a quad mesh to a polycube?
Computational geometry, 111, 101978 (2023)
[DOI: 10.1016/j.comgeo.2022.101978] -
[Patent]
Kirchhof, Jörg Christian; Kuck, Detlef; Lem, Jeroen; Grein, Marcel
Verfahren, Computerprogrammprodukt und System zum Betrieb eines Nutzfahrzeugs sowie Nutzfahrzeug
(2023) -
[Bericht]
Koch, Sandro; Reiche, Frederik; Weber, Sebastian; Konersmann, Marco; Stüber, Sebastian Wolfram; Wollenhaupt, Lucas; Taghavi, Bahareh; Rumpe, Bernhard; Heinrich, Robert
A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses
2 2023 (2023)
[DOI: 10.5445/IR/1000161276] -
[Preprint]
Willemsen, Lisa; Remke, Anne; Ábrahám, Erika
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
(2023)
[DOI: 10.48550/arXiv.2307.08052] -
[Preprint]
Gerlach, Lina; Dobe, Oyendrila; Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo
Introducing Asynchronicity to Probabilistic Hyperproperties
(2023)
[DOI: 10.48550/arXiv.2307.05282] -
[Preprint]
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
(2023)
[DOI: 10.48550/arXiv.2304.14996] -
[Buch, Tagungsband]
Ábrahám, Erika (Editor); Sturm, Thomas (Editor)
SC-Square 2023 : Satisfiability Checking and Symbolic Computation 2023 : Proceedings of the 8th SC-Square Workshop : co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023
CEUR Workshop Proceedings 3455 (2023) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings / edited by Cristina David, Meng Sun, 164-182 (2023)
[DOI: 10.1007/978-3-031-35257-7_10] -
[Preprint]
Bär, Philipp; Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika; Brown, Christopher W.
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
(2023)
[DOI: 10.48550/arXiv.2306.16757] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Seppelt, Tim Frederik
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg, 82:1-82:15 (2023)
[DOI: 10.4230/LIPIcs.MFCS.2023.82]
Blättern
- Sie sind auf Seite:1-50
- 51-100
- 101-150
- letzte Seite
- nächste Seite
- 251-300