| Υποβολή |
Επιβλέπων |
Τίτλος |
|
|
2026-10-21
|
Άγγελος Χαραλαμπίδης
|
Αποδεδειγμένα σωστή μετάφραση προγραμμάτων με την χρήση LLM
|
Λεπτομέρειες
|
|
2026-10-15
|
Αλέξανδρος Δημόπουλος
|
Σχεδίαση, Υλοποίηση και Αξιολόγηση Αλγορίθμων Στοίχισης Βιολογικών Αλληλουχιών σε Αρχιτεκτονικές FPGA Alveo
|
Λεπτομέρειες
|
|
2026-10-13
|
Ειρήνη Λιώτου
|
Software-Defined Vehicles: Συμφέρουν τον Χρήστη; Ανάλυση Κόστους Κύκλου Ζωής
|
Λεπτομέρειες
|
|
2026-09-10
|
Ειρήνη Λιώτου
|
Ανθεκτικό Split Inference υπό Δυναμικές και Αναξιόπιστες Συνθήκες Δικτύου
|
Λεπτομέρειες
|
|
2026-09-10
|
Ειρήνη Λιώτου
|
Δυναμικό Split Inference με Επίγνωση των Συνθηκών Δικτύου
|
Λεπτομέρειες
|
|
2026-05-06
|
Γεωργία Δέδε
|
Σχεδίαση και Ανάπτυξη Πλατφόρμας Αξιολόγησης Συστημάτων
|
Λεπτομέρειες
|
|
2026-05-06
|
Γεώργιος Κουσιουρής
|
Μηχανισμοί Βελτιστοποίησης Χωροτοποθέτησης Εφαρμογών σε Υποδομές Υπολογιστικού Νέφους
|
Λεπτομέρειες
|
|
2026-05-03
|
Άγγελος Χαραλαμπίδης
|
Συστήματα RAG Ανεκτικά σε Αντιφάσεις
|
Λεπτομέρειες
|
|
2026-05-01
|
Άγγελος Χαραλαμπίδης
|
Νευρο-συμβολική συμπερασματολογία τύπων για TypeScript
|
Λεπτομέρειες
|
|
2026-04-01
|
Ειρήνη Λιώτου
|
Αυτοματοποιημένη Δημιουργία Πολιτικών Δικτύου σε Περιβάλλοντα SDN με Χρήση Μεγάλων Γλωσσικών Μοντέλων
|
Λεπτομέρειες
|