- / -

Τα κυψελικά αυτόματα (ΚΑ) αποτελούν την εξιδανίκευση ενός φυσικού συστήματος όπου ο χώρος και ο χρόνος είναι διακριτοί και οι φυσικές ποσότητες λαμβάνουν μόνο ένα πεπερασμένο σύνολο τιμών. Τα κυψελικά αυτόματα αποτελούνται από ένα πλέγμα με διακριτούς πανομοιότυπους κόμβους. Κάθε σημείο-κόμβος του πλέγματος χαρακτηρίζεται από μία τιμή η οποία δεν είναι αυθαίρετη, αλλά λαμβάνεται από ένα συγκεκριμένο σύνολο ‘επιτρεπτών’ ακέραιων τιμών. Οι τιμές αυτών των κόμβων του πλέγματος εξελίσσονται από τη μία χρονική στιγμή στην άλλη σύμφωνα με προκαθορισμένους τοπικούς κανόνες. Η συνολική δομή αποτελεί ένα μοντέλο παράλληλου υπολογισμού. ΄Οταν η απλή δομή του μοντέλου επαναλαμβάνεται, προκύπτουν πολύπλοκα πρότυπα που μπορούν να προσομοιώσουν ποικίλα πολύπλοκα φυσικά φαινόμενα και συστήματα. Χρησιμοποιούμε τα κυψελικά αυτόματα για να προσομοιώσουμε έναν αλγόριθμο ελέγχου τοπολογίας για ασύρματα δίκτυα αισθητήρων. Τα ασύρματα δίκτυα αισθητήρων αποτελούνται από ένα μεγάλο αριθμό διασκορπισμένων αισθητήρων-κόμβων που λειτουργούν με μπαταρίες. Σκοπός του προβλήματος ελέγχου τοπολογίας σε ασύρματα δίκτυα αισθητήρων είναι η επιλογή κατάλληλου υποσυνόλου κόμβων ικανών να παρακολουθούν μια περιοχή με στόχο τη μικρότερη δυνατή κατανάλωση ενέργειας και ως εκ τούτου την επέκταση της διάρκειας ζωής του δικτύου. / Cellular automata (CA) are an idealization of a physical system where space and time are discrete and the physical quantities take only a finite set of values. Cellular automata consist of a regular grid of identical cells-nodes. Each node is characterized by a non arbitrary value selected by a specific set of appropriate integers. The values of the nodes change over time according to predefined localized rules. The overall structure can be viewed as a parallel processing device. This simple structure when iterated several times produces complex patterns displaying the potential to simulate different sophisticated natural phenomena. We use cellular automata for simulating a topology control algorithm in Wireless Sensor Networks (WSNs). WSNs are composed of a large number of distributed sensor nodes operating on batteries; the objective of the topology control problem in WSNs is to select an appropriate subset of nodes able to monitor a region at a minimum energy consumption cost thus extending the network lifetime.

