FR
EN
FR
EN
Enjeux
Intelligence artificielle
Industrie du futur
Confiance numérique
Domaines applicatifs
Santé numérique
Mobilité de demain
Usine numérique et économie circulaire
Cybersécurité
Le numérique au service du développement durable
Programmes de recherche
IA Responsable
IA de confiance, frugale, embarquée et distribuée
Environnements de développement
Usages
Ingénierie numérique augmentée (INCA)
Méthodes formelles
IA pour l’ingénierie des systèmes
Outils d’ingénierie open source
Instrumentation numérique
Technologies multi-capteurs et multi-modalités
Optimisation et interopérabilité des modèles
Diagnostic et pronostic
Robotique intelligente
Architectures et logiciels
Systèmes robotiques
Calcul quantique
Algorithmes
Environnement de conception
Le CEA-List
Qui sommes-nous ?
Notre mission
Labellisation Carnot
Nos écosystèmes en France
Europe et international
Startups
Nos plateformes technologiques
Conception de systèmes embarqués
Cybersécurité
Radiothérapie et imagerie (DOSEO)
Contrôle Non Destructif
Contrôle santé des structures (SACHEMS)
Capteurs et instrumentation avancés (CisLab)
Intelligence artificielle
Robotique interactive SMART
Simulation interactive (VIKI)
Environnements de développement logiciel
Publications
Rapports d’activité
Articles scientifiques
Implantations
Devenons partenaires
Choisir le CEA-List
Les types de partenariat
Proposition technique et financière
Contrat bilatéral ciblé
Contrat de laboratoire commun
Contrat cadre
Collaborations scientifiques
Protégez vos innovations
Talents
Talents@List
Nos métiers
Ingénieur chercheur
Responsable des partenariats industriels
Histoires d’innovation
Use cases
Team-Sports
Smart Maintenance
Log’S
RamLab
Success stories
Arcure
Orano
CIL4Sys
Alkalee
Extende
Actualités
Avancées technologiques
Evénements
Communiqués de presse
Intelligence Artificielle
Industrie du futur
Confiance numérique
validation-formelle
FR
EN
Avancées technologiques
• septembre 24, 2020
24 septembre 2020 | IA de confiance : du nouveau dans la validation formelle des réseaux de neurones
Lire la suite
Défiler vers le haut
