Explore projects

Groupe Signal: https://signal.group/#CjQKINTc0VDRVvBUmlcGdyl6OElVA7LiUmj8CVvo6VBy6ZGvEhBIb0LLSfp9q43iwD2ZxvV1

It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.

Fork of https://src.koda.cnrs.fr/tiago.de.lima/cmc/-/releases/0.1.0.0

Dans le cadre du projet ESOS (Electronique Soutenable, Ouverte, et Souveraine) https://esos.insa-rennes.fr , des mallettes pédagogiques à destination des élèves de collège sont distribuées aux professeurs de technologie sur l'ensemble de la Bretagne. Pour l'utilisation de l'ensemble des cartes électroniques et capteurs de cette mallette, une Raspberry Pi est utilisée comme borne WiFi/Serveur/Base de données et fonctionne de façon complètement autonome, sans nécessité de passer par le réseau de l'établissement. La mis en place de cette solution a été réalisée dans le cadre d'un projet technique par 5 apprentis ingénieurs de l'ESIR en bac+4.

Dans le cadre du projet ESOS (Electronique Soutenable, Ouverte, et Souveraine) https://esos.insa-rennes.fr , des mallettes pédagogiques à destination des élèves de collège sont distribuées aux professeurs de technologie sur l'ensemble de la Bretagne. Pour l'utilisation de l'ensemble des cartes électroniques et capteurs de cette mallette, une Raspberry Pi est utilisée comme borne WiFi/Serveur/Base de données et fonctionne de façon complètement autonome, sans nécessité de passer par le réseau de l'établissement. La mis en place de cette solution a été réalisée dans le cadre d'un projet technique par 5 apprentis ingénieurs de l'ESIR en bac+4.