At the Institut de recherche en informatique et systèmes aléatoires (IRISA)

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses.

L’Électroencéphalographie (EEG) mesure l’activité électrique du cerveau. L’équipe Empenn de l'Institut de recherche en informatique et systèmes aléatoires (IRISA) utilise cette modalité, couplée à l’IRM, pour élaborer des protocoles de neurofeedback. Il s’agit de montrer à un sujet un stimulus relié, en temps réel, à son activité cérébrale. L’équipe Empenn étudie l’apport de ces protocoles à la rééducation motrice après un accident vasculaire cérébral (AVC), ainsi qu’au traitement de la…

L'IRM fonctionnelle permet de visualiser les zones du cerveau actives pendant une tâche de représentation spatiale (mesure par IRM).

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Incorporation d'ADN sur une "flowcell" d'un séquenceur MinION. Après un pré-traitement bio-chimique, l'ADN a été extrait des séquences de l'organisme dont il est issu, dupliqué et découpé en fragments. Il est ensuite déposé sur une plaque d'un séquenceur MinION. Cette plaque dispose de "nanopores" (trou d'environ 2 nanomètres de diamètre) dans lesquels passent les fragments d'ADN. Lorsque l'ADN passe à travers le pore, les bases d'ADN sont détectées par un courant électrique qui est ensuite…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Câbles permettant de connecter les capteurs et actionneurs d'un modèle réduit de chaîne d'usinage aux automates pilotant le processus. Il est ainsi possible d'utiliser n'importe quel automate industriel pour piloter la maquette, afin d'illustrer l'Internet des objets industriel (IIoT).

Câbles permettant de connecter les capteurs et actionneurs d'un modèle réduit de chaîne d'usinage aux automates pilotant le processus. Il est ainsi possible d'utiliser n'importe quel automate industriel pour piloter la maquette, afin d'illustrer l'Internet des objets industriel (IIoT).

Pour améliorer la qualité de service des services mobiles dans les transports urbains, il est intéressant de déployer des stations de base embarquées à bord des trains, bus, métros… Le smartphone des passagers se connecte à la station de base embarquée, qui relaie ensuite les données vers une infrastructure terrestre. Les puissances de transmission sont ainsi réduites, ce qui améliore les performances énergétiques et les débits sont plus élevés. Le travail de l’équipe Adopnet consiste à…

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

L'équipe Cidre cherche à améliorer le niveau de sécurité des systèmes largement déployés. L'objectif de leurs travaux est d'inventer des méthodes et des outils capables de détecter qu'un système est compromis par un attaquant, de comprendre la portée d'une attaque de systèmes informatiques et d'y remédier.

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de…

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Des espèces non modèles, comme les algues brunes, sont étudiées pour assembler leur génome et reconstruire leur réseau métabolique lacunaire. La meilleure combinaison de réactions chimiques d’autres espèces est recherchée pour venir compléter leur réseau métabolique. En effet, l’algue ne peut pas survivre seule et a besoin des bactéries de son microbiote. Projet Idealg en collaboration avec la station biologique de Roscoff.

Les blocs d’acides aminés qui caractérisent des familles de protéines d’espèces phylogénétiquement proches sont recherchés. Ces éléments sont utilisés pour des grammaires formelles et des modèles de Potts qui permettent de tenir compte des corrélations indirectes.

Les blocs d’acides aminés qui caractérisent des familles de protéines d’espèces phylogénétiquement proches sont recherchés. Ces éléments sont utilisés pour des grammaires formelles et des modèles de Potts qui permettent de tenir compte des corrélations indirectes.

Les blocs d’acides aminés qui caractérisent des familles de protéines d’espèces phylogénétiquement proches sont recherchés. Ces éléments sont utilisés pour des grammaires formelles et des modèles de Potts qui permettent de tenir compte des corrélations indirectes.

La prise en compte de connaissances symboliques permet d’affiner la comparaison de voies métaboliques entre plusieurs espèces en quantifiant la similarité et la particularité. Les applications ont concerné le métabolisme des lipides dans un contexte d’élevage en collaboration avec l’INRAe, et l’étude des stéatoses hépatiques avec l’Inserm.

La prise en compte de connaissances symboliques permet d’affiner la comparaison de voies métaboliques entre plusieurs espèces en quantifiant la similarité et la particularité. Les applications ont concerné le métabolisme des lipides dans un contexte d’élevage en collaboration avec l’INRAe, et l’étude des stéatoses hépatiques avec l’Inserm.

La prise en compte de connaissances symboliques permet d’affiner la comparaison de voies métaboliques entre plusieurs espèces en quantifiant la similarité et la particularité. Les applications ont concerné le métabolisme des lipides dans un contexte d’élevage en collaboration avec l’INRAe, et l’étude des stéatoses hépatiques avec l’Inserm.