Knowledge Tree

researcher / Laurent Trilling

Laurent Trilling

at_id:

orcid_id:

Disciplines:

Biological and medical engineering

Cognitive sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Test de logiciels synchrones avec la PLC

Conception et mise en oeuvre d'un outil déclaratif pour l'analyse des réseaux génétiques discrets

Approches statistiques pour l'analyse de données des puces à ADN

Modélisation informatique et analyse prédictive des interactions protéine-protéine chez Caenorhabditis elegans

Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique

Etude des rapports entre linguistique et logique concernant la dimension temporelle : un modèle de transition

Hypotheses Domains System : un système d'inférence pour la construction de preuves naturelles et la production d'hypothèses

Contribution a l'analyse de la methode des tableaux

Contribution a la compilation de prolog par evaluation partielle

Mipap : modele d'interpretation parallele pour prolog

Construction de reponses cooperatives, a l'aide de contraintes d'integrite, dans des bases de donnees logiques

Lacomprehension de petites annonces dans le systeme-expert havane

Ally, un systeme logique pour la generalisation en apprentissage automatique

Havane : un systeme-expert en petites annonces, specification et realisation de l'interface usager