3. Tεχνικές Αναφορές | Technical Reports
Permanent URI for this community
Browse
Browsing 3. Tεχνικές Αναφορές | Technical Reports by Issue Date
Now showing 1 - 20 of 93
Results Per Page
Sort Options
- ItemRestrictedA memoryless BFGS neural network training algorithm
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2010-03-08T08:35:14Z) Marianna, Apostolopoulou; Dimitris, Sotiropoulos; Ioannis, Livieris; Panagiotis, Pintelas; Μαριάννα, Αποστολοπούλου; Δημήτρης, Σωτηρόπουλος; Ιωάννης, Λιβιέρης; Παναγιώτης, ΠιντέλαςΣε αυτή την εργασία, προτείνουμε ένα νέο αλγοριθμικό μοντέλο για την εκπαίδευση νευρωνικών δικτύων βασισμένο σε μια τροποποίηση της μεθόδου BFGS χωρίς μνήμη το οποίο ενσωματώνει καμπυλόγραμμη αναζήτηση. Το προτεινόμενο μοντέλο ενσωματώνει τη μη-κυρτότητα της συνάρτησης σφάλματος αντλώντας πληροφορίες από το ιδιοσύστημα των πινάκων BFGS χωρίς μνήμη και χρησιμοποιεί ένα ζεύγος κατευθύνσεων: μια κατεύθυνση quasi-Newton χωρίς μνήμη και μια κατεύθυνση αρνητικής κυρτότητας. Επιπλέον, ο υπολογισμός της κατεύθυνσης της αρνητικής κυρτότητας πραγματοποιείται αποφεύγοντας την αποθήκευση και την παραγοντοποίηση πίνακα. Τα αριθμητικά αποτελέσματα επαληθεύουν ότι η προτεινόμενη μέθοδος βελτιώνει σημαντικά την αποδοτικότητα της διαδικασίας εκπαίδευσης. - ItemOpen AccessOn Descent Spectral CG algorithms for Training Recurrent Neural Networks
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2010-04-08T08:06:36Z) Λιβιέρης, Ιωάννης; Αποστολοπούλου, Μαριάννα; Σωτηρόπουλος, Δημήτρης; Σιούτας, Σπύρος; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Apostolopoulou, Marianna; Sotiropoulos, Dimitris; Sioutas, Spyros; Pintelas, PanagiotisΣε αυτήν την εργασία, αξιολογούμε την απόδοση των μεθόδων των καθοδικών συζυγών κλίσεων για την εκπαίδευση ανατροφοδοτούμενων νευρικών δικτύων. Οι προτεινόμενες μέθοδοι διατηρούν τα πλεονεκτήματα των κλασσικών μεθόδων συζυγών κλίσεων και εκμεταλλεύονται την απουσία των συχνά αναπαποτελεσματικών επανεκκινήσεων. Παρουσιάζονται επίσης αριθμητικά αποτελέσματα χρησιμοποιώντας τρεις διαφορετικούς τύπους ανατροφοδοτούμενων νευρωνικών δικτύων σε μια ποικιλία προβλημάτων βιοπληροφορικής. - ItemOpen AccessSpectral conjugate gradient methods with sufficient descent property for neural network training
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2010-04-08T08:12:20Z) Λιβιέρης, Ιωάννης; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Pintelas, PanagiotisΣε αυτήν την εργασία, αξιολογούμε την απόδοση μιας νέας κλάσης μεθόδων συζυγών κλίσεων για την εκπαίδευση νευρικών δικτύων. Οι προτεινόμενες μέθοδοι διατηρούν τα πλεονεκτήματα των κλασσικών μεθόδων συζυγών κλίσεων και εκμεταλλεύονται την απουσία των συχνά αναπαποτελεσματικών επανεκκινήσεων. Τα ενθαρρυντικά αριθμητικά αποτελέσματα επαληθεύουν ότι οι προτεινόμενες μέθοδοι παρέχουν γρηγορότερη, σταθερότερη και πιο αξιόπιστη σύγκλιση. - ItemOpen AccessClassification of Large Biomedical Data using ANNs based on BFGS method
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2010-04-08T08:13:39Z) Λιβιέρης, Ιωάννης; Σωτηρόπουλος, Δημήτριος; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Sotiropoulos, Dimitris; Pintelas, PanagiotisΤα τεχνητά νευρωνικά δίκτυα έχουν ευρέως χρησιμοποιηθεί για την εξόρυξη γνώσης από βιοιατρικά δεδομενά και συνιστούν ένα σημαντικό ρόλο στην ανάλυση και στην εξερεύνηση βιο-δεδομένων. Σε αυτή την εργασία, προτείνουμε μια νέα μέθοδο για την εκπαίδευση νευρωνικών δικτύων, ο οποίος βασίζεται στην ανάλυση του ιδιοσυστήματος των BFGS χωρίς μνήμη πινάκων. Η προτεινόμενη μέθοδος διατηρεί τις ισχυρές ιδιότητες σύγκλισης, οι οποίες παρέχονται από την κατεύθυνση quasi-Newton ενώ παράλληλη εκμεταλλεύεται τη μη-κυρτότητα της συνάρτησης σφάλματος με τον υπολογισμό της κατεύθυνσης της αρνητικής κυρτότητας αποφεύγοντας την αποθήκευση και την παραγοντοποίηση πίνακα. Επιπλέον για τη βελτίωση της ικανότητας γενίκευσης των εκπαιδευόμενων δικτύων, ερευνούμε την επίδραση της υιοθέτησης τεχνικών μείωσης της διάστασης του συνόλου δεδομένων ως ένα βήμα προεπεξεργασίας. - ItemOpen AccessAutomata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
Τμήμα Μηχανικών Η/Υ και Πληροφορικής (Τεχνικές Αναφορές)(2011-05-10T08:46:33Z) Καλαντζή, Λαμπρινή; Φουστούκου, Ευγενία; Kalantzi, Labrini; Foustoucos, EugenieWe propose automata-theoretic and datalog-based solutions for the Monadic Second Order (MSO) evaluation problem over finite structures of bounded treewidth, and then extend this approach to MSO-definable optimization problems. More precisely, we introduce decomposition-automata which can be thought as a generalization of assignment automata defined in [14]; these automata, running over tree-decompositions of an input structure, directly compute solutions to the considered MSO evaluation problems. The constructive proof of this result provides a direct reduction of the initial MSO evaluation problem to a decomposition-automata evaluation problem. We then use datalog and its optimization techniques to implement the computation mechanism of decomposition automata in order to provide optimized datalog solutions for the initial MSO evaluation problems. Since the automata construction can be completely expressed in datalog, we show that given an MSO formula we can directly define datalog queries that compute the solutions to the considered problems. The resulting datalog programs prove that k-ary MSO definable queries over structures of bounded-treewidth are definable in datalog of arity k +1, generalizing the result of [17] that unary MSO-definable queries are monadic datalog definable, and extending the corresponding result of [14] proven for the case of trees. Finally, we illustrate our approach by applying it in order to solve vertex cover and related optimization problems. - ItemOpen AccessΑρχιτεκτονική SOA και Υπηρεσίες Ιστού
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-14) Τσούτσα, Παρασκευή; Tsoutsa, ParaskeviΗ αρχιτεκτονική SOA έχει καθιερωθεί ως η de-facto αρχιτεκτονική στη δημιουργία κατανεμημένων εφαρμογών. Μπορούμε με ευκολία να συγχωνεύσουμε κατανεμημένα υπολογιστικά συστήματα (information systems) ή μπορεί να αποκτήσουμε μια νέα επιχειρηματική λύση συνθέτοντας web services σύμφωνα με μια υπάρχουσα επιχειρησιακή διαδικασία. Στην εργασία αυτή αρχικά θα προσπαθήσουμε να προσεγγίσουμε τις μεθόδους, τις έννοιες, τα μοντέλα και την τεχνολογία γύρω από τα web services. Ιδιαίτερο ενδιαφέρον παρουσιάζει η σύνθεση των web services και αποτελεί ένα από τα κύρια ερευνητικά θέματα στην πληροφορική. Στην εργασία αυτή θα δώσουμε μια εισαγωγή για τη σύνθεση των web services, αναλυτική μελέτη των μεθόδων που προτείνονται στη βιβλιογραφία θα ακολουθήσει και θα παρουσιασθεί σε επόμενη εργασία. Σκοπός είναι να μελετηθούν πρώτα οι τεχνολογίες και τα standards που εμπλέκονται στη σύνθεση και αυτά παρουσιάζονται στο δεύτερο κεφάλαιο. Επίσης στο δεύτερο κεφάλαιο θα συζητήσουμε για κάποιες υπάρχουσες προσεγγίσεις όπως η BPEL και WSDL. - ItemOpen AccessΣύνθεση υπηρεσιών ιστού με τη μέθοδο του «Planning as satisfiability»
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-14) Τσούτσα, Παρασκευή; Tsoutsa, ParaskeviΣτις μέρες μας στο διαδίκτυο υπάρχουν αρκετές εκατοντάδες υπηρεσίες ιστού που η καθεμιά προσφέρει κάποια λειτουργικότητα μέσω των operations που διαθέτει. Οι υπηρεσίες αυτές εκτός του ότι αυξάνονται με γοργούς ρυθμούς ενημερώνονται και επεκτείνονται συνεχώς «on the fly». Δεδομένης αυτής της πληθώρας και της πολυπλοκότητας υπάρχει η ανάγκη αυτόματα να μπορούμε να ψάξουμε για κάποιες υπηρεσίες ιστού που χρειαζόμαστε και στη συνέχεια να τις χρησιμοποιήσουμε κατάλληλα ώστε να επιτύχουμε κάποιο στόχο. Οι συγκεκριμένες λειτουργίες των υπηρεσιών πρέπει δυναμικά να συν λειτουργήσουν ώστε να επιτύχουμε τον επιθυμητό στόχο. Σκοπός της ευρύτερης έρευνας που κάνουμε είναι να προτείνουμε μια μέθοδο για τη μοντελοποίηση της σύνθεσης υπηρεσιών στο σημασιολογικό ιστό. Δεδομένου ότι έχουν παρουσιασθεί μέθοδοι επίλυσης του προβλήματος της σύνθεσης υπηρεσιών που το αντιμετωπίζουν ως πρόβλημα αυτόματου σχεδιασμού ενεργειών μελετήθηκαν μέθοδοι αυτόματου σχεδιασμού ενεργειών (Αutomated Planning)[10]. Στη συνέχεια μελετήθηκαν κάποια συστήματα λογικής όπως Τροπική Λογική (Modal Logic) [6], Προτασιακή Δυναμική Λογική (PDL)[8], Περιγραφική Λογική(DL)[11] ώστε να βρεθεί το κατάλληλο που θα εκφράσει το πρόβλημα εν γένει. Στις μεθόδους αυτόματου σχεδιασμού ενεργειών σχεδιάζουμε να ακολουθήσουμε εκείνη του planning as satisfiability και για το λόγο αυτό μελετήθηκαν Συστήματα Αυτόματης Απόδειξης Θεωρημάτων και η ικανοποιησιμότητα σε ένα σύστημα Λογικής [9][11]. - ItemOpen AccessSemantic Web Services and the OWL-S Framework
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-14) Tsiakmaki, Maria; Τσιακμακη, ΜαρίαThe proposed research focuses on the context of learning in Semantic Web. In such an environment basic entities exist, interact and are changing: Learning Objects, the containers of educational materials, Learners, users whose goal is to enhance their learning portfolio, and Learning Services, the processes that deliver Learning Objects to Learners and manage the interaction between Learning Objects and Learners. Learning Objects may be atomic (unstructured, free-standing) or compound (recursively containing other Learning Objects), static (structured at design time) or dynamic (structured at run-time), they should be reusable, tailored to Learner needs, affordable and discoverable. Learners come with a knowledge level, preferences and a learning style, while their goal is to learn. Learners interact with Learning Objects in a physical/ technical level (e.g. navigate), in a linguistic level (e.g. Learner--service dialog) and in a modeling level (e.g. activities related to modeling the knowledge, comprehension of the Learner, or modeling the flexibility and the adaptable features of the service). In a network where reasoning can be implemented by computers, that is the Semantic Network, technologies and methodologies such as Ontological Engineering, Logic and Inference Rules, Description Logic and Intelligent Agents, can be profitably used in addressing and resolving a number of issues related to the context of this research. We will concentrate on (a) the ontologically--driven Learner and Service modeling, and (b) the ontologically--driven management of the Learner--Service dialog. Related issues are also (a) the reference architecture for Learning Objects and Services, (b) Learner/ Service Modeling Services and Dialog Management Processes, and (b) standardization of a semantic annotation (metadata) to describe a Learner model and a Service model (e.g. the IEEE LOM standard). - ItemOpen AccessΟντολογίες και λογική παραγωγή με εφαρμογές σε υπηρεσίες μάθησης στο σημασιολογικό ιστό
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-14) Τσιακμάκη, Μαρία; Tsiakmaki, MariaΤο προτεινόμενο θέμα επικεντρώνεται στην περιοχή των υπηρεσιών μάθησης στον Σημασιολογικό Ιστό. Σε τέτοια περιβάλλοντα υπάρχουν, αλληλεπιδρούν και εξελίσσονται κάποιες κύριες οντότητες: τα Μαθησιακά Αντικείμενα (Learning Objects), που εμπεριέχουν το μαθησιακό υλικό, οι Μαθητές (Students, Learners), τα άτομα που έχουν σαν στόχο να εμπλουτίσουν το μαθησιακό του επίπεδο, και οι Υπηρεσίες Μάθησης, διαδικασίες που παραδίδουν Μαθησιακά Αντικείμενα στους Μαθητές και διαχειρίζονται την μεταξύ τους αλληλεπίδραση. Τα Μαθησιακά Αντικείμενα μπορεί να είναι ατομικά (atomic, unstructured, free-standing) ή σύνθετα (compound, που περιλαμβάνουν και άλλα Μαθησιακά Αντικείμενα), στατικά (static, κατασκευάζονται κατά τη διάρκεια του σχεδιασμού) ή δυναμικά (dynamic, κατασκευάζονται κατά τη διάρκεια της παραγωγής), μπορούν να επαναχρησιμοποιηθούν, να προσαρμόζονται στις ανάγκες του Μαθητή, να είναι προσιτά και ανακαλύψιμα. Οι Μαθητές έχουν ένα γνωστικό επίπεδο, προτιμήσεις, μαθησιακό στυλ, ενώ παράλληλα έχουν την ανάγκη να μάθουν. Οι Μαθητές αλληλεπιδρούν με τα Μαθησιακά Αντικείμενα σε φυσικό/ τεχνικό επίπεδο (πχ. πλοήγηση), σε γλωσσικό επίπεδο (πχ. διάλογοι μεταξύ Μαθητή – Υπηρεσίας) και σε δημιουργικό επίπεδο (πχ. πράξεις που σχετίζονται με τη μοντελοποίηση της γνώσης, με την κατανόηση του Μαθητή, με τη μοντελοποίηση της προσαρμοστικότητας/ ευελιξίας των χαρακτηριστικών των Υπηρεσιών). Σε ένα δίκτυο όπου συλλογισμοί (reasoning) μπορούν να υλοποιούνται από υπολογιστές, αυτός είναι ο Σημασιολογικός Ιστός, τεχνολογίες και μεθοδολογίες όπως η Μηχανική Οντολογιών, οι Λογικοί και Συμπερασματικοί Κανόνες, η Περιγραφική Λογική, και οι ευφυείς Πράκτορες, μπορούν να χρησιμοποιηθούν για την επίλυση διάφορων θεμάτων στο πλαίσιο της ερευνάς αυτής. Θα επικεντρωθούμε περισσότερο (α) στη βασιζόμενη σε οντολογία μοντελοποίηση του Μαθητή και της Υπηρεσίας, και (β) στη βασιζόμενη σε οντολογία διαχείριση του διαλόγου μεταξύ του Μαθητή και της Υπηρεσίας. Πρόσθετα σχετικά θέματα είναι (α) η αρχιτεκτονική αναφοράς για τα Μαθησιακά Αντικείμενα και τις Υπηρεσίες, (β) οι Υπηρεσίες μοντελοποίησης Μαθητών/ Υπηρεσιών και οι Διαδικασίες Διαχείρισης Διαλόγων, και (γ) η προτυποποίηση της περιγραφής ενός Μαθητικού Μοντέλου και της Μαθησιακού Αντικείμενου (πχ. LOM standard). - ItemOpen AccessΗ αρχιτεκτονική αναφοράς μαθησιακών χώρων CROP : μια πρώτη προσέγγιση
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-16) Τσιακμάκη, Μαρία; Tsiakmaki, MariaΣτην αναφορά αυτή μοντελοποιούμε το πρόβλημα παροχής υπηρεσιών μάθησης ώστε να διασφαλίζεται η προσαρμοστική απόκριση του συστήματος σε διαπιστούμενες ανάγκες του χρήστη. Η πρότασή μας επεκτείνει και βασίζεται στο πρότυπο της Αρχιτεκτονικής CROP (Concept-Resource-Order-Product) Μαθησιακών Αντικειμένων. Στην προτεινόμενη αντίληψη, οι Υπηρεσίες Μάθησης, νοούμενες ως Δικτυακές Υπηρεσίες (Web Services) με αντικείμενο την παροχή Μαθησιακών Αντικειμένων, οργανώνονται σε Μαθησιακούς Χώρους (Learning Domains) και συνεργάζονται με στόχο τη δυναμική (run-time) σύνθεση ή τροποποίηση Μαθησιακών Αντικειμένων CROP που να ανταποκρίνονται τόσο (α) σε χαρακτηριστικά του Χρήστη (γνωσιακά, στυλ, προτίμησης κλπ, γνωστά από το μοντέλο του χρήστη), όσο και (β) σε δυναμικά διαπιστούμενες ανάγκες ή προβλήματα (π.χ. χαμηλή απόδοση σε τεστ, αιτούμενο από το χρήστη πρόσθετο επεξηγηματικό υλικό κλπ) κατά τη διάρκεια χρήσης. - ItemOpen AccessΣύνθεση υπηρεσιών ιστού στο σημασιολογικό διαδίκτυο
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2012-10-16) Τσούτσα, Παρασκευή; Tsoutsa, ParaskeviΣτις μέρες μας χιλιάδες επιχειρήσεις κάνουν τη δουλειά τους χρησιμοποιώντας το Internet. Παρέχουν πληροφορίες για αεροπορικά εισιτήρια, τιμές μετοχών, αγορές, πωλήσεις, συναλλαγές μέσω πιστωτικών καρτών, διανομές κ.α. Οι εφαρμογές που χρησιμοποιούν, πολύ συχνά χρειάζεται να επικοινωνήσουν με άλλες εφαρμογές μέσω του Internet. Όσο ο αριθμός αυτών των εφαρμογών αυξάνεται τόσο μεγαλώνει και η ανάγκη για δυνατότητα επαναχρησιμοποίησης και σύνθεσης αυτών των εφαρμογών. Η αρχική ιδέα του Ιnternet δεν ήταν η προοπτική να μοιραστούμε μόνο δεδομένα αλλά και διαθέσιμες πηγές και υπηρεσίες, πράγμα που σημαίνει ότι πρέπει να μπορούμε να συνθέτουμε συναρτήσεις αλλά και ολόκληρες εφαρμογές που θα μπορούν να εκτελούνται σε απομακρυσμένα μηχανήματα. Στην προηγούμενη εργασία προσεγγίσαμε τις έννοιες και την τεχνολογία γύρω από τις υπηρεσίες ιστού. Σε αυτή την εγασία θα δούμε τη διαφορά με τις σημασιολογικές υπηρεσίες ιστού και τρόπους περιγραφής αυτών. Θα ακολουθήσει η παρουσίαση του προβλήματος της σύνθεσης στις σημασιολογικές υπηρεσίες ιστού, όπως αυτό υπάρχει σήμερα. Στη συνέχεια θα παρουσιασθούν οι μέθοδοι που έχουν προταθεί για να λύσουν το πρόβλημα της σύνθεσης υπηρεσιών. - ItemOpen AccessSOA architecture and web services
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2013-02-19) Τσούτσα, Παρασκευή; Tsoutsa, ParaskeviΗ αρχιτεκτονική SOA έχει καθιερωθεί ως η de-facto αρχιτεκτονική στη δημιουργία εφαρμογών. Μπορούμε με ευκολία να συγχωνεύσουμε κατανεμημένα υπολογιστικά συστήματα (information systems) ή μπορεί να αποκτήσουμε μια νέα επιχειρηματική λύση συνθέτοντας web services σύμφωνα με μια υπάρχουσα επιχειρησιακή διαδικασία. Στην εργασία αυτή αρχικά θα προσπαθήσουμε να προσεγγίσουμε τις μεθόδους, τις έννοιες, τα μοντέλα και την τεχνολογία γύρω από τα web services. Ιδιαίτερο ενδιαφέρον παρουσιάζει η σύνθεση των web services και αποτελεί ένα από τα κύρια ερευνητικά θέματα στην πληροφορική. Στην εργασία αυτή θα δώσουμε μια εισαγωγή για τη σύνθεση των web services, αναλυτική μελέτη των μεθόδων που προτείνονται στη βιβλιογραφία θα ακολουθήσει και θα παρουσιασθεί σε επόμενη εργασία. Σκοπός είναι να μελετηθούν πρώτα οι τεχνολογίες και τα standards που εμπλέκονται στη σύνθεση και αυτά παρουσιάζονται στο δεύτερο κεφάλαιο. Επίσης στο δεύτερο κεφάλαιο θα συζητήσουμε για κάποιες υπάρχουσες προσεγγίσεις όπως η BPEL και WSDL. - ItemOpen AccessBiclustering based on association analysis
Τμήμα Διοίκησης Επιχειρήσεων (Τεχνικές Αναφορές)(2013-03-27) Βουτσινάς, Βασίλης; Boutsinas, BasilisClustering has been applied in a wide variety of disciplines and has also been utilized in many scientific areas. Usually, clustering algorithms construct either clusters of rows or clusters of columns of the input data matrix. Biclustering is a methodology where biclusters are formed by both a subset of rows and a subset of columns, such that objects represented by the first are the most similar to each other when compared over the latter. In this paper, we introduce a new biclustering technique, based on association rule mining, which can support different well-known biclustering models proposed in the literature. Experimental tests demonstrate the accuracy and efficiency of the proposed technique with respect to well known related ones. - ItemOpen AccessOn model-theoretic approaches to monadic second-order logic evaluation
Τμήμα Μηχανικών Η/Υ και Πληροφορικής (Τεχνικές Αναφορές)(2014-01-13) Κοσμαδάκης, Σταύρος; Φουστούκου, Ευγενία; Cosmadakis, Stavros; Foustoucos, EugenieWe review the model-theoretic approaches to Monadic Second-Order Logic (MSO) evaluation, especially to model-checking on MSOL-inductive classes of structures. Starting our study with finite strings and finite trees, we then focus on classes of structures of bounded treewidth. For these classes we define the ``model-theoretical automaton'' which generalizes the corresponding automaton defined by Ladner for strings. First we prove that the model-theoretical automaton cannot be used as an MSO model-checking algorithm on any of these classes of structures. Then we study its relationship with other classical model-theoretic methods as well as its relationship with recent datalog-based approaches to the MSO model-checking problem. - ItemOpen AccessΜια σύνοψη για την επαναχρησιμοποίηση μαθησιακών αντικειμένων και την εκτίμηση κόστους
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2014-03-17) Δρούζας, Παναγιώτης; Κωστόπουλος, Γεώργιος; Πιντέλας, Παναγιώτης; Drouzas, PanagiotisΗ ανάπτυξη λογισμικού τείνει όλο και περισσότερο να βασίζεται στην επαναχρησιμοποίηση αντικειμένων λογισμικού. Στην παρούσα τεχνική αναφορά θα συγκεντρώσουμε τους πιο αποδεκτούς από τους μέχρι τώρα ορισμούς για το Μαθησιακό Αντικείμενο (ΜΑ) και μέσω αυτών θα διερευνήσουμε την διαδικασία ανάπτυξης εκπαιδευτικού λογισμικού με επαναχρησιμοποιούμενα ΜΑ. Κατόπιν θα διερευνήσουμε τις διαδικασίες κοστολόγησης λογισμικού και κατόπιν την δυνατότητα εκτίμησης του κόστους της ανάπτυξης εκπαιδευτικού λογισμικού με επαναχρησιμοποιούμενα ΜΑ. Μέσα στο προηγούμενο πλαίσιο θα διερευνήσουμε τα ευρέως αποδεκτά μοντέλα εκτίμησης κόστους λογισμικού της «οικογένειας» COCOMO, όπως αυτά έχουν αναπτυχθεί. - ItemOpen AccessA language that is an amalgam of propositional dynamic logic and description logic
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2014-06-28) Τσούτσα, Παρασκευή; Tsoutsa, ParaskeviThis work presents our on-going work on defining a language that combines the Modal Logic with the expressiveness of the Description Logic. More specifically it is a variant of star free Propositional Dynamic Logic(PDL) where the propositions are sentences (ABOX assertions) described in a fragment of Description Logic(ALC). Our goal is to build a dynamic logic that will describe in a structured and formal way the knowledge is derived during the execution of semantic web services, which they are modeled in Semantic Domains using the technique of Role Modeling. - ItemOpen Accessjcropeditor - Editor for CROP learning objects written in java
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2014-07-30) Τσιακμάκη, Μαρία; Tsiakmaki, MariaConcept, Resource, Order, Product (CROP) is a reference architecture for adaptive Learning Objects owned by Semantic Learning Services developed by the second author. According to CROP, composite Objects are essentially recursive, and adaptively is an emergent property of Learning Service communication and collaboration. CROP is formally represented as an OWL ontology consisting of the framework's concepts and its definitions. In this report we present a free, open-source, java-based graphical editor that populates CROP ontology with instances of Learning Objects at runtime through a (guided) graph-like interface. While developing this tool we proceeded to some adjustments on CROP ontology and further clarifications on the architecture. Our ultimate vision is to design Semantic Learning Domains where repositories of such ontologies exist and Services collaborate for delivering adaptive Objects to custom Learners’ needs. - ItemOpen AccessΠροσεγγιστική λύση μιας μη γραμμικής επαναληπτικής εξίσωσης
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)(2014-11-10) Λευτάκη, Μαρία; Βαλάρης, Ευάγγελος; Leftaki, Maria; Valaris, EvangelosΜια απλή μη γραμμική επαναληπτική εξίσωση, η οποία όμως παρουσιάζει πλούσια συμπεριφορά, είναι η y_(i+1)= y_i^2 + c, i=0,1,2,3,… και c πραγματικός αριθμός. Για τους λόγους αυτούς, η εξίσωση αυτή συγκέντρωσε το ενδιαφέρον αρκετών ερευνητών. Αναλυτική λύση έχει μόνο για κάποιες τιμές της παραμέτρου c. Στην εργασία αυτή δίνουμε προσεγγιστική λύση για τις τιμές της παραμέτρου c που είναι αυτό δυνατό. - ItemOpen AccessΗ αξιολόγηση του εκπαιδευτικού λογισμικού και το περιεχόμενό της
Τμήμα Επιστημών της Εκπαίδευσης και Κοινωνικής Εργασίας (Τεχνικές Αναφορές)(2014-12-13) Παναγιωτακόπουλος, Χρήστος; Καρατράντου, Ανθή; Πιντέλας, Παναγιώτης; Panagiotakopoulos, Christos; Karatrantou, Anthi; Pintelas, PanagiotisΗ τεχνική αναφορά αναφέρεται σε θέματα σχετικά με τη σχεδίαση, τις γενικές απαιτήσεις του εκπαιδευτικού λογισμικού και την αξιολόγηση διαφόρων στοιχείων του, όπως το περιβάλλον διεπαφής, η αλληλεπίδραση και η ανατροφοδότηση, η πλοήγηση, η δομή και ο έλεγχος από τον χρήστη. Τέλος, εμπλέκονται θέματα αξιολόγησης της παραγωγής σε διοικητικό - διαχειριστικό επίπεδο. - ItemOpen AccessAn application of Ben-Haim's info-gap decision theory (IGDT) to Todinov's method of algebraic inequalities by employing the method of quantifier elimination
Γενικό Τμήμα (Τεχνικές Αναφορές)(Κανένας, 2022-10-10) Ioakimidis, Nikolaos; Ιωακειμίδης, ΝικόλαοςProblems under uncertainty conditions can be studied by using the very interesting and popular Ben-Haim's info-gap (or information-gap) decision theory (IGDT). On the other hand, recently, Todinov proposed an interesting and efficient method based on algebraic inequalities for the reduction of risk and uncertainty as well as for the generation of new knowledge and the optimization of systems and processes. One of the main problems where Todinov applied his new method is the problem concerning the equivalent resistances of n resistors in an electrical circuit connected both in series and in parallel. Here we consider the same problem, but now with the related algebraic inequality used as the performance requirement in Ben-Haim's IGDT. The methodology used here is based on the computational method of quantifier elimination. This method constitutes a very interesting approach for the transformation of quantified formulae to logically equivalent formulae, but now free from the quantifiers and the quantified variables. The same method is implemented in some computer algebra systems including Mathematica, which is used here. The problems studied here and related to the equivalent resistances of two or three resistors concern (i) two resistors with one horizon of uncertainty including the cases of parametric nominal value(s) of one resistance or both resistances here by using a fractional-error uncertainty model in Ben-Haim's IGDT, (ii) two resistors again, but with two horizons of uncertainty, (iii) three resistors with one horizon of uncertainty and (iv) two resistors again, but with the use of an ellipsoidal uncertainty model. The use of negated existentially quantified formulae instead of universally quantified formulae is also studied.