Centre de recherche en informatique
Mathématiques et systèmes
A/315/CRI :
- Acquisition de connaissances à partir de testes, vers l'élaboration d'une ontologie du droit
- IN : 5ème Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2000, Lyon, France, 10-13 Septembre 2000, pp.211-221.
- Guiraude Lame
Articles soumis :
- Knowledge acquisition from texts towards an ontology of French law EKAW.
- IN : Workshop on ontologies and texts, EKAW'2000, Juan-les-Pins, France, 1er octobre 2000
- Guiraude Lame
Autres articles et rapports techniques :
- Efficient Intraprocedural Array Bound Checking.
- Novembre 2000
- Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell (LIT ENST Bretagne)
- Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées.
- Juin 2000
- Youcef Bouchebaba
Rapports internes :
- Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées,(version étendue).
- Mars 2000
- Youcef Bouchebaba
- Typage & Elimination des sous-expressions communes (Contribution à l'optimisation de programmes scientifiques).
- RAPPORT DE STAGE
- Septembre 2000
- Pham Dinh Son, Fabien Coelho
- Une méthode de hiérarchisation de termes.
- RAPPORT DE DEA
- Août 2000
- Christophe Charles
- Une méthode de corrélation des textes juridiques
- RAPPORT DE DEA
- Août 2000
- Christophe Chotteau
- Optimization of array bound checking.
- RAPPORT DE 1ÈRE ANNÉE
- Octobre 2000
- Thi Viet Nga Nguyen
- Serveur de Nom de Domaine dans Internet (DNS) - Berkeley Internet Name Domaine (BIND).
- Cours IAR2M
- 4-5 janvier 2000
- Ronan Keryell
- Du fonctionnement d'Internet.
- Cours IAR2M
- 6 décembre 1999
- Ronan Keryell
- Administration Unix - Le cas de Solaris 7.
- Cours IAR2M
- 13 janvier 1999
- Ronan Keryell
- PPP Point to Point Protocol - Mise en Oeuvre.
- Cours IR2M
- 7 janvier 1999
- Ronan Keryell
- Administration et développement Web -DRAFT
- RAPPORT DE STAGE
- Octobre 1999
- Benjamin Schwarz