Search

84 results

résultats pour

Centre Pierre Naville, Laboratoire de sociologie (CPN)

… Health: Knowledge, Practices, Strategies Lucie Goussard, Guillaume Tiffon 01/01/23 Travailler Small Arrangements with … des chercheurs de l'industrie énergétique Lucie Goussard, Guillaume Tiffon 01/01/16 Travail et Emploi LEIBNIZ’ … Health: Knowledge, Practices, Strategies Lucie Goussard, Guillaume Tiffon 01/01/23 Travailler Small Arrangements with …

Published on: Wed 20/09/2023 - 07:25

Traitement de l’information et systèmes (DTIS)

… Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 12/01/23 Journal of Automated Reasoning … Wiener Filter to Learned Deconvolution Alice Fontbonne, Guillaume Druart 12/01/23 Sensors Fast & scrupulous: … Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 12/01/23 Journal of Automated Reasoning …

Published on: Wed 20/09/2023 - 07:25

Institut de Recherche sur les ArchéoMATériaux (IRAMAT)

… for the Palaeolithic site of Kozarnika Maryam Heydari, Guillaume Guérin 09/01/22 Quaternary Science Reviews The … edge of the Iranian Central Desert: Mirak (Semnan, Iran) Guillaume Guérin, Maryam Heydari 06/01/22 Journal of Arid … for the Palaeolithic site of Kozarnika Maryam Heydari, Guillaume Guérin 09/01/22 Quaternary Science Reviews The …

Published on: Wed 20/09/2023 - 07:25

Optique et techniques associées (DOTA)

… for vibrational nonequilibrium CO<inf>2</inf> radiation Guillaume Janodet, Ph Rivière, A. Soufiani 02/01/24 Journal … Wiener Filter to Learned Deconvolution Alice Fontbonne, Guillaume Druart 12/01/23 Sensors Bayesian inference of … for vibrational nonequilibrium CO<inf>2</inf> radiation Guillaume Janodet, Ph Rivière, A. Soufiani 02/01/24 Journal …

Published on: Wed 20/09/2023 - 07:25

Laboratoire de Génétique et biologie cellulaire (LGBC)

… Tifoun, Mourad Bekhouche, José M. De las Heras, Arnaud Guillaume, Sylvina Bouleau, Isabelle Guénal, Bernard … p53 mitochondrial localization Sevasti Manousakidi, Arnaud Guillaume, Caroline Pirou, Sylvina Bouleau, Bernard … Tifoun, Mourad Bekhouche, José M. De las Heras, Arnaud Guillaume, Sylvina Bouleau, Isabelle Guénal, Bernard …

Published on: Wed 20/09/2023 - 07:25

M2 Virtual Reality and Intelligent Systems

… et de suivi : Coordinator : Pedagogical team : Guillaume Bouyer (McF IBISC-ENSIIE), Guillaume Loup (McF,UEVE). Procedure and organisation : … team : Olivier STAB (Enseignant chercheur, Mines ParisTech) Guillaume Loup (McF, CNU 27, IBISC/UEVE). Procedure and …

Published on: Fri 17/01/2020 - 11:40

Dynamique des Cellules Tumorales (TCD)

… and histone deacetylases inhibitors Francesco Baschieri, Guillaume Montagnac 10/05/22 European Journal of Medicinal … and histone deacetylases inhibitors Francesco Baschieri, Guillaume Montagnac 10/05/22 European Journal of Medicinal …

Published on: Wed 20/09/2023 - 07:25

Talents, Research

Coq wins the Open Science Award for Open Source Research Software

… software to receive the ACM Software System Award in 2013. Guillaume Melquiond (Inria) is currently one of the eleven … software to receive the ACM Software System Award in 2013. Guillaume Melquiond (Inria) is currently one of the eleven …

Published on: Wed 16/02/2022 - 08:49

Laboratoire Méthodes Formelles (LMF)

… Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 12/01/23 Journal of Automated Reasoning … Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 12/01/23 Journal of Automated Reasoning …

Published on: Wed 20/09/2023 - 07:25