Το Σύστημα Αριθμητικής Υπολοίπου (Residue Number System - RNS), είναι ένα σύστημα αριθμητικής το οποίο παρουσιάζει σημαντικά πλεονεκτήματα στην ταχύτητα με την οποία μπορούν να γίνουν οι αριθμητικές πράξεις. Στα RNS οι αριθμοί αναπαρίστανται σαν ένα σύνολο από υπόλοιπα. Οι εφαρμογές του RNS εκτείνονται σε ένα ευρύ φάσμα της επιστήμης και της τεχνολογίας οπότε έχει δοθεί μεγάλο βάρος στην ανάπτυξη αριθμητικών συστημάτων υψηλής απόδοσης. Τέτοιες αριθμητικές μονάδες είναι αθροιστές, πολλαπλασιαστές, κυκλώματα υπολογισμού ρίζας και γεννήτριες υπολοίπου (Residue Generator – RG). Τα RNS συστήματα πολύ συχνά χρησιμοποιούν βάσεις με τρία διαφορετικά moduli της μορφής {2^n-1,2^n,2^n+1}. Αυτό οφείλεται στο γεγονός ότι έχουν κατασκευαστεί πολύ αποδοτικά συνδυαστικά κυκλώματα κωδικοποίησης και αποκωδικοποίησης από και προς το δυαδικό σύστημα. Επομένως, ο σχεδιασμός πολύ αποδοτικών αριθμητικών συστημάτων modulo 2^n-1, modulo 2^n, modulo 2^n+1 είναι ζωτικής σημασίας για τις εφαρμογές που χρησιμοποιούν το RNS. Από αυτές τις βάσεις αυτή που απαιτεί τα πιο απαιτητικά κυκλώματα είναι αυτή που έχει σαν moduli το 2^n+1 μια που μόνο αυτή δίνει αριθμούς με n+1 bits. Στη modulo 2^n+1 αριθμητική οι αριθμοί εμφανίζονται συνήθως σε δύο αναπαραστάσεις. Στην αναπαράσταση με βάρη και στη diminished-1 αναπαράσταση. Οι δύο αυτές αναπαραστάσεις έχουν κάποια χαρακτηριστικά που τις διαφοροποιούν και που τις κάνουν κατάλληλες για διαφορετικές εφαρμογές. Στην διπλωματική αυτή θα παρουσιάσουμε μια τεχνική η οποία συνδυάζει τα πλεονεκτήματα των δύο αναπαραστάσεων προσφέροντας έτσι κυκλώματα με μικρότερη επιφάνεια που συνήθως όμως έχουν καλύτερη απόδοση. Αυτή η τεχνική θα εφαρμοστεί σε modulo 2^n+1 αθροιστές πολλαπλών εντέλων (Multi-Operand Modulo Adder – MOMA), σε modulo 2^n+1 αθροιστές και σε RG ενώ θα γίνει μελέτη της απόδοσης τους σε σχέση με τις πιο διαδεδομένες μέχρι τώρα αντίστοιχες αρχιτεκτονικές. / The Residue Number Systen (RNS) is an arithmetic system with many advantages in the speed of arithmetic components. In RNS the numbers are represented as a set of residues. The RNS applications are various so there is a great effort in developing arithmetic components with very high performance. Those arithmetic components are adders, multipliers, residue generators etc. In RNS there are commonly used bases of the form {2^n-1, 2^n, 2^n+1} that is because there has been developed very efficient encoding and decoding from and to the binary system. So the design of very efficient arithmetic components in modulo 2^n-1, modulo 2^n, modulo 2^n+1 is very crucial for RNS applications. From these three modulis the 2^n+1 is the most critical to implement because it is the only one that needs n+1-bits. In modulo 2^n+1 arithmetic the numbers are represented in two forms. In the weighted representation and in the diminished-1 representation. These two representations have some differences that make them suitable for different applications. On this thesis work we introduce a technique that combines the advantages of the two representations. This technique when applied in arithmetic components produces circuits that are smaller and very often faster. We use this techniques to design multi operand modulo 2^n+1 adders (MOMA), fast modulo 2^n+1 adders and residue generators (RG).

