Publications

Sophie Adama, und Martin Bogdan. Application of soft-clustering to assess consciousness in a CLIS patient. Brain Sci., (13)1:65, MDPI AG, Dezember 2022. [PUMA: analysis completely complexity connectivity consciousness electrocorticogram extraction features locked-in soft-clustering spectral syndrome zno]

Sophie Adama, und Martin Bogdan. Assessing consciousness in patients with disorders of consciousness using soft-clustering. Brain Inform., (10)1:16, Juli 2023. [PUMA: Brain-computer Complexity Connectivity Consciousness Disorders Electroencephalogram Soft-clustering Spectral analysis consciousness interface zno]

Oliver Kirsten, Martin Bogdan, und Sophie Adama. Evaluating the DoC-Forest tool for Classifying the State of Consciousness in a Completely Locked-In Syndrome Patient. 2023 7th International Conference on Imaging, Signal Processing and Communications (ICISPC), 37-41, 2023. [PUMA: Complexity Computational Consciousness Information Locked-In Measures Modeling Neuroscience Prediction Predictive Processing Signal Syndrome Theory Training algorithms and data learning modeling models processing zno machine]

Leonhard Sidl, Maximilian Faissner, Manuel Uhlir, Cristian A Velandia-Huerto, Maria Waldl, Hua-Ting Yao, Ivo L Hofacker, und Peter F Stadler. A Relation between Natural Selection and Computational Complexity. Oktober 2024. [PUMA: Biological Complexity Computation Computational Developmental Folding Genotype-Phenotype Map Program RNA zno] URL

Marc Hellmuth, Annachiara Korchmaros, José Antonio Ramírez-Rafael, Bruno Schmidt, Peter F. Stadler, und Sandhya Thekkumpadan Puthiyaveedu. Partial Fitch Graphs: Characterization, Satisfiability and Complexity. Cold Spring Harbor Laboratory, Mai 2024. [PUMA: Characterization Complexity Fitch Partial Satisfiability yaff graphs] URL

Franz Baader, und Jürgen Giesl. On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. In Jakob Rehof (Hrsg.), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), (299):16:1--16:18, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: Confluence Derivational Description_Logics Proof_rewriting Rewriting Termination complexity topic_knowledge yaff] URL