Η επιστημονική κοινότητα τα τελευταία χρόνια και κυρίως μετά το 1970 έχει δείξει τεράστιο ενδιαφέρον για τον τομέα της επεξεργασίας εικόνας και video σε συνδυασμό με τον έλεγχο κλειστού βρόγχου και όλα αυτά σε πραγματικό χρόνο. Γι’ αυτό και η οπτική παρακολούθηση (vision tracking) είναι και μία από τις πιο σημαντικές εφαρμογές στον τομέα του computer vision. Το συγκεκριμένο αντικείμενο [1] αποτελεί πρόκληση για πολλούς, εξαιτίας της μεγάλης δυσκολίας που έγκειται στο γεγονός της παράλληλης αναγνώρισης των κινούμενων στόχων με την ταυτόχρονη κίνηση της camera. Περίτρανη απόδειξη όλων των παραπάνω είναι η μεγάλη ποικιλία των σχετικών άρθρων που έχουν δημοσιευτεί σε διάφορα σχετικά με τον αντικείμενο περιοδικά, βιβλία καθώς και έχουν παρουσιαστεί σε διάφορα συνέδρια. To μεγαλύτερο πλεονέκτημα αυτών των αυτόματων συστημάτων παρακολούθησης (automatic surveillance systems) είναι η πολύ καλή αξιοπιστία και η αποδοτικότητα για παρακολούθηση από απόσταση (long distance surveillance) σε σύγκριση με αυτή που θα παρουσίαζαν εάν στη θέση τους υπήρχε ο ανθρώπινος παράγοντας. Τα συστήματα(3) που χρησιμοποιούνται για παρακολούθηση μπορούν αν περιλαμβάνουν radar, sonars ή ακόμη και lasers. Κύριο μειονέκτημα αυτών των συστημάτων είναι οι συσκευές σάρωσης που περιλαμβάνουν. Αυτές είναι ενδεχομένως αναξιόπιστες και καταναλώνουν μεγάλες ποσότητες ενέργειας, γεγονός μη επιθυμητό κυρίως σε διαστημικές εφαρμογές. Μία ενδιαφέρουσα εναλλακτική λύση αντί της χρήσης των παραπάνω συσκευών είναι να υιοθετηθούν vision συστήματα, τα οποία παρέχουν ακριβής χρονική και χωρική ανάλυση (spatiotemporal resolution). Στόχος της παρούσας διπλωματικής εργασίας είναι η εξομοίωση ενός ελεγκτή ο οποίος έχοντας στην διάθεση του κάθε χρονική στιγμή την θέση του στόχου προς παρακολούθηση στην εικόνα θα θα οδηγεί την κάμερα ετσι ώστε να κρατάει τον στόχο σε μια περιοχή γύρω από το κέντρο της. Μελλοντική εφαρμογή αυτης της διπλωματικής θα μπορούσε να είναι η ενσωμάτωση του συστήματος παρακολούθησης σε ένα σύστημα μονοκατευθυντικών κεραιων έτσι ώστε να επιτυγχάνεται η βέλτιστη επικοινωνία με τα αεροσκάφη. / -

Το κάτωθι κείμενο πραγματεύεται το φαινόμενο της εξάπλωσης αυτοαναπαραγόμενων αυτομάτων σε δίκτυα. Αρχικά προβαίνουμε σε μια εισαγωγή στα αυτοαναπαραγόμενα προγράμματα και στο περιβάλλον στο οποίο εξαπλώνονται και εν συνεχεία εμβαθύνουμε στον τρόπο με τον οποίο προσεγγίζουμε το φαινόμενο. Μελετάμε μεθόδους ανίχνευσης με χρήση φίλτρων Kalman και εντροπίας. Τέλος, ασχολούμαστε με μια σειρά παιγνίων και σεναρίων με σκοπό την ανάδειξη συγκεκριμένων πλευρών του όλου προβλήματος και την τροπή που παίρνει στις μέρες μας. Εν κατακλείδι, η παρούσα διπλωματική εργασία τονίζει βασικές ιδιότητες που χαρακτηρίζουν την διάδοση και εισάγει νέες βοηθητικές έννοιες και μοντέλα, με στόχο την κατανόηση και τον ενστερνισμό του πνεύματος των εξελίξεων στα σύγχρονα worms και viruses. / The text below considers the phenomenon of propagation of self replicating automata. We begin with an introduction to self replicating programs and to the environment in which they propagate and then we delve and explain the ways of approaching the phenomenon. We study detection methods via the use of Kalman filters and estimation of entropy. Finally, a series of games and scenarios are introduced and studied, in order to enlighten certain aspects of the problem and its current direction. In conclusion, this diploma thesis marks basic properties of the propagation and introduces auxiliary concepts and new models, having as a goal the comprehension and the adoption of the spirit of evolution of modern worms and viruses.

