Questa pagina è stata tradotta dai sistemi di traduzione automatica SYSTRAN. La traduzione automatica non è ancora una tecnologia perfetta, prego scusa gli errori potenziali contenuti nella pagina. Potete trovare una versione originale del testo nel seguente linguaggio:
Lavori
Troverete qui diversi lavori realizzati ai corsi dei miei studi, d'interesse più o meno grande.
Tirocini, relazioni d'informatica
- Diversi documenti riguardanti il mio tirocinio di controllo sull'estrazione d'informazione in grandi grafici e la ricerca di quasi-synonymes.
- TIPE da informatica, realizzato con Arnaud Boulan, sui codici corretti di errori: codici convolutifs ai turbo-codici
Progetti informatici
- Un compilatore di un micro-linguaggio funzionale, concepito nel quadro del corso di compilazione di P. Cousot.
- Relazione di divulgazione su basi di dati ed i lavori di tesi di Matthieu Objois ed io stesso.
Esposti su articoli di ricerca
- Presentazione dell'articolo W.H. Hesselink; Predicate-Transformer Semantics lontano General Recursion; Pubblicò Informatica 26, 309-332 (1989).
- Presentazione dell'articolo R. Meo; Theory lontano Dependence Values; ACM Transactions si Database Systems 25, 380-406 (2000), realizzata con Marc scivola
- Presentazione dell'articolo T. Calders, R.T. Ng, J. Wijsen; Searching foro dependencies at astrazione multipla livelli; TODS 27 (3), 229-260 (2002), réalisée avec Matthieu Objois.