Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
Ergebnisse pro Seite:  10

Antoschin, Roman; Wimmer, Maria A.

Smart Cities: Practitioners’ Understanding and Expectations: Results from a Qualitative Study in the City of Koblenz

Euripidis Loukis;Marie Anne Macadar;Morten Meyerhoff-Nielsen;Mário Peixoto (Hrsg). Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance ICEGOV 2021: 6-8 October 2021; Athens, Greece. New York, NY: ACM Association for Computing Machinery 2021 S. 406 - 413





Yuan, Fangming

SoftMP: Attentive feature pooling for joint local feature detection and description for place recognition in changing environments

2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021). 2021 S. 5847 - 5853


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


Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).

CoRR. Bd. abs/2107.02333. 2021


Chunduri, Narendra Kumar; Menges, Paul; Zhang, Xiaoxiao et al.

Systems approaches identify the consequences of monosomy in somatic human cells

Nature Communications. Bd. 12. London: Nature Publishing Group UK 2021