Votre recherche

1050 résultats trouvés.

résultats pour
Talents, Recherche

Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »

… Recherche Coq : un assistant pour écrire des preuves mathématiques rigoureuses Coq est d'abord un langage … qui permet d'écrire des définitions et des énoncés mathématiques mais aussi de décrire des structures de … qui permettent d'aborder des champs variés des mathématiques et de l'informatique. Parmi les développements …

Article publié le:

Recherche

Des algorithmes, des cerveaux et des hommes (L'Edition #12)

… 1 er janvier 2020, sous une bannière commune, le Centre de mathématiques et de leurs applications (CMLA – Université … brevets ont été déposés et font l’objet de cessions de licence auprès d’industriels pour l’exploitation de ces … brevets ont été déposés et font l’objet de cessions de licence auprès d’industriels pour l’exploitation de ces …

Article publié le:

Portrait de chercheur ou chercheuse, Recherche

Évelyne Contejean : Éviter les bugs informatiques

… que possible, qu’il n’y aura aucun bug pour éviter des échecs comme celui du lancement d’Ariane 5 en 1996, que les … sur ordinateur font appel notamment à la logique et aux mathématiques « discrètes ». La réécriture est une méthode … de programmation. Évelyne Contejean réécrit les équations mathématiques pour en déduire d’autres, avec l’objectif …

Article publié le:

Portrait de chercheur ou chercheuse, Recherche

Bertrand Eynard : l’inventeur de la récurrence topologique

… de surfaces », et pour cela, inventer de nouveaux outils mathématiques capables de compter les surfaces en dépit de … de dix millions d’euros pour six ans, une première en mathématiques fondamentales. Chercheur au long cours « … en tant que lauréat des Olympiades internationales de mathématiques. Il obtient à dix-huit ans le deuxième prix du …

Article publié le:

Vie de l'université

Cinq personnalités liées à l’Université Paris-Saclay élues à l’Académie des sciences

… issues de sa communauté scientifique. Dans la section de mathématiques : Hugo Duminil-Copin , lauréat de la médaille … la théorie des probabilités pour analyser des modèles mathématiques décrivant des phénomènes physiques tels que la … (APS). Bertrand Maury est professeur au Laboratoire de mathématiques d’Orsay (LMO – Univ. Paris-Saclay/ CNRS) et …

Article publié le:

M2 Hydrologie et Hydrogéologie

… base en géologie et hydrogéologie Connaissances de base en mathématiques. Bibliographie : De Marsily G. (1981) … bases d'algèbre linéaire. Bases de SIG. Niveau Licence/M1 en hydrologie et hydrogéologie. Bibliographie : … ces enjeux sur la société sera aussi intégré. Prérequis : Licence Sciences de la Terre. Bibliographie : M. Renard, Y. …

Article publié le:

International-Europe

Accueil du Président de l’Université de Pékin et de sa délégation

… était accompagné du Prof. Chen Dayue, Doyen de l’École de mathématiques, du Prof. Yan Xueqing, Vice-Doyen de l’École … adjoint du LSCE). Les directeurs des Graduate Schools de mathématiques et de physique de l’Université Paris-Saclay, … (SFRPM), un programme de coopération franco-chinois en mathématiques monté par la Fondation Jacques-Hadamard, a …

Article publié le:

Recherche

Repousser les limites de la précision calculatoire

… précision mathématique, synthétisée par Pierre Lairez. En mathématiques, cette précision rime souvent avec décimales : … le développement de nouveaux outils abstraits, servant aux mathématiques expérimentales et notamment à la géométrie … plus difficiles à appliquer. Pour manipuler ces objets mathématiques, on en exploite les symétries ou on réduit ces …

Article publié le:

M2 Systèmes Industriels - Apprentissage

… les notions de base de l’interaction homme-machine appliquées au domaine de l’interaction des humains avec les … : État des lieux, Cahier de la recherche, N° 06-01, HEC Montréal Lexipro, Lexique des termes en Logistique, … les notions de base de l’interaction homme-machine appliquées au domaine de l’interaction des humains avec les …

Article publié le:

Portrait de chercheur ou chercheuse, Recherche

Étienne Fouvry : À la chasse aux nombres premiers

… à l'Université Paris-Saclay et membre du Laboratoire de mathématiques d'Orsay (LMO – Univ. Paris-Saclay, CNRS) , … enthousiaste demeure fasciné par la résolution de problèmes mathématiques, dont certains irrésolus depuis des centaines … l’École normale supérieure (ENS) Ulm en 1972. Passionné de mathématiques classiques, il s’oriente vers les aspects …

Article publié le:

M2 Predictive and Integrative Animal Biology

… BIP-Animal suivi du M2 PRIAM Former aux sciences animales appliquées, par une approche intégrative de la biologie, … apport de la recherche fondamentale sur des problématiques appliquées. Savoir intégrer les interrogations éthiques et … BIP-Animal suivi du M2 PRIAM Former aux sciences animales appliquées, par une approche intégrative de la biologie, …

Article publié le: