Esta página foi traduzida por sistemas de tradução de máquina de SYSTRAN. A tradução de máquina não é ainda uma tecnologia perfeita, desculpa por favor os erros potenciais contidos na página. Você pode encontrar uma versão original do texto na seguinte língua:
Trabalhos
Encontrará aqui diversos trabalhos realizados aos cursos dos meus estudos, de interesse mais ou menos grande.
Estágios, Relatórios de informática
- Diversos documentos relativos o meu a estágio de controlo sobre as extracções de informação em grandes representações gráficas e a investigação quasi-synonymes.
- TIPE de informática, realizado com Arnaud Boulan, sobre os códigos correctores de erros: códigos convolutifs aos turbocódigos
Projectos informáticos
- Um compilador de umalinguagem funcional, concebida no âmbito do curso de compilação de P. Cousot.
- Exposição de vulgarização sobre bases de dados e os trabalhos de tese de Matthieu Objois e eu mesmo.
Expostos sobre artigos de investigação
- Apresentação do artigo W.H. Hesselink; Predicate-Transformer Semantics fora Geral Recursion; Publicou Informatica 26, 309-332 (1989).
- Apresentação do artigo R. Meo; Theory fora Dependence Valer; ACM Transacções ele Database Systems 25, 380-406 (2000), realizado com Marco desliza
- Apresentação do artigo T. Calders, R.T. Ng, J. Wijsen; Searching for dependencies em múltipla abstracção levels; TODS 27 (3), 229-260 (2002), réalisée avec Matthieu Objois.