Master Sciences, Technique, Santé

Nom de l’UE : Connaissances et contraintes : Représentation, algorithmes et applications Nombre de crédits : 3 UFR de rattachement : UFR Informatique Responsables de l’UE : Emmanuel Coquery Tél : [phone] e-mail : [e-mail] Contact formation : Behzad Shariat Tél : [phone] e-mail : [e-mail] Enseignement présentiel : 15 heures Répartition de l’enseignement présentiel : Cours Magistraux 15 heures Autre(s) intervenant(s) : Mohand-Said Hacid
Contrôle des connaissances
Contrôle continu :	Examen terminal : coefficient 1
Type de l’UE Obligatoire : Oui Formation : Master Recherche informatique Parcours : Technologie de l’Information et Web Optionnelle : Non Place de l’UE dans le parcours : M2 semestre : S3 Modalités d’accès à l’UE (pré-requis conseillés) : non lesquels :
Programme – contenu de l’UE Cette UE comporte deux parties : Formalismes de représentation de connaissances (Mohand-Said Hacid)  Il s’agit d’explorer les formalismes de représentation de connaissances existants et se concentrer ensuite sur les logiques de description. Nous présenterons les syntaxes, sémantiques, les raisonnements et les applications possibles. Logiques objets (ex. : LIFE, F-Logic, …) Logiques de description : Syntaxe Sémantiques Raisonnements (subsomption, satisfiabilité, LCS, Matching, …), algorithmes Applications : en base de données, systèmes d’information, génie logiciel, informatique médicale, configuration, services Web, P2P, …) Partie 2 (Emmanuel Coquery) : Contraintes : Algorithmes et Techniques Cette partie vise à introduire formellement la notion de contraintes, en particulier à travers la programmation par contraintes, ainsi qu'à décrire un ensemble d'algorithmes et de techniques employés en programmation par contraintes. Nous aborderons les points suivants: Langage: Notion de domaine de contraintes, principes de la programmation par contraintes. Différents domaines de contraintes: domaines finis, réels/rationnels, ordres. Algorithmique et techniques de résolution: Algorithmes de filtrage: consistance de borne, d'arc, de chemin Contraintes globales Filtrage de contraintes par réécriture Compétences acquises Méthodologiques : Savoir définir un problème nécessitant des techniques avancées de représentation de connaissances et de modélisation de données. Savoir identifier les approches algorithmiques nécessaires et les algorithmes qui serviront de bases pour proposer des solutions a des problèmes spécifiques. Techniques : Utilisation d'outils formels Secteur d’activité concerné et compétences métier acquises :

Nom de l’UE : Systèmes d’information pervasifs et interopérables Nombre de crédits : 3 UFR de rattachement : UFR Informatique Responsables de l’UE : LAFOREST Frederique Tél : [phone] e-mail : [e-mail] Contact formation : Behzad Shariat Tél : [phone] e-mail : [e-mail] Enseignement présentiel : 15 heures Répartition de l’enseignement présentiel : Cours Magistraux 15 heures Autre(s) intervenant(s) : BENSLIMANE Djamal
Contrôle des connaissances
Contrôle continu:	Examen terminal : coefficient 1
Type de l’UE Obligatoire : Oui Formation : Master Recherche informatique Parcours : Technologie de l’Information et Web Optionnelle : Non Place de l’UE dans le parcours : M2 semestre : S3 Modalités d’accès à l’UE (pré-requis conseillés) : non lesquels :
Programme – contenu de l’UE Partie 1. Systèmes d'information Pervasifs Introduction Architectures des systèmes d’information distribués et pervasifs Trois niveaux de recherche en systèmes pervasifs Matériel et système Réseau Système d’information: découverte de services, gestion de données, context-awareness, adaptation des données, des interfaces utilisateurs et des services Exemples de projets pervasifs Conclusion Partie 2. Systèmes d'information interopérables Introduction générale à l'interopérabilité Problématique, Objectif, définitions Niveau d'interopérabilité Classification des hétérogénéités des données Principales approches d'interopérabilité Traducteurs - Languages Multi-bases (SQL étendu, Langage des prédicats) Fédération – Médiation – à base d'ontologie Etude générale de certaines architectures : SIMS, Disco, Observer … Techniques et Algorithmes de base d'intégration des schémas de base de données Méthode générale d'intégration de schémas Algorithmes d'intégrations Traitement de requêtes multi-sources Techniques de base : décomposition, transformation et fusion des résultats Cas des langages multi-bases Cas des schémas fédérés Compétences acquises Méthodologiques : étude et critique de systèmes de la littérature, bibliographie Techniques : architectures de systèmes distribués, mobiles et pervasifs, techniques de gestion de la mobilité(déconnexion, cache…), du contexte (capture, interprétation, modélisation), de l’adaptation (des interfaces, des services, des données), d’intégration de schémas, de requêtes multi-sources.