Votre recherche

2974 résultats trouvés.

résultats pour

Laboratoire Méthodes Formelles (LMF)

… de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie … de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie …

Article publié le:

M1 Ingénierie des réseaux et des systèmes – Voie alternance-apprentissage

… standards pour l'interconnexion des réseaux et des services informatiques. L'objectif de ce module est d'analyser avec … des spécificités des différentes architectures des réseaux informatiques et télécoms . notion de qualité de service . … standards pour l'interconnexion des réseaux et des services informatiques. L'objectif de ce module est d'analyser avec …

Article publié le:

M2 Formation à l'enseignement supérieur en Design

… et dialogue-questions), évalués par des jurys internes constitués de l'équipe pédagogique et de … et dialogue-questions), évalués par des jurys internes constitués de l'équipe pédagogique et de … et dialogue-questions), évalués par des jurys internes constitués de l'équipe pédagogique et de …

Article publié le:

Portrait de chercheur ou chercheuse, Recherche

Jean-Marc Aury : Les génomes à l’ère du Big data

… ils décident de la stratégie, des outils et des méthodes informatiques à adopter pour reconstituer la séquence. … ils décident de la stratégie, des outils et des méthodes informatiques à adopter pour reconstituer la séquence. …

Article publié le:

M2 Transformation Numérique pour l'Industrie

… et supervision des systèmes d'informations, des systèmes informatiques distribués et des objets connectés. Elle … entre la partie métier de l'entreprise et les services informatiques ou de recherche et développement. Les métiers … – Concepts et techniques de base utilisés dans les réseaux informatiques : connaissance du modèle OSI. Bibliographie : …

Article publié le:

Recherche

Repousser les limites de la précision calculatoire

… rigueur lorsqu’un calcul est effectué grâce à des systèmes informatiques. Le calcul formel, domaine de recherche de … rigueur lorsqu’un calcul est effectué grâce à des systèmes informatiques. Le calcul formel, domaine de recherche de …

Article publié le:

Vie de l'université, Vie étudiante-Vie de campus

Préparer sa rentrée à l’Université Paris-Saclay

… individuelle, un accès Wifi sur tous les campus, des salles informatiques en accès contrôlé et en libre accès, une … individuelle, un accès Wifi sur tous les campus, des salles informatiques en accès contrôlé et en libre accès, une …

Article publié le:

M2 Sciences des Données de Santé

… 2 L'objectif est de fournir les compétences statistiques et informatiques essentielles pour gérer, analyser et … 2 L'objectif est de fournir les compétences statistiques et informatiques essentielles pour gérer, analyser et …

Article publié le:

M1 Calcul Haute Performance, Simulation

… numérique) et en calcul distribué. GUYANCOURT Ce master s’adresse aux étudiants titulaires d’un diplôme équivalent à … simulation numérique. Appliquer les outils mathématiques et informatiques dans l'objectif de simuler des phénomènes … : Contenu : Objectifs : Maîtriser les bases des outils informatiques permettant la gestion de versions des sources …

Article publié le: