Publikationen

2023

• SpiNNaker2: A Large-Scale Neuromorphic System for Event-Based and Asynchronous Machine LearningGonzalez, H. A., Huang, J., Kelber, F., Nazeer, K. K., Langer, T. H., Liu, C., Lohrmann, M. A. & 7 weitere, 2023, First Workshop on Machine Learning with New Compute Paradigms. 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• STAMP-Rust: Language and Performance Comparison to C on Transactional BenchmarksSuchert, F. & Castrillon, J., 2023, Benchmarking, Measuring, and Optimizing - 14th Bench Council International Symposium, Bench 2022, Revised Selected Papers. Gainaru, A., Zhang, C. & Luo, C. (Hrsg.). Springer Science and Business Media B.V., S. 160-175, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Standpoint Linear Temporal LogicGigante, N., Álvarez, L. G. & Lyon, T., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (Hrsg.). IJCAI Inc, S. 311-321, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksChau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (Hrsg.). Springer, Cham, S. 401-421, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree AutomataFernandez Gil, O. & Marantidis, P., 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Variability-Aware Instance Handling for Model Evolution at RuntimeKegel, K. & Gotz, S., 2023, Proceedings - 2023 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023. Institute of Electrical and Electronics Engineers Inc., S. 183-190, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint ELÁlvarez, L. G., Rudolph, S. & Straß, H., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (Hrsg.). ijcai.org, S. 3258-3267, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Triad: Trusted Timestamps in Untrusted EnvironmentsPereira Fernandez, G., Brito, A. & Fetzer, C., 2023, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Usage of Self-Motivating Achievements to Collect Accessibility Information of Indoor Environments.Schmalfuß-Schwarz, J., Loitsch, C. & Weber, G., 2023, Universal Access in Human-Computer Interaction - 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings. Antona, M. & Stephanidis, C. (Hrsg.). Springer Nature Switzerland, Dortrecht [u. a.], S. 477-488, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Validierung von Lernergebnissen: Entstehung und Entwicklung in Europa und darüber hinaus.Bohlinger, S., Dürrschmidt, A. & Müller, C., 2023, Handbuch Validierung non-formal und informell erworbener Kompetenzen: Disziplinäre, theoretische und konzeptionelle Zugänge. Schmid, M. (Hrsg.). Bielefeld: wbv Media GmbH & Co. KG, S. 53-70Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Voice Assistant-Based Cognitive Behavioral Therapy for Test Anxiety in StudentsStriegl, J., Loitsch, C. & Weber, G., 2023, Human-Computer Interaction - Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III. Kurosu, M. & Hashizume, A. (Hrsg.). Springer Nature Switzerland, Dortrecht [u. a.], S. 396-406, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Vorgehensweise zur Implementation von datenbasierten AssistenzsystemenGröllich, D., Hahmann, M., Ott, G. & Graf-Pfohl, C., 2023, Scientific Reports. Mittweida: Hochschule Mittweida, University of Applied Science, Band 1/2023Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury TheoremKarge, J., 2023, Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23). 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Welcome Message from the ChairsFirouzi, F., Chakrabarty, K., Karimi, N., Farahani, B., Goehringer, D., De Castro, A. G., Reichenbach, M. & 1 weitere, 2023, 2023 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023. S. 1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• What to Do Next? An Activity Scheduling Schema for Social Assistance Robots for Older AdultsGollasch, D. & Weber, G., 2023, Human Aspects of IT for the Aged Population - 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings. Gao, Q. & Zhou, J. (Hrsg.).S. 288–306, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Why Not? Explaining Missing Entailments with EveeAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). Kutz, O. & Ozaki, A. (Hrsg.). Rhodes, Greece: CEUR-WS.org, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Word-based GWAS harnesses the rich potential of genomic data for E. coli quinolone resistanceMalekian, N., Sainath, S., Al-Fatlawi, A. & Schroeder, M., 2023, in: Frontiers in microbiology. 14, S. 1276332, 1276332Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2022

• Near-memory Computing on FPGAs with 3D-stacked Memories: Applications, Architectures, and OptimizationsIskandar, V., Ghany, M. A. E. & Gohringer, D., 22 Dez. 2022, in: ACM Transactions on Reconfigurable Technology and Systems. 16, 1, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Energy Efficient Design of Coarse-Grained Reconfigurable Architectures: Insights, Trends and ChallengesAliagha, E. & Göhringer, D., 15 Dez. 2022, 2022 International Conference on Field-Programmable Technology (ICFPT). IEEE Xplore, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Brain-inspired Cognition in Next-generation Racetrack MemoriesKhan, A. A., Ollivier, S., Longofono, S., Hempel, G., Castrillon, J. & Jones, A. K., 12 Dez. 2022, in: ACM transactions on embedded computing systems. 21, 6, 3524071Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Sensor-based jump detection and classification with machine learning in trampoline gymnasticsWoltmann, L., Hartmann, C., Lehner, W., Rausch, P. & Ferger, K., 8 Dez. 2022, in:  German journal of exercise and sport research : Sportwissenschaft. 53, 2, S. 187-195, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• From the Beginning: Key Transitions in the First 15 Years of DNSSECOsterweil, E., Tehrani, P. F., Schmidt, T. C. & Wählisch, M., 1 Dez. 2022, in: IEEE Transactions on Network and Service Management. 19, 4, S. 5265-5283, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Framework for the Execution of Python Tests in SystemC and Specman TestbenchesTietz, C., Stieber, S., Charaf, N. & Göhringer, D., Dez. 2022, 2022 Design and Verification Conference and Exhibition Europe (DVCon)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Decomposing compounds enables reconstruction of interaction fingerprints for structure-based drug screeningAdasme Mora, M. F., Bolz, S. N., Al-Fatlawi, A. & Schroeder, M., Dez. 2022, in: Journal of cheminformatics. 14, 1, S. 17, 17Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Wissen als Code: Die Welt der Wissensgraphen und OntologienKrötzsch, M., Dez. 2022, in: Linux-Magazin. Band 2022. S. 24–28Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Sonderbeitrag/Feuilleton (Feature)