Η διατριβή αφορά την ανάπτυξη και υλοποίηση ενός τετραδιάστατου, διακριτού μοντέλου προσομοίωσης της συμπεριφοράς καρκινικών κυτταρικών συστημάτων σε ελεύθερη ανάπτυξη και της απόκρισής τους σε χημειοθεραπευτική ή και ακτινοθεραπευτική αγωγή. Υλοποιήθηκαν δύο εκδοχές του μοντέλου: η χωρική και η μη χωρική προσέγγιση. Η χωρική προσέγγιση αναφέρεται στην τετραδιάστατη προσομοίωση συμπαγών όγκων. Η μη χωρική προσέγγιση βρίσκει εφαρμογή στην περίπτωση μη συμπαγών όγκων, καθώς και συμπαγών όγκων, όταν δεν δίνεται έμφαση στη χωρική εξέλιξή τους. Η ερευνητική εργασία έχει επικεντρωθεί σε τρεις τύπους καρκινικών όγκων: καρκίνος του μαστού, καρκίνος του πνεύμονα και πολύμορφο γλοιοβλάστωμα και σε θεραπευτικά σχήματα χορήγησης των σκευασμάτων: επιρουβικίνη (epirubicin), τεμοζολομίδη (temozolomide), σισπλατίνη (cisplatin), γεμσιταμπίνη (gemcitabine), βινορελμπίνη (vinorelbine) και δοσεταξέλη (docetaxel). Σκοπός της εργασίας είναι η ανάπτυξη ενός εργαλείου για την αξιόπιστη υποστήριξη ιατρών στη λήψη αποφάσεων σχετικά με την επιλογή θεραπευτικών σχημάτων και την εξατομικευμένη βελτιστοποίηση της θεραπευτικής αγωγής. Η αφετηρία είναι η μοντελοποίηση του κυτταρικού κύκλου και των πιθανών μεταβάσεων μεταξύ των καταστάσεων που μπορεί να βρεθεί ένα κύτταρο. Το μοντέλο βασίζεται στην υπόθεση ότι ο καρκινικός όγκος διατηρείται από μια συγκεκριμένη κατηγορία κυττάρων, τα καρκινικά βλαστικά κύτταρα (cancer stem cells), και έχει επεκταθεί ώστε να περιλαμβάνει σε μεγαλύτερη λεπτομέρεια διάφορους βιολογικούς μηχανισμούς σε μοριακό (πχ. εκφράσεις γονιδίων) και κυτταρικό επίπεδο. Ο μηχανισμός δράσης, η φαρμακοκινητική και η φαρμακοδυναμική των θεωρούμενων σκευασμάτων έχουν μελετηθεί βιβλιογραφικά και έχουν ενσωματωθεί στο μοντέλο. Επίσης, το μοντέλο έχει αναπτυχθεί ώστε να λαμβάνει υπόψη του την κλινική εικόνα του ασθενούς με χρήση εξατομικευμένων κλινικών δεδομένων, όπως απεικονιστικά δεδομένα (π.χ. CT, MRI, PET), ιστοπαθολογικά δεδομένα (π.χ. τύπος όγκου, βαθμός διαφοροποίησης) και μοριακά δεδομένα (π.χ. έκφραση γονιδίων). Στα πλαίσια της διατριβής πραγματοποιούνται έλεγχοι αξιοπιστίας και εκτενείς παραμετρικές μελέτες για την αποσαφήνιση της ευαισθησίας του μοντέλου στη διακύμανση των παραμέτρων του τόσο κατά την προσομοίωση της ελεύθερης ανάπτυξης όσο και κατά την εφαρμογή της χημειοθεραπευτικής αγωγής. Η ποσοτική αξιολόγηση, προσαρμογή και βελτιστοποίηση του μοντέλου πραγματοποιείται στα πλαίσια των ευρωπαϊκών ερευνητικών προγραμμάτων ACGT (Advancing Clinicogenomic Trials on Cancer, FP6-2005-IST-026996), ContraCancrum (Clinically Oriented Cancer Multilevel Modelling, FP7-ICT-2007-2-223979) και P-medicine (From data sharing and integration via VPH models to Personalized medicine, FP7-ICT-2009-6-270089) μέσω της αξιοποίησης πραγματικών κλινικών δεδομένων. Στην παρούσα διατριβή παρουσιάζονται τα αποτελέσματα της προσαρμογής του μοντέλου σε κλινικά δεδομένα του καρκίνου του μαστού, του καρκίνου του πνεύμονα και του πολύμορφου γλοιοβλαστώματος. Επιπλέον, διάφορες εκδόσεις του μοντέλου έχουν αξιοποιηθεί για ‘την επάνδρωση’ μιας ευρωπαϊκής βάσης μοντέλων για τον καρκίνο, που υλοποιείται στα πλαίσια του ευρωπαϊκού ερευνητικού προγράμματος TUMOR (Transatlantic Tumour Model Repositories, FP7-ICT-2009-5-247754). Το μοντέλο υλοποιείται σε γλώσσα προγραμματισμού C++. / In the present thesis, a clinically oriented, multiscale, discrete simulation model of cancer free growth and response to chemotherapy and/or radiotherapy is presented and investigated. Two versions of the model have been implemented: the spatial and the non spatial approach. The spatial model concerns the spatiotemporal evolution of solid tumours, whereas the non spatial model can be applied in the case of non solid cancers, as well as solid tumours, when no emphasis is put on the spatial features of a tumour evolution. The research work has been focused on the paradigms of early breast cancer treated with the single agent epirubicin, primary lung cancer treated with various combinations of cisplatin, gemcitabine, vinorelbin and docetaxel and glioblastoma multiforme treated with combined modality treatment using radiation and chemotherapy with temozolomide. The goal is to end up with a reliable simulation system able to assist clinicians in selecting the most appropriate therapeutic pattern, extracted from several candidate therapeutic schemes in the context of patient individualized treatment optimization. The model incorporates the biological mechanisms of cell cycling, quiescence, recruitment (reentry into the cell cycle), differentiation and death. It is based on the well documented assumption that tumour sustenance is due to the existence of cancer stem cells, i.e. cells which have the ability to preserve their own population, as well as give birth to cells that follow the path towards terminal differentiation. Furthermore, the mechanism of action, pharmacokinetics and pharmacodynamics of all considered agents have been bibliographically studied and incorporated into the model. Finally, the model has been developed to support and incorporate individualized clinical data such as imaging data (e.g. CT, MRI, PET slices, possibly fused), including the definition of the tumour contour and internal tumour regions (proliferating, necrotic), histopathologic (e.g., type of tumour) and genetic data (e.g., gene expression). An exhaustive and in-depth examination of the model behaviour with respect to the variation of its input parameters has been performed, in order to determine the impact of its parameters, guarantee a biologically relevant virtual tumour behaviour and enlighten aspects of the interplay and possible interdependencies of the biological mechanisms modeled. Finally, the model has been quantitativily validated and adaptated in the framework of the ACGT (Advancing Clinicogenomic Trials on Cancer, FP6-2005-IST-026996), ContraCancrum (Clinically Oriented Cancer Multilevel Modelling, FP7-ICT-2007-2-223979) and P-medicine (From data sharing and integration via VPH models to Personalized medicine, FP7-ICT-2009-6-270089) European Commission-funded projects by exploiting real clinical data. In the present thesis, the clinical adaptation of the model focuses on breast cancer, lung cancer and glioblastoma multiforme clinical cases. Moreover, various versions of the model have been uploaded to the EU cancer model repository developed by the TUMOR (Transatlantic Tumour Model Repositories, FP7-ICT-2009-5-247754) European Commission-funded project. The model has been developed in the C++ programming language.

