Les résultats de recherche pour :

Ensemble de Mandelbrot (en orange) et les lignes de champs (en gris) créées par cet ensemble à l'extérieure de celui-ci. L'ensemble de Mandelbrot est une fractale, un objet mathématique dont la structure se retrouve, à l'identique, à toutes les échelles (l'image globale se retrouve en taille réduite dans ses parties). Il est obtenu à partir de l'itération de la fonction f(z) = z2 + c en partant de 0, et correspond à l'ensemble des points c du plan complexe pour lesquels la suite de nombres…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Avant d'entamer une preuve mathématique (une démonstration) vérifiée par ordinateur, Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, réfléchit aux grandes lignes de la démonstration et aux principes de raisonnement à appliquer. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (en bleu) et les comptes relayant des thèses climatosceptiques (en rouge). Cette image a été générée à…

Localisation des comptes Twitter, actifs en 2022, ayant participé aux principales campagnes d'influence et de désinformation abordées dans l'ouvrage "Toxic data". Les comptes qui ont participé à la diffusion de fausses nouvelles (fake news) en 2017 sont en bleu et violet, ceux qui ont pris part à des campagnes en 2021-2022 sont en orange. En rose, les comptes ayant diffusé des fausses nouvelles durant ces deux périodes qui correspondent aux 11e et 12e élections présidentielles françaises. Les…

Twittersphère politique de l’automne 2021 (1er octobre 2021-16 janvier 2022). Quelques mois avant les douzièmes élections présidentielles françaises, les communautés constituées autour de Florian Philippot (29,39 %) et autour d’Éric Zemmour (20,15 %) dominent le paysage. Ces deux communautés d’extrême droite étaient quasiment inexistantes avant la pandémie de COVID-19. Une bonne partie du Rassemblement national (RN) a migré dans la communauté d’Éric Zemmour, ainsi que certains ténors des…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Voici la vue rapprochée d’une surface représentant l’espace hyperbolique et son bord à l’infini. L’existence d’une telle surface a été prédite par le mathématicien John Nash dans les années 50. Sa construction effective vient d’être réalisée par une équipe de scientifiques, assistés par ordinateur, qui cherchent à visualiser des objets mathématiques paradoxaux. Cette surface, issue d’un enchevêtrement infini de corrugations (ou plissements), hérite d’une propriété étonnante : le chemin le plus…

Hugo Duminil-Copin est un probabiliste. Ses travaux portent sur la branche mathématique de la physique statistique. Il utilise des idées provenant de la théorie des probabilités pour étudier le comportement critique de divers modèles sur réseaux tels que les modèles d’Ising, de Potts, de marches auto-évitantes, et de percolation. Ces objets mathématiques décrivent un certain nombre de phénomènes physiques (tels que la magnétisation, les polymères, la porosité des matériaux, etc.) en les…

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Edouard Pauwels, médaille de bronze du CNRS 2020, décrit les briques élémentaires d'un algorithme d'optimisation. Enseignant-chercheur en informatique et mathématiques, il étudie et développe des algorithmes d’optimisation numérique utilisés pour les statistiques et l'intelligence artificielle, à l'Institut de recherche en informatique de Toulouse (IRIT).

Matérialisation d'un champ de vorticité pour un écoulement de Green-Taylor turbulent (haute vorticité en bleu, faible vorticité transparente) avec une cascade d'énergie totalement développée. Le tourbillon de Green-Taylor est une formule mathématique donnant un champ de vitesse et de pression servant de donnée initiale pour le calcul de l'écoulement : on obtient là une solution exacte de l'écoulement (équations de Navier-Stokes), bien que cette solution soit instable. En effet, à la moindre…

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann, chercheuse en géométrie algébrique, devant un outil de travail essentiel pour les mathématiques fondamentales : un tableau noir. Au sein du Laboratoire angevin de recherche en mathématiques (Larema), elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020.

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020. Elle réfléchit ici au tableau noir, un outil parfait pour esquisser des réflexions, modifier facilement des dessins et des équations, devant lesquels il est possible de discuter à plusieurs.

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020, dans son bureau au Laboratoire angevin de recherche en mathématiques à Angers (Larema). Elle repense à un théorème qu'elle pense avoir démontré la veille avant de s'endormir. Elle esquisse ses réflexions et preuves d'abord sur papier, puis les retranscrit en détail sur son ordinateur. Sur le tableau noir figurent ses objets de recherche, des familles de coniques qu'elle étudie en collaboration avec Ivan…

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020, dans son bureau au Laboratoire angevin de recherche en mathématiques à Angers (Larema). Elle vérifie un théorème qu'elle pense avoir démontré la veille. Elle sourit car le théorème et la preuve qu'elle a trouvée sont corrects. Ce plaisir est la motivation principale de Susannna Zimmermann à faire de la recherche en mathématiques fondamentales et contribue à la passion qu'elle a d'exercer son métier.

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020. Ici, elle est à la recherche d'un endroit calme dans la nature, à l'écart des gens et des préoccupations du quotidien, pour se détendre et retrouver la créativité nécessaire à sa réflexion. Selon Susanna Zimmermann, les meilleures idées viennent au cours d'une balade, sous la douche ou avant de s'endormir.

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020. Ici, elle est à la recherche d'un endroit calme dans la nature, à l'écart des gens et des préoccupations du quotidien, pour se détendre et retrouver la créativité nécessaire à sa réflexion. Selon Susanna Zimmermann, les meilleures idées viennent au cours d'une balade, sous la douche ou avant de s'endormir.