From 03ac6a9f56c94146e54d17bd2a2abf2e918b4955 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@kwarc.info> Date: Wed, 5 Jun 2024 09:53:05 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 53 +++++++++++++++++++++++++------------------------ 1 file changed, 27 insertions(+), 26 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 18bfa26..4d3a19c 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -47,32 +47,33 @@ If we need to do it via zoom, we will use the following room: | 08. 05. 2024 | Müller, Rabe | How to give a presentation | | 15. 05. 2024 | | | | | || -| 22. 05. 2024 | Edoardo Berardi Vittur - Aligning Artificial Neural Networks and Ontologies towards Explainable AI || -| | Yaping Qu - Knowledge Representation Technologies for Narratives, Digital Humanities and Cultural Heritage || -| | Hyunsook Kim - WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung || -| 29. 05. 2024 | Tolga Keskinoglu - Polynomial Circuit Verification using BDDs || -| | Joud Busaileh - A Voice Cloning Method Based on the Improved HiFi-GAN Model || -| | Gaurav Bhalala - Large Language Models and Knowledge Graphs: Opportunities and Challenges || -| 05. 06. 2024 | Joanes Irigoien Kortabitarte - "NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis" || -| | Shubhangi More - On the Forecasting of Body Temperature using IoT and Machine Learning Techniques | | -| | Chatchai Boonman - "Confidences for Commonsense Reasoning" | -| 12. 06. 2024 | Wenwen Wang - "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT" || -| | Ilias Anwari - The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality | -| | Moiz Riaz - A Proof-Producing Compiler for Blockchain Applications | -| 19. 06. 2024 | Priyanka Singh - Large Language Models as Knowledge Bases? / Find The Gap: Knowledge Base Reasoning For Visual Question Answering || -| | Malika Tillaeva - Caminati, Isabelle Formalisation of Original Representation Theorems | -| | Muqaddas Ramzan - Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols | -| 26. 06. 2024 | David López Caballero - "How Should We Measure Filter Bubbles? A Regression Model and Evidence for Online News" || -| | Simon Pfister - General Game Playing With State-Independent Communication | -| 03. 07. 2024 | Annick Faal - Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method || -| | Marius Lin - Can Large Language Models be too big? | -| | Md Redwan Hossain - An Experimental Pipeline for Automated Reasoning in Natural Language | -| 10. 07. 2024 | Ali Kodera, Shamseldin Elkhatib - TBA || -| | Vatsal Bambhania - DeepOnto: A Python Package for Ontology Engineering with Deep Learning || -| 17. 07. 2024 | David Meier - Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio) | | -| | Johannes Hoang - “GeoGebra Discovery" / “Automated reasoning tools in GeoGebra Discovery†in “ISSAC 2021 Software Presentations†-| | | -| | Bhupali Chakraborty - Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks | +| 22. 05. 2024 | Edoardo Berardi Vittur | Aligning Artificial Neural Networks and Ontologies towards Explainable AI | +| | Yaping Qu | Knowledge Representation Technologies for Narratives, Digital Humanities and Cultural Heritage | +| | Hyunsook Kim | WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung | +| 29. 05. 2024 | Tolga Keskinoglu | Polynomial Circuit Verification using BDDs | +| | Joud Busaileh | A Voice Cloning Method Based on the Improved HiFi-GAN Model | +| | Gaurav Bhalala | Large Language Models and Knowledge Graphs: Opportunities and Challenges | +| 05. 06. 2024 | Joanes Irigoien Kortabitarte | NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis | +| | Shubhangi More | On the Forecasting of Body Temperature using IoT and Machine Learning Techniques | +| | | | (moved to June 26th) | +| 12. 06. 2024 | Wenwen Wang | Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT || +| | Ilias Anwari | The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality || +| | Moiz Riaz | A Proof-Producing Compiler for Blockchain Applications | +| 19. 06. 2024 | Priyanka Singh | Large Language Models as Knowledge Bases? / Find The Gap: Knowledge Base Reasoning For Visual Question Answering || +| | Malika Tillaeva | Caminati, Isabelle Formalisation of Original Representation Theorems | +| | Muqaddas Ramzan | Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols | +| 26. 06. 2024 | David López Caballero | How Should We Measure Filter Bubbles? A Regression Model and Evidence for Online News || +| | Simon Pfister | General Game Playing With State-Independent Communication | +| | Chatchai Boonman | Confidences for Commonsense Reasoning | (moved from June 5th) | +| 03. 07. 2024 | Annick Faal | Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method || +| | Marius Lin | Can Large Language Models be too big? | +| | Md Redwan Hossain | An Experimental Pipeline for Automated Reasoning in Natural Language | +| 10. 07. 2024 | Ali Kodera | TBA | (research) | +| | Shamseldin Elkhatib | TBA | (research) | +| | Vatsal Bambhania | DeepOnto: A Python Package for Ontology Engineering with Deep Learning || +| 17. 07. 2024 | David Meier | Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio) | | +| | Johannes Hoang | GeoGebra Discovery / Automated reasoning tools in GeoGebra Discovery | | +| | Bhupali Chakraborty | Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks | ##### Content and Audience -- GitLab