Search

Automatically identifying and categorising security-threatening computer bugs

… But Robust Reachability Can Tell the Difference . 33rd International Conference on Computer-Aided Verification … But Robust Reachability Can Tell the Difference . 33rd International Conference on Computer-Aided Verification …

Published on: Thu 10/07/2025 - 08:35

Institut Farman (FARMAN)

… laboratoire Classifications 3 : Engineering 1 : Materials Science Nombre de documents 3 … Institut Farman (FARMAN) ENS … laboratoire Classifications 3 : Engineering 1 : Materials Science Nombre de documents 3 … Institut Farman (FARMAN) …

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

M1 Artificial Intelligence

… This course requires good bases in mathematics and computer science: Probability and statistics Linear algebra … of Things represent one of the major elements of our life in the next decades. Humans, Robots, Drones, vehicles … of Things represent one of the major elements of our life in the next decades. Humans, Robots, Drones, vehicles …

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

The Cahiers de l'Institut Pascal: a look back on thematic research programmes

… Open access In collaboration with the publisher EDP Sciences and the Department of Libraries, Information and Open Science at Université Paris-Saclay, the Cahiers are diamond … Open access In collaboration with the publisher EDP Sciences and the Department of Libraries, Information and …

Published on: Tue 18/07/2023 - 10:14

Bérengère Dubrulle rewarded by the American Physical Society Fellowship

… innovative contributions in the application of physics to science and technology. This year, Bérengère Dubrulle, a … 2017 and the Lewis Fry Richardson Medal by the European Geosciences Union in 2021. She was named Female Scientist of the Year in 2022 by the French Academy of Sciences, who bestowed her with the Irène Joliot-Curie …

Published on: Thu 26/10/2023 - 08:09

M2 Mobilité Durable, Transition et Société

… économique et sociale, aménagement-géographie, gestion, sciences. Dernière année d’école d’ingénieurs et de … des politiques environnementales à différentes échelles (internationale, nationale, locale.). La deuxième partie … Introduction Fondements théoriques des enquêtes en sciences sociales Planifier une enquête qualitative Méthodes …

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

Dark energy, the mystery challenging cosmology

… objects ," says Étienne Burtin, a member of the international group that is working on the instrument and … (DAp - Univ. Paris-Saclay/CEA) and a member of the international consortium of over 2,500 scientists working on … objects ," says Étienne Burtin, a member of the international group that is working on the instrument and …

Published on: Wed 14/05/2025 - 08:37

Wendy Mackay: People and computers, a pleasure shared

… - Université Paris-Saclay, CNRS) . This researcher, who is internationally renowned in her field, is a member of the … early November 2020, she also received the Suffrage Science Award from the MRC London Institute of Medical Sciences , which recognises women's achievements in Science, …

Published on: Tue 07/04/2020 - 08:42

Miho Janvier : Exploring solar storms

… We are paid from public funds, so it is important to share science and our knowledge with the whole social body. … concluded. There is no doubt in Miho Janvier’s mind: science is a vocation and a passion. She is one of the 9,000 … We are paid from public funds, so it is important to share science and our knowledge with the whole social body. …

Published on: Tue 14/04/2020 - 12:52

Concrete research for improved understanding of cement

… still remains a major obstacle today to the progress of the science and technology surrounding cement. “It’s a very … E. Trizac, E. Del Gado. The physics of cement cohesion , Science Advances, 7, eabg5882 (2021). … Concrete research … still remains a major obstacle today to the progress of the science and technology surrounding cement. “It’s a very …

Published on: Tue 31/08/2021 - 13:51

Colloque "Écrire l’histoire du harcèlement sexuel sur la longue durée : Nommer, dénoncer, représenter, mettre en image ou en musique"

… sur le site de la MSH PARIS SACALY Arts & culture Research Science and society 12/09/2021 12/10/2021 Atelier - workshop Arts & culture Recherche - Research Sciences et société - Science & society Tout public Public Tout public Type …

Published on: Thu 18/11/2021 - 15:05

Colloque AVISA : Écrire l’histoire du harcèlement sexuel sur la longue durée : Nommer, dénoncer, représenter, mettre en image ou en musique.

… ). Arts & culture Research Science and society 12/10/2021 12/11/2021 Atelier - workshop Arts & culture Recherche - Research Sciences et société - Science & society Tout public Public Tout public Type …

Published on: Thu 18/11/2021 - 15:05