Votre recherche

820 résultats trouvés.

résultats pour

Laboratoire Méthodes Formelles (LMF)

… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS … behavior change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability … site web du labo https://lmf.cnrs.fr Description L'IPSIT (Ingénierie et Plateformes au Service de l'Innovation …

Article publié le: mer 20/09/2023 - 07:25

WID, le Workshop sur l'Informatique Durable dans l'enseignement

… développement durable est devenu un axe majeur de réflexion et d'action, il est apparu important à la GS ISN de … une journée de réflexion pour discuter et échanger à propos des pratiques déjà mises en place mais aussi pour identifier … en travaux pratiques par les étudiants pour résoudre des systèmes différentiels. Nous avons choisi de faire …

Article publié le: jeu 11/04/2024 - 07:49

Recherche

Ambitions quantiques : positionner la France à la pointe des technologies

… Ambitions quantiques : positionner la France à la pointe des technologies Ambitions quantiques : positionner la France à la pointe des technologies Recherche (Cet article est issu de  L'Édition n°18 ) Tour d’horizon de … perturbations extérieures qui affectent inévitablement les systèmes physiques. Elle peut rapidement être perdue et …

Article publié le: ven 27/05/2022 - 10:04

M2 Droit international et européen des droits fondamentaux

… M2 Droit international et européen des droits fondamentaux M2 Droit international … 2 La formation est axée autour d'une analyse précise des systèmes de protection internationale et européenne des …

Article publié le: ven 17/01/2020 - 11:40

M2 Communication and data engineering

… Master 2 Il s'agit d'un parcours délocalisé à Hanoi, Vietnam, en partenariat avec l'University of Engineering and … de haut niveau orienté recherche se situe dans le domaine des sciences et technologie de l'information et des … National University (VNU-UET) Laboratoire des Signaux et Systèmes Advanced Institute of Engineering and Technology …

Article publié le: ven 17/01/2020 - 11:40

Talents

Wendy Mackay reçoit le ACM SIGCHI Lifetime Research Award

… Wendy Mackay reçoit le ACM SIGCHI Lifetime Research Award Wendy Mackay reçoit le ACM SIGCHI … Ex-Situ , commune au Laboratoire interdisciplinaire des sciences du numérique (LISN - Univ. … la façon dont nous percevons le rôle de l'IA dans les systèmes interactifs. Contrairement aux approches …

Article publié le: ven 12/04/2024 - 07:58

Portrait de chercheur ou chercheuse, Recherche

Hadi Quesneville : La face cachée du génome

… génomique-info (URGI - Université Paris-Saclay, Inrae) et vient d’être récemment nommé Administrateur des données scientifiques de l’Inrae. Précurseur de la … aussi une expertise en développement de logiciels, dans les systèmes d’informations et dans l’intégration de données. « …

Article publié le: ven 18/12/2020 - 17:37

Portrait de chercheur ou chercheuse

Basile Gallet : Surfer sur la dynamique des fluides

… Basile Gallet : Surfer sur la dynamique des fluides Basile Gallet : … plus la puissance des supercalculateurs pour résoudre des systèmes rendus incroyablement complexes par la diversité de …

Article publié le: ven 26/02/2021 - 12:38

M2 Matériaux en films minces et surfaces - Management industriel (apprentissage)

… Contexte Les surfaces jouent un rôle déterminant en science des matériaux. Leur étude, couplée à la mise au point de … situe dans le périmètre de la Graduate School Sciences de l’ingénierie et des systèmes .  Dans un écosystème unique regroupant centres …

Article publié le: ven 17/01/2020 - 11:40

Recherche

Explorations au cœur du système reproducteur

… Explorations au cœur du système reproducteur Recherche Cet article est tiré du numéro 20 de L'Édition . La … gamète femelle (ovule), porteurs de l’information génétique des individus parents. Lorsque les deux gamètes se … entre différentes espèces. « C’est en comparant différents systèmes que l’on extrait les mécanismes propres et …

Article publié le: mer 08/02/2023 - 17:00