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

Εδώ μπορείτε να ενημερώνετε ή να ενημερώνεστε για τη διοργάνωση διαφόρων συνεδρίων και σεμιναρίων.
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

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

Postby enum21 » Fri May 14, 2010 5:17 am

Σήμερα θα μας μιλήσει ο κος Μαρκάκης για κάποιο πρόβλημα που μελετά.
algorithms for fair division problems
(also known as cake-cutting problems)

Έχει ξανακάνει ομιλία και προηγούμενη φορά και ήταν αρκετά ενδιαφέρουσα! :smt023
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

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

Postby enum21 » Wed May 19, 2010 4:14 pm

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
Buffer underflow exception
Buffer underflow exception
Posts: 1
Joined: Sat May 22, 2010 2:59 am
Gender:

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

Postby manolisp » Sat May 22, 2010 3:04 am

Επειδη καποια ατομα ζητησαν την ομιλια και βλεπω να εχει ανεβει δινω το παρακατω: link
Last edited by cypher on Sat May 22, 2010 3:13 am, edited 1 time in total.
Reason: greeklish
User avatar
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Postby The Punisher » Sat May 22, 2010 3:09 am

ευχαριστούμε Μανώλη ! :smt001
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

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

Postby enum21 » Sat May 22, 2010 9:45 am

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


Ευχαριστούμε πολύ Μανώλη!! :) :smt023
User avatar
alexpsomi
Kilobyte level
Kilobyte level
Posts: 205
Joined: Sun Dec 09, 2007 6:07 pm
Academic status: Alumnus/a
Gender:
Contact:

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

Postby alexpsomi » Sat May 22, 2010 10:51 am

:smt023 :smt023
User avatar
netharis
Venus Former Team Member
Posts: 1845
Joined: Sun Jul 15, 2007 2:37 pm
Academic status: Alumnus/a
Gender:
Location: Seattle, Washington
Contact:

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

Postby netharis » Sun May 23, 2010 11:56 pm

Πω, ζήλεψα μου φαίνεται θα ιδρύσω το Systems Beer :lol:
Image
Resistance is futile. Join the foss-side now!
"UNIX is very simple, it just needs a genius to understand its simplicity." - Dennis Ritchie
"The things that I want, by Max Payne. A smoke. A whiskey. For the sun to shine. I want to sleep, to forget. To change the past. Unlimited ammo and a license to kill. But right then, more than anything, I wanted her."
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

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

Postby enum21 » Thu May 27, 2010 11:43 am

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


από eclass :-)
User avatar
sandra
Wow! Terabyte level
Wow! Terabyte level
Posts: 4917
Joined: Mon Oct 02, 2006 11:37 am
Academic status: Alumnus/a
Gender:
Location: στη φωλιά μου κοιτώντας ένα χωράφι με στάρι...

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

Postby sandra » Thu May 27, 2010 11:45 am

Τελευταία διάλεξη, ελάτε οπωσδήποτε, είναι μεγάλο κεφάλι και τιμή μας που θα τον έχουμε εδώ :)
Από εδώ κι εμπρός θα είσαι για πάντα υπεύθυνος για εκείνο που έχεις ημερώσει.
Είσαι υπεύθυνος για το τριαντάφυλλο σου...
User avatar
para
Wow! Terabyte level
Wow! Terabyte level
Posts: 3648
Joined: Sat Nov 04, 2006 2:59 am
Academic status: Alumnus/a
Gender:

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

Postby para » Fri May 28, 2010 11:10 pm

dexter wrote:ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου.. :shock:
:shock:
Πώς; ο.Ο
Γύρνα είμαι ένα άψυχο κορμί που σ' αγαπάει, αισθάνομαι στον άνεμο φτερό
Σαν μέσα σε όνειρο η ζωή με προσπερνάει, δείξε μου οίκτο μια στιγμή παρακαλώ...

#!
Κοίτα πως με κατάντησε η δική σου η αγάπη, να μη γνωρίζω από που να κρατηθώ
Στο τελευταίο της ζωής το σκαλοπάτι, Γύρνα, είμαι ένα βήμα απ' το γκρεμό...
User avatar
dexter
Venus Former Team Member
Posts: 2496
Joined: Wed Jan 09, 2008 11:50 pm
Academic status: N>4
Gender:
Location: springfield
Contact:

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

Postby dexter » Sat May 29, 2010 3:27 pm

para wrote:
dexter wrote:ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου.. :shock:
:shock:
Πώς; ο.Ο

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

μπορείς να του στείλεις ένα mail να σου δώσει περισσότερες πληροφορίες.. :smt023
http://foss.aueb.gr
always aim for for the sky for if you fail you can at least reach the clouds..
ALL BLACKS supporter..
http://www.bringthemback.org/
User avatar
alexpsomi
Kilobyte level
Kilobyte level
Posts: 205
Joined: Sun Dec 09, 2007 6:07 pm
Academic status: Alumnus/a
Gender:
Contact:

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

Postby alexpsomi » Sat May 29, 2010 4:00 pm

para wrote:
dexter wrote:ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου.. :shock:
:shock:
Πώς; ο.Ο


Βασικά δεν ήταν η κλασική ψηφοφορία που ξέρουμε, δηλαδη δεν κέρδιζε ο πρώτος σε ψήφους. Ο κάθε ψηφοφόρος μπορούσε να ψηφίζει πολλούς υποψηφίους,
και απο αυτους έβγαιναν n.
Αυτοι οι n, δεν ήταν οι n πρώτοι σε ψήφους, αλλα αυτοι με το μικρότερο hamming distance. Αρα μπορούσες να κλέψεις αν ήξερες τι θα ψηφίζουν οι άλλοι. Καποια στιγμή που θα έχω χρόνο θα προσπαθήσω να ποστάρω κάποιο παράδειγμα
User avatar
Esteban
Kilobyte level
Kilobyte level
Posts: 443
Joined: Thu Feb 05, 2009 1:03 pm
Academic status: N>4
Gender:
Location: 130-148 bpm

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

Postby Esteban » Sun May 30, 2010 2:53 am

alexpsomi wrote:
para wrote:
dexter wrote:ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου.. :shock:
:shock:
Πώς; ο.Ο


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


Hamming distance?

Πάντως disregard this, αν είναι έτσι όπως τον περιγράφεις ο αλγόριθμος μπορεί να χρησιμεύσει αν ψηφίζεις ένα συγκεκριμένο κόμμα και δεν θες να βγουν συγκεκριμένοι βουλευτές. :smt004
User avatar
para
Wow! Terabyte level
Wow! Terabyte level
Posts: 3648
Joined: Sat Nov 04, 2006 2:59 am
Academic status: Alumnus/a
Gender:

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

Postby para » Sun May 30, 2010 3:14 am

Nice, thanks guys! ;)
Γύρνα είμαι ένα άψυχο κορμί που σ' αγαπάει, αισθάνομαι στον άνεμο φτερό
Σαν μέσα σε όνειρο η ζωή με προσπερνάει, δείξε μου οίκτο μια στιγμή παρακαλώ...

#!
Κοίτα πως με κατάντησε η δική σου η αγάπη, να μη γνωρίζω από που να κρατηθώ
Στο τελευταίο της ζωής το σκαλοπάτι, Γύρνα, είμαι ένα βήμα απ' το γκρεμό...
User avatar
alexpsomi
Kilobyte level
Kilobyte level
Posts: 205
Joined: Sun Dec 09, 2007 6:07 pm
Academic status: Alumnus/a
Gender:
Contact:

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

Postby alexpsomi » Sun May 30, 2010 10:05 am

Esteban wrote:
alexpsomi wrote:
para wrote:
dexter wrote:ο κ.Μαρκάκης μας έδειξε και επιστημονικά πως γίνεται ψηφίζοντας κάποιον που δεν θέλεις να βγει να "φέρεις" το αποτέλεσμα πιο κοντά στις προτιμήσεις σου.. :shock:
:shock:
Πώς; ο.Ο


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


Hamming distance?

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


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

Γι'αυτο και στις πραγματικές εκλογές δεν παίζει να γίνει...
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

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

Postby enum21 » Thu Jun 03, 2010 4:20 pm

Τις επόμενες μερες υπάρχουν αρκετά 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.
User avatar
Theofaman
Mbyte level
Mbyte level
Posts: 984
Joined: Sat Sep 24, 2005 1:07 am
Academic status: Alumnus/a
Gender:
Location: Running from the weak side to the low post

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

Postby Theofaman » Sun Jun 06, 2010 1:43 pm

Κάποιο νεότερο για την ομιλία του Σηφάκη αύριο :?:
Theo(pame na)fam(e mprizoles)an!
User avatar
dexter
Venus Former Team Member
Posts: 2496
Joined: Wed Jan 09, 2008 11:50 pm
Academic status: N>4
Gender:
Location: springfield
Contact:

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

Postby dexter » Sun Jun 06, 2010 2:19 pm

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

την παρασκευή δεν ήταν? :smt017
http://foss.aueb.gr
always aim for for the sky for if you fail you can at least reach the clouds..
ALL BLACKS supporter..
http://www.bringthemback.org/
User avatar
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Postby The Punisher » Sun Jun 06, 2010 2:23 pm

Θα δώσει και μια ομιλία αύριο. Ορίστε οι λεπτομέρειες..
Στο πλαίσια της Σειράς Σεμιναρίων του τμήματός μας, θα διεξαχθεί τη
Δευτέρα 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
User avatar
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Postby The Punisher » Mon Jun 07, 2010 11:13 am

:-(

Το ερευνητικό σεμινάριο του Δρ. Ι. Σηφάκη
στο Τμήμα Πληροφορικής του ΟΠΑ,
το οποίο ήταν προγραμματισμένο για σήμερα
Δευτέρα 7/6ου στις 16.00, ματαιώνεται
User avatar
AnINffected
Gbyte level
Gbyte level
Posts: 1935
Joined: Fri Jul 30, 2004 7:12 am
Location: There and Back Again

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

Postby AnINffected » Mon Jun 07, 2010 1:37 pm

Ματαιώνεται;Δεν αναβάλλεται καν;
Κρίμα γιατί ακουγόταν ενδιαφέρον.
The Analytical Engine has no pretensions to originate anything. It can do whatever we know how to order it to perform (...)
Ada Lovelace


Θέλω και εγώ να παίξω D&D λέμε!!! :-( :-(
User avatar
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Postby The Punisher » Mon Jun 07, 2010 2:33 pm

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

Return to “Συνέδρια - Σεμινάρια”

Who is online

Users browsing this forum: No registered users and 2 guests