Les résultats de recherche pour :

Limite de coloration fractionnelle. Il s'agit ici de trouver les moyens potentiels pour mettre en relation des graphes planaires de maille impaire 7 avec le graphe de Petersen à droite, en utilisant des relations spéciales de graphes planaires sans triangle avec le graphe de Clebsch.

Limite de coloration fractionnelle. Il s'agit ici de trouver les moyens potentiels pour mettre en relation des graphes planaires de maille impaire 7 avec le graphe de Petersen à droite, en utilisant des relations spéciales de graphes planaires sans triangle avec le graphe de Clebsch.

"Planar exact clique". Cette construction montre une notion de perfection pour la classe des graphes planaires : le plus petit nombre de sommets d’un graphe de maille impaire 2k+1, pour lequel il y a un homomorphisme de chaque graphe planaire de maille impaire 2k+1, est égal au nombre maximum de sommets, reliés par paires par des chemins de longueurs impaires et au plus de 2k-1.

Visualisation d'un tracelet de longueur trois dans un système de réécriture catégorique. Les tracelets sont les porteurs intrinsèques d'informations causales dans les systèmes de réécriture tels que les systèmes de réaction chimique, les modèles de réseaux sociaux ou les grammaires pour générer des structures combinatoires. Une étape de transformation individuelle dans un système de réécriture consiste en un état initial (généralement une forme de structure graphique), une règle de réécriture …

Vitrine numérique de l’Institut de recherche en informatique fondamentale (IRIF). Elle fournit un éclairage historique sur la recherche en informatique en permettant de questionner l'évolution du matériel et son usage pour améliorer les résultats d'aujourd'hui.

Cartes perforées, datant de 1978, sorties de la vitrine numérique de l’Institut de recherche en informatique fondamentale (IRIF). Le principe des cartes perforées remonte au XVIIIe siècle où elles étaient employées pour coder des motifs de métier à tisser ou des mélodies de piano mécaniques. Leur emploi à la fin du XIXe siècle par Hollerith pour accélérer le recensement américain a lancé un tournant majeur dans leur utilisation vers un stockage de données informatiques. Elles ont été utilisées…

Cartes perforées, datant de 1978, sorties de la vitrine numérique de l’Institut de recherche en informatique fondamentale (IRIF). Le principe des cartes perforées remonte au XVIIIe siècle où elles étaient employées pour coder des motifs de métier à tisser ou des mélodies de piano mécaniques. Leur emploi à la fin du XIXe siècle par Hollerith pour accélérer le recensement américain a lancé un tournant majeur dans leur utilisation vers un stockage de données informatiques. Elles ont été utilisées…

Modem acoustique, datant de 1975, sorti de la vitrine numérique de l’Institut de recherche en informatique fondamentale (IRIF). C'est le premier appareil utilisant le réseau téléphonique existant pour la diffusion de fichiers informatiques. Les fichiers numériques, codés en bits, c'est-à-dire comme une séquence de 0 et de 1, arrivaient au modem sous forme de signaux électriques. Ils étaient d'abord convertis en son par l'appareil. Un combiné de téléphone venait se loger dessus et transmettre le…

Minitel sorti de la vitrine numérique de l’Institut de recherche en informatique fondamentale (IRIF). C'est un ancêtre d'Internet, développé et exploité principalement en France entre 1980 et 2012. Le minitel a connu son âge d'or dans les années 1990 avec 6 millions de terminaux en activité. Il est composé d'un écran et d'un clavier et permettait d'avoir accès, via l'installation téléphonique, à de nombreux services dont les résultats d'examens et concours, l'annuaire ou encore la vente par…

Mémoire à tores magnétiques sortie de la vitrine numérique de l’Institut de recherche en informatique fondamentale. Elle est constituée de petites boucles de ferrites, appelées tores, dans lesquelles passent trois fils permettant la lecture et l'écriture. Chaque boucle peut être polarisée dans le sens horaire ou anti-horaire, ce qui permet d'encoder un bit par boucle. Les mémoires à tore magnétiques ont été très employées entre 1955 et 1975, avant d'être détrônées par les mémoires à semi…