Η Αλλαγή Πεποιθήσεων είναι το πεδίο που ασχολείται, μελετά και τυποποιεί ένα πλήθος διαδικασιών της συλλογιστικής σκέψης. Οι θεμελιώδεις αρχές της βρίσκονται σε διάφορα φιλοσοφικά συστήματα της περιόδου της αρχαιότητας. Ωστόσο, η σύγχρονη προβληματική που αναπτύσσεται γύρω από το πεδίο αυτό και που καλείται να αντιμετωπίσει εντάσσεται στην ευρύτερη περιοχή της Αναπαράστασης της Γνώσης. Στα μέσα της δεκαετίας του 80 και ύστερα από την προσπάθεια μετάβασης σε πιο συστηματικές και μαθηματικές προσεγγίσεις, η Αλλαγή Πεποιθήσεων αποκτά την τελική της μορφή. Ο όρος Αλλαγή διαιρείται σε τρεις ευρείες υπό-ενότητες: την πρόσθεση, την αφαίρεση και την αναθεώρηση. Η πρόσθεση αναφέρεται στη συλλογή νέων πληροφοριών (επέκταση πεποιθήσεων), η αφαίρεση την απώλεια πληροφορίας, ενώ η αναθεώρηση ερμηνεύει τη μερική ή ολική αλλαγή στο σύνολο των πεποιθήσεών μας, εξαιτίας της εμφάνισης μίας νέας πεποίθησης. Κάθε διαδικασία Αλλαγής συνοδεύεται από ένα σύνολο ορθολογικών αξιωμάτων. Τα αξιώματα διατυπώθηκαν με κύριο σκοπό την ομαδοποίηση, ταξινόμηση και περιορισμό των συλλογιστικών μας ενεργειών. Εκτός από τους τύπους αλλαγών και τα σύνολα των αξιωμάτων που αναφέρθηκαν στο χώρο της Αλλαγής Πεποιθήσεων υπάρχουν και άλλες σημαντικές - συμπληρωματικές διαδικασίες. Μία από τις πιο γνωστές και επωφελείς είναι αυτή της Επαναλαμβανόμενης Αναθεώρησης. Ενώ η απλή αναθεώρηση ερμηνεύει καταστάσεις που προξενούνται από την εμφάνιση μίας και μόνο πληροφορίας, η επαναλαμβανόμενη αναθεώρηση διασαφηνίζει περιπτώσεις μάθησης μέσα από το φάσμα των διαδοχικών πεποιθήσεων. Η παρούσα διατριβή θα μπορούσε να διαιρεθεί σε τρεις μεγάλες κατηγορίες. Η πρώτη εξετάζει συστηματικά τις διάφορες μεθόδους και τεχνικές που αναφέρονται στη διεθνή βιβλιογραφία. Η δεύτερη περιλαμβάνει την κυριότερη ερευνητική μας συνεισφορά καθώς και οι προτάσεις μας πάνω σε ανοικτά προβλήματα της Αλλαγής των Πεποιθήσεων. Πιο συγκεκριμένα, στο αρχικό στάδιο της έρευνάς μας αποτυπώνεται η προσπάθεια σύνδεσης της αναθεώρησης με την επαναλαμβανόμενη αναθεώρηση πεποιθήσεων. Η σύνδεση αυτή επιτυγχάνεται με την εισαγωγή ενός νέου αξιώματος που ονομάζουμε αξίωμα επαναλαμβανόμενης ανάκτησης. Αποδεικνύεται ότι το αξίωμα της επαναλαμβανόμενης ανάκτησης μπορεί να χρησιμοποιηθεί σε πολλές περιπτώσεις κατά τις οποίες το δεύτερο αξίωμα (DP2) των Darwiche και Pearl χαρακτηρίζεται αρκετά ισχυρό. Αποδεικνύουμε επίσης την ορθότητα και πληρότητα του παραπάνω αξιώματος μέσα από το σύστημα σφαιρών του Adam Grove. Στη συνέχεια η έρευνά μας στρέφεται στην προσπάθεια σύνδεσης δύο πολύ σημαντικών περιοχών στην αλλαγή πεποιθήσεων: την Επαναλαμβανόμενη και τη Relevance-Sensitive αναθεώρηση πεποιθήσεων. Τα αποτελέσματα της απόδειξης αφενός αποκαλύπτουν την ύπαρξη μη-συνέπειας μεταξύ τους αξιώματος (P) για τη Relevanse-Sensitive αναθεώρηση πεποιθήσεων με κάθε ένα από τα (DP) αξιώματα της επαναλαμβανόμενης αναθεώρησης πεποιθήσεων, αφετέρου αξιώνουν μία αναγκαία και γενικότερη αποκατάσταση στα τυπικά μοντέλα της αλλαγής πεποιθήσεων. Ακόμη μπορεί να αποδοθεί στη δική μας έρευνα και κάτι διαφορετικό, σε σχέση με τις άλλες: ότι η διαδικασία της αφαίρεσης πεποιθήσεων βασίζεται σε Horn Clauses. Ωστόσο, η αμιγής ερευνητική μας προσπάθεια αναφέρεται την παροχή σημασιολογίας βασιζόμενη σε διατάξεις πιθανών κόσμων για τη διαδικασία του e-contraction που εισήγαγε ο James Delgrande. Η Τρίτη κατηγορία, τέλος, αποβλέπει στην παρουσίαση της κλασσικής θεωρίας της Αναθεώρησης Πεποιθήσεων μέσα από την εφαρμογή της στην επιστήμη των υπολογιστών και πιο συγκεκριμένα, μέσω του Σημασιολογικού Ιστού. / Belief Change is an area that studies and standardizes several reasoning processes. However, the problems it has to confront rest in the wider area of Knowledge Representation. In the mid-1980s and after a transition effort to more systematic and mathematical Approaches, the Belief Change gets into its final form. The term “change” splits in three wide subgroups: expansion, contraction and revision. The expansion regards the collection of new information (belief expansion), while contraction concerns the loss of information. Finally, the revision explains the partial or total change in our beliefs, deriving from the appearance of new information. Every Change process is coupled with several rational postulates. Those were mainly formulated to group, classify and constrain our reasoning. Apart from the change formulas and the postulates mentioned above, in the field of Belief Change there are other important – additional processes. One of the most known and useful is the Iterated Revision. While the simple Revision explains conditions that are induced from the emergence of one and only information, the Iterated Revision clarifies cases of learning through the spectrum of successive beliefs. The present dissertation is classified in three major categories. The first one concerns the systematic study of several methods and techniques found in the international bibliography. The second incorporates our main contribution in research and our propositions with regard in open problems of the Belief Change. More specifically, the initial stage of our research is an effort to connect the revision with the iterated belief revision. This connection is achieved with the introduction of a new postulate called “iterated recovery postulate”. It is also established that the iterated recovery postulate (IR) can be used in many cases where the second postulate DP2, by Darwiche and Pearl, is qualified as rather strong. Moreover, we prove hereby that the postulate is sound and complete through the Adam Grove’s System of Spheres. Our research continues to connect two very important areas in the Belief Change: the Iterated and the Relevance-Sensitive belief revision. The conclusions of this proof reveal the inconsistency between the (P) postulate, regarding the Relevance-Sensitive belief revision, with “each and every one” of the DP postulates of the iterated belief revision. Likewise, they urge for a broad and imperative recovery of the “belief change” typical models. Unlike others, our contribution in research has to do with the belief contraction process, based on Horn Clauses. Our pure research regards the provision of semantics based on possible worlds orderings for the process of e-contraction, introduced by James Delgrande. Finally, the third category tries to present the classical theory of Belief Revision through its application in the computer science and specifically through the Semantic Web.

