3. Tεχνικές Αναφορές | Technical Reports

Permanent URI for this community

https://hdl.handle.net/10889/1350

Browse

Now showing 1 - 20 of 93

Restricted
A memoryless BFGS neural network training algorithm
(2010-03-08T08:35:14Z) Marianna, Apostolopoulou; Dimitris, Sotiropoulos; Ioannis, Livieris; Panagiotis, Pintelas; Μαριάννα, Αποστολοπούλου; Δημήτρης, Σωτηρόπουλος; Ιωάννης, Λιβιέρης; Παναγιώτης, Πιντέλας
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Σε αυτή την εργασία, προτείνουμε ένα νέο αλγοριθμικό μοντέλο για την εκπαίδευση νευρωνικών δικτύων βασισμένο σε μια τροποποίηση της μεθόδου BFGS χωρίς μνήμη το οποίο ενσωματώνει καμπυλόγραμμη αναζήτηση. Το προτεινόμενο μοντέλο ενσωματώνει τη μη-κυρτότητα της συνάρτησης σφάλματος αντλώντας πληροφορίες από το ιδιοσύστημα των πινάκων BFGS χωρίς μνήμη και χρησιμοποιεί ένα ζεύγος κατευθύνσεων: μια κατεύθυνση quasi-Newton χωρίς μνήμη και μια κατεύθυνση αρνητικής κυρτότητας. Επιπλέον, ο υπολογισμός της κατεύθυνσης της αρνητικής κυρτότητας πραγματοποιείται αποφεύγοντας την αποθήκευση και την παραγοντοποίηση πίνακα. Τα αριθμητικά αποτελέσματα επαληθεύουν ότι η προτεινόμενη μέθοδος βελτιώνει σημαντικά την αποδοτικότητα της διαδικασίας εκπαίδευσης.
Open Access
On Descent Spectral CG algorithms for Training Recurrent Neural Networks
(2010-04-08T08:06:36Z) Λιβιέρης, Ιωάννης; Αποστολοπούλου, Μαριάννα; Σωτηρόπουλος, Δημήτρης; Σιούτας, Σπύρος; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Apostolopoulou, Marianna; Sotiropoulos, Dimitris; Sioutas, Spyros; Pintelas, Panagiotis
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Σε αυτήν την εργασία, αξιολογούμε την απόδοση των μεθόδων των καθοδικών συζυγών κλίσεων για την εκπαίδευση ανατροφοδοτούμενων νευρικών δικτύων. Οι προτεινόμενες μέθοδοι διατηρούν τα πλεονεκτήματα των κλασσικών μεθόδων συζυγών κλίσεων και εκμεταλλεύονται την απουσία των συχνά αναπαποτελεσματικών επανεκκινήσεων. Παρουσιάζονται επίσης αριθμητικά αποτελέσματα χρησιμοποιώντας τρεις διαφορετικούς τύπους ανατροφοδοτούμενων νευρωνικών δικτύων σε μια ποικιλία προβλημάτων βιοπληροφορικής.
Open Access
Spectral conjugate gradient methods with sufficient descent property for neural network training
(2010-04-08T08:12:20Z) Λιβιέρης, Ιωάννης; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Pintelas, Panagiotis
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Σε αυτήν την εργασία, αξιολογούμε την απόδοση μιας νέας κλάσης μεθόδων συζυγών κλίσεων για την εκπαίδευση νευρικών δικτύων. Οι προτεινόμενες μέθοδοι διατηρούν τα πλεονεκτήματα των κλασσικών μεθόδων συζυγών κλίσεων και εκμεταλλεύονται την απουσία των συχνά αναπαποτελεσματικών επανεκκινήσεων. Τα ενθαρρυντικά αριθμητικά αποτελέσματα επαληθεύουν ότι οι προτεινόμενες μέθοδοι παρέχουν γρηγορότερη, σταθερότερη και πιο αξιόπιστη σύγκλιση.
Open Access
Classification of Large Biomedical Data using ANNs based on BFGS method
(2010-04-08T08:13:39Z) Λιβιέρης, Ιωάννης; Σωτηρόπουλος, Δημήτριος; Πιντέλας, Παναγιώτης; Livieris, Ioannis; Sotiropoulos, Dimitris; Pintelas, Panagiotis
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Τα τεχνητά νευρωνικά δίκτυα έχουν ευρέως χρησιμοποιηθεί για την εξόρυξη γνώσης από βιοιατρικά δεδομενά και συνιστούν ένα σημαντικό ρόλο στην ανάλυση και στην εξερεύνηση βιο-δεδομένων. Σε αυτή την εργασία, προτείνουμε μια νέα μέθοδο για την εκπαίδευση νευρωνικών δικτύων, ο οποίος βασίζεται στην ανάλυση του ιδιοσυστήματος των BFGS χωρίς μνήμη πινάκων. Η προτεινόμενη μέθοδος διατηρεί τις ισχυρές ιδιότητες σύγκλισης, οι οποίες παρέχονται από την κατεύθυνση quasi-Newton ενώ παράλληλη εκμεταλλεύεται τη μη-κυρτότητα της συνάρτησης σφάλματος με τον υπολογισμό της κατεύθυνσης της αρνητικής κυρτότητας αποφεύγοντας την αποθήκευση και την παραγοντοποίηση πίνακα. Επιπλέον για τη βελτίωση της ικανότητας γενίκευσης των εκπαιδευόμενων δικτύων, ερευνούμε την επίδραση της υιοθέτησης τεχνικών μείωσης της διάστασης του συνόλου δεδομένων ως ένα βήμα προεπεξεργασίας.
Open Access
Automata-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, Eugenie
Τμήμα Μηχανικών Η/Υ και Πληροφορικής (Τεχνικές Αναφορές)
We 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.
Open Access
Αρχιτεκτονική SOA και Υπηρεσίες Ιστού
(2012-10-14) Τσούτσα, Παρασκευή; Tsoutsa, Paraskevi
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Η αρχιτεκτονική SOA έχει καθιερωθεί ως η de-facto αρχιτεκτονική στη δημιουργία κατανεμημένων εφαρμογών. Μπορούμε με ευκολία να συγχωνεύσουμε κατανεμημένα υπολογιστικά συστήματα (information systems) ή μπορεί να αποκτήσουμε μια νέα επιχειρηματική λύση συνθέτοντας web services σύμφωνα με μια υπάρχουσα επιχειρησιακή διαδικασία. Στην εργασία αυτή αρχικά θα προσπαθήσουμε να προσεγγίσουμε τις μεθόδους, τις έννοιες, τα μοντέλα και την τεχνολογία γύρω από τα web services. Ιδιαίτερο ενδιαφέρον παρουσιάζει η σύνθεση των web services και αποτελεί ένα από τα κύρια ερευνητικά θέματα στην πληροφορική. Στην εργασία αυτή θα δώσουμε μια εισαγωγή για τη σύνθεση των web services, αναλυτική μελέτη των μεθόδων που προτείνονται στη βιβλιογραφία θα ακολουθήσει και θα παρουσιασθεί σε επόμενη εργασία. Σκοπός είναι να μελετηθούν πρώτα οι τεχνολογίες και τα standards που εμπλέκονται στη σύνθεση και αυτά παρουσιάζονται στο δεύτερο κεφάλαιο. Επίσης στο δεύτερο κεφάλαιο θα συζητήσουμε για κάποιες υπάρχουσες προσεγγίσεις όπως η BPEL και WSDL.
Open 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].
Open Access
Semantic 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).
Open Access
Οντολογίες και λογική παραγωγή με εφαρμογές σε υπηρεσίες μάθησης στο σημασιολογικό ιστό
(2012-10-14) Τσιακμάκη, Μαρία; Tsiakmaki, Maria
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Το προτεινόμενο θέμα επικεντρώνεται στην περιοχή των υπηρεσιών μάθησης στον Σημασιολογικό Ιστό. Σε τέτοια περιβάλλοντα υπάρχουν, αλληλεπιδρούν και εξελίσσονται κάποιες κύριες οντότητες: τα Μαθησιακά Αντικείμενα (Learning Objects), που εμπεριέχουν το μαθησιακό υλικό, οι Μαθητές (Students, Learners), τα άτομα που έχουν σαν στόχο να εμπλουτίσουν το μαθησιακό του επίπεδο, και οι Υπηρεσίες Μάθησης, διαδικασίες που παραδίδουν Μαθησιακά Αντικείμενα στους Μαθητές και διαχειρίζονται την μεταξύ τους αλληλεπίδραση. Τα Μαθησιακά Αντικείμενα μπορεί να είναι ατομικά (atomic, unstructured, free-standing) ή σύνθετα (compound, που περιλαμβάνουν και άλλα Μαθησιακά Αντικείμενα), στατικά (static, κατασκευάζονται κατά τη διάρκεια του σχεδιασμού) ή δυναμικά (dynamic, κατασκευάζονται κατά τη διάρκεια της παραγωγής), μπορούν να επαναχρησιμοποιηθούν, να προσαρμόζονται στις ανάγκες του Μαθητή, να είναι προσιτά και ανακαλύψιμα. Οι Μαθητές έχουν ένα γνωστικό επίπεδο, προτιμήσεις, μαθησιακό στυλ, ενώ παράλληλα έχουν την ανάγκη να μάθουν. Οι Μαθητές αλληλεπιδρούν με τα Μαθησιακά Αντικείμενα σε φυσικό/ τεχνικό επίπεδο (πχ. πλοήγηση), σε γλωσσικό επίπεδο (πχ. διάλογοι μεταξύ Μαθητή – Υπηρεσίας) και σε δημιουργικό επίπεδο (πχ. πράξεις που σχετίζονται με τη μοντελοποίηση της γνώσης, με την κατανόηση του Μαθητή, με τη μοντελοποίηση της προσαρμοστικότητας/ ευελιξίας των χαρακτηριστικών των Υπηρεσιών). Σε ένα δίκτυο όπου συλλογισμοί (reasoning) μπορούν να υλοποιούνται από υπολογιστές, αυτός είναι ο Σημασιολογικός Ιστός, τεχνολογίες και μεθοδολογίες όπως η Μηχανική Οντολογιών, οι Λογικοί και Συμπερασματικοί Κανόνες, η Περιγραφική Λογική, και οι ευφυείς Πράκτορες, μπορούν να χρησιμοποιηθούν για την επίλυση διάφορων θεμάτων στο πλαίσιο της ερευνάς αυτής. Θα επικεντρωθούμε περισσότερο (α) στη βασιζόμενη σε οντολογία μοντελοποίηση του Μαθητή και της Υπηρεσίας, και (β) στη βασιζόμενη σε οντολογία διαχείριση του διαλόγου μεταξύ του Μαθητή και της Υπηρεσίας. Πρόσθετα σχετικά θέματα είναι (α) η αρχιτεκτονική αναφοράς για τα Μαθησιακά Αντικείμενα και τις Υπηρεσίες, (β) οι Υπηρεσίες μοντελοποίησης Μαθητών/ Υπηρεσιών και οι Διαδικασίες Διαχείρισης Διαλόγων, και (γ) η προτυποποίηση της περιγραφής ενός Μαθητικού Μοντέλου και της Μαθησιακού Αντικείμενου (πχ. LOM standard).
Open Access
Η αρχιτεκτονική αναφοράς μαθησιακών χώρων CROP : μια πρώτη προσέγγιση
(2012-10-16) Τσιακμάκη, Μαρία; Tsiakmaki, Maria
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Στην αναφορά αυτή μοντελοποιούμε το πρόβλημα παροχής υπηρεσιών μάθησης ώστε να διασφαλίζεται η προσαρμοστική απόκριση του συστήματος σε διαπιστούμενες ανάγκες του χρήστη. Η πρότασή μας επεκτείνει και βασίζεται στο πρότυπο της Αρχιτεκτονικής CROP (Concept-Resource-Order-Product) Μαθησιακών Αντικειμένων. Στην προτεινόμενη αντίληψη, οι Υπηρεσίες Μάθησης, νοούμενες ως Δικτυακές Υπηρεσίες (Web Services) με αντικείμενο την παροχή Μαθησιακών Αντικειμένων, οργανώνονται σε Μαθησιακούς Χώρους (Learning Domains) και συνεργάζονται με στόχο τη δυναμική (run-time) σύνθεση ή τροποποίηση Μαθησιακών Αντικειμένων CROP που να ανταποκρίνονται τόσο (α) σε χαρακτηριστικά του Χρήστη (γνωσιακά, στυλ, προτίμησης κλπ, γνωστά από το μοντέλο του χρήστη), όσο και (β) σε δυναμικά διαπιστούμενες ανάγκες ή προβλήματα (π.χ. χαμηλή απόδοση σε τεστ, αιτούμενο από το χρήστη πρόσθετο επεξηγηματικό υλικό κλπ) κατά τη διάρκεια χρήσης.
Open Access
Σύνθεση υπηρεσιών ιστού στο σημασιολογικό διαδίκτυο
(2012-10-16) Τσούτσα, Παρασκευή; Tsoutsa, Paraskevi
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Στις μέρες μας χιλιάδες επιχειρήσεις κάνουν τη δουλειά τους χρησιμοποιώντας το Internet. Παρέχουν πληροφορίες για αεροπορικά εισιτήρια, τιμές μετοχών, αγορές, πωλήσεις, συναλλαγές μέσω πιστωτικών καρτών, διανομές κ.α. Οι εφαρμογές που χρησιμοποιούν, πολύ συχνά χρειάζεται να επικοινωνήσουν με άλλες εφαρμογές μέσω του Internet. Όσο ο αριθμός αυτών των εφαρμογών αυξάνεται τόσο μεγαλώνει και η ανάγκη για δυνατότητα επαναχρησιμοποίησης και σύνθεσης αυτών των εφαρμογών. Η αρχική ιδέα του Ιnternet δεν ήταν η προοπτική να μοιραστούμε μόνο δεδομένα αλλά και διαθέσιμες πηγές και υπηρεσίες, πράγμα που σημαίνει ότι πρέπει να μπορούμε να συνθέτουμε συναρτήσεις αλλά και ολόκληρες εφαρμογές που θα μπορούν να εκτελούνται σε απομακρυσμένα μηχανήματα. Στην προηγούμενη εργασία προσεγγίσαμε τις έννοιες και την τεχνολογία γύρω από τις υπηρεσίες ιστού. Σε αυτή την εγασία θα δούμε τη διαφορά με τις σημασιολογικές υπηρεσίες ιστού και τρόπους περιγραφής αυτών. Θα ακολουθήσει η παρουσίαση του προβλήματος της σύνθεσης στις σημασιολογικές υπηρεσίες ιστού, όπως αυτό υπάρχει σήμερα. Στη συνέχεια θα παρουσιασθούν οι μέθοδοι που έχουν προταθεί για να λύσουν το πρόβλημα της σύνθεσης υπηρεσιών.
Open Access
SOA 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.
Open Access
Biclustering based on association analysis
(2013-03-27) Βουτσινάς, Βασίλης; Boutsinas, Basilis
Τμήμα Διοίκησης Επιχειρήσεων (Τεχνικές Αναφορές)
Clustering 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.
Open Access
On model-theoretic approaches to monadic second-order logic evaluation
(2014-01-13) Κοσμαδάκης, Σταύρος; Φουστούκου, Ευγενία; Cosmadakis, Stavros; Foustoucos, Eugenie
Τμήμα Μηχανικών Η/Υ και Πληροφορικής (Τεχνικές Αναφορές)
We 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.
Open Access
Μια σύνοψη για την επαναχρησιμοποίηση μαθησιακών αντικειμένων και την εκτίμηση κόστους
(2014-03-17) Δρούζας, Παναγιώτης; Κωστόπουλος, Γεώργιος; Πιντέλας, Παναγιώτης; Drouzas, Panagiotis
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Η ανάπτυξη λογισμικού τείνει όλο και περισσότερο να βασίζεται στην επαναχρησιμοποίηση αντικειμένων λογισμικού. Στην παρούσα τεχνική αναφορά θα συγκεντρώσουμε τους πιο αποδεκτούς από τους μέχρι τώρα ορισμούς για το Μαθησιακό Αντικείμενο (ΜΑ) και μέσω αυτών θα διερευνήσουμε την διαδικασία ανάπτυξης εκπαιδευτικού λογισμικού με επαναχρησιμοποιούμενα ΜΑ. Κατόπιν θα διερευνήσουμε τις διαδικασίες κοστολόγησης λογισμικού και κατόπιν την δυνατότητα εκτίμησης του κόστους της ανάπτυξης εκπαιδευτικού λογισμικού με επαναχρησιμοποιούμενα ΜΑ. Μέσα στο προηγούμενο πλαίσιο θα διερευνήσουμε τα ευρέως αποδεκτά μοντέλα εκτίμησης κόστους λογισμικού της «οικογένειας» COCOMO, όπως αυτά έχουν αναπτυχθεί.
Open Access
A language that is an amalgam of propositional dynamic logic and description logic
(2014-06-28) Τσούτσα, Παρασκευή; Tsoutsa, Paraskevi
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
This 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.
Open Access
jcropeditor - Editor for CROP learning objects written in java
(2014-07-30) Τσιακμάκη, Μαρία; Tsiakmaki, Maria
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Concept, 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.
Open Access
Προσεγγιστική λύση μιας μη γραμμικής επαναληπτικής εξίσωσης
(2014-11-10) Λευτάκη, Μαρία; Βαλάρης, Ευάγγελος; Leftaki, Maria; Valaris, Evangelos
Τμήμα Μαθηματικών (Τεχνικές Αναφορές)
Μια απλή μη γραμμική επαναληπτική εξίσωση, η οποία όμως παρουσιάζει πλούσια συμπεριφορά, είναι η y_(i+1)= y_i^2 + c, i=0,1,2,3,… και c πραγματικός αριθμός. Για τους λόγους αυτούς, η εξίσωση αυτή συγκέντρωσε το ενδιαφέρον αρκετών ερευνητών. Αναλυτική λύση έχει μόνο για κάποιες τιμές της παραμέτρου c. Στην εργασία αυτή δίνουμε προσεγγιστική λύση για τις τιμές της παραμέτρου c που είναι αυτό δυνατό.
Open Access
Η αξιολόγηση του εκπαιδευτικού λογισμικού και το περιεχόμενό της
(2014-12-13) Παναγιωτακόπουλος, Χρήστος; Καρατράντου, Ανθή; Πιντέλας, Παναγιώτης; Panagiotakopoulos, Christos; Karatrantou, Anthi; Pintelas, Panagiotis
Τμήμα Επιστημών της Εκπαίδευσης και Κοινωνικής Εργασίας (Τεχνικές Αναφορές)
Η τεχνική αναφορά αναφέρεται σε θέματα σχετικά με τη σχεδίαση, τις γενικές απαιτήσεις του εκπαιδευτικού λογισμικού και την αξιολόγηση διαφόρων στοιχείων του, όπως το περιβάλλον διεπαφής, η αλληλεπίδραση και η ανατροφοδότηση, η πλοήγηση, η δομή και ο έλεγχος από τον χρήστη. Τέλος, εμπλέκονται θέματα αξιολόγησης της παραγωγής σε διοικητικό - διαχειριστικό επίπεδο.
Open Access
An 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.