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. (eds.). Springer, Berlin [u. a.], p. 259-268 10 p. (Lecture Notes in Computer Science, Volume 7775).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

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

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Academic Press, p. 151-167 17 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 211-226 16 p. (Lecture Notes in Computer Science, Volume 13752).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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, p. 10-14 5 p. (Lecture Notes in Computer Science, Volume 8361).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. Vol. 3075. 6 p. (CEUR Workshop Proceedings, Vol. 3075).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 133-146 14 p. (Lecture Notes in Computer Science, Volume 12678).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Cham, Vol. 1478. p. 136-149 14 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Finite relation algebras with normal representations

Bodirsky, M., 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Springer, Berlin [u. a.], p. 3-17 15 p. (Lecture Notes in Computer Science, Volume 6717).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Bodirsky, M. & Greiner, J., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, Berlin [u. a.], p. 263-278 16 p. (Lecture Notes in Computer Science, Volume 10900).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review