Mémoire à tores magnétiques sortie de la vitrine numérique de l’Institut de recherche en informatique fondamentale. Elle est constituée de petites boucles de ferrites, appelées tores, dans lesquelles passent trois fils permettant la lecture et l'écriture. Chaque boucle peut être polarisée dans le sens horaire ou anti-horaire, ce qui permet d'encoder un bit par boucle. Les mémoires à tore magnétiques ont été très employées entre 1955 et 1975, avant d'être détrônées par les mémoires à semi…

Chercheurs dans un couloir de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Chercheurs dans un couloir de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Treillis de Tamari représenté sur des partitions non croisées. De nombreuses structures de données se présentent sous la forme d'arbres binaires équilibrées, c'est-à-dire avec toutes ses branches à peu près de la même hauteur. Pour maintenir l'équilibre de ces structures, il est nécessaire d'effectuer un rééquilibrage, appelé rotation, vers la gauche ou la droite. Le treillis de Tamari, introduit par Dov Tamari en 1962 est obtenu en effectuant toutes les rotations possibles vers la droite…

Treillis de Tamari représenté sur des partitions non croisées. De nombreuses structures de données se présentent sous la forme d'arbres binaires équilibrées, c'est-à-dire avec toutes ses branches à peu près de la même hauteur. Pour maintenir l'équilibre de ces structures, il est nécessaire d'effectuer un rééquilibrage, appelé rotation, vers la gauche ou la droite. Le treillis de Tamari, introduit par Dov Tamari en 1962 est obtenu en effectuant toutes les rotations possibles vers la droite…

Treillis de Tamari représenté sur des partitions non croisées. De nombreuses structures de données se présentent sous la forme d'arbres binaires équilibrées, c'est-à-dire avec toutes ses branches à peu près de la même hauteur. Pour maintenir l'équilibre de ces structures, il est nécessaire d'effectuer un rééquilibrage, appelé rotation, vers la gauche ou la droite. Le treillis de Tamari, introduit par Dov Tamari en 1962 est obtenu en effectuant toutes les rotations possibles vers la droite…

Treillis de Tamari représenté sur des partitions non croisées. De nombreuses structures de données se présentent sous la forme d'arbres binaires équilibrées, c'est-à-dire avec toutes ses branches à peu près de la même hauteur. Pour maintenir l'équilibre de ces structures, il est nécessaire d'effectuer un rééquilibrage, appelé rotation, vers la gauche ou la droite. Le treillis de Tamari, introduit par Dov Tamari en 1962 est obtenu en effectuant toutes les rotations possibles vers la droite…

Treillis de Tamari représenté sur des partitions non croisées. De nombreuses structures de données se présentent sous la forme d'arbres binaires équilibrées, c'est-à-dire avec toutes ses branches à peu près de la même hauteur. Pour maintenir l'équilibre de ces structures, il est nécessaire d'effectuer un rééquilibrage, appelé rotation, vers la gauche ou la droite. Le treillis de Tamari, introduit par Dov Tamari en 1962 est obtenu en effectuant toutes les rotations possibles vers la droite…

Dessin sur une vitre d’arbres collés de façon aléatoire. Cet objet a été construit afin de montrer que les marches quantiques pouvaient être exponentiellement plus rapides pour traverser un graphe d’un point à l’autre que les marches aléatoires. Dit autrement, elles trouvent la sortie quasiment directement en exploitant les interférences quantiques qui détruisent les mauvais chemins, alors qu’une marche aléatoire se perd nécessairement. Les marches quantiques sont au cœur de la conception de…

Dessin sur une vitre d’arbres collés de façon aléatoire. Cet objet a été construit afin de montrer que les marches quantiques pouvaient être exponentiellement plus rapides pour traverser un graphe d’un point à l’autre que les marches aléatoires. Dit autrement, elles trouvent la sortie quasiment directement en exploitant les interférences quantiques qui détruisent les mauvais chemins, alors qu’une marche aléatoire se perd nécessairement. Les marches quantiques sont au cœur de la conception de…

Dessin sur une vitre d’arbres collés de façon aléatoire. Cet objet a été construit afin de montrer que les marches quantiques pouvaient être exponentiellement plus rapides pour traverser un graphe d’un point à l’autre que les marches aléatoires. Dit autrement, elles trouvent la sortie quasiment directement en exploitant les interférences quantiques qui détruisent les mauvais chemins, alors qu’une marche aléatoire se perd nécessairement. Les marches quantiques sont au cœur de la conception de…

