Skip to content

Changes

Page history
Update SS24 authored by Florian Rabe's avatar Florian Rabe
Hide whitespace changes
Inline Side-by-side
SS24.md
View page @ aebf1871
| student | papers | | student | papers | DHSS | paper approved |
| ------ | ------ | | ------ | ------ | ------ | ------ |
| Tolga Keskinoglu | Something with Hardware verification: https://ieeexplore.ieee.org/abstract/document/9107564 (probably too difficult/dense), maybe: https://ieeexplore.ieee.org/abstract/document/9707932 | | Tolga Keskinoglu | Something with Hardware verification: https://ieeexplore.ieee.org/abstract/document/9107564 (probably too difficult/dense), maybe: https://ieeexplore.ieee.org/abstract/document/9707932 |
| Simon Pfister | "General Game Playing With State-Independent Communication", "An Experimental Pipeline for Automated Reasoning in Natural Language" (pdfs in chat) | | Simon Pfister | "General Game Playing With State-Independent Communication", "An Experimental Pipeline for Automated Reasoning in Natural Language" (pdfs in chat) |
| Edoardo Berardi Vittur | ["Tackling Long-Tailed Distribution Issue in Graph Neural Networks via Normalization"](https://ieeexplore.ieee.org/document/10251551) | | Edoardo Berardi Vittur | ["Tackling Long-Tailed Distribution Issue in Graph Neural Networks via Normalization"](https://ieeexplore.ieee.org/document/10251551) |
...@@ -13,4 +13,5 @@ ...@@ -13,4 +13,5 @@
| Vatsal Bambhania | "Ontology Completion using DL" - I yet have to find good papers regarding the topic (alternatively: premise selection / theorem discovery / autoformalization) | | Vatsal Bambhania | "Ontology Completion using DL" - I yet have to find good papers regarding the topic (alternatively: premise selection / theorem discovery / autoformalization) |
| Shamseldin Elkhatib | something Programming/Computation in ALeA | | Shamseldin Elkhatib | something Programming/Computation in ALeA |
| Ali Kodera | something Programming/Computation in ALeA | | Ali Kodera | something Programming/Computation in ALeA |
| Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method", Xiaolin Hu, Lingyu Wu, ...| | Annick Faal | "Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method", Xiaolin Hu, Lingyu Wu, ...|
\ No newline at end of file | Hyunsook Kim | WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung | yes | yes |