Optimization and Machine Learning Seminar

Submitted by admin on Tue, 11/12/2018 - 18:48

We are happy to announce a seminar on Optimization and Machine Learning Seminar organized by Corelab at NTUA. The goal of this seminar is to introduce the basic concepts of machine learning and convex optimization.

Automated Learning, or Machine Learning as it is usually called, describes the development of algorithmic procedures that convert experience to expertise. Usually, machine learning procedures are inspired by algorithms used in convex optimization.

Type Systems for Programming Languages

Type
Elective
Course Description

Το μάθημα αυτό έχει ως σκοπό τη μελέτη των συστημάτων τύπων (type systems) που χρησιμοποιούνται στις σύγχρονες γλώσσες προγραμματισμού.  Μέσω των συστημάτων τύπων μελετώνται σε βάθος τα κυριότερα χαρακτηριστικά των προστακτικών και συναρτησιακών γλωσσών προγραμματισμού: βασικοί τύποι, συναρτήσεις, αναδρομή, αναφορές, εξαιρέσεις, υποτύποι, αναδρομικοί τύποι, αντικείμενα, πολυμορφισμός, υπαρξιακοί και εξαρτώμενοι τύποι. Έμφαση δίνεται στη συνεισφορά των συστημάτων τύπων για τον τυπικό ορισμό των γλωσσών καθώς και για τη μελέτη ιδιοτήτων ασφάλειας των προγραμμάτων. Για την περιγραφή της σημασιολογίας των υπό μελέτη γλωσσών χρησιμοποιείται η προσέγγιση της δομημένης λειτουργικής σημασιολογίας (structural operational semantics). 

Theory of Linear Programming

Type
Elective
Course Description

Κυρτά σύνολα, πολύεδρα, κώνοι. Θεώρημα Minkowski-Weyl. Λήμματα Farkas, δυϊκότητα. Όψεις και έδρες πολυέδρων. Διάσταση.  Ελαχιστικές αναπαραστάσεις. Total unimodularity. Ολική Δυϊκή Ακεραιότητα. Tα πολύτοπα των ταιριασμάτων και των συνδετικών δένδρων. Εκτεταμένες Διατυπώσεις.

Stochastic Μodels

Type
Elective
Course Description

Ανανεωτικές διαδικασίες με κόστη: Ορισμοί και παραδείγματα. Μέσος ρυθμός κόστους και υπολογισμοί με το στοιχειώδες ανανεωτικό θεώρημα με κόστη. Αναγεννητικές διαδικασίες και υπολογισμοί μέσου ρυθμού κόστους. Εφαρμογές. Μαρκοβιανές αλυσίδες με κόστη: Ορισμοί και παραδείγματα. Υπολογισμοί μέσους ρυθμούς κόστους. Εφαρμογές. Εισαγωγή στο Δυναμικό προγραμματισμό: Βασική θεωρία για προβλήματα πεπερασμένου ορίζοντα. Εφαρμογές με επαγωγικά επιχειρήματα. Εφαρμογές με το επιχείρημα της ανταλλαγής. Προβλήματα βέλτιστου σταματήματος. Εισαγωγή στις Ουρές Αναμονής: Περιγραφή, ονοματολογία και μέτρα απόδοσης. Βασικά αποτελέσματα. Ανάλυση μέσης τιμής. Μαρκοβιανές ουρές. Βέλτιστος σχεδιασμός συστημάτων. Εισαγωγή στη Στοχαστική Θεωρία Ελέγχου Αποθεμάτων: Το μοντέλο του εφημεριδοπώλη, μοντέλα πολλών περιόδων. Στοιχεία Θεωρίας Παιγνίων: Παιχνίδια σε κανονική μορφή. Σημείο στρατηγικής ισορροπίας (ΣΣΙ ή σημείο Nash). Πεπερασμένα παιχνίδια δύο παικτών μηδενικού αθροίσματος (πινακοπαιχνίδια) και θεώρημα Mínimax. Εξισωτικές στρατηγικές και αλγόριθμοι επίλυσης πινακοπαιχνιδιών. Απλοποιήσεις.