Κύριος στόχος της παρούσας διατριβής ήταν να συμβάλλει στην συστηματοποίηση του έργου του Ηλεκτρολόγου Μηχανικού όταν αναλύει, μοντελοποιεί και σχεδιάζει τον έλεγχο ενός βιομηχανικού συστήματος. Για την μοντελοποίηση βιομηχανικών συστημάτων έχουν προταθεί διάφορες μέθοδοι, όπως τα δίκτυα Petri και όλες οι μορφές αυτομάτων ελέγχου. Τα αυτόματα αποτέλεσαν την βάση για την δημιουργία μιας νέας μεθόδου μοντελοποίησης στα πλαίσια της παρούσας διατριβής. Τα Γενικευμένα Αυτόματα (Global Automata), όπως ονομάστηκε η νέα μέθοδος, δανείζονται χαρακτηριστικά από τις διάφορες προϋπάρχουσες μορφές αυτομάτων, ενώ εισαγάγουν νέες παραμέτρους μοντελοποίησης ώστε να καλύψουν τις όποιες ανάγκες των σύγχρονων βιομηχανικών συστημάτων. Βάσει της μεθόδου αναπτύχθηκαν διάφορα εργαλεία με στόχο την αύξηση της δύναμης μοντελοποίησης της. Το πρώτο εργαλείο περιλαμβάνει μια συστηματοποιημένη τεχνική συγχώνευσης καταστάσεων ενός μοντέλου και αποσκοπεί στον περιορισμό της υπέρμετρης αύξησης του γράφου καταστάσεων, ο οποίος σε περιπτώσεις μεγάλων συστημάτων μπορεί να φτάσει τις δεκάδες χιλιάδες καταστάσεις. Το δεύτερο εργαλείο που αναπτύχθηκε, αποτελεί την σύνθεση αυτομάτων με στόχο την δημιουργία ενός νέου αυτομάτου που έχει την ίδια ακριβώς συμπεριφορά με τα αρχικά. Η σύνθεση επιτρέπει την δημιουργία μοντέλου ακόμα και ενός συστήματος υψηλής πολυπλοκότητας, μέσω σύνθεσης των μοντέλων όλων των υποσυστημάτων του. Τέλος, τα γενικευμένα αυτόματα επιτρέπουν την δημιουργία ιεραρχικών μοντέλων που αποτελούνται από πλήθος αυτομάτων ιεραρχικά δομημένων. Σε αυτή την περίπτωση το αυτόματο του ανωτέρου επιπέδου έχει τον ρόλο του επόπτη-συντονιστή και τροφοδοτεί τα αυτόματα του κατώτερου επιπέδου με δεδομένα, τιμές αναφοράς κτλ. Αναφορικά με τον προγραμματισμό των βιομηχανικών ελεγκτών που θα επωμιστούν τον έλεγχο της διεργασίας παρουσιάζονται δύο εργαλεία παραγωγής κώδικα από ένα γενικευμένο αυτόματο. Το πρώτο εργαλείο παρουσιάζει συστηματικά τα βήματα μετατροπής ενός αυτομάτου σε εκτελέσιμο κώδικα μιας γλώσσας προγραμματισμού υψηλού επιπέδου. Η χρησιμότητα είναι σημαντική κατά την διάρκεια εξομοίωσης ενός μοντέλου και επαλήθευσης της ορθής λειτουργίας του ελεγκτή, αλλά όχι μόνο. Οι σύγχρονες βιομηχανίες είναι εξοπλισμένες με Σταθμούς Εποπτικού Έλεγχου και Συλλογής Πληροφοριών (SCADA) οι οποίοι στην πλειονότητά τους φέρουν ενσωματωμένη δυνατότητα εκτέλεσης κώδικα σε μια γλώσσα υψηλού επιπέδου. Με εκτέλεση του παραγόμενου, από το εργαλείο, κώδικα σε λογισμικό SCADA, μπορεί να επιτευχθεί και έλεγχος του συστήματος. Βέβαια, ο επικρατέστερος τύπος ελεγκτή παραμένει το Προγραμματιζόμενος Λογικός Ελεγκτής, λόγω των ιδιαίτερων χαρακτηριστικών που διαθέτει και υπερισχύει συγκριτικά με τις εναλλακτικές προσεγγίσεις. Η υλοποίηση των γενικευμένων αυτομάτων σε PLC επιτυγχάνεται μέσω του δεύτερου εργαλείου, το οποίο δημιουργήθηκε με βάση το διεθνές πρότυπο IEC 61131-3 και περιγράφει όλα τα συστηματικά βήματα που πρέπει να ακολουθήσει ο μηχανικός για να υλοποιήσει την στρατηγική ελέγχου, που εμπεριέχει ένα γενικευμένο αυτόματα, σε ένα PLC. Το πρότυπο IEC 61131-3 περιλαμβάνει ένα σύνολο πέντε γλωσσών και το εργαλείο σύνθεσης τις περιλαμβάνει όλες δίνοντας κατάλληλες κατευθύνσεις υλοποίησης με βάση τα ιδιαίτερα χαρακτηριστικά της καθεμιάς. Η παρουσίαση των γενικευμένων αυτομάτων και των εργαλείων που αναπτύχθηκαν ολοκληρώνεται μέσω παραδειγμάτων χρήσης. Οι παρουσιαζόμενες εφαρμογές αποτελούν είτε θεωρητικά συστήματα για επεξήγηση, είτε πραγματικές εφαρμογές υλοποιημένες ως εργαστηριακές διατάξεις ή ως πραγματικά συστήματα παραγωγής. / In this work Global Automata are introduced as a new method offering the convenience of modelling various types of industrial systems without any restrictions on systems properties. Their structure has common characteristics with several types of automata, such as the control graph with a finite set of states and transitions between those states. Global automata can be used for modelling hybrid systems handling both discrete and real valued variables combining flow, invariant and guard conditions from hybrid automata, with clock constraints and delayed inputs from timed and PLC automata. In addition, new modelling parameters as reset table at each transition and hierarchical classification of executable events at each state are introduced. Application independence derives from the fact that they are a super-set of every other type of automata and hence are less application depended compared to any of them. Based on Global Automata some tools were developed in order to increase their modelling power. First tool is the ability of state aggregation which generally means the merging of two or more states in order to produce a new super-state. State aggregation is a powerful tool to avoid state space expansion. The second developed tool is automata composition and is mainly used in cases where ad-hoc modelling is not a practical solution, since it allows the construction of large system model using simple models of all system’s components. Finally, global automata allow the development of hierarchical models, consisting of two or more automata. In such case, the automaton of the higher level has the role of supervisor feeding the automata of lower level with data, reference values etc. Two implementation tools for programming industrial controllers are also presented. The first tool is a synthesis tool for translating a global automaton into executable code of a programming language (i.e. C, Matlab). Tool usage is important for simulation and verification but is not limited on this. Contemporary industrial systems are equipped with Supervisory Control and Data Acquisition Systems (SCADA), which have embedded functions of running code. Consequently, an industrial system modelled as a global automaton can be controlled by the executable code running in a SCADA station. But, in industry the dominant controller is the Programmable Logic Controller, which is a special aim computer suitably built for the application control tasks. The IEC 61131-3 Programming Norm describes all the well-known languages for programming PLCs and the second tool is a synthesis tool for implementing global automata in PLCs based on this programming norm. Global automata as a modelling method and all the above mentioned tools are illustrated through representative examples. The presented examples are either theoretical or real systems implemented in the laboratory or even real production systems.