Η αναπαράσταση γνώσης αποτελεί ένα σημαντικό πεδίο της τεχνητής νοημοσύνης. Ενώ η αναπαράσταση γνώσης για τον κόσμο στην καθημερινή ζωή μας γίνεται σε φυσική γλώσσα, για τα υπολογιστικά συστήματα είναι απαραίτητο να χρησιμοποιηθεί ένας συμβολισμός που να παρέχει ακριβή αναπαράσταση της γνώσης, κάτι που δεν μπορεί να παρέχει η φυσική γλώσσα λόγω της πολυσημαντικότητας των προτάσεων. Μια γλώσσα αναπαράστασης είναι η Κατηγορηματική Λογική Πρώτης Τάξης –ΚΛΠΤ (First Order Logic-FOL). Η ΚΛΠΤ ως γλώσσα αναπαράσταση γνώσης και αυτομάτου συλλογισμού έχει πολλές πτυχές. Μια από αυτές με την οποία ασχολούμαστε στην παρούσα διπλωματική είναι η μετατροπή φυσικής γλώσσας (ΦΓ) σε Κατηγορηματική Λογική Πρώτης Τάξης (ΚΛΠΤ). Πρόκειται για μια ad-hoc διαδικασία, για την οποία δεν υπάρχει κάποιος συγκεκριμένος αλγόριθμος. Στα πλαίσια της παρούσας διπλωματικής εργασίας αναπτύχθηκε ένα σύστημα το οποίο μοντελοποιεί την διαδικασία της μετατροπή φυσικής γλώσσας (ΦΓ) σε κατηγορηματική λογική (ΚΛΠΤ) και αυτοματοποιεί την διαδικασία εισαγωγής προτάσεων-παραδειγμάτων για τον χρήστη-διδάσκοντα. Παράλληλα μέσω μιας αλληλεπιδραστικής διεπαφής (User Interface) κατευθύνει τον χρήστη-φοιτητή κατά την διάρκεια της μετατροπής παρέχοντας βοήθειες και υποδείξεις για κάθε πρόταση. Ο χρήστης-διδάσκοντας μπορεί να εισάγει προτάσεις-παραδείγματα σε ΚΛΠΤ στο σύστημα. Στην συνέχεια κάθε πρόταση ΚΛΠΤ αναλύεται αυτόματα στα βήματα της διαδικασίας και αποθηκεύονται τα κατάλληλα στοιχεία. Μια άλλη πτυχή της διπλωματικής αποτελεί η υλοποίηση της ημι-αυτοματοποίησης της παραγωγής κατάλληλων υποδείξεων σε όλα βήματα της διαδικασίας για κάθε πρόταση. Για την υλοποίηση αυτή χρειάστηκε να γίνει μια κατηγοριοποίηση των επιπέδων των παρεχόμενων υποδείξεων και μια τυποποίηση των λεκτικών εκφράσεων των αντίστοιχων μηνυμάτων. / Knowledge Representation is a fundamental topic of Artificial Intelligence. In everyday life people use natural language to communicate, however natural language cannot be used for knowledge representation in computer systems. The main reason is that natural language has not clear semantic. A basic KR language is First-Order Logic (FOL), the main representative of logic-based representation languages, which is part of almost any introductory AI course and textbook. Teaching FOL as a knowledge representation and reasoning language includes many aspects. One of them is the translation of natural language (NL) sentences into FOL formulas, often called logic formalization of NL sentences. It is an ad-hoc process; there is no specific algorithm that can be automated within a computer. This is mainly due to the fact that NL has no clear semantics as FOL does. During this master thesis, a web-based interactive system has been developed. It’s main aim is to provide a structured process to students and guide them in translating a NL sentence into a FOL one. Also an assistant system has been created to automate the insert of new sentences into the system. The teacher can insert the sentence in natural language and it’s FOL formula. Then the formula is automatically analyzed and the necessary information for the translation is extracted and stored. Another work done during this master thesis is the implementation of a semi-automatic help generation system. The aim of this system is to recognize the students’ errors and provide them help and guidelines during the stages of the conversion process.

Η ανάπτυξη του ανοσοποιητικού συστήματος ξεκινά από πολυδύναμα αρχέγονα αιμοποιητικά κύτταρα, τα οποία διαδοχικά δίνουν γένεση σε ενδιάμεσους πληθυσμούς προγονικών κυττάρων οι οποίοι σταδιακά χάνουν την ικανότητά τους για αυτοανανέωση και τελικά δίνουν γένεση στα πλήρως διαφοροποιημένα κύτταρα της μυελικής και λεμφικής σειράς. Η συγκεκριμένη διαδικασία στηρίζεται στο λεπτό συντονισμό της αυτοανανέωσης, αλλά και της διαφοροποίησης, απαιτεί δε την έκφραση διαφορετικών γονιδίων που σχετίζονται με τη ρύθμιση του κυτταρικού κύκλου, τη μεταγραφική ρύθμιση γονιδίων, αλλά και συμπλόκων αναδιοργάνωσης της δομής της χρωματίνης που εμπλέκονται στη διαφοροποίηση. Η geminin έχει προταθεί ότι ρυθμίζει την απόφαση ενός κυττάρου για πολλαπλασιασμό ή διαφοροποίηση. Αλληλεπιδρά με μεταγραφικούς παράγοντες, με σύμπλοκα αναδιάταξης της δομής της χρωματίνης, ρυθμίζοντας την έκφραση γονιδίων που ελέγχουν τη νευρωνική διαφοροποίηση. Παράλληλα, δρα σαν αναστολέας του κυτταρικού κύκλου, προσδενόμενη στο παράγοντα αδειοδότησης της αντιγραφής του DNA, CDT1. Στόχος μας ήταν να διερευνήσουμε τον in vivo ρόλο της Geminin στη διαφοροποίηση και τον πολλαπλασιασμό, στο ανοσοποιητικό σύστημα. Στα πλαίσια της διδακτορικής διατριβής, βασιζόμενοι στο σύστημα Cre-loxP, δημιουργήσαμε μύες που επιτρέπουν την υπό συνθήκη εξάλειψη (knockout) του γονιδίου της geminin, πλαισιώνοντας τα εξώνια 3 και 4 του γονιδίου της με θέσεις loxP. Η στόχευση του γονιδίου και η παρεμβολή των 3 loxP θέσεων πραγματοποιήθηκε σε pc3 εμβρυικά πολυδύναμα κύτταρα μυός, χρησιμοποιώντας κατάλληλο πλασμιδιακό knockout φορέα, που έφερε τη κασέτα επιλογής TKneo. Μετά από ένεση των ορθά ανασυνδυασμένων pc3 κλώνων σε βλαστοκύστεις, τη δημιουργία χιμαιρικών μυών που εκφράζουν την Cre ρεκομπινάση στη γαμετική σειρά, και την επακόλουθη διασταύρωσή τους με μύες αγρίου τύπου, δημιουργήθηκαν ετερόζυγοι μύες για το πλαισιωμένο με loxP θέσεις αλληλόμορφο της Geminin, που παράλληλα έφερε και τη κασέτα επιλογής TKneo («floxed-ΤΚneo»), το πλαισιωμένο με loxP θέσεις αλληλόμορφο της Geminin, που στερούνταν της κασέτας επιλογής TKneo (floxed), καθώς επίσης και το αλληλόμορφο που στερούνταν των εξωνίων 3 και 4 και είναι το πλήρες knockout (ΔGEM ΚΟ -null) αλληλόμορφο). Από διασταυρώσεις ετερόζυγων για το ΔGEM ΚΟ αλληλόμορφο της geminin, δεν προέκυψαν ομόζυγοι μύες για το ΔGEM ΚO αλληλόμορφο (-/-), τόσο μεταγεννητικά όσο και in utero. Η μειωμένη αντιπροσώπευση των ΔGEM+/- μυών σε συνδυασμό με την αύξηση των Thy1-/B220- κυττάρων σε σπλήνα και λεμφαδένες ενήλικων μυών, η σημαντική αύξηση των Thy1+ και ειδικότερα των CD8+ Τ κυττάρων, καθώς επίσης και η αισθητή μείωση των CD4+ Τ κυττάρων του σπλήνα σε ζώα ηλικίας 5 μηνών, προτείνει ένα είδος απλοανεπάρκειας των ετερόζυγων για Geminin μυών. Σε παραπλήσια αποτελέσματα οδηγηθήκαμε και μετά από την ανάλυση των GT KO για το γονίδιο της Geminin (GT) μυών με τη μεθοδολογία της παγίδευσης γονιδίων. Τα ετερόζυγα GT ζώα διασταυρώθηκαν με ετερόζυγα ζώα για το πλήρες ΚΟ του BRG1 (BRG) και με ετερόζυγα ζώα που υπερεκφράζουν μια επικρατούσα κατασταλτική μορφή του BAF57 (BAFΔΝ, BAF), προκειμένου να διαπιστωθεί εάν υπάρχει γενετική αλληλεπίδραση μεταξύ της Geminin και των μελών του συμπλέγματος αναδιοργάνωσης της δομής της χρωματίνης SWI/SNF, BRG1 και BAF57 που έχει δειχθεί ότι παίζουν σημαντικό ρόλο κατά την ανάπτυξη και διαφοροποίηση του ανοσοποιητικού συστήματος. Ιστοειδικά, χρησιμοποιώντας την floxedΤΚneo σειρά μυών σε συνδυασμό με την CD2-Cre, που επιτρέπει την εξάλειψη του γονιδίου από το στάδιο των DN κυττάρων του θύμου και μετά, είδαμε ότι η ανάπτυξη του θύμου δεν φαίνεται να επηρεάζεται κατά την απουσία της Geminin, ενώ αντίθετα ο ολικός αριθμός των σπληνοκυττάρων μειώνεται στα FlTKneo/KO;CD2 σε σχέση με τα WT. Μιτωγονική διέγερση με ConA εναιωρήματος σπληνοκυττάρων από FlTKneo/KO;CD2 και WT ζώα, έδειξε ότι τα FlTKneo/KO;CD2 Τ λεμφοκύτταρα αδυνατούν να διαιρεθούν. Τέλος, έγινε προσπάθεια για ιστοειδική υπερέκφραση στο ανοσοποιητικό σύστημα της ανθρώπινης Geminin συντηγμένης με τη πράσινη φθορίζουσα χρωστική (GFP). Το συγκεκριμένο σύστημα επιτρέπει την υψηλή έκφραση του διαγονιδίου κυρίως στα Τ κύτταρα. Ενώ προέκυψαν ιδρυτές για όλες τις πιο πάνω σειρές τόσο με χαμηλή όσο και με υψηλή ενσωμάτωση του διαγονιδίου, η έκφραση της GFP δεν κατέστη δυνατόν να ανιχνευθεί με FACS. Συνοψίζοντας, τα αποτελέσματά μας καταδεικνύουν ότι η Geminin είναι ιδιαίτερα σημαντική κατά τα αρχικά στάδια ανάπτυξης του εμβρύου μυός, ενώ ιστοειδικά στο ανοσοποιητικό σύστημα η πλήρης εξάλειψή της δεν έχει καμία επίπτωση στην ανάπτυξη του θύμου αδένα, ενώ αντίθετα στη σπλήνα εμφανίζονται μειωμένοι οι πληθυσμοί των ώριμων CD4 και CD8 Τ λεμφοκυττάρων. Τέλος, φαίνεται να συνεργάζεται με το σύμπλεγμα αναδιοργάνωσης της δομής της χρωματίνης SWI/SNF στη ρύθμιση των CD4 κυττάρων του θύμου αδένα και των CD8 του σπλήνα. / Immune system development initiates from a multipotent hematopoietic stem cell that consecutively generates intermediate progenitors that concomitantly lose their self-renewal ability and finally generate the fully differentiated cells of the myeloid and lymphoid lineage. The whole procedure is based on the fine tuning of the processes of both self-renewal and differentiation, and requires the expression of diverse genes that are implicated in the processes of cell cycle regulation, transcriptional regulation, and are constituents of chromatin remodeling complexes that operate during differentiation. Geminin has been proposed to control a cell’s decision to proliferate or differentiate. It interacts with transcription factors, with chromatin remodeling complexes, regulating neurospecific gene transcription. At the same time, Geminin acts as a cell cycle inhibitor through direct binding to the DNA licensing factor CDT1. Our goal was to investigate Geminin’s in vivo role in differentiation and cell cycle regulation in the immune system. In this thesis, using Cre-loxP system, we generated conditional knockout mice for Geminin’s gene, flanking exons 3 and 4 with loxP sites. Gene targeting and the insertion of the three loxP sites was performed in pc3 mouse embryonic stem cells, using a suitable knockout plasmid vector, which bared the TKneo cassette selection marker. Upon injection of the homologously recombined pc3 clones into blastocysts, the generation of chimeric mice that expressed Cre recombinase in their germ line, and their subsequent cross to wild type mice, we were able to generate heterozygote mice for the flanked by loxP sites allele of Geminin that also bared TKneo selection marker (“floxed-TKneo” allele), the flanked by loxP sites allele of Geminin that was deprived of the TKneo selection marker (the floxed allele) and the complete knockout allele of Geminin (ΔGEM KO (null) allele) that was deprived of exons 3 and 4. From ΔGEM+/- intercrosses we didn’t recover any homozygote knockout mice, both postnatally and in utero. The reduced number of the ΔGEM+/- obtained, in combination with the dramatic increase of Thy1-B220- cells from spleen and lymph nodes from ΔGEM+/- adult mice, the significant increase in Thy1+ and CD8+ from lymph nodes and the discernible decrease of spleenic CD4 T cells in ΔGEM+/- aged 5 months suggest that ΔGEM+/- mice are haploinsufficient. Similar results were obtained from the analysis of the GT knockout that we generated, using a gene trap mutagenesis approach. GT heterozygote mice were crossed with heterozygote mice for BRG1 Knockout (BRG mice) and with heterozygote mice that overexpressed a dominant negative form of BAF57 (BAFΔN, BAF mice), so as to investigate whether there is a genetic interaction between Geminin and the two members of the SWI/SNF chromatin remodeling complex that have significant roles during development and differentiation of the immune system. Upon conditional inactivation of Geminin’s gene in the immune system, using floxedTKneo and CD2-Cre mouse lines, that allowed the deletion of the gene from the DN stage and on, we were surprised to see that in the Geminin conditional knockout mice, thymic development was largely unaffected. On the contrary, spleenic cellularity from Geminin conditional knockout mice was fairly reduced, when compared to WT control littermates. Mitogenic stimulation with ConA of spleenic whole cell extract from Geminin conditional KO (FlTKneo/KO;CD2) and WT mice demonstrated that the mutant T cells were unable to divide. Finally, we tried to overexpress human Geminin tagged with Green Fluorescent Protein (GFP) specifically in the immune system. This particular system would ensure high expression of the transgene mainly in T cells. We obtained founders for all of the cloned constructs, both with low and high copy transgene integration, but we were unable to detect GFP expression by FACS analysis. Our results show that Geminin has a pivotal role during early mouse embryonic development, whereas tissue specific inactivation in the immune system leaves thymic development largely unaffected, whereas mature CD4 and CD8 T cells in the spleen are drastically reduced. Finally, Geminin seems to operate with SWI.SNF complex for the regulation of thymic CD4 and spleenic CD8.

