Για όσους ενδιαφέρονται για Θεωρητική Πληροφορική

[enum21]

Σήμερα θα μας μιλήσει ο κος Μαρκάκης για κάποιο πρόβλημα που μελετά.

algorithms for fair division problems
(also known as cake-cutting problems)

Έχει ξανακάνει ομιλία και προηγούμενη φορά και ήταν αρκετά ενδιαφέρουσα!

[enum21]

Authn thn Paraskeuh tha mas milhsei o Manolis Pountourakis, o opoios
teleiwnei to metaptuxiako tou sto Panepisthmio Athinwn
upo thn epiblepsh tou k. Koutsoupia. To thema einai "Group
strategy-proof cost sharing mechanisms".

Prokeitai gia problhmata opou kapoios service provider prosferei mia
yphresia me kapoio kostos C(S), to opoio eksartatai apo to se posous
paiktes tha apofasisei na prosferei thn yphresia (e.g. news
broadcast).
To problhma einai na ftiaksoume mhxanismous pou apofasizoun poioi
pairnoun thn yphresia kai poso prepei na plhrwsoun etsi wste na ginei
recovered to costos C(S) (h kapoio approximation) kai tautoxrona na
mhn yparxoun kinhtra gia misreporting apo coalitions of players.

[manolisp]

Επειδη καποια ατομα ζητησαν την ομιλια και βλεπω να εχει ανεβει δινω το παρακατω: link

[The Punisher]

ευχαριστούμε Μανώλη !

[enum21]

Επειδη καποια ατομα ζητησαν την ομιλια και βλεπω να εχει ανεβει δινω το παρακατω: link

Ευχαριστούμε πολύ Μανώλη!!

[alexpsomi]

[netharis]

Πω, ζήλεψα μου φαίνεται θα ιδρύσω το Systems Beer

[enum21]

Γεια σας, αυτήν την Παρασκευή θα μας μιλήσει ο κος Κουτσουπιάς από το Πανεπιστήμιο Αθηνών για το : "Roberts' theorem and the problem of characterizing truthful mechanisms" (σχετίζεται άμεσα με τη σχεδίαση μηχανισμών σε δημοπρασίες) . Ο κ. Κουτσουπιάς έιναι καθηγητής στο τμήμα Πληροφορικής του Πανεπιστημίο, ενώ πριν από αυτό ήταν αναπληρωτής καθηγητής στο UCLA. Κάποιες από τις εργασίες του τα τελευταία χρόνια ουσιαστικά οριοθέτησαν την περιοχή της αλγοριθμικής θεωρίας παιγνίων. Σας περιμένουμε στην Α36, στις 4!

από eclass

[sandra]

Τελευταία διάλεξη, ελάτε οπωσδήποτε, είναι μεγάλο κεφάλι και τιμή μας που θα τον έχουμε εδώ

[para]

ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου..

Πώς; ο.Ο

[dexter]

ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου..

Πώς; ο.Ο

δεν μπορώ να στο εξηγήσω εγώ απλά κατάλαβα σε ένα εισαγωγικό στάδιο το σκεπτικό πίσω από τα θεωρήματα και τις εξισώσεις..

μπορείς να του στείλεις ένα mail να σου δώσει περισσότερες πληροφορίες..

[alexpsomi]

ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου..

Πώς; ο.Ο

Βασικά δεν ήταν η κλασική ψηφοφορία που ξέρουμε, δηλαδη δεν κέρδιζε ο πρώτος σε ψήφους. Ο κάθε ψηφοφόρος μπορούσε να ψηφίζει πολλούς υποψηφίους,
και απο αυτους έβγαιναν n.
Αυτοι οι n, δεν ήταν οι n πρώτοι σε ψήφους, αλλα αυτοι με το μικρότερο hamming distance. Αρα μπορούσες να κλέψεις αν ήξερες τι θα ψηφίζουν οι άλλοι. Καποια στιγμή που θα έχω χρόνο θα προσπαθήσω να ποστάρω κάποιο παράδειγμα

[Esteban]

ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου..

Πώς; ο.Ο

