Master Informatique - Université de Bordeaux

aa

Anonymous (anonymous@undisclosed.example.com) — 2017-09-07T14:50:34+00:00

Advanced Algorithms

acid

Anonymous (anonymous@undisclosed.example.com) — 2025-12-11T14:50:32+00:00

Analyse, classification, indexation de données Responsable : Akka Zemmari Chargés de TD : * Groupe 1 Info (mercredi 10h15-12h15) : Jean-Philippe Domenger * Groupe 2 Info (jeudi 8h-10h) : Jean-Philippe Domenger * Groupe 3 Info + CMI ISI (lundi 8h-10h) : Akka Zemmari * Groupe 4 Info (jeudi 10h15-12h15):

ftlv

Anonymous (anonymous@undisclosed.example.com) — 2024-07-09T11:00:55+00:00

Master Informatique - Parcours Ingénierie de l'Informatique Candidatures pour septembre 2019 * Pour une entreprise: * Faire parvenir une fiche de poste à Isabelle Sand du service Formation Continue de l'université. * S'il est connu, indiquez le candidat que vous souhaitez recruté.

ia

Anonymous (anonymous@undisclosed.example.com) — 2025-12-11T14:54:06+00:00

Intelligence Artificielle Responsable : Akka Zemmari Chargés de TD : * Groupe 4, lundi, 14h00 - 16h00 : Mélodie Daniel * Groupe 2, lundi, 16h15 - 18h15 : Philippe Duchon * Groupe 3 et CMI OPTIM, jeudi, 14h00 - 16h00 : Victoria Bourgeais * Groupe 5, jeudi, 16h15 - 18h15 : Akka Zemmari *

if-aa

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:22:25+00:00

Advanced Algorithmics Responsables : Cyril Gavoille et Ludovic Hofer Ce cours du semestre 9 est optionnel pour les deux parcours et vaut 6 ECTS. Résumé L'objectif de cette UE est de balayer quelques techniques/approches algorithmiques pour résoudre des problèmes de toutes sortes. Analyser ces techniques pour comprendre pourquoi elles marchent, identifier leurs points forts et leurs faiblesses. Car en algorithmique tout est question de compromis: tel algorithme sera efficace pour telles donné…

if-agt

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:20:38+00:00

Advanced Graph Theory Responsables : Éric Sopena et Marthe Bonamy. Ce cours du semestre 9 est obligatoire pour AM et en option pour VL. Il vaut 3 ECTS. Résumé La théorie des graphes est un modèle très général qui permet de représenter des problèmatiques très variées, que ce soit dans les réseaux (de toute nature) mais aussi pour des structures hierarchisées comme les bases de données. La culture générale des problématiques de graphe que nous proposons dans ce cours ainsi que la connaissance …

if-anciens

Anonymous (anonymous@undisclosed.example.com) — 2021-11-26T13:27:41+00:00

Sur cette page, vous pourrez trouver des informations sur nos anciens élèves qui ont accepter de les partager. Cette page recense leur parcours après le master (et éventuellement leur formation initiale quand cela est pertinent) et donne éventuellement un lien vers leur page professionnelle. Le but est de donner un aperçu par l’exemple de ce à quoi mène le parcours et d’encourager les étudiants actuels à contacter les prédécesseurs dont le parcours les intéresse.

if-ang

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:47:03+00:00

Anglais Responsable : Youssef Benzoubair. Cette UE du semestre 10 est obligatoire et vaut 3 ECTS. Si vous disposez déjà d’un TOEIC, vous pouvez être dispensé de cette UE. Résumé Objectifs: Acquérir une maîtrise de l'anglais à l'écrit et l'oral afin de

if-cf

Anonymous (anonymous@undisclosed.example.com) — 2020-10-07T13:59:35+00:00

Conception Formelle Responsables : Alain Griffault et Vincent Penelle Ce cours du S8 est commun avec le parcours GL. Il vaut 6ECTS. Résumé Partie 1 (Alain Griffault) : Alta-rica (todo). Partie 2 (Vincent Penelle) : Page de ressources Cette partie du cours est consacrée à la spécification et la vérification de programmes en C grâce à la technique de calcul de Weakest Precondition, et fait pratiquer cette technique grâce au logiciel

if-da

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:16:26+00:00

Distributed Algorithms Responsable : Cyril Gavoille Cette UE du semestre 9 est obligatoire pour AM et en option pour VL. Elle vaut 3 ECTS. Résumé Objectifs : introduire l’algorithmique distribuée; présenter les différents modèles et contraintes du calcul distribué ; présenter et analyser quelques algorithmiques classiques du domaine ; concevoir des algorithmes s'exécutant sur des systèmes distribués

