[#BLOCKCHAIN] 🔗 Les Méthodes Formelles au Service de la Blockchain. 🔎 Le CEA-List renforce la confiance dans les systèmes distribués basés sur un consensus grâce aux méthodes formelles ! Nos chercheurs ont mis au point une méthode de vérification à l’exécution basée sur l’outil d’analyse formelle #MAATIAT. 💡 Elle permet d’identifier simultanément plusieurs acteurs malveillants ou défaillants et de fournir des preuves publiques de leurs comportements. Ces avancées assurent la sécurité et la fiabilité des smart contracts et des systèmes de blockchain. Pour en savoir plus 👉 https://lnkd.in/eBVfNbfY Stéphane Salmons, Arnault Lapitre #Blockchain #MéthodesFormelles #SmartContracts #Sécurité #Innovation #Consensus CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
CEA-List
Services de recherche
Palaiseau, Île-de-France 9 466 abonnés
Systèmes numériques intelligents
À propos
Le numérique au cœur de notre recherche Basé à Paris-Saclay et à Grenoble, le CEA-List est l’un des instituts de la Direction de la recherche technologique du CEA. Dédié aux systèmes numériques intelligents, il contribue au développement de la compétitivité des entreprises par le développement et le transfert de technologies. L’expertise et les compétences développées par les 1000 ingénieurs-chercheurs et techniciens du CEA-List permettent à notre institut d’accompagner chaque année plus de 200 entreprises françaises et étrangères dans leurs développements technologiques. Nos projets collaboratifs s’appuient sur plus de 700 brevets, fruits des recherches menées par nos équipes d'ingénieurs-chercheurs, mais également sur un ensemble de 21 environnements de développement et 11 plateformes technologiques. La qualité de notre recherche partenariale nous a valu d'être labellisé Institut Carnot CEA LIST pour la 4ème fois en 2020. Nos atouts différenciants - Une excellence scientifique et technologique via des publications scientifiques dans des conférences et revues de premier plan international (300 publications par an) ; - la valorisation industrielle de nos technologies grâce à un important portefeuille de technologies génériques (708 brevets et 162 licences actives) ; - des écosystèmes nationaux et internationaux performants, associant nos partenaires industriels, académiques et institutionnels (40 laboratoires et programmes de R&D communs); - notre ouverture internationale, avec chaque année plus de 100 nouveaux projets européens et des collaborations avec des laboratoires académiques étrangers de premier plan. Retrouvez toutes nos offres d'emploi sur : www.emploi.cea.fr
- Site web
-
https://list.cea.fr/fr/
Lien externe pour CEA-List
- Secteur
- Services de recherche
- Taille de l’entreprise
- 501-1 000 employés
- Siège social
- Palaiseau, Île-de-France
- Type
- Société civile/Société commerciale/Autres types de sociétés
- Fondée en
- 2003
- Domaines
- Advanced manufacturing, Usine du futur, Artificial intelligence, Intelligence artificielle, Confiance numérique, Digital trust, Digital health, Santé numérique, Mobilité, Mobility, Economie circulaire, Circular economy, Cybersécurité, Cybersecurity, Dismantling & environment, Démantèlement & environnement, Ingénierie numérique, Digital engineering, Instrumentation numérique , Digital instrumentation, Robotique intelligente, Smart robotics, Calcul quantique, Quantum computing, Architectures numériques et Digital architectures
Lieux
-
Principal
2, Boulevard Thomas Gobert
91120 Palaiseau, Île-de-France, FR
Employés chez CEA-List
Nouvelles
-
[#IA] 🎥 🚶♀️ Un grand pas en avant dans le domaine de l’analyse de scène en intelligence artificielle ! 🔎 Merci à Yassine Naji, Romaric Audigier, Aleksandr Setkov, Angélique Loesch et Michèle Gouiffès, l’équipe de chercheurs.ses du CEA-List qui vient de découvrir une nouvelle approche pour améliorer l’apprentissage de la normalité et la performance dans la détection d’anomalies. #VisionParOrdinateur #ComputerVision CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
A new paper from our Laboratory of Vision and Learning for scene analysis of CEA-List is published at #TMLR ! In this paper, we address the anomaly detection problem in the context of heterogeneous normal observations and propose an approach that accounts for this heterogeneity. Although prediction-based methods are common to learn normality, the vast majority of previous work predicts a single outcome, which is generally not sufficient to account for the multiplicity of possible normal observations. To address this issue, we introduce a new masked multiprediction (MMP) approach that produces multiple likely normal outcomes, and show both theoretically and experimentally that it improves normality learning and leads to a better anomaly detection performance. In addition, we observed that normality can be characterized from multiple aspects, depending on the types of anomalies to be detected. Therefore, we propose an adaptation (MMP-AMS) of our approach to cover multiple aspects of normality such as appearance, motion, semantics and location. Since we model each aspect separately, our approach has the advantage of being interpretable and modular, as we can select only a subset of normality aspects. The experiments conducted on several benchmarks show the effectiveness of the proposed approach. Paper link in comments. With Yassine Naji, Romaric Audigier, Aleksandr Setkov, Angélique Loesch, Michèle Gouiffès #computervision, #machinelearning, #videoanomalydetection, #XAI, #interpretability, #multimodality, #AI
-
[#TRACEBOT] 🦾 Quelques grammes de finesse dans un monde de machines. Découvrez les doigts hypersensibles du projet #TraceBot (Traceable Robotic Handling of Sterile Medical Products) ! Cette main robotisée possède 4 doigts, 18 degrés de liberté et 14 actionneurs afin de prendre des formes différentes. Grâce à ses capteurs tactiles équipés d’algorithmes basés sur des réseaux de neurones, ses doigts peuvent détecter des événements critiques lors de la manipulation d’objets. Enjeu : Aider à la manipulation de produits médicaux stériles tout en étant en mesure de percevoir son environnement, c’est l’ambition du projet TraceBot ! 🚀 L’histoire et la chronologie du TraceBot sont disponibles dans les deux doubles pages dédiées au projet dans la 5e revue du CEA ! 👉 https://lnkd.in/ebYCnxFW #Robotics #IA #Control #Design Mathieu Grossard, Clémence Dubois, Yann Perrot, françois Lansade, Saifeddine Aloui, Vial Franck CEA-Leti, CEA-Liten, Astech, TraceBot, BioLAGO e.V. – the health network, Fundacion Tecnalia Research & Innovation, Technische Universität Wien, University of Bremen CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
-
-
[#ÉNERGIE] #OptimEnergie : planifier pour réduire la consommation énergétique industrielle ! 🔎 C’est la promesse d’#OptimEnergie, un outil innovant développé par les équipes du CEA-List. OptimEnergie repose sur notre expertise en modélisation (#MBSE) des processus et des systèmes complexes avec des briques d’optimisation intelligente des tâches, conçu pour transformer les opérations industrielles en optimisant leur planification. Les premiers tests avec #OptimEnergie ont permis de constater de 20 à 50 % de réduction de consommation énergétique sur l’usage de certaines machines. 💡 Découvrez comment OptimEnergie a été testé sur une ligne de traitement de surface (chromage) particulièrement énergivore et a démontré toute son efficacité en matière de réduction de la consommation électrique. Regardez la simulation ci-dessous et voyez par vous-même les résultats impressionnants obtenus ! 👇 #EcoInnovation Ariane Piel CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
-
[#EVENT] 📢 Call for participation: registration to 50th Euromicro DSD/SEAA 2024 conference is now open : https://lnkd.in/eFDgsAFR 🔍 Behind closed doors, our Review and Programs Chairs are fine-tuning the program synchronization from the paper submission platform to the website which means collecting all session details, transferring them correctly and polish them for a clear presentation. The program is not quite finished dressing up yet, but let's take a sneak peak through the keyhole! 🔭 It sounds rich and very interesting. We hope to have many of you to share it together in Paris! #DigitalSystemDesign #SoftwareEngineering #AI, #EmbeddedSystems, #HPC, #IoT, #CyberphysicalSystems, #Security, #DigitalTwins #ScientificConference #Innovation #Research #Collaboration #SponsorshipOpportunity Lilia Zaourar Koutchoukali, Andrea Pinna CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
-
-
[#SOFTWAREVERIFICATION] 📢 After the success of the #Frama-C days, you've all been waiting for it: the Frama-C book! 📗 The essential guidebook is now available! (link in comments) 🔎 The Frama-C team at CEA-List and its partners are excited to announce the release of their Guide to Software Verification with Frama-C. This book, co-edited by Nikolay Kosmatov from Thales, Julien Signoles, and Virgile Prevosto from CEA-List, is now published by Springer Nature Group. 💡 What is #Frama-C? It is an open-source, extensible, and collaborative platform from CEA-List dedicated to C software analysis. This guide offers a comprehensive overview of the basic uses, research results, and practical applications of Frama-C since the first open-source version of the platform in 2008. 📖 The book covers the #ACSL specification language, advanced analysis, the development of new plugins, and successful industrial case studies where Frama-C has helped verify crucial safety or security properties. With numerous examples, exercises, and guidelines, this book is aimed at software verification practitioners and students looking to learn code analysis techniques. Interested in the book? #Formalmethods CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
-
-
🚗 Améliorer la sécurité des véhicules autonomes, un défi de taille pour le CEA-List ! 🔎 Le CEA-List a mis au point une méthode pour créer une base de scénarios de tests représentatifs basés sur des accidents réels, des tests sur route réelle et des simulations numériques. 💡 Grâce à un modèle abstrait et l’outil #Diversity, le CEA-List parvient à évaluer la sécurité des Véhicules Autonomes (VA) dans divers environnements et situations de conduite. Pour en savoir plus 👉 https://lnkd.in/ejNWj2nm Patrick Sayd, Stéphane Salmons, Boutheina Bannour, Diane Bahrami CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
-
-
[#IA] 🏆 Le projet SOFIA remporte le prix Tech Show for Construction dans la catégorie Exploitation/Maintenance Prédictive ! 💡 Le projet #SOFIA, qu’est-ce que c’est ? Alors que les inspections visuelles sont essentielles pour évaluer l’état de conservation des ouvrages d’art et des ponts, le projet SOFIA piloté par SOCOTEC Monitoring en partenariat avec le CEA-List propose une assistance innovante aux inspecteurs avec des outils d’inspection utilisant l’intelligence artificielle pour la vision. Plus d’informations 👉 https://lnkd.in/e5M-44Pc #DeepLearning #ComputerVision Nicolas Allezard, Angélique Loesch, Quoc Cuong PHAM, Emilie Lachaud, Gregorio Ameyugo Raphaël Leclercq, Arnaud de Pracomtal, Yassine Chafiq, Didier LAW-HINE, PhD CEA | Le Réseau des Carnot | Université Paris-Saclay | Université Grenoble Alpes
🏆 Nous sommes ravis d'annoncer que notre projet SOFIA a remporté le prix Tech Show for Construction dans la catégorie Exploitation/Maintenance Prédictive ! 🏆 Ce prix prestigieux nous a été remis par Flora Jean-Baptiste de l’incubateur Ville de Demain. C'est une reconnaissance de notre engagement à innover et à améliorer nos infrastructures grâce à la #donnée et à l'#IA en proposant des solutions prédictives de maintenance et d'exploitation. Un grand merci à toute l'équipe pour leur travail et leur engagement au service de la durabilité des ouvrages. #infrastructure #ia #data #monitoring #maintenancepredictive #prix #innovation #trust&tech Raphaël Leclercq Arnaud de Pracomtal Yassine CHAFIQ Didier LAW-HINE, PhD CEA-List Matthieu Pâques Nicolas Allezard Emilie LACHAUD sanef groupe @Guillaume DESMEDT Alexandre BOMPARD
-
-
CEA-List a republié ceci
Chef de projet & Ingénieur de Recherche en simulation Interactive et XR au service de l'amélioration et la digitalisation de l'industrie 💻
La dernière brique techno à succès du LSI, Laboratoire de Simulation Interactive du CEA-List ? Nos travaux autour du 𝗚𝗮𝘂𝘀𝘀𝗶𝗮𝗻 𝗦𝗽𝗹𝗮𝘁𝘁𝗶𝗻𝗴, qui nous valent une double page dans la 5ème revue du CEA : https://lnkd.in/eCjJ2XKc 🚀 𝗣𝗼𝘂𝗿𝗾𝘂𝗼𝗶 ? Le rendu photoréaliste permis par cette technologie est connecté à notre moteur de simulation 𝙓𝘿𝙀 𝙋𝙝𝙮𝙨𝙞𝙘𝙨, permettant son intégration dans des expériences immersives mêlant interactions multi-physiques & physique des contacts, humain numérique et collaboration multi-utilisateurs, etc... Une nouvelle brique qui vient s'ajouter à toutes les autres pour augmenter encore la pertinence des solutions développées. À essayer dans notre VR-Room de toute urgence ! Coucou l'équipe GS : Jérémie Le Garrec | Gilles Rougeron | Hakim Chekirou | Serhane L. | Mathis Boston
-
-
CEA-List a republié ceci
⏱ Dernière ligne droite pour postuler à nos offres d’alternance avant les vacances ! Pourquoi nous rejoindre ? 🥼Rejoindre le CEA, c'est contribuer aux grandes priorités nationales de la recherche ; c'est aussi avoir la possibilité de développer un parcours professionnel motivant dans une communauté scientifique pluridisciplinaire et ouverte à la fois sur la recherche internationale et le monde industriel. Le CEA propose de nombreux contrats d’apprentissage et de professionnalisation dans des domaines d’activité variés : ingénierie, maintenance, sécurité, sûreté, chimie, biologie, logistique, ressources humaines, achats, finance, etc. Une occasion unique de découvrir nos métiers et de mettre en application vos connaissances. 💡Envie d’en savoir plus, nos alternants témoignent en vidéo 👇 Crédit vidéo : CEA/Lulafilm 👋CEA IRESNE, CEA ISAS, CEA-Liten, CEA ISEC, CEA-List, CEA-Leti, CEA IRAMIS, CEA-Irig, CEA IRFM, CEA Joliot, Estel CHIRON, CEDRIC GARNIER
Pages affiliées
Pages similaires
Parcourir les offres d’emploi
-
Offres d’emploi Scientifique
-
Offres d’emploi Directeur technique
-
Offres d’emploi Technicien de recherche
-
Offres d’emploi Scrum master
-
Offres d’emploi Chercheur
-
Offres d’emploi Enseignant
-
Offres d’emploi Stagiaire ressources humaines
-
Offres d’emploi Responsable marketing
-
Offres d’emploi Acheteur
-
Offres d’emploi Analyste