Βασικά δεν ήταν η κλασική ψηφοφορία που ξέρουμε, δηλαδη δεν κέρδιζε ο πρώτος σε ψήφους. Ο κάθε ψηφοφόρος μπορούσε να ψηφίζει πολλούς υποψηφίους,
και απο αυτους έβγαιναν n.
Αυτοι οι n, δεν ήταν οι n πρώτοι σε ψήφους, αλλα αυτοι με το μικρότερο hamming distance. Αρα μπορούσες να κλέψεις αν ήξερες τι θα ψηφίζουν οι άλλοι. Καποια στιγμή που θα έχω χρόνο θα προσπαθήσω να ποστάρω κάποιο παράδειγμα

Hamming distance?

Πάντως disregard this, αν είναι έτσι όπως τον περιγράφεις ο αλγόριθμος μπορεί να χρησιμεύσει αν ψηφίζεις ένα συγκεκριμένο κόμμα και δεν θες να βγουν συγκεκριμένοι βουλευτές.

[para]

Nice, thanks guys!

[alexpsomi]

Πώς; ο.Ο

Βασικά δεν ήταν η κλασική ψηφοφορία που ξέρουμε, δηλαδη δεν κέρδιζε ο πρώτος σε ψήφους. Ο κάθε ψηφοφόρος μπορούσε να ψηφίζει πολλούς υποψηφίους,
και απο αυτους έβγαιναν n.
Αυτοι οι n, δεν ήταν οι n πρώτοι σε ψήφους, αλλα αυτοι με το μικρότερο hamming distance. Αρα μπορούσες να κλέψεις αν ήξερες τι θα ψηφίζουν οι άλλοι. Καποια στιγμή που θα έχω χρόνο θα προσπαθήσω να ποστάρω κάποιο παράδειγμα

Hamming distance?

Πάντως disregard this, αν είναι έτσι όπως τον περιγράφεις ο αλγόριθμος μπορεί να χρησιμεύσει αν ψηφίζεις ένα συγκεκριμένο κόμμα και δεν θες να βγουν συγκεκριμένοι βουλευτές.

Μα δεν είναι έτσι στις εκλογές... Στις εκλογές πάει με πιο πολλές ψήφους.. Στο αλλο πάει με λιγότερη "δυσαρέσκεια"... Πχ, όπως μας είπε ο κ.Μαρκάκης, σε εκλογές της IEEE οπου τα μέλη τα σκάνε, θέλουν να τους έχουν ικανοποιημένους, και εφαρμόζουν αυτο τον τρόπο... Αν θυμαμαι καλα με αυτο τον αλγοριθμο προσπαθεις να ελαχιστοποιησεις το μεγιστο hamming distance... Πχ αν εχω υποψήφιους Α Β Γ Δ Ε και βγουν οι Α Δ , το γραφω ως 1 0 0 1 0. Αν καποιος ψηφισε Β Γ , 0 1 1 0 0, έχει hamming distance 4, οποτε αν βγουν οι Α Γ ,
1 0 1 0 0 θα έχει ο συγκεκριμένος hamming distance 2... Δεν δείξαμε κάποιον αλγόριθμο, αλλα αν θυμάμαι καλα δεν υπάρχει κατι γρήγορο..

Γι'αυτο και στις πραγματικές εκλογές δεν παίζει να γίνει...

[enum21]

Τις επόμενες μερες υπάρχουν αρκετά events.

Την Παρασκευή θα μας παρουσιάσει ο Ηλίας Φουνταλής τη διπλωματική του
στα πλαίσια του μεταπτυχιακού προγράμματος,
Λεπτομέρειες ακολουθούν παρακάτω.
Στη συνέχεια, στις 6:30 στην αίθουσα τελετών θα γίνει η αναγόρευση σε
επίτιμο διδάκτορα του Ιωσήφ Σηφάκη, κάτοχο του Turing award το 2007.

Ο κ. Σηφάκης θα δώσει και μία ομιλία στο σεμινάριο του τμήματος τη
Δευτέρα για την οποία θα στείλω ξεχωριστό email.

