Informatique

MIAM est une Machine Intelligente/Idiote Apprenant le Morpion construite en boîtes d'allumettes. Venez la défier et l'entraîner ! 304 boîtes d'allumettes, quelques milliers de billes, MIAM fonctionne sans électricité mais apprend à jouer au (...)

Pour la Fête de la Science, l’Association DéMesures propose une Escape Game. Dans le scénario,les participants dans l’Escape Game vont incarner des relecteurs qui sont appelés pour évaluer une découverte extrêmement sensible et important : Le docteur (...)

L’association Démesures a développé un quiz interactif qui a pour but de dérouter les participants afin qu’ils se questionnent sur l’utilité des échelles dans la perception des images. Cette activité permettra d’appréhender la notion d’échelle en (...)

Nous utilisons tous des ordinateurs comme nous conduisons nos voitures. Nous exploitons les réseaux informatiques comme nous nous déplaçons sur nos routes dans l'air ou sur des rails, dans nos villes. Mais ressentons-nous le besoin “d’ouvrir le capot (...)

De nos jours, l’informatique est un outil essentiel dans divers domaines de la recherche scientifique et dans notre vie quotidienne. Beaucoup des travaux informatiques, ou tâches, ont des échéances. D’autre part, le budget dont nous disposons est (...)

Vous avez dit IA ? Mais qu’est-ce que l’intelligence artificielle ? Que recouvre ce concept qui fait tant parler de lui ? Quand est-il apparu, comment s’est-il développé ? Comment fonctionnent les IA actuelles et quels sont leurs domaines de (...)

Dans cette thèse, nous étudions des méthodes se basant sur les types à taille et leur application notamment pour l’analyse de complexité en temps dans le pi-calcul. Le principe de ses types à taille est de suivre la taille des valeurs utilisées dans (...)

Pour la huitième année consécutive, l'association Prologin organise cinq stages Girls Can Code! cet été. Deux d'entre eux se tiendront à l'École normale supérieure de Lyon, du 16 au 21 août et du 23 au 28 août. Ce stage, dont l'objectif est d (...)

Les modèles de calcul permettent d'abstraire le fonctionnement des programmes afin de raisonner sur ceux-ci. Selon le problème étudié il est important de choisir un modèle approprié en terme d'expressivité mais aussi de propriétés. Cette thèse (...)

Les départements Informatique des 4 Écoles normales supérieures organisent une réunion d'information sur la scolarité en informatique dans les 4 ENS : organisation, cursus, enseignement par la recherche, carrières dans le monde de l'enseignement et (...)

Les graphes sont des structures mathématiques défnies comme une paire d'ensembles (V;E), où V est un ensemble fini (non vide) d'éléments appelés sommets (ou noeuds), et E est un ensemble ni d'éléments appelés arêtes, dont chacun a deux sommets (...)

Résumé de la séance : Je voudrais discuter par comparaison une polémique du Grand siècle vers 1658 pour savoir si l'on peut effectivement calculer la longueur d'un arc de courbe sans une connaissance transcendante préalable, et la réception du (...)

Les réseaux de neurones profonds sont à l'origine de percées majeures en intelligence artificielle. Ce succès s'explique en partie par un passage à l'échelle en termes de capacité de calcul, d'ensembles de données d'entrainement et de taille des (...)

Quel rôle joue l'information dans la période contemporaine ? On peut s'étonner de l'apparente contradiction des développements parallèles d'une part de la maîtrise de l'information et d'autre part de l'affaiblissement de la vérité La maîtrise de l (...)

In this thesis, we develop high performance algorithms for certain computations involving dense tensors and sparse matrices. We address kernel operations that are useful for machine learning tasks, such as inference with deep neural networks. We (...)

Technology has evolved to a point where applications and devices are highly connected and produce ever-increasing amounts of data used by organizations and individuals to make daily decisions. For the data to become information that can be used in (...)

Dynamic graphs make it possible to understand the evolution of complex systems along time. In this thesis, we look at their application to understand one of the most common neurological disorder that affects around 1% of the population: epilepsy. A (...)

Mes travaux de recherche ont été conduits à l’intersection de trois domaines scientifiques : le traitement du signal, l’indexation multimédia et l’apprentissage automatique. Ces travaux ont en commun la recherche de représentations efficaces.Dans le (...)

Cette thèse se situe dans le domaine du Software Asset Management, de la gestion de licences et du bon respect des règles contractuelles. Elle est effectuée en collaboration avec Orange. Après un état de l’art sur le Software Asset Management (SAM) (...)

The folding of chromosomes inside the cell nucleus plays an essential role in the regulation of genome functions. However, the underlying biological and physico-chemical mechanisms are still poorly understood, empeding any reliable quantitative (...)

Lattice-based cryptography relies in great parts on the use of the Learning With Errors (LWE) problem as hardness foundation. This problem is at least as hard as standard worstcase lattice problems, but the primitives based on it usually have big (...)

La simulation occupe aujourd’hui une place im- portante en sciences de l’ingénieur pour concevoir des système complexes. Elle s’est imposée comme un moyen efficace et économiquement peu coûteux en comparaison à (...)

Un des enjeux actuels de la recherche en cryptographie est la mise au point de primitives cryptographiques avancées assurant un haut niveau de confiance. Je me suis intéressée à leur conception, en prouvant leur sécurité relativement à des hypothèses (...)

In this thesis, we study the security of advanced cryptographic primitives against adversaries that behave closer to real-life scenarios. Namely, they can adaptively update their strategy during the attack, based on previously obtained information, (...)

This thesis investigates four dierent matching-related problems that arise in the area of Combinatorial Scientific Computing. The thesis is supervised by Bora Uçar and co-directed by Fanny Dufossé. The first problem is that of finding a maximum (...)

Séminaire d'histoire des mathématiques et des sciences, et d'épistémologie. Ouvert à tout public (lycéens, littéraires au sens large, philosophes, médailles Fields potentielles, etc.). Argument du séminaire de cette année 2020-2021: C'est (...)

Le jeu vidéo est un média récent. C'est d'abord un outil de divertissement, mais il a aussi un puissant potentiel pédagogique : il est interactif, il peut être immersif, son côté ludique facilite l'apprentissage, etc. On peut ainsi l'utiliser pour (...)

Cette thèse porte sur la sémantique des langages de programmation quantiques, et en particulier sur celle du lambda-calcul quantique, un langage paradigmatique dû à Selinger et Valiron qui marrie flot de contrôle classique riche (fonctions d’ordre (...)

This thesis concerns multi-objective optimization problems arising in running scientific application on high performance computing platforms and streaming applications on embedded systems. Some scientific applications are commonly modeled as rooted (...)

Étant donné un ensemble fini de tuiles carrés, le problème du domino est la question : « est-il possible de paver le plan entier en utilisant ces tuiles ? » Ce problème est connu pour être indécidable dans le cas des pavages du plan, et est très (...)