Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
2021
-
The Varieties of Ought-implies-Can and Deontic STIT Logic , 1 Juli 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (Hrsg.). College Publications, S. 57-76, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile Charts , 29 Juni 2021, The 14th PErvasive Technologies Related to Assistive Environments ConferenceElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Bigraphical domain-specific language (BDSL): User Manual , 25 Juni 2021Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
-
CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device Platforms , 21 Juni 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Pre-trained web table embeddings for table discovery , 20 Juni 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, S. 24-31, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Modified Supervaluationist Framework for Decision-Making , 1 Juni 2021, in: Logos & Episteme : an international journal of epistemology. 7, 2, S. 175-191, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Immersive 3D visualization of multi-modal brain connectivity , 1 Juni 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). S. 7-11Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Advancing Design and Runtime Management of AI Applications with AI-SPRINT , Juni 2021, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Biggs Theorem for Directed Cycles and Topological Invariants of Digraphs , Juni 2021, in: Advances in Pure Mathematics : APM. 11, 6, S. 573-594, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification , Juni 2021, S. 83067 - 83079Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Deep Learning Improves Pancreatic Cancer Diagnosis Using RNA-Based Variants , 28 Mai 2021, in: Cancers. 13, 11, 2654Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Enhancing Probabilistic Model Checking with Ontologies , 26 Mai 2021, in: Formal Aspects of Computing. 33, 6, S. 885–921, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Responsibility Attribution in Parameterized Markovian Models , 18 Mai 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 Aufl., AAAI Press, Band 35. S. 11734-11743, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Investigating document layout and placement strategies for collaborative sensemaking in augmented reality , 13 Mai 2021, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts (EA). Kitamura, Y., Quigley, A., Isbister, K. & Igarashi, T. (Hrsg.).7 S., 456Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
An online guided tuning approach to run CNN pipelines on edge devices , 11 Mai 2021, CF '21: Proceedings of the 18th ACM International Conference on Computing Frontiers. Association for Computing Machinery, Inc, S. 45-53, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Experiences and insights from using Github Classroom to support Project-Based Courses , 1 Mai 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], S. 31-35, 5 S., (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Experiences with User Studies in Augmented Reality , Mai 2021, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Poster Abstract: HiL meets Commodity Hardware – SimbaR for coupling IEEE 802.11 Radio Channels , Mai 2021, 40th IEEE International Conference on Computer Communications (INFOCOM 2021), Poster SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Toward the Design of Fault-Tolerance-Aware and Peak-Power-Aware Multicore Mixed-Criticality Systems , Mai 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 5, S. 1509-1522, 14 S., 5Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A canonical string encoding for pure bigraphs , 30 April 2021, in: SN Computer Science. 2, 4, 14 S., 246Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A User-Centered Approach to Gamify the Manual Creation of Training Data for Machine Learning , 22 April 2021, in: i-com : journal of interactive media. 20, 1, S. 33–48, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Particle-based segmentation of extended objects on curved biological membranes , 13 April 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging (ISBI). S. 1150-1154, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Completing the Picture: Complexity of Graded Modal Logics with Converse , 1 April 2021, in: Theory and practice of logic programmingElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
How well can your car be tracked: Analysis of the European C-ITS pseudonym scheme , April 2021, 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring). Helsinki: IEEE Xplore, 9449078Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Learning physically consistent differential equation models from data using group sparsity , April 2021, in: Physical Review E. 103, 4, 042310Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel