Projekte pro Jahr
-
Beweise Komplexität und Zertifikate in QBF, PSPACE und mehr
Chew, L. (Projektleiter*in) & Seidl, M. (Co-Projektleiter*in)
01.09.2026 → 31.08.2030
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
GREENHUMAINE: Pro²Future: GREENHUMAINE Green and Humane Oriented Al
Ferscha, A. (Forscher*in) & Niazibaei, Z. (Forscher*in)
01.08.2026 → 31.07.2027
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
PT-MIRACLE: Mitral Insufficiency: Personalized AI supported Regurgitation Assessment, Clinical Evaluation and Cardiac Therapy
Ferscha, A. (Projektleiter*in), Zierer, A. F. (Projektleiter*in) & Steinwender, C. (Projektleiter*in)
01.07.2026 → 30.06.2030
Projekt: Geförderte Forschung › Andere Geldgeber
-
»CIvolunteer« – A Goal-Aligned and Competence-Driven Volunteering Platform
Schönböck, J., Pröll, B., Schwinger, W., Kapsammer, E., Retschitzegger, W. & Lechner, M., 15 März 2026, in: World Journal of Information Systems . 3, 1, S. 30-40 11 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
10th International Workshop on Modern Language Runtimes, Ecosystems, and VMs
Brunthaler, S. & Marr, S., 12 Apr. 2026, ‹Programming› Companion '26: Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming. 1 Aufl. S. vii 1 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
A 494-nW 32768-Hz DCXO-Based Clock Generator with 613 ps Jitter for Biomedical Signal Acquisition
Fath, P. & Pretl, H., März 2026, 2026 IEEE 17th Latin American Symposium on Circuits and Systems, LASCAS 2026 - Proceedings. 1 Aufl. Institute of Electrical and Electronics Engineers Inc., (2026 IEEE 17th Latin American Symposium on Circuits and Systems, LASCAS 2026 - Proceedings).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Aktivitäten
-
The 17th Conference on Game Theory and AI for Security (Veranstaltung)
Rass, S. (Mitglied)
26 Nov. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Research Chair of the Design and Verification Conference in Europe (DVCon Europe) (Veranstaltung)
Große, D. (Mitglied)
17 Nov. 2026 → 18 Nov. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Program Committee Member of the 34th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (Veranstaltung)
Große, D. (Mitglied)
11 Okt. 2026 → 14 Okt. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
Auszeichnungen
-
2023 Hojjat Adeli Award for Outstanding Contribution in Neural Systems
Huemer, M. (Empfänger*in), Kovács, P. (Empfänger*in), Bognar, G. (Empfänger*in) & Huber, C. (Empfänger*in), Sep. 2023
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
2024 IEEE SPS Best Paper Award
Schlüter, J. (Empfänger*in), Purwins, H. (Empfänger*in), Li, B. (Empfänger*in), Virtanen, T. (Empfänger*in), Chang, S.-Y. (Empfänger*in) & Sainath, T. (Empfänger*in), 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
2nd Place Digit Recognition Low Power and Speed Challenge @ ICIP 2025
Windhager, D. (Empfänger*in), Ratschbacher, L. (Empfänger*in), Moser, B. (Empfänger*in) & Lunglmayr, M. (Empfänger*in), 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
Presseberichte
-
Gefährliche Intelligenz: Bedroht die KI die Menschheit?
20.09.2026
1 Objekt von Medienberichte
Presse/Medien
-
-
Forschungsdatensätze
-
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Urheber*in), Heisinger, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 19 Aug. 2024
Datensatz
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 22 Juli 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Datensatz