Dessin sur une vitre d’arbres collés de façon aléatoire. Cet objet a été construit afin de montrer que les marches quantiques pouvaient être exponentiellement plus rapides pour traverser un graphe d’un point à l’autre que les marches aléatoires. Dit autrement, elles trouvent la sortie quasiment directement en exploitant les interférences quantiques qui détruisent les mauvais chemins, alors qu’une marche aléatoire se perd nécessairement. Les marches quantiques sont au cœur de la conception de…

Dessin sur une vitre d’arbres collés de façon aléatoire. Cet objet a été construit afin de montrer que les marches quantiques pouvaient être exponentiellement plus rapides pour traverser un graphe d’un point à l’autre que les marches aléatoires. Dit autrement, elles trouvent la sortie quasiment directement en exploitant les interférences quantiques qui détruisent les mauvais chemins, alors qu’une marche aléatoire se perd nécessairement. Les marches quantiques sont au cœur de la conception de…

Discussion entre deux stagiaires de l’Institut de recherche en informatique fondamentale (IRIF).

Discussion entre deux stagiaires de l’Institut de recherche en informatique fondamentale (IRIF).

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Simulation d'une carte brownienne, modèle de géométrie aléatoire. L'unification de la physique quantique et de la relativité générale reste l'un des grands défis de la science contemporaine. Elle semble demander, a minima, de disposer de bons concepts mathématiques de "géométrie aléatoire", une notion pourtant redoutablement difficile à formaliser. Les cartes browniennes en sont un modèle mathématique simplifié dans le cas d'un espace-temps qui n'aurait que deux dimensions. Elles peuvent être…

Cartes combinatoires et polyominoes. La combinatoire est la branche des mathématiques qui étudie les configurations d'objets finis, comme les mots ou les graphes, et plus généralement toutes les structures fondamentales qui apparaissent aussi bien dans la conception et l'analyse d'algorithmes en informatique, que dans la description des interactions entre les particules élémentaires de la physique ou de l'ADN en bio-informatique. L'étude des propriétés de décomposition de ces structures est…

Cartes combinatoires et polyominoes. La combinatoire est la branche des mathématiques qui étudie les configurations d'objets finis, comme les mots ou les graphes, et plus généralement toutes les structures fondamentales qui apparaissent aussi bien dans la conception et l'analyse d'algorithmes en informatique, que dans la description des interactions entre les particules élémentaires de la physique ou de l'ADN en bio-informatique. L'étude des propriétés de décomposition de ces structures est…

Cartes combinatoires et polyominoes. La combinatoire est la branche des mathématiques qui étudie les configurations d'objets finis, comme les mots ou les graphes, et plus généralement toutes les structures fondamentales qui apparaissent aussi bien dans la conception et l'analyse d'algorithmes en informatique, que dans la description des interactions entre les particules élémentaires de la physique ou de l'ADN en bio-informatique. L'étude des propriétés de décomposition de ces structures est…

Cartes combinatoires et polyominoes. La combinatoire est la branche des mathématiques qui étudie les configurations d'objets finis, comme les mots ou les graphes, et plus généralement toutes les structures fondamentales qui apparaissent aussi bien dans la conception et l'analyse d'algorithmes en informatique, que dans la description des interactions entre les particules élémentaires de la physique ou de l'ADN en bio-informatique. L'étude des propriétés de décomposition de ces structures est…

Test d’identité pour les formules algébriques. En considérant un circuit arithmétique qui calcule une formule mathématique, un problème décisionnel fondamental consiste à vérifier si la formule s’évalue partout à zéro. L'un des problèmes qui se pose lorsqu'il s'agit de décider de la propriété d’être nul est que de telles formules peuvent impliquer des coefficients très importants. Ces formules sont donc coûteuses à représenter explicitement dans les ordinateurs, et donc difficiles à calculer de…

À quel point est-il difficile pour un robot de visiter un ensemble de cibles infiniment souvent ? Discussion autour des processus de décision markoviens. Pour tous les processus de décision markoviens et pour tous les ensembles de cibles, les stratégies markoviennes avec seulement 1 bit de mémoire supplémentaire sont suffisantes pour assurer la visite des cibles infiniment souvent, avec une probabilité arbitraire proche de l’optimale. Dans la figure à l’écran, il y a des états "noisette" qui…

À quel point est-il difficile pour un robot de visiter un ensemble de cibles infiniment souvent ? Discussion autour des processus de décision markoviens. Pour tous les processus de décision markoviens et pour tous les ensembles de cibles, les stratégies markoviennes avec seulement 1 bit de mémoire supplémentaire sont suffisantes pour assurer la visite des cibles infiniment souvent, avec une probabilité arbitraire proche de l’optimale. Dans la figure à l’écran, il y a des états "noisette" qui…

À quel point est-il difficile pour un robot de visiter un ensemble de cibles infiniment souvent ? Discussion autour des processus de décision markoviens. Pour tous les processus de décision markoviens et pour tous les ensembles de cibles, les stratégies markoviennes avec seulement 1 bit de mémoire supplémentaire sont suffisantes pour assurer la visite des cibles infiniment souvent, avec une probabilité arbitraire proche de l’optimale. Dans la figure à l’écran, il y a des états "noisette" qui…

À quel point est-il difficile pour un robot de visiter un ensemble de cibles infiniment souvent ? Discussion autour des processus de décision markoviens. Pour tous les processus de décision markoviens et pour tous les ensembles de cibles, les stratégies markoviennes avec seulement 1 bit de mémoire supplémentaire sont suffisantes pour assurer la visite des cibles infiniment souvent, avec une probabilité arbitraire proche de l’optimale. Dans la figure à l’écran, il y a des états "noisette" qui…

Couverture de différents langages de requêtes pour les données du Web. Les données échangées via le Web sont couramment formatées en XML, un langage informatique issu du World Wide Web Consortium (W3C). Afin de manipuler ces données et en particulier de naviguer au sein des documents XML, le consortium a mis au point le langage de requêtes XPath. Si l'on sait bien utiliser XPath pour extraire des données de documents, avec un vaste choix d'implémentations disponibles, il est en revanche très…

Couverture de différents langages de requêtes pour les données du Web. Les données échangées via le Web sont couramment formatées en XML, un langage informatique issu du World Wide Web Consortium (W3C). Afin de manipuler ces données et en particulier de naviguer au sein des documents XML, le consortium a mis au point le langage de requêtes XPath. Si l'on sait bien utiliser XPath pour extraire des données de documents, avec un vaste choix d'implémentations disponibles, il est en revanche très…

Couverture de différents langages de requêtes pour les données du Web. Les données échangées via le Web sont couramment formatées en XML, un langage informatique issu du World Wide Web Consortium (W3C). Afin de manipuler ces données et en particulier de naviguer au sein des documents XML, le consortium a mis au point le langage de requêtes XPath. Si l'on sait bien utiliser XPath pour extraire des données de documents, avec un vaste choix d'implémentations disponibles, il est en revanche très…

Discussion autour d’un système de typage. Écrire des programmes corrects et prouver leur correction est une tâche pleine de défis. Pour appréhender ce problème, les langages de programmation modernes sont équipés d’un système de typage. Les types sont des constructions syntaxiques semblables à des formules logiques qui permettent aux machines de vérifier automatiquement si les programmes sont bien typés et qu'ils ne produisent pas une certaine classe d’erreurs à l’exécution. Le premier système…

Discussion autour d’un système de typage. Écrire des programmes corrects et prouver leur correction est une tâche pleine de défis. Pour appréhender ce problème, les langages de programmation modernes sont équipés d’un système de typage. Les types sont des constructions syntaxiques semblables à des formules logiques qui permettent aux machines de vérifier automatiquement si les programmes sont bien typés et qu'ils ne produisent pas une certaine classe d’erreurs à l’exécution. Le premier système…

Discussion scientifique dans un couloir de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de l’informatique afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Discussion scientifique dans un couloir de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de l’informatique afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Discussion scientifique dans un couloir de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de l’informatique afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Etude des systèmes de types ensemblistes. Écrire des programmes corrects et prouver leur exactitude est une tâche pleine de défis. Pour appréhender ce problème, les langages de programmation modernes sont équipés d’un système de typage. Les types sont des constructions syntaxiques semblables à des formules logiques qui permettent aux machines de vérifier automatiquement si les programmes respectent les types et ne produisent pas une certaine classe d’erreurs à l’exécution. Ici, les types sont…