Στην εργασία αυτή προσπαθούμε να προσεγγίσουμε την περίοδο της Ιταλικής Κατοχής στα Επτάνησα, από τον Απρίλιο του 1941 ως το Σεπτέμβριο του 1943,όχι από τη συνήθη πλευρά των στρατιωτικών και πολιτικών γεγονότων, αλλά από τη σκοπιά της καθημερινής ζωής στα νησιά και τον τρόπο που οι αρχές κατοχής προσπάθησαν να εφαρμόσουν το σχέδιό τους για την προσάρτηση των νησιών στην Ιταλική επικράτεια.Συγκεκριμένα επικεντρωθήκαμε στο προπαγανδιστικό πλαίσιο εντός του οποίου κινήθηκαν οι αρχές, επιθυμώντας να αφελληνίσουν τις συνειδήσεις των κατοίκων, άλλοτε μέσω της πειθούς και άλλοτε μέσω της βίας και της καταπίεσης. Η εργασία χωρίζεται σε 4 ενότητες: η πρώτη περιλαμβάνει το θεωρητικό πλαίσιο, τα μεθοδολογικά και ερευνητικά ζητήματα και τους εννοιολογικούς προσδιορισμούς. Η δεύτερη ενότητα καταγράφει το ιστορικό πλαίσιο πριν από την ιταλική κατάληψη των Επτανήσων και αφορά γεγονότα του Μεσοπολέμου στη Ευρώπη και την Ελλάδα, τα οποία προετοίμασαν το Β΄Π Π και ανέδειξαν το Φασισμό, ο οποίος επρόκειτο να εμπλέξει πολεμικά, στα ιμπεριαλιστικά του σχέδια, ολόκληρη σχεδόν την ανθρωπότητα. Η τρίτη ενότητα περιλαμβάνει τα αντιστασιακά κινήματα των πολιτών και τις περιπτώσεις συνεργασίας Ελλήνων με τον κατακτητή. Η τέταρτη ενότητα περιλαμβάνει τα αποτελέσματα της έρευνας που διενεργήθηκε σε πρωτογενείς και δευτερογενείς πηγές, τα καθαυτό ιστορικά δεδομένα και την εξαγωγή των συμπερασμάτων μας. Ακολουθεί η καταγραφή της σχετικής βιβλιογραφίας, ελληνόγλωσσης και ξενόγλωσσης. Ειδικότερα μελετήσαμε τα τεκμήρια που απηχούσαν την προπαγανδιστική πολιτική των Ιταλών, επικεντρώνοντας περισσότερο στο θέμα της αγωγής των νέων, η οποία εξετάστηκε και με τη στενή έννοια του εκπαιδευτικού συστήματος και με την ευρύτερη της διαπαιδαγώγησης. Ανακαλύψαμε ότι στη βάση της της πολιτικής των Ιταλών βρίσκεται το ιδεολόγημα της ιστορικής συνέχειας της παρουσίας τους στα Επτάνησα, το οποίο εξυπηρετούσε εξαρχής τη σκοπιμότητα της διαμόρφωσης μιας ανθελληνικής εθνικής συνείδησης, αρχικά στους νέους και κατόπιν σε ολόκληρο τον πληθυσμό. Οι αναφορές στο παρελθόν και η προβολή ενός καλύτερου μέλλοντος, σε επίπεδο ατομικό και συλλογικό, αποτέλεσαν τα κύρια μέρη της τακτικής τους. Η μετάδοση της επιλεκτικά ιεραρχημένης και κατάλληλα διαμορφωμένης γνώσης από τους εκπαιδευτικούς - υποστηρικτές του φασισμού- θα μπορούσε να φέρει εις πέρας το σχέδιο των αρχών.Όλα αυτά σε συνδυασμό με το στραγγαλισμό της οικονομίας των νησιών και την τελεία εξαθλίωση του πληθυσμού,ο οποίος θα έπρεπε να εμπιστευτεί το πατερναλιστικό κράτος πρόνοιας των Ιταλών Φασιστών, προκειμένου να επιβιώσει. / In this project wy try to approach the Italian occupation of the Ionian Islands from April 1941 till September 1943, not the military and the political events, but the everyday lives on the islands and the way the authorities used wishing to remove the Greek idenity of the consciousness of people,sometimes by persuasion and sometimes through violence and oppression. The project is divided in four units. The first involves the theoretical framework, the methodological research iusses and concept definitions. The second unit refers to the historical framework of the Ionian Islands before the Italian occupation, and has to do with events of the interwar in Europe and in Greece which prepared World War II and distinguished Fascism, which was going to involve in its imperialistic prans almost all humanity. The third unit includes resistance movements of people and cases of cooperation with the conqueror. The fourth unit contains the results of research which was carried out from primary and secondary sources, the historical facts and our conclusion. A reference of the Greek and foreign bibliography which were used follows. We mainly studied the presumption which reflected the propagandist policy of the Italians, focused more on the issue of treatment for young people, which was examined in a close conception of the educational system and the wider education. We discovered that the ideology of the historical continuation of their presence in the Ionian Islands is found in the basis of the Italian policy, which from the beginning served the feasibility of building the anti-hellenic national consciousness, firstly to the young people and later on all the population. A reference in the past and a showing of a better future in an individual and association level consisted the main parts of their tactics. The spread of the selective hierarchy and suitably formed knowledge from the educators-supporters of fascism could accomplish the plan of the authorities. All this in combination with the strain of economy of the islands and the total improverishment of the population who would have to trust the paternalistic providence-state of the Italian fascism so as to survive.

Η επιρροή του παράγοντα χρονοαπόσταση σε ένα σύστημα ακολουθίας οχημάτων μπορεί να προσδιορίσει την επικινδυνότητα του πλήγματος που υφίσταται το σύστημα. Με βάση μια παρ’ολίγον οπισθο-μετωπική σύγκρουση σε αυτοκινητόδρομο 3 λωρίδων, εξετάζεται ο ρόλος της χρονοαπόστασης μεταξύ των οχημάτων σε συνδυασμό με τους χρόνους αντίδρασης των οδηγών στην αντίληψη του επικείμενου κινδύνου. Το μοντέλο ακολουθίας οχημάτων κατά Brill, που συσχετίζει την χρονοαπόσταση, τον χρόνο αντίδρασης του οδηγού και την επιβράδυνση με τη συχνότητα των ατυχημάτων, χρησιμοποιείται ως κύριο εργαλείο για την εκτίμηση της ευαισθησίας της πιθανότητας ενός ατυχήματος. Μέσω της μικροσκοπικής ανάλυσης του βίντεο καταγραφής του ατυχήματος και της επεξεργασίας των δεδομένων και με πηγή έμπνευσης τα προγενέστερα επίμαχα ερωτήματα που θέτει και απαντά ο G. Davis και οι συνεργάτες του, προκύπτουν οι απαραίτητες πληροφορίες για την αριθμητική περιγραφή του ατυχήματος. Με τη χρήση έπειτα του λογισμικού προγράμματος OpenBUGS, το οποίο βασίζεται στη μέθοδο Monte Carlo Markov Chain, γίνεται προσομοίωση του προτύπου ατυχήματος και υπολογίζονται οι τιμές των παραμέτρων που επηρεάζουν τη μορφή του πλήγματος. Από τα αποτελέσματα προκύπτει ο βαθμός που ο συνδυαστικός παράγοντας χρονοαπόσταση και χρόνος αντίδρασης επηρεάζει το πλήγμα και αξιολογείται. Τέλος, με συγκεκριμένες επεμβάσεις επιχειρείται η βελτίωση ολόκληρου του συστήματος ακολουθίας οχημάτων. / The influence of time headway on a car-following system can determine the severity of a shockwave. Based on a near-miss rear-end collision on a 3-lane highway, this study examines the importance of time headway in combination with the driver’s reaction time upon perception of the upcoming hazard. The car-following model developed by Ed. Brill, relating driver’s reaction time, temporal headway and deceleration response to accident frequency, is used as a main tool for assessing the sensitivity of collision probability. Through a microscopic analysis of the video record and data processing and inspired by earlier critical questions that G. Davis and his associates have posed and answered, all the necessary information for the arithmetical description of the accident is extracted. Using the OpenBUGS software, and based on the Monte Carlo Markov Chain method, simulation of the collision prototype is achieved along with the calculation of other main parameters that affect the shockwave form. Simulation results, revealing the influence that the combined factor headway-reaction time has on a shockwave are derived and evaluated. Through certain modifications, the improvement of the whole car-following system is attempted.

