ΑΠΟ-ΓΝΩΣΗ

Πολλές φορές έχει τεθεί το ερώτημα: Σε τι οφείλεται η κατάντια της σημερινής ελληνικής κοινωνίας, η απαξίωση του ενός μετά τον άλλο παραδοσιακών θεσμών;
Με αφορμή και τα πρόσφατα γεγονότα το ερώτημα γίνεται πάλι επίκαιρο.
Η απάντηση για μένα είναι μια: ΕΛΛΕΙΨΗ ΠΑΙΔΕΙΑΣ. Και όταν μιλάμε για Παιδεία δεν εννοείται Παιδεία μόνο ως Γνώση. Εννοείται Παιδεία στην Κοινωνική Συμπεριφορά, στον Τρόπο Ζωής. Ένας μορφωμένος άνθρωπος δεν είναι ο άνθρωπος που έχει μόνο γνώσεις και δεξιότητες. Είναι ο άνθρωπος που νοιάζεται για το συνάνθρωπό του, που δεν βλάπτει τους άλλους για το ατομικό του συμφέρον, που δεν θυσιάζει τα πάντα στο βωμό του κέρδους. Είναι ο καλοπροαίρετος άνθρωπος, που χωρίς παρωπίδες μπορεί να κρίνει, να παραδεχθεί ότι έσφαλε, να επανορθώνει και να προσπαθεί να γίνεται ολοένα καλύτερος.
Τέτοια Παιδεία έχει ανάγκη η σημερινή Ελληνική κοινωνία!

PhD thesis

My PhD defense took place last Friday, February 15th at NTUA. I thank from the bottom of my heart all people that supported and helped me during my 5 year PhD studies. The title of my thesis is "Modeling and Verification of Mobile Systems using Algebraic Specification Techniques" and deals with modeling of mobile systems as Mobile Observational Transition Systems and CafeOBJ algebraic specification language and formal verification of safety properties of them using simultaneous induction.

SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE SYSTEMS

www.imar.ro/~diacon/sinaiaschool.html

HP vs DELL aftersales support

Είναι γνωστό ότι η αξιοπιστία και σοβαρότητα μιας εταιρείας, ιδιαίτερα στο χώρο της υψηλής τεχνολογίας, κρίνεται κατά ένα μεγάλο βαθμό στο λεγόμενο after sales support. Συγκρίνοντας λοιπόν δύο από τις μεγαλύτερες εταιρείες του χώρου, τη DELL και την HP, και έχοντας προσωπική εμπειρία, κατέληξα στο συμπέρασμα ότι η διαφορά τους είναι αντίστοιχη με τη διαφορά μέρας (DELL) με τη νύχτα (HP).
Πριν δυόμιση χρόνια έκανα το λάθος και έδωσα 1800 Euros για ένα Pavilion zd8179ea, θεωρώντας ότι η HP είναι η καλύτερη επιλογή. Το μηχάνημα λειτουργούσε άριστα, αν εξαιρέσουμε ορισμένα, γνωστά κατά την αγορά του μειονεκτήματα (βάρος, θερμοκρασία) για τα 2 χρόνια. Τότε έκανε την εμφάνιση της μια κάθετη κίτρινη γραμμή στο αριστερό άκρο της οθόνης. Κάνοντας search σε forums διαπίστωσα ότι δεν ήμουνα ο μόνος με αυτό το πρόβλημα. Αντίθετα, υπήρχε μια γενική κατακραυγή για τη σειρά Pavilion 8000. Αποφάσισα να παραβλέψω το πρόβλημα, καθότι δεν ήταν και τόσο ενοχλητικό για την δουλειά μου. Μετά από 2 μήνες εμφανίσθηκε και δεύτερο πρόβλημα, αυτή τη φορά με την onboard κάρτα γραφικών. Γνωστό και αυτό το πρόβλημα στα forums. Θεωρώντας λοιπόν την HP σοβαρή εταιρεία, πήρα τηλέφωνο στο τεχνικό της τμήμα. Οι άνθρωποι ούτε λίγο, ούτε πολύ μου είπαν ότι αφού το μηχάνημα δούλευε τον πρώτο χρόνο που είναι στην εγγύηση χωρίς πρόβλημα, δεν φταίει η HP, παρόλο που στα forums γίνεται χαμός και όλοι κλαίνε τα λεφτά τους.
Η DELL σε αντίστοιχο πρόβλημα (κάηκαν οι πυκνωτές στο board) παρότι εκτός εγγύησης, ήρθαν την επόμενη μέρα και την αντικατέστησαν χωρίς χρέωση....
ΜΑΚΡΙΑ ΑΠΟ ΤΗΝ HP