1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 71-78 of 78 (Search time: 0.01 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
30-Dec-2021Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από ΚύκλουςΜαγκαφώσης, ΓιώργοςΠαπασπύρου Νικόλαος
26-Nov-2020Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε ΜεταγλωττιστέςΠλάκας, ΙωάννηςΠαπασπύρου Νικόλαος
13-Oct-2021Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskellΔιαμαντάκης, ΠαναγιώτηςΠαπασπύρου Νικόλαος
15-Jan-2021WebAssembly Workshop: Διαδικτυακή μεταγλώττιση και ανάπτυξη κώδικαΖαραβίνος, Γεώργιος; Λεούσης, ΣάββαςΠαπασπύρου Νικόλαος
18-Jul-2022PythonVoiceCodingPlugin: Syntactically aware μετακίνηση και τροποποίηση κώδικα Python μέσω φωνητικών εντολώνΚίτσιος, ΠαναγιώτηςΠαπασπύρου Νικόλαος
28-Jul-2022Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid HaskellΜαστόρου, ΛυκούργοςΠαπασπύρου Νικόλαος
1-Jul-2023Το πρόβλημα της σύνθεσης προγραμμάτωνΤσιβρά, ΑικατερίνηΠαπασπύρου Νικόλαος
19-Oct-2023Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνηςΚυτέας, ΑπόστολοςΠαπασπύρου Νικόλαος

Discover