Informatique

Cette thèse a pour objectif d’étudier différents problèmes liés à l’ordonnancement dans le contexte du calcul haute performance, en se concentrant sur deux enjeux majeurs : la résilience et la consommation d’énergie. Avec l’augmentation constante de (...)

DNA origami is a technique used to build bio-compatible structures at the nanometer scale with remarkable ease and precision. The technique consists in letting self-assemble a carefully designed network of DNA strands. The key step in DNA origami (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Du vendredi 24 au dimanche 26 mars, venez créer un jeu vidéo scientifique lors de la Scientific Game Jam ! Il s'agit d'un évènement national de création de jeux vidéo scientifiques, qui aura lieu dans plusieurs villes de France (Lyon, Paris, (...)

Cette année CinéMaths, les rencontres du cinéma scientifique engagé, fêtent ses 4 ans. Rendez-vous au Cinéma Comœdia pour apprendre et questionner les sciences grâce au 7ème art ! Le parti pris de Cinémaths : des beaux films de cinéma, des rencontres (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Today, in telecommunication networks, much shift is ongoing with the emergence of softwarization and cloudification. Among these technologies, NFV (Network Function Virtualization) is the network architecture that decouples network functions from (...)

Due to the increasing number of nodes in supercomputers, scientific applications are frequently interrupted by failures. Ensuring a correct and uninterrupted application execution requires faulttolerance mechanisms, consisting of Checkpoint/Rollback (...)

L’équipe de l’atelier des humanités numériques (AHN) de l’ENS de Lyon organise une formation à l’encodage XML-TEI, niveau avancé le lundi 5 décembre 2022. La formation se tiendra à l'ENS de Lyon, uniquement en présentiel. La formation sera (...)

Cette rencontre est organisée par cinq établissements de l’Université de Lyon (Universités Claude Bernard Lyon1, Lumière Lyon 2, Jean Monnet de Saint-Étienne, École normale supérieure de Lyon, École des Mines de Saint-Étienne) et le Pôle de (...)

Cette thèse est divisée en deux parties, qui ont en commun le problème du non-déterminisme chez différents modèles d'automates, et la résolution de celui-ci. La première partie s'intéresse à une forme de limitation du non-déterminisme, que l'on (...)

Ma thèse s’intéresse à la sémantique du pi-calcul – un langage de programmation concurrent – lorsqu’il est soumis à des contraintes de typage. L’objectif est de comprendre comment ces restrictions affectent les bisimulations, des techniques de (...)

L’atelier des humanités numériques (AHN) de l’ENS de Lyon organise des séances d’initiation à l’encodage XML-TEI, niveau débutant. lundi 19 septembre 2022 lundi 17 octobre 2022 L'objectif de ces séances est de comprendre les principes (...)

Lundi 19 septembre 2022, l'École normale supérieure de Lyon a l’honneur de recevoir Dennis Meadows analyste des systèmes, initiateur et co-rédacteur du rapport Limits to growth (Les limites de la croissance) remis en 1972 au Club de Rome. (...)

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 (...)

Le but de cette thèse est de fournir un système de preuves structurelles pour la logique modale de Riesz. La logique modale de Riesz est une logique modale à valeurs réelles, i.e., ces termes sont interprétés par des nombres réels plutôt que par des (...)

Understanding the properties of objects under a natural product operation is a central theme in mathematics, computer science and physics. Examples of such basic objects include noisy communication channels in information theory, computational (...)

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 (...)

L’École normale supérieure de Lyon a l’honneur de remettre les insignes de Docteur Honoris Causa à Abhijit Banerjee, économiste américain et Paul Seymour, mathématicien britannique. Abhijit Banerjee est professeur au Massachusetts Institute of (...)

Wearable wireless RFID devices provide novel ways to follow face-to-face interactions of people in various settings. Their application in pre-schools to record daily contacts and oral interactions of children can disclose how the social networks and (...)

Proving properties on programs accessing data-structures such as arrays often requires universally quanti_ed invariants, e.g., \all elements below index i are nonzero". Instead of directly manipulating programs, we use Horn formulas which have (...)

The polyhedral model is a algebraic-based framework which enables efficient code optimization for computer-intensive programs which has been a prolific area of research since its inception. However, its strong assumptions about the shape of the (...)

Avec : Alexandre Maurin Diplômé de Centrale Lyon Directeur Général, ODISS Dans le cadre du Passeport « Acteurs des transitions », le CHEL[s] donne la parole à différents alumnis et intervenants qui sont engagés dans le domaine des transitions, (...)

La technologie Wi-Fi est devenue un réel besoin puisqu’elle répond de manière fiable et rapide à la demande exponentielle des services de données sans fil ce qui mène à la forte augmentation des points d’accès (APs). Dans cet environnement, un client (...)

Intelligence artificielle, mythes et réalité ! Qu'est-ce que l'intelligence artificielle ? À quand remonte la première machine intelligente ? Les prochains robots ressembleront-ils davantage à Wall-e ou à Terminator ? Et pourquoi parle-t-on tant d (...)

Qu'est ce qu'un réseau de neurones artificiels ? On entend parler depuis quelques années de révolution de l'IA par le deep learning ou les réseaux de neurones... Ces modèles ont en effet permis une amélioration substantielle des performances en (...)

While our capacity to collect real-time data has grown significantly over the past decade, our ability to analyze that data to turn it into knowledge has not kept pace. The current focus of big data is shifting toward the design of tools and (...)

Les travaux ont porté sur la définition et l’étude de la distance de Diffusion-Wasserstein entre graphes attribués. Les graphes attribués sont des collections de points avec une description individuelle (attributs) et des liens entre eux (structure (...)