Διδακτορικές Διατριβές https://dspace.lib.ntua.gr:443/xmlui/handle/123456789/321 2026-05-01T17:00:06Z On logical methods for specifications: abstract and type-theoretic approaches https://dspace.lib.ntua.gr:443/xmlui/handle/123456789/64228 On logical methods for specifications: abstract and type-theoretic approaches; Λογικές μέθοδοι για προδιαγραφές: αφηρημένες και τυποθεωρητικές προσεγγίσεις Pitsiladis, Georgios V.; Πιτσιλαδής, Γεώργιος Β. Υλοποίηση νευρομορφικών υπολογισμών με δικτυώματα μνημών μεταβλητής αντίστασης https://dspace.lib.ntua.gr:443/xmlui/handle/123456789/64227 Υλοποίηση νευρομορφικών υπολογισμών με δικτυώματα μνημών μεταβλητής αντίστασης Τσιούστας, Χαράλαμπος; Tsioustas, Charalampos Negative Stiffness Vibration Control Systems for Seismic Protection: Mechanical Design and Optimization https://dspace.lib.ntua.gr:443/xmlui/handle/123456789/64225 Negative Stiffness Vibration Control Systems for Seismic Protection: Mechanical Design and Optimization; Συστήματα ελέγχου ταλαντώσεων αρνητικής στιβαρότητας για σεισμική προστασία: μηχανολογικός σχεδιασμός και βελτιστοποίηση Φλωράκης, Γεώργιος; Florakis, Georgios Ανάπτυξη μεθόδων αύξησης της ανιχνευσιμότητας χαμηλής ηλεκτρομαγνητικής ορατότητας ιπτάμενων οχημάτων https://dspace.lib.ntua.gr:443/xmlui/handle/123456789/64224 Ανάπτυξη μεθόδων αύξησης της ανιχνευσιμότητας χαμηλής ηλεκτρομαγνητικής ορατότητας ιπτάμενων οχημάτων Χατζηαθανασίου, Θωμάς; Chatziathanasiou, Thomas