Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation

Diller, M., Gaggl, S. A. & Gorczyca, P., 20 Okt. 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 147-168 22 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.). Springer, Berlin [u. a.], S. 309-326 18 S. (Lecture Notes in Computer Science, Volume 12699).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Social media communication - Social media used both as a learning content and as a learning style

Riedel, J., Wolff, R., Jödicke, C., Schoop, E. & Sonntag, R., 2013, Transactions on Edutainment X. Pan, Z., Adrian David, C., Muller, W., Iurgel, I., Petta, P. & Urban, B. (Hrsg.). Springer, Berlin [u. a.], S. 259-268 10 S. (Lecture Notes in Computer Science, Volume 7775).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

DeepPerfusion: Camera-based Blood Volume Pulse Extraction Using a 3D Convolutional Neural Network

Scherpf, M., Ernst, H., Malberg, H. & Schmidt, M., 13 Sept. 2020, 47th Conference Computing in Cardiology (CinC). IEEE Computer Society, Washington , 9344435

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Augmented perception and interaction

Dix, A., Schwendicke, A., Pannasch, S., Altinsoy, E. & Helmert, J. R., Jan. 2021, Tactile Internet: with Human-in-the-Loop: with Human-in-the-Loop. Fitzek, F. H. P., Li, S-C., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). Academic Press, S. 151-167 17 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

In the Head of the Beholder: Comparing Different Proof Representations

Alrabbaa, C., Borgwardt, S., Hirsch, A., Knieriemen, N., Kovtunova, A., Rothermel, A. M. & Wiehr, F., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A-Y. (Hrsg.). Springer, Berlin [u. a.], S. 211-226 16 S. (Lecture Notes in Computer Science, Volume 13752).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Forming the interface between doctor and designing engineer

Schoene, C., Sembdner, P., Holzhausen, S. & Stelzer, R., 2014, Clinical Image-Based Procedures: Translational Research in Medical Imaging - Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Revised Selected Papers. Springer, Cham, S. 10-14 5 S. (Lecture Notes in Computer Science, Volume 8361).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Towards Porting Hardware-Oblivious Vectorized Query Operators to GPUs

Fett, J., Ungethüm, A., Habich, D. & Lehner, W., 2021, Proceedings of the 32nd GI-Workshop Grundlagen von Datenbanken: Online Event, Germany, September 01-03, 2021. Band 3075. 6 S. (CEUR Workshop Proceedings, Band 3075).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Tractable Combinations of Theories via Sampling

Bodirsky, M. & Greiner, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (Hrsg.). Springer, Berlin [u. a.], S. 133-146 14 S. (Lecture Notes in Computer Science, Volume 12678).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Modeling and Evaluating Personas with Software Explainability Requirements

Ramos, H., Fonseca, M. & Ponciano, L., 2021, Human-Computer Interaction - 7th Iberoamerican Workshop, HCI-COLLAB 2021, Proceedings. Ruiz, P. H., Agredo-Delgado, V., Ruiz, P. H., Agredo-Delgado, V. & Kawamoto, A. L. (Hrsg.). Springer, Cham, Band 1478. S. 136-149 14 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung