Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Kahl, Dominik; Weber, Andreas; Kschischo, Maik

Preprint: Sparse Error Localization in Complex Dynamic Networks

2021 S. 1 - 65



Kleanthous, Styliani; Otterbacher, Jahna; Bates, Jo et al.

Report on the CyCAT winter school on fairness, accountability, transparency and ethics (FATE) in AI

SIGIR Forum. Bd. 55. H. 1. New York, NY: ACM Association for Computing Machinery 2021 S. 4


Szedlak, Christoph; Leyendecker, Bert; Reinemann, Holger et al.

Risks and Benefits of Artificial Intelligence in Small-and-Medium Sized Enterprises

Mario Fargnoli; Mara Lombardi; Massimo Tronci; Patrick Dallasega; Francesco Costantino; Giulio Di Gravio; Riccardo Patriarca (Hrsg). Proceedings of the 4th International Conference on Industrial Engineering and Operations Management IEOM 2021. Rome, Italy, August 2-5, 2021. Southfield: IEOM Society International 2021 S. 195 - 205


Kahl, Dominik; Kschischo, Maik

Searching for Errors in Models of Complex Dynamic Systems

Frontiers in Physiology. Bd. 11. Lausanne: Frontiers Research Foundation 2021 612590


Marohn, Philipp; Sofronie-Stokkermans, Viorica

SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).

SOQE@KR. 2021 S. 75 - 82


Bente, Klaas; Bakenecker, Anna C.; von Gladiss, Anselm et al.

Selective Actuation and Tomographic Imaging of Swarming Magnetite Nanoparticles

ACS Applied Nano Materials. Bd. 4. H. 7. Washington, DC: ACS Publications 2021 S. 6752 - 6759


Buschek, Daniel; Loepp, Benedikt; Ziegler, Jürgen

Special Issue "User-Centered Artificial Intelligence"

i-com : Journal of Interactive Media. Bd. 19. H. 3. Berlin: De Gruyter Oldenbourg 2021


Peuter, Dennis; Sofronie-Stokkermans, Viorica

Symbol Elimination and Applications to Parametric Entailment Problems

Konev, Boris ; Reger, Giles (Hrsg). Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings. Cham: Springer International Publishing AG 2021 S. 43 - 62 (Lecture Notes in Artificial Intelligence ; 12941)


Peuter, Dennis; Sofronie-Stokkermans, Viorica

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).

SOQE@KR. 2021 S. 83 - 91