Bibliographie (komplett)
Treffer 101 - 150 von 11990 Ergebnissen
Blättern
- erste Seite
- vorherige Seite
- 1-50
- 51-100
- Sie sind auf Seite:101-150
- 151-200
- 201-250
- letzte Seite
- nächste Seite
- 351-400
-
Quelle
-
[Doktorarbeit]
Müller, Sascha
Synthesizing FDIR recovery strategies for space systems
(2023)
[DOI: 10.18154/RWTH-2023-06510] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Roberson, David E.; Seppelt, Tim Frederik
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis, 101:1-101:18 (2023)
[DOI: 10.4230/LIPICS.ICALP.2023.101] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Krüger, Marcel; Li, Qin; Kuhlen, Torsten; Gerrits, Tim Stefan
A Case Study on Providing Immersive Visualization for Neuronal Network Data Using COTS Soft- and Hardware
2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) : Shanghai, China, 25-29 March 2023, 201-205 (2023)
[DOI: 10.1109/VRW58643.2023.00050] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Kohlschmidt, Christian; Qafari, Mahnaz Sadat; van der Aalst, Wil M. P.
Detecting Surprising Situations in Event Data
Process Mining Workshops : ICPM 2022 International Workshops Bozen-Bolzano, Italy, October 23-28, 2022 : revised selected papers / Marco Montali, Arik Senderovich, Matthias Weidlich editors, 216-228 (2023)
[DOI: 10.1007/978-3-031-27815-0_16] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Park, Gyunam; van der Aalst, Wil M. P.
Monitoring Constraints in Business Processes Using Object-Centric Constraint Graphs
Process Mining Workshops : ICPM 2022 International Workshops Bozen-Bolzano, Italy, October 23-28, 2022 : revised selected papers / Marco Montali, Arik Senderovich, Matthias Weidlich editors, 479-492 (2023)
[DOI: 10.1007/978-3-031-27815-0_35] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Pohl, Timo; Qafari, Mahnaz Sadat; van der Aalst, Wil M. P.
Discrimination-Aware Process Mining: A Discussion
Process Mining Workshops : ICPM 2022 International Workshops Bozen-Bolzano, Italy, October 23-28, 2022 : revised selected papers / Marco Montali, Arik Senderovich, Matthias Weidlich editors, 101-113 (2023)
[DOI: 10.1007/978-3-031-27815-0_8] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Rennert, Christian; Mannel, Lisa Luise; van der Aalst, Wil M. P.
Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023) Caparica, Portugal, June 25-30, 2023 / Edited by: Luis Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn van der Werf, Sebastiaan J. van Zelst, 17 Seiten (2023)
[DOI: 10.18154/RWTH-2023-06404] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Gründling, Jan P.; Schauffel, Nathalie; Oehrl, Simon; Pape, Sebastian; Kuhlen, Torsten; Ellwart, Thomas; Weyers, Benjamin
Example Process for Designing a Hybrid User Interface for a Multi-Robot System
2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) : Shanghai, China, 25-29 March 2023, 563-564 (2023)
[DOI: 10.1109/VRW58643.2023.00124] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Goossens, Alexandre; De Smedt, Johannes; Vanthienen, Jan; van der Aalst, Wil M. P.
Enhancing Data-Awareness of Object-Centric Event Logs
Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers / edited by Marco Montali, Arik Senderovich, Matthias Weidlich, 18-30 (2023)
[DOI: 10.1007/978-3-031-27815-0_2] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Zeyer, Albert; Schmitt, Robin; Zhou, Weifeng; Schlüter, Ralf; Ney, Hermann
Monotonic Segmental Attention for Automatic Speech Recognition
2022 IEEE Spoken Language Technology Workshop (SLT) : SLT 2022 : proceedings : January 9-12, 2023, Doha, Qatar / sponsored by: the Institute of Electrical and Electronics Engineers, IEEE Signal Processing Society ; general chairs: Ahmed Ali (QCRI), Bhuvana Ramabhadran (Google) ; publication chairs: Alberto Abad Gareta (INESC-ID/IST), Erfan Loweimi (King\'s College London) (2023)
[DOI: 10.1109/SLT54892.2023.10022818] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika
Subtropical Satisfiability for SMT Solving
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri, 430-446 (2023)
[DOI: 10.1007/978-3-031-33170-1_26] -
[Buchbeitrag]
Kluge-Wilkes, Aline Chantal; Baier, Ralph Oliver; Kunze, Ike Sebastian; Müller, Aleksandra; Shahidi, Seyed Amirreza; Wolfschläger, Dominik; Brecher, Christian; Corves, Burkhard; Hüsing, Mathias; Nitsch, Verena; Schmitt, Robert H.; Wehrle, Klaus
Modular Control and Services to Operate Lineless Mobile Assembly Systems
Internet of production : fundamentals, applications and proceedings / editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-26 (2023)
[DOI: 10.1007/978-3-030-98062-7_13-1] -
[Masterarbeit]
Schmitz, Adrian; Miller, Julian
HPC code generation for parallel pattern based algorithms on heterogeneous architectures
(2023)
[DOI: 10.18154/RWTH-2023-06262] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Viehmann, Tarik; Limpert, Nicolas; Hofmann, Till; Henning, Mike; Ferrein, Alexander; Lakemeyer, Gerhard
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning
RoboCup 2022 : Robot World Cup XXV / edited by Amy Eguchi, Nuno Lau, Maike Paetzel-Prüsmann, Thanapat Wanichanon, 300-312 (2023)
[DOI: 10.1007/978-3-031-28469-4_25] -
[Fachzeitschriftenartikel]
Adams, Jan Niklas; Pitsch, Cameron; Brockhoff, Tobias; van der Aalst, Wil M. P.
An Experimental Evaluation of Process Concept Drift Detection
Proceedings of the VLDB Endowment, 16, 8, 1856-1869 (2023)
[DOI: 10.14778/3594512.3594517] -
[Fachzeitschriftenartikel]
Brix, Christopher Jan-Steffen; Müller, Mark Niklas; Bak, Stanley; Johnson, Taylor T.; Liu, Changliu
First three years of the international verification of neural networks competition (VNN-COMP)
International journal on software tools for technology transfer : STTT, 25, 329-339 (2023)
[DOI: 10.1007/s10009-023-00703-4] -
[Fachzeitschriftenartikel]
Antons, Oliver; Arlinghaus, Julia C.
Designing distributed decision-making authorities for smart factories - understanding the role of manufacturing network architecture
International journal of production research, 1-19 (2023)
[DOI: 10.1080/00207543.2023.2217285] -
[Fachzeitschriftenartikel]
Baum, Kevin; Bryson, Joanna; Dignum, Frank; Dignum, Virginia; Grobelnik, Marko; Hoos, Holger Hendrik; Irgens, Morten; Lukowicz, Paul; Muller, Catelijne; Rossi, Francesca; Shawe-Taylor, John; Theodorou, Andreas; Vinuesa, Ricardo
From fear to action: AI governance and opportunities for all
Frontiers in computer science, 5, 1210421 (2023)
[DOI: 10.3389/fcomp.2023.1210421] -
[Fachzeitschriftenartikel]
Neuhäuser, Leonie Lisa; Karimi, Fariba; Bachmann, Jan; Strohmaier, Markus; Schaub, Michael Thomas
Improving the visibility of minorities through network growth interventions
Communications Physics, 6, 108 (2023)
[DOI: 10.1038/s42005-023-01218-9] -
[Buchbeitrag]
Schmitt, Robert H.; Kiesel, Raphael; Buschmann, Daniel; Cramer, Simon Tristan; Enslin, Chrismarie; Fischer, Markus; Gries, Thomas; Hopmann, Christian; Huebser, Louis; Janke, Tim Konstantin; Kemmerling, Marco; Müller, Kai Bruno; Pelzer, Lukas; Perau, M.; Pourbafrani, Mahsa; Samsonov, Vladimir; Schlegel, Peter; Schopen, Marco; Schuh, Günther; Schulze, Tobias; van der Aalst, Wil M. P.
Improving Shop Floor-Near Production Management Through Data-Driven Insights
Internet of production : fundamentals, applications and proceedings / editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-23 (2023)
[DOI: 10.1007/978-3-030-98062-7_16-1] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Ensinger, Katharina; Solowjow, Friedrich; Ziesche, Sebastian; Tiemann, Michael; Trimpe, Sebastian
Structure-Preserving Gaussian Process Dynamics
Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings / Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas, editors. - Part 5, 140-156 (2023)
[DOI: 10.1007/978-3-031-26419-1_9] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Park, Gyunam; Küsters, Aaron Ruben; Tews, Mara; Pitsch, Cameron; Schneider, Jonathan; van der Aalst, Wil M. P.
Explainable Predictive Decision Mining for Operational Support
Service-oriented computing - ICSOC 2022 Workshops : ASOCA, AI-PA, FMCIoT, WESOACS 2022 : Sevilla, Spain, November 29-December 2, 2022 : proceedings / Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés, editors, 66-79 (2023)
[DOI: 10.1007/978-3-031-26507-5_6] -
[Masterarbeit]
Wassermann, Christian; Schmitz, Adrian; Miller, Julian
Automatic data flow optimizations for parallel patterns on hierarchical memory architectures
(2023)
[DOI: 10.18154/RWTH-2023-06006] -
[Buchbeitrag, Fachzeitschriftenartikel]
Sukhija, Bhavya; Turchetta, Matteo; Lindner, David; Krause, Andreas; Trimpe, Johann Sebastian; Baumann, Dominik
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems
Artificial intelligence, 320, 103922 (2023)
[DOI: 10.1016/j.artint.2023.103922] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Pennekamp, Jan; Lohmöller, Johannes; Vlad, Eduard; Loos, Joscha; Rodemann, Niklas; Sapel, Patrick; Fink, Ina Berenice; Schmitz, Seth; Hopmann, Christian; Jarke, Matthias; Schuh, Günther; Wehrle, Klaus; Henze, Martin
Designing Secure and Privacy-Preserving Information Systems for Industry Benchmarking
Advanced information systems engineering : 35th international conference, CAiSE 2023 Zaragoza, Spain, June 12-16, 2023, proceedings / Marta Indulska, Iris Reinhartz-Berger · Carlos Cetina, Oscar Pastor editors, 489-505 (2023)
[DOI: 10.1007/978-3-031-34560-9_29] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Nitz, Lasse Martin; Mandal, Avikarsha
DGA Detection Using Similarity-Preserving Bloom Encodings
Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference : Stavanger, Norway : EICC 2023 / Conference Chair: Aleksandra Mileva ; Program Co-chairs: Steffen Wendzel, Virginia Franqueira, 116-120 (2023)
[DOI: 10.1145/3590777.3590795] -
[Preprint]
Posada Moreno, Andres Felipe; Müller, Kai Bruno; Brillowski, Florian Sascha; Solowjow, Friedrich; Gries, Thomas; Trimpe, Johann Sebastian
Scalable Concept Extraction in Industry 4.0
(2023)
[DOI: 10.48550/arXiv.2306.03551] -
[Fachzeitschriftenartikel]
Halmschlag, Birthe; Völker, Simon; Hanke, René; Putri, Sastia P.; Fukusaki, Eiichiro; Büchs, Jochen; Blank, Lars M.
Metabolic engineering of B. subtilis 168 for increased precursor supply and poly-γ-glutamic acid production
Frontiers in food science and technology, 3, 1111571 (2023)
[DOI: 10.3389/frfst.2023.1111571] -
[Preprint]
Behery, Mohamed; Trinh, Minh; Brecher, Christian; Lakemeyer, Gerhard
Assistive Robot Teleoperation Using Behavior Trees
Variable Autonomy for human-robot Teaming (VAT) workshop @ ACM/IEEE HRI Stockholm 2023-03-13 - 2023-03-13 (2023)
[DOI: 10.48550/ARXIV.2303.05177] -
[Preprint]
Behery, Mohamed Anwar Abdellatif; Lakemeyer, Gerhard
Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab
AAAI Spring Symposium on HRI in Academia and Industry: Bridging the Gap San Francisco 2023-03-27 - 2023-03-29 (2023) -
[Buchbeitrag]
Rajaei, Ali; Becker, Marco; Deng, Yuanbin; Schenk, Oliver; Rooein, Soheil; de Oliveira Löhrer, Patricia; Reinisch, Niklas Manuel; Viehmann, Tarik; Abouridouane, Mustapha; Fernández, Mauricio; Broeckmann, Christoph; Bergs, Thomas; Hirt, Gerhard; Lakemeyer, Gerhard; Schmitz, Georg
Materials in the Drive Chain - Modeling Materials for the Internet of Production
Internet of production : fundamentals, applications and proceedings / editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-21 (2023)
[DOI: 10.1007/978-3-030-98062-7_23-1] -
[Buch, Doktorarbeit]
Kugler, Christopher
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
Aachener Informatik-Berichte (AIB) 2023,06 (2023)
[DOI: 10.18154/RWTH-2023-05715] -
[Bachelorarbeit]
Klotz, Sven; Schwitanski, Simon
On-the-fly data race detection for OpenSHMEM programs
(2023)
[DOI: 10.18154/RWTH-2023-05644] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Bekhter, Danylo
Mixed Reality Agents as Language Learning Tutors
Augmented Intelligence and Intelligent Tutoring Systems : 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings / edited by Claude Frasson, Phivos Mylonas, Christos Troussas, 565-575 (2023)
[DOI: 10.1007/978-3-031-32883-1_50] -
[Fachzeitschriftenartikel]
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
The probabilistic termination tool amber
Formal methods in system design, 20 Seiten (2023)
[DOI: 10.1007/s10703-023-00424-z] -
[Fachzeitschriftenartikel]
Aksoy, Sinan G.; Bennink, Ryan; Chen, Yuzhou; Frías, José; Gel, Yulia R.; Kay, Bill; Naumann, Uwe; Ortiz Marrero, Carlos; Petyuk, Anthony V.; Roy, Sandip; Segovia-Dominguez, Ignacio; Veldt, Nate; Young, Stephen J.
Seven open problems in applied combinatorics
Journal of combinatorics : JOC, 14, 4, 559-601 (2023)
[DOI: 10.4310/JOC.2023.v14.n4.a8] -
[Dataset]
Ermert, Cosima Antonia; Mohanathasan, Chinthusa; Ehret, Jonathan; Schlittmeier, Sabine Janina; Kuhlen, Torsten; Fels, Janina
AuViST - An Audio-Visual Speech and Text Database for the Heard-Text-Recall Paradigm
(2023)
[DOI: 10.18154/RWTH-2023-05543] -
[Doktorarbeit]
Chakrabarti, Arnab
Exploratory pipeline for analysis and visualization of large information spaces
(2023)
[DOI: 10.18154/RWTH-2023-05502] -
[Fachzeitschriftenartikel]
Combemale, Benoit; Gray, Jeff; Rumpe, Bernhard
ChatGPT in software modeling
Software and systems modeling, 22, 3, 777-779 (2023)
[DOI: 10.1007/s10270-023-01106-4] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Büsing, Christina Maria Katharina; Gersing, Timo; Koster, Arie Marinus
Recycling Inequalities for Robust Combinatorial Optimization with Budget Uncertainty
Integer Programming and Combinatorial Optimization : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel, 58-71 (2023)
[DOI: 10.1007/978-3-031-32726-1_5] -
[Abstract, Beitrag zu einem Tagungsband]
Mohanathasan, Chinthusa; Ehret, Jonathan; Ermert, Cosima Antonia; Fels, Janina; Kuhlen, Torsten; Schlittmeier, Sabine Janina
Memory and Listening Effort in Conversations: The Role of Spatial Cues and Cognitive Functions
Abstracts of the 65th TeaP : Tagung experimentell arbeitender Psycholog:innen, Conference of Experimental Psychologists / edited by Simon Merz, Christian Frings, Bettina Leuchtenberg, Birte Moeller, Stefanie Mueller, Roland Neumann, Bernhard Pastötter, Leah Pingen, Gabriel Schui, 252-252 (2023)
[DOI: 10.18154/RWTH-2023-05305] -
[Buch, Reference]
Brecher, Christian (Editor); Schuh, Günther (Editor); van der Aalst, Wil M. P. (Editor); Jarke, Matthias (Editor); Piller, Frank Thomas (Editor); Padberg, Melanie Sarah Katharina (Editor)
Internet of Production : Fundamentals, Applications and Proceedings
Interdisciplinary Excellence Accelerator Series : IDEAS (2023)
[DOI: 10.1007/978-3-030-98062-7] -
[Buchbeitrag]
Behery, Mohamed Anwar Abdellatif; Brauner, Philipp; Zhou, Hans Aoyang; Uysal, Merih Seran; Samsonov, Vladimir; Bellgardt, Martin; Brillowski, Florian Sascha; Brockhoff, Tobias; Farhang Ghahfarokhi, Anahita; Gleim, Lars Christoph; Gorißen, Leon Michel; Grochowski, Marco; Henn, Thomas; Iacomini, Elisa; Kaster, Thomas; Koren, István; Liebenberg, Martin Roland; Reinsch, Leon Niwes; Tirpitz, Liam; Trinh, Minh; Posada Moreno, Andres Felipe; Liehner, Gian Luca Valentin; Schemmer, Thomas; Vervier, Luisa Sophie; Völker, Marcus; Walderich, Philipp; Zhang, Song; Brecher, Christian; Schmitt, Robert H.; Decker, Stefan Josef; Gries, Thomas; Häfner, Constantin Leon; Herty, Michael; Jarke, Matthias; Kowalewski, Stefan; Kuhlen, Torsten; Schleifenbaum, Johannes Henrich; Trimpe, Johann Sebastian; van der Aalst, Wil M. P.; Ziefle, Martina; Lakemeyer, Gerhard
Actionable Artificial Intelligence for the Future of Production
Internet of production : fundamentals, applications and proceedings / editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-46 (2023)
[DOI: 10.1007/978-3-030-98062-7_4-1] -
[Buchbeitrag]
Pennekamp, Jan; Belova, Anastasiia; Bergs, Thomas; Bodenbenner, Matthias Stefan; Bührig-Polaczek, Andreas; Dahlmanns, Markus; Kunze, Ike Sebastian; Kröger, Moritz; Geisler, Sandra; Henze, Martin; Lütticke, Daniel; Montavon, Benjamin Leendert; Niemietz, Philipp; Ortjohann, Lucia Christin; Rudack, Maximilian Markus; Schmitt, Robert H.; Vroomen, Uwe; Wehrle, Klaus; Zeng, Michael
Evolving the Digital Industrial Infrastructure for Production : Steps Taken and the Road Ahead
Internet of production : fundamentals, applications and proceedings / editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-25 (2023)
[DOI: 10.1007/978-3-030-98062-7_2-1] -
[Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]
Derksen, Melanie; Weißker, Tim Wayan; Kuhlen, Torsten; Botsch, Mario
Towards Discovering Meaningful Historical Relationships in Virtual Reality
2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) : Shanghai, China, 25-29 March 2023, 697-698 (2023)
[DOI: 10.1109/VRW58643.2023.00191] -
[Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]
Weißker, Tim Wayan; Pieters, Leander; Kuhlen, Torsten
Enhanced Auditoriums for Attending Talks in Social Virtual Reality
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters, 1-7 (2023)
[DOI: 10.1145/3544549.3585718] -
[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Weißker, Tim Wayan; Bimberg, Pauline; Gokhale, Aalok Shashidhar; Kuhlen, Torsten; Froehlich, Bernd
Gaining the High Ground: Teleportation to Mid-Air Targets in Immersive Virtual Environments
IEEE transactions on visualization and computer graphics : TVCG, 29, 5, 2467-2477 (2023)
[DOI: 10.1109/TVCG.2023.3247114] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Raissi, Tina; Zhou, Wei; Berger, Simon; Schlüter, Ralf; Ney, Hermann
HMM vs. CTC for Automatic Speech Recognition : Comparison Based on Full-Sum Training from Scratch
2022 IEEE Spoken Language Technology Workshop (SLT) : [Proceedings] - IEEE, 2023. - ISBN 979-8-3503-9690-4 - doi:10.1109/SLT54892.2023.10022967 (2023)
[DOI: 10.1109/SLT54892.2023.10022967] -
[Fachzeitschriftenartikel]
Feng, Shenghua; Chen, Mingshuai; Su, Han; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Zhan, Naijun
Lower Bounds for Possibly Divergent Probabilistic Programs
Proceedings of the ACM on programming languages, 7, OOPSLA1, 99 (2023)
[DOI: 10.1145/3586051] -
[Fachzeitschriftenartikel]
Peters, Philipp; Lemos, Martin; Bönsch, Andrea; Ooms, Mark; Ulbrich, Max; Rashad, Ashkan; Krause, Felix; Lipprandt, Myriam; Kuhlen, Torsten; Röhrig, Rainer; Hölzle, Frank; Puladi, Behrus
Effect of head-mounted displays on students’ acquisition of surgical suturing techniques compared to an e-learning and tutor-led course: A randomized controlled trial
International journal of surgery, 109, 8, 2228-2240 (2023)
[DOI: 10.1097/JS9.0000000000000464]
Blättern
- erste Seite
- vorherige Seite
- 1-50
- 51-100
- Sie sind auf Seite:101-150
- 151-200
- 201-250
- letzte Seite
- nächste Seite
- 351-400