Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point.

Slides:



Advertisements
Présentations similaires
La GNU/GPL v3 du point de vue des administrations publiques _______ L'importance des SaaS Pascal Verniory responsable du service juridique du Centre.
Advertisements

P.T. 2012/2013 Mise en œuvre de Prolog.
Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt Outils.
Journée projet CGP2P Laboratoire ID / Projet APACHE (URM 5132) Equipe G3 Grappe & Grille de Grappe 3 Enseignant-Chercheurs 7 Doctorants DEAs.
Graphes et Applications Thème de léquipe « Combinatoire et Algorithmique » LaBRI – janvier 2008.
La machine virtuelle virtuelle utopie et/ou réalité ?
Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.
Département Informatique Responsable :M. Huchard Responsables adjoints : A. Jean-Marie, F. Koriche, P. Séébold.
Les GDR d'animation STIC Coordination inter-GDR Luc Bougé, IRISA/ENS Cachan Assemblée générale Specif, Grenoble, 18 janvier 2002.
Congrès SPECIF janvier 2002 Sur la politique scientifique de lINRIA Bernard Larrouturou
La Programmation Logique: PROLOG
Indexation vidéo Indexation multimédia
1.
Visualisation d’information interactive 5 : Graphes
Navigation Interactive dans les documents
Navigation Interactive dans les documents Brigitte Grau et Jean-Paul Sansonnet J.P. Fournier, N. Hernandez, M. Hurault-Plantet, J-C. Martin, G. Pitel,
Projet OADymPPaC Réunion « debriefing » nov 2004
BIENVENUE aux JFPC 2007 Pierre Deransart
Yann SEMET Projet Fractales, INRIA Rocquencourt
Projet 4info.
Visualisation d’applications industrielles du langage NCL en Java.
2 avril 2008Journées Deffontaines. Session 3 10 Synthèse des contributions de la session 3 Projets de territoires : acteurs, recherche et développement.
Frédéric Amblard, Guillaume Deffuant – Cemagref LISC 22 Octobre 2002 – Table ronde Simulation AFH Nantes SimExplorer: un outil logiciel daide à lexploration.
Rapport de TER 2002 R₫alisation d'un site web dynamique en PHP / MySql
20 ans de recherches communes avec Gérard Ferrand, et un peu plus
Projet informatique : optimisation du déplacement d’un robot
Propagation d’une onde thermique dans une barre
La Bioinformatique à Nancy
COMORE Contrôle et Modélisation de Ressources Renouvelables
La résolution de la référence et son évaluation: un Atelier de Traitement de la Référence mettant en œuvre les « représentations mentales » Andrei Popescu-BelisISSCO,
1. HISTORIQUE Origine PROLOG : PROgrammation LOGique : SIMULA 67
Karim-Cyril Griche LSR/IMAG
Marie-Laure Potet et Yves Ledru(LSR/IMAG)
Présenté par: Amélie Gaudreau Groupe:601 1 er décembre 2010.
SCHEMAS ANIMES Avec Cabri-Géomètre et REGRESSI Yves Cortial
Programmation logique Le Langage PROLOG
Logiciels libres et Carrefour pédagogique Un premier pas vers un renouveau techno- pédagogique... Daniel Ricard et Richard Ayotte Janvier 2005.
Jacques Nicolas INRIA /IRISA Rennes
Soutenance de stage 16 Mai au 5 Août 2011
Soutenance de stage 16 Mai au 5 Août 2011
Activités développées RTP 12 : Information et connaissance : "découvrir et résumer" Actions spécifiques et équipes-projets associées Objectifs thématiques.
UML.
Master 1 en informatique Juin 2007 Visualisation d'un ensemble convexe en 2D et en 3D pour la programmation linéaire 2 / 30.
1 Rencontres IrisaTech Modélisation formelle de systèmes embarqués et applications Programme IntroductionJean-Pierre Talpin Composants riches et modélisation.
PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.
Introduction à Visual Studio C++ (VC++)
1 École des Mines de Saint-Etienne. 158, cours Fauriel Saint-Etienne Cedex 2. Tél Fax Jean-Jacques Girardot
PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.
PROJET CAPS Compilation, Architecture, Parallélisme et Système.
Linux (et le logiciel libre) à l'eivd
Optimisation des horaires de personnel
ARP 2002–2005 Comité de direction 28 mars ARP 1998– équipes 25 MENRT, 60 CNRS, 25 INRIA, 10 GET Liste de diffusion: 600 adresses Structure.
GT4 Rupture du Bois Nom du Laboratoire / Equipe Nombre de permanents : Logo Nombre de doctorants : Nombre de post-docs : Thématiques développées en mécanique.
Projet SIAMES Activités de recherche IRISA Campus de Beaulieu Rennes Cedex.
Le grapheur Classe de 11e année de Mme Nadia. Introduction au logiciel le grapheur Le Grapheur et sa Calculatrice Scientifique gratuite en ligne, vous.
L’ALGORITHMIQUE DANS LE PROGRAMME DE SECONDE Nouvelle Calédonie 2010.
1 Journée GDR GPL --- Ingénierie des Exigences octobre 2015 Ph. Dhaussy Philippe Dhaussy Univ. Européenne de Bretagne Lab-STICC UMR CNRS 6285 Equipe.
Programmation par contraintes Réalisé par: WETCHA Chaima MOKDED Mohamed Ali FIA3-GL-AL 1 1.
Étapes pour la Programmation du 68HC11 I. Écriture du programme dans un fichier *.a11 II. Le programme est compilé (traduit en langage machine) III. Le.
Institut Français du Pétrole Département Mathématiques Appliquées 1 Calcul Scientifique (13 ingénieurs, 1 postdoc, 6 thésards) Statistique et analyse de.
Sciences de la Vie et de la Terre. Horaires de SVT Première : 3h + 1h TPE (coef 2 – épreuve en première) Terminale : 3h30 + 2h si spécialité SVT.
Question 1  Différence entre l’apprentissage individualisé et personnalisé (Connac, 2012)  La personnalisation de l’apprentissage est incontournable.
1 Journées Scientifiques novembre 2003 MoMaS EDF Electricité de France Multi Domaines Simulation Multi Domaines Laurent Loth - Andra.
Nouveaux programmes de mathématiques cycles 3 et 4
1 A. Cornuéjols Introduction à l’intelligence artificielle Introduction à l’Intelligence Artificielle (Cours n°2) Recherche non informée dans les graphes.
JOURNÉE CALCUL ET SIMULATION DE L'UNIVERSITÉ PARIS SUD Organisée par le Groupe de Travail Informatique Scientifique de Paris Sud.
Traitement Numérique du Signal : présentation de l’UE Module EPL9AA02 Philippe RAVIER.
Le Volet Accessibilité dans le projet « Refonte Site Web » de la Cité des Sciences et de l’Industrie Présenté par Mme Si Merabet – Abdelhadi Fatima Zohra.
1 Axe Modélisation Aérodynamique et Transferts Historique : Une partie de l’équipe ”Ecoulements et Transferts” du LaTEP (EA 1932) Composition : * 2 PR.