Η αιολική ενέργεια είναι το κλειδί για να επιτευχθεί ο στόχος της Ε.Ε. για συμμετοχή των Α.Π.Ε. στην παραγωγή ενέργειας σε ποσοστό τουλάχιστον 20% το 2020.Για το λόγο αυτό, αυτή η διπλωματική εργασία έχει σκοπό τη μελέτη των επιπτώσεων του συστήματος αιολικής ενέργειας στο σύστημα ηλεκτρικής ενέργειας.Η έρευνα επικεντρώνεται στο τμήμα των δυναμικών επιπτώσεων, που αφορά κυρίως στις μεταβολές της αέργου ισχύος και των τάσεων στους ζυγούς του συστήματος λόγω μεταβολών διαφόρων παραμέτρων όπως ο άνεμος, οι γραμμές μεταφοράς και διάφορα είδη σφαλμάτων. / The contribution of renewable sources of energy in percent at least 20% is the energy goal of E.U. in 2020.Thus, wind power is considered to be the key to the achievement of this goal.For this reason, this diploma thesis intendsto study the influences of the wind power system to the electrical power system.The research specifies in the section of the dynamic influences, which mostly includes the variations of the voltage and the reactive powe in the systems buses due to variations of variables such as the wind speed, the transmission lines and different types of fault.

