-
PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES
XML (eXtensible Markup Language) is a current standard format for exchanging semi-structured data, which has been applied to web services, database, research on formal... -
Clinical microbiology and mass spectrometry
Until now, bacterial and fungal identification has been based on biochemical characterization of microorganisms. The Matrix-Assisted Laser Desorption/Ionization Time... -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre... -
Un traitement sémantique de la polysémie lexicale dans le domaine du dialogue...
Colloque avec actes et comité de lecture. nationale.
