Fachgruppe Informatik

Letzte Einträge:

2021-10-26 14:36	Assessment of Trabecular Bone During Dental Implant Planning using Cone-beam Computed Tomography with High-resolution Parameters Bohner, L. (Corresponding author) ; Tortamano, P. ; Gremse, F. ; Chilvarquer, I. ; ; et al The open dentistry journal 15(1), Seiten/Artikel-Nr.:57-63 DOI: 10.2174/1874210602115010057 Journal Article 2021
2021-10-25 11:53	High-speed parallel Viterbi decoding: algorithm and VLSI-architecture Fettweis, G. P. ; Meyr, H. IEEE communications magazine 29(5), Seiten/Artikel-Nr.:46-55 DOI: 10.1109/35.79382 Journal Article 1991
2021-10-25 09:20	Opportunities and Challenges for Process Mining in Organizations: Results of a Delphi Study Martin, N. (Corresponding author) ; Fischer, D. A. ; Kerpedzhiev, G. D. ; Goel, K. ; ; et al Business & information systems engineering DOI: 10.1007/s12599-021-00720-0 Journal Article (ResearchPaper) 2021
2021-10-25 07:38	PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs Andriushchenko, R. ; Češka, M. ; Junges, S. ; Katoen, J.-P. ; ; et al Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings / Alexandra Silva, K. Rustan M. Leino (eds.). - Part I, Seiten/Artikel-Nr: 856-869 DOI: 10.1007/978-3-030-81685-8_40 Contribution to a book/Contribution to a conference proceedings 2021
2021-10-22 10:12	Aufgaben- und Kompetenzspektrum der Data Stewards an der RWTH Aachen University : generell und explizit am Beispiel des Sonderforschungsbereichs 1382 Hausen, D. A. ; Bossert, L. C. ; Trautwein-Bruns, U. Bausteine Forschungsdatenmanagement 3, Seiten/Artikel-Nr.:92-105 DOI: 10.17192/bfdm.2021.3.8352 Journal Article 2021
2021-10-21 10:57	Accelerating symbolic simulation to analyze the effect of delays in train timetables Kotowski, N. ; Ábrahám, E. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Haehn, R. (Consultant) URL: http://publications.rwth-aachen.de/record/834267/files/Autorenvertrag_Kotowski.pdf Master Thesis 2021
2021-10-20 16:05	A linear-time model-checking algorithm for the alternation-free modal mu-calculus Cleaveland, R. ; Steffen, B. Formal methods in system design 2(2), Seiten/Artikel-Nr.:121-147 DOI: 10.1007/BF01383878 Journal Article 1993
2021-10-19 12:28	New Opportunities for the Formal Proof of Computational Real Geometry? Ábrahám, E. (Corresponding author) ; Davenport, J. (Corresponding author) ; England, M. (Corresponding author) ; Kremer, G. (Corresponding author) ; ; et al Preprint 2020
2021-10-19 08:20	Insight to Gene Expression From Promoter Libraries With the Machine Learning Workflow Exp2Ipynb Liebal, U. W. (Corresponding author) ; Köbbing, S. ; Netze, L. ; Schweidtmann, A. M. ; ; et al Frontiers in bioinformatics 1, Seiten/Artikel-Nr.:747428 DOI: 10.18154/RWTH-2021-09672 Journal Article 2021
2021-10-18 18:11	Performance and productivity evaluation of Cpp-taskflow and OpenMP tasking = Leistungs- und Produktivitätsevaluation von Cpp-Taskflow und OpenMP tasking Pätzold, C. ; Müller, M. S. (Thesis advisor) ; Lankes, S. (Thesis advisor) URL: http://publications.rwth-aachen.de/record/834123/files/834123.pdf Bachelor Thesis 2021

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines