Αυτή η σελίδα έχει μεταφραστεί από τα συστήματα αυτόματης μετάφρασης του SYSTRAN. Η αυτόματη μετάφραση δεν είναι ακόμα μια τέλεια τεχνολογία, παρακαλώ συγχωρήστε τα πιθανά σφάλματα που περιλαμβάνονται στη σελίδα. Μπορείτε να βρείτε μια αρχική έκδοση του κειμένου στην ακόλουθη γλώσσα:
Εργασίες
Θα βρείτε εδώ τις διάφορες εργασίες που πραγματοποιούνται στα μαθήματα των μελετών μου, του περίπου μεγάλου ενδιαφέροντος.
Περίοδοι κατάρτισης, υποβολές εκθέσεων της πληροφορικής
- Διάφορα έγγραφα σχετικά με την περίοδο κατάρτισης του ελέγχου μου στην εξαγωγή της πληροφορίας μέσα μεγάλοι graphes και την έρευνα quasi-synonymes.
- TIPE της πληροφορικής, πραγματοποιημένος με Arnaud Boulan, στους διορθωτικούς κώδικες των σφαλμάτων: κώδικες convolutifs στους κώδικες
Πληροφορικά προγράμματα
- Ένας μεταγλωττιστής μιας λειτουργικής γλώσσας, που συλλαμβάνεται στα πλαίσια του μαθήματος της μεταγλώττισης Π Cousot.
- Δήλωση της εκλαΐκευσης σε βάσεις των δεδομένων και τις εργασίες της διατριβής Matthieu Objois και ο ίδιος.
Εκτεθειμένος σε άρθρα της έρευνας
- Παρουσίαση του άρθρου W. $χ Hesselink; Predicate-Transformer Semantics μακριά Γενικός Recursion; Δημόσιευσε Informatica 26, 309-332 (1989).
- Παρουσίαση του άρθρου Ρ Meo; Theory μακριά Dependence Αξίζω; ACM Συναλλαγές αυτός Database Systems 25, τα 380-406 (2000), που πραγματοποιείται με Marc γλιστρούν
- Παρουσίαση του άρθρου Τ. Calders, Ρ Τ. Ng, J. Wijsen; Searching συνείδηση dependencies at πολλαπλή αφαίρεση επίπεδα; TODS 27 (3), 229-260 (2002), réalisée avec Matthieu Objois.