Transcription de la présentation:

Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point Projet Contraintes INRIA Rocquencourt Th me Gnie logiciel et calcul symbolique INRIA

Franois Fages Fvrier 2002 Equipe •Responsable scientifique: Franois Fages •Conseiller scientifique: Philippe Codognet (Univ. Paris 6) •Pierre Deransart •Jean-Claude Sogno •Collaborateurs extrieurs: Frdric Benhamou (Univ. Nantes), Daniel Diaz (Univ. Paris 1), Grard Ferrand (Univ. Orlans) •Doctorants: Emmanuel Coquery, Sorin Craciunescu, Ludovic Langevine, (Sylvain Soliman) --- Yoann Fabre, Luc Hernandez, (Nadine Richard).

Franois Fages Fvrier 2002 Langages concurrents avec contraintes Langage LCC (« Linear Concurrent Constraint Prog. ») mod le d ’ excution ractif combiner contraintes et changement d ’ tats GNU-Prolog (Daniel Diaz) •Compilateur Prolog en code natif •Propagation de contraintes sur les domaines finis Typage des programmes logiques avec contraintes •logiciel TPLP

Franois Fages Fvrier 2002 Solveurs de contraintes • Contraintes sur les domaines finis (GNU-Prolog) • Contraintes globales • Programmation linaire • Contraintes flexibles (valuation dans demi-anneaux) • Recherche locale, mta-heuristiques Applications: probl mes d ’ optimisation combinatoire

Franois Fages Fvrier 2002 Environnement de mise au point Projet RNTL OADymPPac (ex projet Esprit Discipl) • Format de trace gnrique de la programmation par contraintes Format d ’ change XML avec les outils de visualisation Visualisation 2D et 3D des domaines et de l ’ arbre de recherche Logiciel CLPGUI • Visualisation 2D-3D et interaction avec le solveur

Franois Fages Fvrier 2002 Consoles de contrôle et visualisation

Franois Fages Fvrier reines-ff 1 re solution

Franois Fages Fvrier 2002 Vue 3D de l’abre de recherche