Η παρούσα διατριβή πραγματεύεται το πρόβλημα της αποτελεσματικής σχεδίασης ιστοτόπων που υποστηρίζουν την εύχρηστη διαδραστική αναζήτηση. Με τον όρο διαδραστική αναζήτηση περιγράφεται η διερευνητική αλληλεπίδραση ενός χρήστη με έναν ιστότοπο, με στόχο την εύρεση πληροφορίας στο πλαίσιο μίας εργασίας του, χωρίς τη χρήση διαδικτυακών μηχανών αναζήτησης. Η διατριβή εντάσσεται στην περιοχή της ευχρηστίας του Διαδικτύου και γενικότερα της μελέτης αλληλεπίδρασης ανθρώπου-υπολογιστή και ειδικότερα αλληλεπίδρασης χρηστών με πληροφορία. Ένας ιστότοπος είναι συχνά, όχι μόνο μια εφαρμογή με την οποία αλληλεπιδρά ο χρήστης αλλά και ένας πληροφοριακός χώρος, του οποίου η κατάλληλη δόμηση και διασύνδεση του περιεχομένου επηρεάζουν σε μεγάλο βαθμό την ευχρηστία του. Συνεπώς, η ανάπτυξη μεθοδολογιών για τον επιτυχή σχεδιασμό της πληροφοριακής αρχιτεκτονικής (information architecture) ενός ιστοτόπου παραμένει μία σημαντική σχεδιαστική πρόκληση. Η διατριβή προτείνει μία νέα μεθοδολογία σχεδιασμού και αξιολόγησης της πληροφοριακής αρχιτεκτονικής ιστοτόπων, τη MEDIAMIS (Methodology for the Efficient Design of Information Architectures based on Models of Interactive Search). Η συνεισφορά της έγκειται στο γεγονός ότι βελτιστοποιεί και συστηματοποιεί τη διαδικασία σχεδιασμού ή αξιολόγησης. Η MEDIAMIS είναι εμπνευσμένη από εδραιωμένες χρηστοκεντρικές τεχνικές και πρόσφατα μοντέλα της συμπεριφοράς των ανθρώπων κατά τη διαδραστική αναζήτηση. Η μεθοδολογία απευθύνεται σε μηχανικούς του Διαδικτύου και αποσκοπεί στη δημιουργία ιστοτόπων που υποστηρίζουν την εύχρηστη διαδραστική αναζήτηση από τους χρήστες τους. Προκειμένου να υποστηριχθεί η MEDIAMIS αναπτύχθηκαν δύο πρωτότυπα εργαλεία, το AutoCardSorter (Automated Card Sorting Tool) και το ISEtool (InfoScent Evaluator Tool). Το πρώτο υποστηρίζει τη διαδικασία δόμησης του περιεχομένου ενός ιστοτόπου, ενώ το δεύτερο τη δημιουργία σημασιολογικά κατάλληλων λεκτικών περιγραφών για τους υπερσυνδέσμους ενός ιστοτόπου. Τέλος, στο πλαίσιο της διατριβής, εξετάζεται η εγκυρότητα και αποδοτικότητα της MEDIAMIS και των υποστηρικτικών εργαλείων, μέσα από έξι πειραματικές μελέτες. Στις μελέτες αυτές συγκρίθηκαν εκτενώς τα αποτελέσματα της προτεινόμενης προσέγγισης με αυτά καθιερωμένων χρηστοκεντρικών τεχνικών και μετρικών της παρατηρούμενης συμπεριφοράς των χρηστών. Τα συμπεράσματα των μελετών έδειξαν ότι η MEDIAMIS παράγει αποτελέσματα εφάμιλλης ποιότητας με εδραιωμένες χρηστοκεντρικές τεχνικές, αλλά με σημαντικά αποδοτικότερο τρόπο. / This thesis addresses the problem of effective design of websites that enhance findability of information during interactive search. The term interactive search is used to describe the exploratory, goal−directed browsing activity of a user, while seeking information in a website. Seeking information using a search engine is not an object of study in this thesis. The thesis falls into the field of human computer interaction, and the subfields of Web usability and human information interaction. A website should be treated both as a user interface as well as a hypertext information space, whose structural design has a significant influence on intuitive access to content, task completion and overall user experience. In today’s information explosion, one of the biggest challenges in web design is the effective design of its information architecture. The latter constitutes the research objective of this thesis. The thesis proposes a new methodology to design and evaluate the information architecture of websites, the MEDIAMIS (Methodology for the Efficient Design of Information Architectures based on Models of Interactive Search). The contribution of the proposed approach is that is optimizes and systemizes the information architecture design or evaluation process. MEDIAMIS is inspired by established user-centered techniques and recent cognitive models of user’s interactive search behavior. MEDIAMIS is addressed to Web practitioners and deals with the design or evaluation of a website’s information structure and labeling system. In the context of the proposed methodology, two innovative tools have been developed. The first tool, AutoCardSorter (Automated Card Sorting Tool), supports the structural design of a website. The second tool, ISEtool (InfoScent Evaluator Tool), facilitates the production of semantically appropriate hyperlink labels for the typical goals of a website. The applicability of the proposed methodology and the effectiveness and efficiency of the associated tools were examined through six experimental studies. These studies compared both quantitavely and qualitatively the results of the proposed methodology against the ones derived from established user-centered design approaches, such as card sorting, and against observed and subjective user data. It was found that the proposed methodology lead to a substantial efficiency gain, without expense in the quality of results.