MISE EN PLACE D’UN AGENT LLM LOCAL SPECIALISE CHEZ CLEARSY

Objectif : Développer, tester et intégrer un système LLM interne (Large Language Model) qu’on puisse spécialiser par projet CLEARSY, en […]

ÉVALUER LES ATOUTS DU MACHINE LEARNING POUR TRAITER DES DONNÉES PROVENANT DE CAPTEUR LIDAR

Objectif du stage : Certains systèmes de CLEARSY utilisent en temps réel des capteurs Lidar pour réaliser des fonctionnalités de […]

MISE A DISPOSITION PUBLIQUE DE L’ATELIER B 24.04 CSP EDUCATIONAL VERSION INTEGRANT LES REMOTE IOS

Contexte : La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques. Atelier B […]

OUTIL DE PREUVE DE BONNE DÉFINITION DE MODÈLES FORMELS UTILISÉS EN VALIDATION DE DONNÉES

Objectifs du stage : Évaluation et test d’un prouveur de bonne définition. Amélioration d’un parseur syntaxique B. CLEARSY DATA SOLVER […]