Στη βιομηχανία, το σημερινό παγκόσμιο επιχειρησιακό περιβάλλον, χαρακτηρίζεται από πρωτοφανή ανταγωνισμό και απαιτητικούς πελάτες, οι οποίοι επιζητούν καινοτόμες και ταχείες λύσεις. Η κατανόηση και η βελτιστοποίηση των διαδικασιών σχεδιασμού θεωρείται ακρογωνιαίος λίθος επιτυχίας σε ένα τόσο γρήγορα εξελισσόμενο περιβάλλον. Η ελαχιστοποίηση του χρόνου εισαγωγής ενός προϊόντος στην αγορά και η διατήρηση της ποιότητας του, σε υψηλά επίπεδα, έχουν γίνει οι κύριοι παράγοντες της επιτυχίας του. Για αυτό το λόγο, κρίθηκε επιτακτική η ανάγκη ύπαρξης ενός συνεργατικού διαδικτυακού εργαλείου για το σχεδιασμό των εκάστοτε προϊόντων. Στη παρούσα εργασία, σχεδιάστηκε και υλοποιήθηκε μια Διαδικτυακή Πλατφόρμα Συνεργασίας (ΔΠΣ), η οποία παρέχει τη δυνατότητα συνεργασίας μεταξύ πολλών απομακρυσμένων χρηστών, σε πραγματικό χρόνο, πάνω στο σχεδιασμό και την αξιολόγηση ενός προϊόντος. Σκοπός της εργασίας ήταν να δημιουργηθεί μια αποδοτική, αξιόπιστη και εύκολη στο χειρισμό της Διαδικτυακή Πλατφόρμα, για την εποπτεία, αξιολόγηση και επικύρωση του σχεδιασμού ενός προϊόντος, σε όλες τις φάσεις της ανάπτυξης του. Λειτουργίες, όπως η διαχείριση χρηστών, έργων, ρόλων και αρχείων, αναπτύχθηκαν και ενσωματώθηκαν σε μια ολοκληρωμένη πλατφόρμα, που επιτρέπει στους χρήστες να εργάζονται κατά τρόπο συνεργατικό και κατανεμημένο, μειώνοντας έτσι αρκετά το χρόνο που απαιτείται για την ολοκλήρωση της φάσης σχεδιασμού των προϊόντων. Στην εργασία αυτή, παρουσιάστηκαν και εκτιμήθηκαν οι δυνατότητες που παρέχει η συνδυασμένη χρήση της Java, των σχεσιακών συστημάτων βάσεων δεδομένων, σε ένα περιβάλλον τριών επιπέδων (3-tier), για την υλοποίηση ολοκληρωμένων πληροφοριακών συστημάτων. Η τεχνολογία που χρησιμοποιήθηκε για την κατασκευή του συστήματος είναι η Java σαν γλώσσα προγραμματισμού, η οποία επιτρέπει στο σύστημα να εγκαθίσταται σε πολλά διαφορετικά περιβάλλοντα, η Oracle για την αποθήκευση των δεδομένων, η JSP για την ανάπτυξη δυναμικών ιστοσελίδων, ο Tomcat ως web server καθώς και η XML για την επικοινωνία και την ανταλλαγή δεδομένων στα υπάρχοντα συστήματα. Οι μέθοδοι και οι προσεγγίσεις που χρησιμοποιήθηκαν είναι γενικές και έτσι υπάρχει η δυνατότητα να εφαρμοστούν σε πολλούς και διαφορετικούς μεταξύ τους οργανισμούς. / In industry, the current world operational environment, is characterized by unprecedented competition and demanding customers, who seek innovative and rapid solutions. The comprehension and optimization of the design processes are considered the corner stone of success in such a rapidly evolving environment. Minimizing the time that a product enters into the market and the maintenance of its quality at high levels, have become the main factors of its success. For this reason, there was an imperative need for the existence of a collaborative web tool for the designing of each product. In the present work, a Collaborative Web Platform (CWP), which enables the collaboration among several users, in real time, on the design and the evaluation of a product or production procedure, has been designed and implemented for remote users. The aim of this work was that an efficient, reliable and easy to use system for collaborative design be created, for the monitoring, evaluation and ratification of designing, in all of the stages of a product’s development. Operations of web collaboration, as is the management of users, roles, tasks and files, were developed and they were incorporated into an integrated platform that allowed the users to work in a collaborative and distributed way, thus decreasing considerably the time, required for the completion of the design stage. In this work, the possibilities provided by the combined use of Java and the relational data bases systems, in a three-level environment for the implementation of integrated informative systems, have been evaluated. The technologies used for the implementation of the system was Java, as a programming language, which allows for the system to be installed in a lot of different environments, Oracle for the storage of data, the JSP for the development of dynamic web pages, the Apache Tomcat, as a web server, as well as the XML language for the communication and the exchange of data in the existing systems. The methods and approaches used are general and thus, there exists the possibility that they be applied to several organizations that are different from each other.

Στη παρούσα διπλωματική μοντελοποιείται το σύστημα σφαίρας ράβδου. Εξάγεται το μοντέλο στο χώρο κατάστασης και υλοποιείται γραμμικοποίηση εισόδου κατάστασης και εισόδου εξόδου. Βρίσκονται προσεγγιστικοί νόμοι ελέγχου για το μη γραμμικό σύστημακαθώς παρουσιάζει ιδιομορφία. / This diploma thesis includes the analysis of the nonlinear system of a ball-beam and the design of different control laws. Initially, we present the physical system and we derive the mathematical model from the lagrange equation.The nonlinear system fails to be stable with the classic linear control laws and we try to stabilize it by input-state and inputoutput linearization. The ball beam system fails to be controlled by full state linearization and we proposed some approximations for inputoutput linearization. We describe in detail how we can derive the approximate control laws and through simulation we are capable of choosing the best suitable control law. We propose a switch-controller for the nonlinear system which is vital for systems with undefined relative degree and are not input state linearizable.

Εγχειρίδιο χρήσης της Android εφαρμογής WhatWhereWho και παρουσίαση διαδικασίας υλοποίησής της. / Manual for the Android application WhatWhereWho and description of the process needed for its implementation.