Τίτλος και abstract για τη διπλωματική του Ηλία:

Mera - wra: Paraskevh 4 Iouniou, 16.00 aithousa A36

Title: Analysis and modeling of social networks

Abstract:
In recent years online social networks have exploded in popularity and
became an ubiquitous part of everyday life. With the huge datasets that
these networks can provide us, we now have the opportunity to study
social interactions in a large-scale worldwide environment. In this thesis
we present an algorithm that models the evolution of online social networks.

We also compare networks produced by our algorithm, using a variety of
metrics, with complete Facebook data from four American universities. We
find that our algorithm fits the Facebook data according to almost all of
the metrics proposed in the literature, and that the produced networks exhibit
the patterns that emerge in the real network data.

[Theofaman]

Κάποιο νεότερο για την ομιλία του Σηφάκη αύριο

[dexter]

Κάποιο νεότερο για την ομιλία του Σηφάκη αύριο

την παρασκευή δεν ήταν?

[The Punisher]

Θα δώσει και μια ομιλία αύριο. Ορίστε οι λεπτομέρειες..

Στο πλαίσια της Σειράς Σεμιναρίων του τμήματός μας, θα διεξαχθεί τη
Δευτέρα 7 Ιουνίου στις 4μμ ομιλία του Δρ. Ιωσήφ Σηφάκη, διευθυντή
ερευνών στο CNRS και βραβευμένο με βραβείο Turing το 2007. Η ομιλία θα
διεξαχθεί στην αίθουσα Α41 (Πατησίων 76, Πτέρυγα Αντωνιάδου, 4ος
όροφος).

ιστότοπος: http://seminar.cs.aueb.gr/

τίτλος:
Component-based Construction of Heterogeneous Real-time Systems in BIP

περίληψη:
We present a framework for the component-based construction of
real-time systems. The framework is based on the BIP (Behaviour,
Interaction, Priority) semantic model, characterized by a layered
representation of components. Compound components are obtained as the
composition of atomic components specified by their behaviour and
interface, by using connectors and dynamic priorities. Connectors
describe structured interactions between atomic components, in terms
of two basic protocols: rendezvous and broadcast. Dynamic priorities
are used to select amongst possible interactions - in particular, to
express scheduling policies.
The BIP framework has been implemented in a language and a toolset.
The BIP language offers primitives and constructs for modelling and
composing atomic components described as state machines, extended with
data and functions in C. The BIP toolset includes an editor and a
compiler for generating from BIP programs, C++ code executable on a
dedicated platform. It also allows simulation and verification of BIP
programs by using model checking techniques.
BIP supports a model-based design methodology involving three steps:
• The construction of a system model from a set of atomic components
composed by progressively adding interactions and priorities;
• The application of incremental verification techniques. These
techniques use the fact that the designed system model can be obtained
by successive application of property-preserving transformations in a
three-dimensional space: Behavior×Interaction×Priority.
• The generation of correct-by-construction distributed
implementations from a BIP model. This is achieved by source-to-source
transformations which preserve global state semantics.
We present the basic theoretical results about BIP including modelling
interactions by using connectors, modelling priorities, incremental
verification and expressiveness. We also present two examples
illustrating the methodology as well as experimental results obtained
by using the BIP toolset.

Further information is available at: http://www-verimag.imag.fr/~async/bip.php

[The Punisher]

Το ερευνητικό σεμινάριο του Δρ. Ι. Σηφάκη
στο Τμήμα Πληροφορικής του ΟΠΑ,
το οποίο ήταν προγραμματισμένο για σήμερα
Δευτέρα 7/6ου στις 16.00, ματαιώνεται

[AnINffected]

Ματαιώνεται;Δεν αναβάλλεται καν;
Κρίμα γιατί ακουγόταν ενδιαφέρον.

[The Punisher]

είχε σοβαρό προσωπικό πρόβλημα, οπότε φαντάζομαι για αυτό δε θα μπορεί. Τώρα η Κρήτη (και η Γαλλία) δίπλα είναι. Ανυπομονούμε να τον ακούσουμε στο μέλλον.