Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. ΜΠΟΖΑΠΑΛΙΔΗΣ, Α. ΠΑΠΙΣΤΑΣ, Δ. ΠΟΥΛΑΚΗΣ)
25-2-2004. Αθανάσιος Κεχαγιάς :
“Νευρωνικά Δίκτυα, Συνειρμικές Μνήμες και Λογικός Συμπερασμός”.
3-3-2004. Κωνσταντίνος Τσούρος :
“Γενικεύσεις του Χρωματικού Προβλήματος για Γραφήματα”.
10-3-2004. Βασίλειος Ζησιμόπουλος:
"Τοπική Αναζήτηση και Προσεγγισιμότητα”.
17-3-2004. Iωάννης Σταματίου :
“Κατωφλικά φαινόμενα στα Μαθηματικά και στη Φυσική:
Δύο όψεις του ίδιου νομίσματος;”
24-3-2004. Λεωνίδας Πιτσούλης :
“Ματροειδή στη Συνδιαστική Βελτιστοποίηση”.
31-3-2004 Δημήτριος Φωτάκης :
“Βέλτιστοι Οn-Line Αλγόριθμοι”.
Το Σεμινάριο λαμβάνει χώρα κάθε Τετάρτη στις 12 η ώρα στην αίθουσα Μ3 του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. ΜΠΟΖΑΠΑΛΙΔΗΣ, Α. ΠΑΠΙΣΤΑΣ, Δ. ΠΟΥΛΑΚΗΣ)
21-4-2004. Marc Hindry :
“ Elliptic curves and applications: a short survey”.
28-4-2004. Aρχοντία Γραμματικοπούλου :
“Εικονοκώδικες”.
5-5-2004. Iωάννης Σταματίου :
“Κατωφλικά φαινόμενα στα Μαθηματικά και στη Φυσική:
Δύο όψεις του ίδιου νομίσματος;”
12-5-2004. Δημήτριος Πουλάκης :
“Πολυωνυμικός Αλγόριθμος για την Πιστοποίηση των Πρώτων Αριθμών”.
19-5-2004. Bασίλειος Μεταφτσής :
26-5-2004. Iωάννης Μίχος :
“Eλεύθερα, Μερικώς Αντιμεταθετικά Μονοϊδή
και Παράλληλα Συστήματα”.
Το Σεμινάριο λαμβάνει χώρα κάθε Τετάρτη στις 12 η ώρα στην αίθουσα Μ3 του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. ΜΠΟΖΑΠΑΛΙΔΗΣ, Α. ΠΑΠΙΣΤΑΣ, Δ. ΠΟΥΛΑΚΗΣ)
Την Tρίτη 29 Ιουνίου 2004, στις 12.15 μμ, ο αναπληρωτής καθηγητής του Τμήματος Πληροφορικής και Τηλεπικοινωνιών του Πανεπιστημίου Αθηνών κ. I. Ζ. Eμίρης θα δώσει διάλεξη με θέμα:
Γεωμετρικοί αλγόριθμοι στην επίλυση αλγεβρικών συστημάτων
Περίληψη της ομιλίας
Μια κλασική μέθοδος μελέτης κι επίλυσης πολυωνυμικών συστημάτων βασίζεται στην απαλοίφουσα (ή επιλύουσα, resultant), η οποία γενικεύει την ορίζουσα των συντελεστών γραμμικού συστήματος. H απαλοίφουσα ανάγει την επίλυση του αλγεβρικού συστήματος σε ένα πρόβλημα γραμμικής άλγεβρας. Η oμιλία επικεντρώνεται στην θεωρία της αραιής απαλοίφουσας, η οποία επιτρέπει την εκμετάλλευση της δομής των εξισώσεων και οδηγεί σε αλγορίθμους με ασυμπτωτική πολυπλοκότητα που εξαρτάται από την αραιότητα του συστήματος. Η θεωρία αυτή στηρίζεται σε έννοιες της συνδυστικής γεωμετρίας, όπως το πολύεδρο του Νεύτωνα, ο μικτός όγκος πολυέδρων, η διαμέριση πολυέδρου και το άθροισμα Minkowski. Θα εξηγήσουμε πώς οι αντίστοιχοι αλγόριθμοι επιλύουν το βασικό πρόβλημα της κατασκευής ενός πίνακα του οποίου η ορίζουσα εκφράζει την αραιή απαλοίφουσα. Tέλος, αναφέρουμε ορισμένες εφαρμογές της αραιής απαλοίφουσας στον υπολογισμό της γεωμετρικής δομής ενός μορίου, της βαθμονόμησης παράλληλου ρομπότ και της κίνησης μιας κάμερας.
Η διάλεξη θα λάβει χώρα στην αίθουσα Μ3 του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
20 - 10 - 2004. Rοbert Tijdeman (Leiden, Ολλανδία)
Long non-constant sequences with coprime periods.
3 - 11 – 2004. Robert Rolland (Marseille, Γαλλία)
On the bilinear complexity of the multiplication in finite fields.
10 - 11 – 2004. Τάκης Σακκαλής (Aθήνα)
``Polynomials: a practical view".
24 - 11 – 2004. Νίκος Λυγερός (Lyon, Γαλλία)
“Χαρακτηριστικά των Ελλειπτικών Κρυπτοσυστημάτων”.
1 - 12 – 2004. Kώστας Δασκαλογιάννης (Θεσσαλονίκη)
“Κβαντικοί Υπολογιστές – Ο Αλγόριθμος του Shor”.
8 - 12 – 2004. Γιώργος Ραχώνης (Θεσσαλονίκη)
“Αλφαβητικοί Μετασχηματισμοί Δένδρων”.
15 - 12 – 2004. Αντώνης Καλαμπάκας (Θεσσαλονίκη)
“Επί του Προβλήματος Ισομορφισμού των Γραφημάτων”.
Το Σεμινάριο λαμβάνει χώρα κάθε Τετάρτη στις 12.30 μμ στην αίθουσα Διαλέξεων (αίθουσα Μ2) του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
2 – 3 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ.
N. Λυγερός (Lyon, Γαλλία): Νέοι μέθοδοι υπολογισμού πρώτων αριθμών.
9 – 3 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ
Σ. Μποζαπαλίδης (Θεσσαλονίκη): Αλγεβρική επεξεργασία εικόνας.
17 – 3 – 2005, Αίθουσα Μ3,
10-11 πμ, W. Kuich (Wien, Αυστρία): An algebraic generalization of omega-regular and omega-contexfree languages.
11-12 πμ, R. Freund (Wien): P Systems with Communication Rules.
23 – 3 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ
Κ. Τσούρος (Θεσσαλονίκη): Περί χρωματισμού των γραφημάτων.
30 – 3 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ
Α. Πάπιστας (Θεσσαλονίκη): The plactic monoid I.
6 – 4 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ
Α. Πάπιστας (Θεσσαλονίκη): The plactic monoid II.
13 – 4 – 2005, Αίθουσα Συνεδριάσεων (M2),
12-1 μμ, M. Droste (Leipzig, Γερμανία): Weighted automata and weighted logics.
1-2 μμ, J. Rivat (Marseille, Γαλλία): Constructions of pseudorandom sequences.
20 – 4 – 2005, Αίθουσα Συνεδριάσεων (M2), 1-2 μμ
Γ. Ραχώνης (Θεσσαλονίκη): Αυτόματα με βάρη σε άπειρες λέξεις.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
18 – 5 – 2005, N. Λυγερός (Lyon, Γαλλία):
Αποτελεσματικοί Αλγόριθμοι στη Θεωρία Αριθμών.
25 – 5 – 2005, G. Landsmann (Linz, Αυστρία)
Polynomial Functions on Groups.
1 – 6 – 2005, Σ. Νικολόπουλος (Ιωάννινα)
Τέλεια Γραφήματα και Μodular Διάσπαση.
8 – 6 – 2005, Δ. Πουλάκης (Θεσσαλονίκη)
Επί της Eπίλυσης της Διοφαντικής Εξίσωσης y2 = x3-n2x.
16 – 6 – 2005, Α. Παπαδόπουλος (Στρασβούργο, Γαλλία)
Tessellations, following Kepler.
Το Σεμινάριο λαμβάνει χώρα στην αίθουσα διαλέξεων (αίθουσα Μ2) του Τμήματος Μαθηματικών, στις 1 μ.μ.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Roger Bryant (Manchester, Αγγλία)
Groups acting on free Lie algebras
Η διάλεξη θα γίνει την Τετάρτη, 28 Σεπτεμβρίου 2005, στις 12.15 μμ στην αίθουσα διαλέξεων (αίθουσα Μ2) του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Ina Mäurer (Leipzip, Γερμανία)
Weighted Picture Automata and Weighted Logics
Η διάλεξη θα γίνει την Τετάρτη, 19 Οκτωβρίου 2005, στις 12.15 μμ στην αίθουσα διαλέξεων (αίθουσα Μ2) του Τμήματος Μαθηματικών.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
9 – 11 – 2005, Αίθουσα Συνεδριάσεων (M2), 12-1 μμ.
Κ. Παπαρρίζος (Θεσσαλονίκη): Μια νέα κατηγοροποίηση αλγορίθμων.
16 – 11 – 2005, Αίθουσα Συνεδριάσεων (M2), 12-1 μμ
Δ. Βάρσος (Αθήνα): Κυκλικοί κώδικες διόρθωσης λαθών.
23 – 11 – 2005, Αίθουσα Συνεδριάσεων (M2), 12-1 μμ
Κ. Δραζιώτης (Θεσσαλονίκη): Επί της επίλυσης των διοφαντικών εξισώσεων της μορφής Υ2 = Χ(Χ2 ± 2κ pλ)
30 – 11 – 2005, Αίθουσα Συνεδριάσεων (M2), 12-1 μμ
Β. Μεταφτσής (Καρλόβασι): Ομάδες πλεξίδων και κρυπτογρφία .
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
14 Δεκεμβρίου 2005
Βασίλειος Παπαδόπουλος (Ξάνθη)
Ασαφή Συμπερασματικά Συστήματα και Εφαρμογές.
Το Σεμινάριο λαμβάνει χώρα στην αίθουσα διαλέξεων (αίθουσα Μ2) του Τμήματος Μαθηματικών στις 12.15 μμ.
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
22 Φεβρουαρίου 2006
(Αίθουσα Μ2, 12.15 μμ)
Θεόδουλος Γαρεφαλάκης (Ηράκλειο)
Η ασφάλεια των ψηφίων του κλειδιού Diffie-Hellman
Περίληψη: Το 1976 οι Diffie και Hellman πρότειναν ένα πρωτόκολλο για τη δημιουργία ενός κοινού κλειδιού μεταξύ δύο ατόμων Α και Β που επικοινωνούν μέσα από ένα δημόσιο κανάλι. Το πρωτόκολλο λειτουργεί σε μια πεπερασμένη αβελιανή ομάδα G. Το πρόβλημα υπολογισμού του κοινού κλειδιού από κάποιο τρίτο άτομο Γ που παρακολουθεί την επικοινωνία είναι ακριβώς το πρόβλημα Diffie-Hellman (DH) στην ομάδα G. Εφόσον το πρόβλημα DH είναι υπολογιστικά δύσκολο στην G, το άτομο Γ δεν μπορεί να υπολογίσει το κλειδί. Αυτό όμως δε σημαίνει ότι δε μπορεί να υπολογίσει μέρος του κλειδιού. Στην ομιλία αυτή μελετάμε τη δυσκολία υπολογισμού μέρους του κλειδιού για την πολλαπλασιαστική ομάδα ενός πεπερασμένου σώματος και για την ομάδα των σημείων μιας ελλειπτικής καμπύλης πάνω από ένα πεπερασμένο σώμα. Δείχνουμε ότι κάτω από την υπόθεση ότι το πρόβλημα απόφασης Diffie-Hellman (DDH) στην G είναι υπολογιστικά δύσκολο, τα δύο αρχικά δυαδικά ψηφία του κλειδιού είναι ασφαλή.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Μάρτιος 2006
15 - 3. Συμεών Μποζαπαλίδης (Θεσσαλονίκη)
Παραμόρφωση Εικόνας
22 - 3. Γεώργιος Ραχώνης (Θεσσαλονίκη)
Αυτόματα με Βάρη σε Άπειρες Λέξεις και Δένδρα
29 - 3. Franz Winkler (Linz, Αυστρία)
Symbolic Parametrization of Algebraic Curves
Οι ομιλίες λαμβάνουν χώρα στις 12.15 μμ.
στην αίθουσα Μ2 του Τμήματος Μαθηματικών
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
12 Aπριλίου 2006
Sebastien Ferenzi (Μασσαλία):
Interactions between arithmetics, dynamics
and word combinatorics
Οι ομιλίες λαμβάνουν χώρα στις 12.15 μμ.
στην αίθουσα Μ2 του Τμήματος Μαθηματικών
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τετάρτη 10 Μαϊου 2006
(Αίθουσα Μ2, 12.15 μμ)
Τάκης Σακκαλής
Μαθηματικό Εργαστήριο Γεωπονικού Πανεπιστημίου Αθηνών
Υπολογιστική τοπολογία : Γραμμική Προσέγγιση μέσω Τριγωνοποίησης Delauny
Περίληψη. Η γραμμική προσέγγιση (3D) καμπύλων και επιφανειών παίζει ένα πρωτεύοντα ρόλο στη διακριτοποίηση των δεδομένων για εφαρμογές σε mashing. Οι προσεγγίσεις αυτές θα πρέπει να είναι μέσα στα πλαίσια ανοχής του χρήστη, και ομοιομορφικές (μέσα στο χώρο) με την δοθείσα καμπύλη/ επιφάνεια.
Σ’ αυτή την ομιλία, θα παρουσιάσουμε μία μέθοδο προσέγγισης μίας λείας καμπύλης/επιφάνειας Μ με μία κατά-μέρη γραμμική καμπύλη/επιφάνεια με την χρήση των λεγόμενων Σχημάτων Άλφα (Alpha Shapes) και της Tριγωνοποίησης Delauny. H προσέγγιση αυτή βασίζεται στην εύρεση ενός r > 0 και ενός δειγματοσυνόλου S του Μ, που είναι r-πυκνό και πληροί συγκεκριμένες συνθήκες. Χρησιμοποιώντας ιδέες του Edelsbrunner, κατασκευάζουμε το Σχήμα Άλφα Sr και το σύμπλοκο Delauny, περιορισμένο στην Μ, D(S,M). Τότε αποδεικνύεται ότι το Sr/Μ, D(S,M) είναι (ambiently) ομοιομορφικό με, και σε απόσταση r από την, Μ.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τετάρτη 17 Μαϊου 2006
(Αίθουσα Μ2, 12.15 μμ)
Mika Hirvensalo
(Department of Mathematics, University of Turku):
"Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages".
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τετάρτη 8 Νοεμβρίου 2006
(Αίθουσα Μ2, 12.15 μμ)
Robert Rolland
(Department of Mathematics, University of Aix-Marseille
II):
"Number of
points of hypersurfaces in a n-dimensional
affine or projective space over a finite field".
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Δεκέμβριος 2006
6-12-2006, Ελένη Μανδραλή
Αυτόματα και Λογική
13-12-2006, Γεώργιος Pαχώνης
Αυτόματα και Ημιδακτύλιοι
20-12-2006, Γεώργιος Ραχώνης
Αυτόματα, Λογική και Ημιδακτύλιοι
Οι ομιλίες λαμβάνουν χώρα στις 12.15 μμ.
στην αίθουσα Μ0 του Τμήματος Μαθηματικών
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τρίτη 8 - 5 - 2007
(Αίθουσα M2, 12.15 μμ)
Guenter Landsmann
(Research Institute of Symbolic Computation, Linz, Αυστρία)
“Compatible Functions on Groups”
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
3 Οκτωβρίου 2007
12-1. Christian Mauduit (Μασσαλία):
Arithmetic and combinatorial properties of infinite automata
1-2. Sebastien Ferenzi (Μασσαλία):
Describing and counting a family of trees
Οι ομιλίες λαμβάνουν χώρα στην αίθουσα Μ2 του Τμήματος Μαθηματικών
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
14 Nοεμβρίου 2007
Γρηγόριος Καραγιώργος (Αθήνα)
Τοπικά Επαναληπτικά Σχήματα:
Εξισορρόπηση φορτίου και Τυχαίοι Περίπατοι.
Οι ομιλίες λαμβάνουν χώρα στην αίθουσα Μ2
του Τμήματος Μαθηματικών στις 12.15 μμ
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
14 Φεβρουαρίου 2008
(Αίθουσα Μ2, 12.15 μμ)
Ιωάννης Εμίρης
Καθηγητής του Τμήματος Πληροφορικής του Πανεπιστημίου Αθηνών
Αλγεβρικοποίηση παραμετρικών επιφανειών
με μεθόδους συνδυαστικής γεωμετρίας
Περίληψη: Ένα από τα
σημαντικότερα προβλήματα στην γεωμετρική σχεδίαση αφορά στην αλλαγή της
αναπαράστασης των γεωμετρικών αντικειμένων. Εξετάζουμε το πρόβλημα υπολογισμού
της αλγεβρικής (ή πεπλεγμένης) μορφής μίας καμπύλης ή επιφάνειας που ορίζεται
από ρητές παραμετρικές εκφράσεις. Παρουσιάζουμε μεθόδους για τον υπολογισμό
των όρων (support) που εμφανίζονται στην αλγεβρική εξίσωση: με αυτόν τον
τρόπο, το ερώτημα της αλγεβρικοποίησης ανάγεται σε ένα πρόβλημα γραμμικής
άλγεβρας. Οι αλγόριθμοί μας στηρίζονται στην θεωρία αραιής απαλοιφής και στην
τροπική αλγεβρική γεωμετρία, αντλούν συνεπώς έννοιες και μεθόδους από τη
συνδυαστική γεωμετρία.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
2 Απριλίου 2008
(Αίθουσα Μ2, 12.15 μμ)
Θεόδουλος Γαρεφαλάκης
Επίκ. Καθηγητής του Τμήματος Μαθηματικών
του Πανεπιστημίου Κρήτης
Πολυωνυμική προσέγγιση διγραμμικών
απεικονίσεων
Diffie-Hellman
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τετάρτη 29 Οκτωβρίου 2008
(Αίθουσα Μ2, 13.15 μμ)
Zoltán Fülöp
Department of Fundations of Computer Science
University of Szeged
Weighted
tree automata
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Παρουσίαση διπλωματικής εργασίας
Παρασκευή 5 Δεκεμβρίου 2008
(Εργαστήριο Υπολογιστών, 10:30 πμ)
Ελένη Μανδραλή
Weighted tree automata with discounting
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Σ. Μποζαπαλίδης, Α. Πάπιστας, Δ. Πουλάκης)
Τρίτη 26 Μαϊου 2009
(Αίθουσα Μ2, 13.15 μμ)
Ρωμανός Διογένης Μαλικιώσης
Ένα διακριτό Πρόβλημα στη Γεωμετρία Αριθμών
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 20 Οκτωβρίου 2010
(Αίθουσα Μ2, 13.15 μμ)
Jean-Eric
Pin
(Γαλλικό Ίδρυμα Ερευνών)
An
introduction to sequential functions
Abstract
Sequential functions are, in a sense, the simplest
computable
functions. There are especially interesting for hardware designers,
since they are easily implemented on circuits.
I will recall the definition of sequential automata,
present several examples (addition, cut and replace,
division by a fixed integer, coding, etc.) and explain the
little known minimisation algorithm. I will also state,
without proof, a nice characterization of these functions.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
10 Μαρτίου 2011: Γ. Στεφανίδης (Παν. Μακεδονίας)
Κρυπτογραφία με Ελλειπτικές Καμπύλες
17 Μαρτίου 2011: Κ. Χαλκιάς (Παν. Μακεδονίας)
Κρυπτογραφία Βασισμένη στη Ταυτότητα
Οι ομιλίες θα λάβουν χώρα στην αίθουσα Μ2 του Τμήματος Μαθηματικών, στις 11 πμ.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 11 - 5 - 2010
(Αίθουσα Μ2, 13.15 μμ)
Ειρήνη-Ελευθερία Mens
Πεπερασμένα αυτόματα σε άπειρα αλφάβητα
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 21 - 12 - 2011
(Εργαστήριο Η/Υ, 13.45 μμ)
Παρουσίαση διπλωματικής εργασίας
Ειρήνη-Ελευθερία Mens
Tree automata over
infinite ranked alphabets
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Πέμπτη 18 - 12 – 2012 (Αίθουσα Μ2, 11 πμ)
Rida Farouki
(University of California, Davis)
Quaternions, spatial Pythagorean hodographs,
and rotations in R3
and R4
Summary: Quaternions, the first example of a non-commutative algebra, arose as a by-product of Hamilton's failed attempt to construct an "algebra of triples". Hamilton envisaged the quaternions as the "new language" of science and technology, but their place was usurped by vector analysis, an algebraically crude and overtly pragmatic subset of the quaternion algebra. A simple quaternion expression generates Pythagorean quadruples of polynomials, yielding an elegant rotation-invariant characterization of Pythagorean hodographs in R3. Quaternions provide compact, intuitive descriptions for rotations in R3, a fact that has generated renewed interest in them for applications in robotics, animation, computer graphics, and related fields. Quaternions also describe rotations in R3 lading our geometric intuition from R2 and R3 to Euclidean spaces of higher dimension.
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδα :
http://users.auth.gr/~poulakis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 27 - 11 - 2013
(Εργαστήριο Η/Υ, 13.15 μμ)
Μαριάννα Δερμεντζή
DNA υπολογιστές: Το πρώτο πείραμα του L. Adleman
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 4 - 12 - 2013
(Εργαστήριο Η/Υ, 13.15 μμ)
Eύη Στεφανίδου
Συμβολή των αυτομάτων στον εντοπισμό
λογικών λαθών στον προγραμματισμό
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 11 - 12 - 2013
(Εργαστήριο Η/Υ, 13.15 μμ)
Μαρία Πίττου
Automata over infinite alphabets
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 15 - 1 - 2014
(Εργαστήριο Η/Υ, 11.30 μμ)
Αικατερίνη Καρέτσου
Συμπίεση ψηφιακής εικόνας και πεπερασμένα αυτόματα με βάρη
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 19 - 3 - 2014
(Εργαστήριο Η/Υ, 13.00 μμ)
Αντώνιος Γουγλίδης
Γραμμική και μη-γραμμική λογική:
Σύγκριση και πρακτικές εφαρμογές
(Υποστήριξη μεταπτυχιακής διπλωματικής εργασίας)
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 26 - 3 - 2014
(Μ2, 13.00 μμ)
Ελισάβετ Κωνσταντίνου
Πανεπιστήμιο Αιγαίου
Constructing Elliptic Curves
using the Complex Multiplication Method
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 14 - 5 - 2014
(Εργαστήριο Η/Υ, 13.15 μμ)
Mika Hirvensalo
Department of Mathematics and Statistics
University of Turku
Decision and Complexity Problems
on Small Integer Matrices
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Παρουσίαση διπλωματικής εργασίας
Τετάρτη 25 - 6 - 2014
(Εργαστήριο Η/Υ, 10.00 πμ)
Μαρία Πίττου
Weighted variable automata
over infinite alphabets
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 14 - 10 - 2015
(Εργαστήριο Η/Υ, 11.00 πμ)
Δημήτριος Τερζόπουλος
Bits and Bytes: Data, Memory and Pointers in Programming with C++
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm
Aριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Τμήμα Μαθηματικών
(Δ. Πουλάκης, Γ. Ραχώνης)
Τετάρτη 21 - 10 - 2015
(Εργαστήριο Η/Υ, 11.00 πμ)
Δημήτριος Τερζόπουλος
Object-Oriented Programming: Data Abstraction in C++
Το πρόγραμμα του Σεμιναρίου βρίσκεται στην ιστοσελίδες :
http://users.auth.gr/~poulakis/seminar.htm
http://users.auth.gr/grahonis/seminar.htm