Ημερομηνία: 21-09-2019 [2019-09-21] Συγγραφέας: ΖΑΠΠΑΣ, ΝΙΚΟΛΑΟΣ Σχολή: Σχολή Θετικών Επιστημών και Τεχνολογίας Τμήμα: Μεταπτυχιακή Εξειδίκευση στα Πληροφοριακά Συστήματα (ΠΛΣ) Περίληψη (Abstract): Σκοπός της παρούσας διπλωματικής εργασίας ήταν να βελτιώσει την αναγνωσιμότητα μιας γεωμετρικής απόδειξης ενός προβλήματος γεωμετρίας που παράγεται από έναν αυτόματο αποδείκτη θεωρημάτων. Αυτό έγινε μειώνοντας το μέγεθος των αποδείξεων ως προς το μήκος τους, το πλάτος τους, τον αριθμό των παραγόμενων προτάσεων και τον χρόνο παραγωγής τους. Η εργασία αποτελείται από δύο μέρη. Στο πρώτο μέρος έχου...

Ημερομηνία: 2015 [2015] Συγγραφέας: Αμπατζόγλου, Παντελής Σχολή: Σχολή Θετικών Επιστημών και Τεχνολογίας Περίληψη (Abstract): Ο καρκίνος είναι μία ομάδα ασθενειών που προκαλούν πολυάριθμους θανάτους κάθε χρόνο. Σκοπός της διδακτορικής διατριβής είναι η ανάπτυξη ενός μαθηματικού μοντέλου πρόβλεψης της εξέλιξης καρκινικών όγκων στα πρώτα στάδια της ανάπτυξης τους. Το μοντέλο λαμβάνει υπόψιν το βιοχημικό περιβάλλον μέσα στο οποίο αναπτύσσεται ο καρκινικός όγκος, καθώς και τους εμπλεκόμενους κυτταρικούς μηχανισμούς όπως η μί...