if-gsc

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T14:51:48+00:00

Game Synthesis & Control Responsables : Anca Muscholl et Nathanaël Fijalkow Ce cours du S9 est obligatoire pour VL et en option pour AM. Il vaut 6ECTS. Partie 1 (Anca Muscholl): Le cours est une introduction à la théorie des jeux pour la vérification et la synthèse de systèmes. On y aborde différents types de jeux : jeux à deux joueurs sur les graphes finis, jeux distribués, synthèse de contrôleurs.

if-iq

Anonymous (anonymous@undisclosed.example.com) — 2020-10-07T13:47:56+00:00

Informatique quantique Responsable : Adrian Tanasa Page du cours Ce cours du S9 est en option pour VL, et disponible en supplément au diplôme pour AM. Il vaut 3ECTS. Résumé L’information quantique et le calcul quantique sont l’étude de taches de traitement de l’information qui peuvent être accomplies en utilisant de systèmes quantiques et non pas classiques. Ainsi, un ordinateur quantique n’est pas simplement un ordinateur plus rapide sur lequel on va faire tourner un système d’exploitat…

if-iv

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:08:26+00:00

Introduction à la vérification Responsable : Anca Muscholl Ce cours du S8 est uniquement pour le parcours IF. Il vaut 6 ECTS. Résumé Le cours introduit des techniques de vérification automatique de systèmes : model-checking pour les systèmes finis (systèmes de transitions, logiques temporelles, vérification) et (in-)décidabilité pour les systèmes infinis (automates communicants, automates temporisés, réseaux de Petri,

if-lads

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:22:10+00:00

Lecture d’articles et documentation scientifique Responsable : Abdou Guermouche Cette UE du semestre 9 est commune à tout le master. Il vaut 3 ECTS. Résumé Objectifs : Lire un article scientifique. Identifier les ressources connexes à la problématique scientifique ciblée par l'article (réaliser une étude bibliographique).

if-ll

Anonymous (anonymous@undisclosed.example.com) — 2020-10-14T11:18:34+00:00

Logic and Languages Responsables : Anca Muscholl, Meghyn Bienvenu et Marc Zeitoun Ce cours du S9 est obligatoire pour AM et en option pour VL. Résumé Ce cours introduit la logique des modèles finis, tels que les mots, les arbres et les graphes fini, ainsi que des logiques temporelles utilisées en vérification. Nous présenterons également les logiques de description qui servent à représenter de manière formelle des connaissances d’un domaine particulier (e.g. médecine) pour améliorer l’i…

if-oc

Anonymous (anonymous@undisclosed.example.com) — 2020-10-16T14:34:29+00:00

Optimisation Combinatoire Responsables : Olivier Baudon Ce cours du S8 vaut 6ECTS. Résumé Partie 1 (Olivier Baudon) : Coloration de graphes Cette partie concerne les problèmes de la coloration de graphes, c'est à dire : - comment colorier les sommets d'un graphe de façon à ce que deux sommets voisins aient toujours des couleurs différentes ;

if-pdp

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T15:13:56+00:00

Projet de programmation Responsable : Philippe Narbel Cette UE est commune à tout le master et vaut 12 ECTS. Résumé L’UE consiste en la réalisation en groupe d’un projet de programmation à partir d’un objectif proposé par un client, et l’un des objets principaux de ce cours est de partir d’un problème peu défini, de le comprendre, et d’en proposer une implémentation.

if-rds

Anonymous (anonymous@undisclosed.example.com) — 2020-11-27T12:54:52+00:00

Rédaction de documentation scientifique Responsable : Anca Muscholl Cette UE du semestre 10 est obligatoire et vaut 3 ECTS. Elle ne nécessite pas la présence, et peut avoir lieu en même temps que le début du stage. Résumé Cette UE consiste à faire la présentation détaillée (incluant des preuves) d’un article de recherche. Il est encouragé que cet article soit en lien avec le stage réalisé, ou avec le groupe de travail auquel vous participez.

if-seminar

Anonymous (anonymous@undisclosed.example.com) — 2020-10-07T14:20:28+00:00

Seminar Responsable : Nicolas Bonichon Cette UE du semestre 9 est obligatoire pour AM et VL et vaut 3ECTS. Page moodle du cours Résumé Le but de ce cours est de familiariser les étudiants avec les séminaires de recherche, à la fois en tant que spectateur et en temps que présentateur. Les élèves y seront encouragés à assister au séminaires des équipes de recherche du LaBRI et à discuter de leur expérience. Ils devront également préparer deux présentation, une première sur un problème ouver…

if-stages-archives

Anonymous (anonymous@undisclosed.example.com) — 2021-11-17T12:45:37+00:00

Offres 2020-2021 reçues Académiques Équipe MF Vous pouvez trouver ici une liste des stages proposés dans l’équipe MF du Labri. Certains d’entre eux sont également notés plus bas (si on me les a communiqués avant le lien présent. Stage puis thèse à Lyon (traces d’exécutions et inférences de schémas de compilations polyédriques)

if-stages

Anonymous (anonymous@undisclosed.example.com) — 2022-01-21T13:16:31+00:00

Stages de master 2 Le semestre de printemps du M2 est entièrement dévolu à un stage qui peut-être soit un stage de recherche dans un laboratoire (en France ou à l’étranger), soit un stage en entreprise. Ce stage compte pour 24ECTS et doit être vu comme une première intégration dans le type d’emploi qui souhaite être poursuivi. Ainsi, un étudiant qui souhaite poursuivre en thèse sera fortement encouragé à faire un stage en lien avec la thèse envisagée (si thèse CIFRE, le stage peut être dans l’e…

if-sv

Anonymous (anonymous@undisclosed.example.com) — 2020-10-07T14:24:00+00:00

Software Verification Responsables : Vincent Penelle, Grégoire Sutre et Jérôme Leroux Ce cours du S9 est obligatoire pour VL et en option pour AM. Il vaut 6ECTS. Résumé Ce cours a pour but principal d’introduire des techniques classiques de vérification et de les implémenter dans un vérificateur de programmes (simples). L’outil réalisé au cours du semestre est capable de détecter des violation d’assertions sur des programmes dans un sous-langage du C (uniquement des entiers et pas de poin…

if

Anonymous (anonymous@undisclosed.example.com) — 2022-05-18T14:33:07+00:00

Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels) Responsable : Vincent Penelle Présentation Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la …

iis

Anonymous (anonymous@undisclosed.example.com) — 2026-04-02T11:30:48+00:00

Informatique pour l'Image et le Son Présentation L'image et le son numériques sont omniprésents dans notre environnement quotidien qu'il soit professionnel ou privé. Jeu vidéo, vidéo protection, recommandation musicale et génération de playlist, analyse d'image médicale, réalité virtuelle, réalité augmentée, autant d'exemples d'applications que nous pouvons rencontrer. Pour être acteur de ces développements et contribuer aux innovations dans ces domaines, il est indispensable de se spécialiser…

pfe_iis_2018_2019

Anonymous (anonymous@undisclosed.example.com) — 2019-05-09T07:21:42+00:00

Projets de Fin d'Etudes (PFE 2018 - 2019) - Master 2 IIS * [BRDFExplorer : prévisualisation efficace de BRDF] * Clients : Romain Pacanowski (), Pierre Bénard () * Étudiants : Emile Barjou, Christophe Caubet, Rémy Maugey et Maxime Valleron [ rapport] * [ Génération d'images de documents synthétiques à l'aide de réseaux de types GAN] * Clients : Boris Mansencal (), Nicholas Journet (…

pfe_iis_2019_2020

Anonymous (anonymous@undisclosed.example.com) — 2020-08-31T14:15:11+00:00

Projets de Fin d'Etudes (PFE 2019 - 2020) - Master 2 IIS * [ Transformation Sonore par Réseaux de Neurones Profonds] * Client : Pierre Hanna * Étudiants : Jérémi Bernard, Maxence Leveque, Camille Meyrignac et Gabriel Weil [rapport] * [BRDFExplorer : échantillonnage préférentiel par transport optimal] * Clients : Gaël Guennebaud et Romain Pacanowski * Étudiants : Gaëlle Braud, Panagiotis Tsiapkolis, Simon Tricoire et Adrien Veschambre

pfe_iis_2020_2021

Anonymous (anonymous@undisclosed.example.com) — 2021-09-07T07:52:06+00:00

Projets de Fin d'Etudes (PFE 2020 - 2021) - Master 2 IIS * [Analyse et Visualisation de Trajectoires 3D] * Clients : Arnaud Prouzeau, Vanessa P. Araya et Ambre Assor * Étudiants : Sofian Antri, Antonin Ayot et Adrien Celerier [ rapport] * [Bees for Life] * Client : Pascal Desbarats * Étudiants : Louis Gabriel Barrere, Mehdi Besse et Sebastien Granger [ rapport] *

pfe_iis_2021_2022

Anonymous (anonymous@undisclosed.example.com) — 2022-12-01T15:23:46+00:00

Projets de Fin d'Etudes (PFE 2021 - 2022) - Master 2 IIS * [ Optimisation et débogage de l’onglet “Sonification” de FluoSim] * Clients : Maxime Poret et Myriam Desainte-Catherine * [Développement d’une interface graphique pour les mappings données-sons] * Clients : Maxime Poret et Myriam Desainte-Catherine * [ Analyse de la posture par Deep Learning] * Clients : Kévin Réby et Marie Beurton Aimar * Étudiants : Guillaume Dubrasquet-Duval, Rodin Duhayon et Idris Dulau [rappo…

pfe_iis_2022_2023

Anonymous (anonymous@undisclosed.example.com) — 2023-05-05T14:10:41+00:00

Projets de Fin d'Etudes (PFE 2022 - 2023) - Master 2 IIS * [ Visualisation et traitements d’images de fond d'œil] * Client : Idris Dulau * Étudiants : Kalvin Andrade, Thibault Marciniak, Alexis Sopena [ rapport] * [ Colorisation interactive d’images] * Clients : Hernan Carrillo, Aurélie Bugeau, Michaël Clément * Étudiants : Angelika Coic, Josephine Foix, Chloe Neuville [ rapport] * [ Logiciel de recalage d’images 3D] * Client

pfe_iis_2023_2024

Anonymous (anonymous@undisclosed.example.com) — 2024-04-18T08:12:46+00:00

Projets de Fin d'Etudes (PFE 2023 - 2024) - Master 2 IIS * [ Reconstitution automatique de puzzles] * Client : Baptiste Hasbrouck (Deuzio) * Étudiant.e.s : Andrea Millasseau, Jason Morisse, Matthieu Nass et Thomas Thorignac [ rapport] * [ IIIF image viewer using WebGPU] * Client : Arnaud-Marie Gallardo (Thermo Fisher) * Étudiant.e.s : Benoît Boidin, Aurélie Casanova, Sébastien Lebreton

pfe_iis_2024_2025

Anonymous (anonymous@undisclosed.example.com) — 2025-05-28T12:17:31+00:00

Projets de Fin d'Etudes (PFE 2024 - 2025) - Master 2 IIS * [ Reconnaissance d’images de jeux de second main] * Client : Baptiste Hasbrouck (Deuzio) * Encadrante : Marie Beurton-Aimar * Étudiant.e.s : Corentin Seutin, Iban Oyharcabal, Anessa Diallo [rapport] * [ Optimisation du 4D Gaussian Splatting pour son utilisation en VR] * Client : Remy Mellet ( Metalograms) * Encadrant : Pierre Mézières * Étudiants : Lucas Brouet, Timothé Paolini, Nicolas Moulin

se

Anonymous (anonymous@undisclosed.example.com) — 2017-09-07T14:36:08+00:00

Software Engineering Website : Présentation Master Génie Logiciel de l'Université de Bordeaux dispensé à Hô Chi Minh Ville au Vietnam. UEs Advanced Algorithms

stagem1_rapports

Anonymous (anonymous@undisclosed.example.com) — 2018-09-10T08:46:20+00:00

Rapport de stage Généralités Objectif Le rapport de stage est un mémoire (et non un manuel) faisant l'analyse de votre stage. Il a pour but de permettre aux enseignants de comprendre ses objectifs et son déroulement. Votre travail sera évalué principalement sur la base de ce document, mais aussi grâce à l'avis de vos encadrants dans l'entreprise et lors de votre présentation orale. Le mémoire de stage n'est en aucun cas un manuel de maintenance, ni une documentation technique. Si ce type de t…

stagem1

Anonymous (anonymous@undisclosed.example.com) — 2018-12-17T09:32:37+00:00

Stages optionnels de M1 Les stages de M1 en entreprise ou en laboratoire de recherche sont de trois types: * le plus courant : stage d'été * stage à temps partiel au 2ème semestre * stage long au 2ème semestre, réservé à des cas particuliers : redoublants ayant déjà validé le 2ème semestre, étudiants sous contrat de formation continue

start

Anonymous (anonymous@undisclosed.example.com) — 2025-11-27T09:13:53+00:00

Parcours issus du tronc commun informatique * Calcul Intensif et Sciences des Données * Resp. : Abdou Guermouche * Génie Logiciel * Resp. : Philippe Narbel * Informatique Fondamentale : Algorithmes et modèles & Vérification logicielle * Resp. : Vincent Penelle * Ancienne page * Informatique pour l'Image et le Son * Resp. : Pierre Bénard * Réseaux de Communications et Internet * Resp. : Damien Magoni * Systèmes Autonomes (robots, drones) et interactions…