#LABSTICC

CNRS Sciences informatiques

@cnrsinformatics.bsky.social

5 months ago

Des chercheurs de l'#ISM et du #CRCA ont développé un robot capable de suivre un itinéraire sans avoir besoin de carte ni de GPS. Pour cela ils utilisent un réseau neuronal très sobre, qui ne repose pas sur la rétropropagation.
➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/...
🤝 #LABSTICC

CNRS Sciences informatiques

@cnrsinformatics.bsky.social

5 months ago

🐜 Mis au point par des chercheurs de l'#ISM et du #CRCA, le robot Antcar s'inspire d’une fourmi du désert : il apprend en une seule fois des trajets d’une cinquantaine de mètres sans localisation externe grâce à un algorithme particulièrement économe
➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/...
🤝 #LABSTICC

CNRS Bretagne et Pays de la Loire

@cnrs-bretagneloire.bsky.social

8 months ago

#ADecouvrir 🚴 | Du 27 juin au 6 juillet 2025, 4 scientifiques du #CNRS et de l’ #UBS, au #LabSTICC, se rendront à vélo à Rotterdam (Pays-Bas) depuis le Morbihan, afin de participer à la 12ème conférence internationale sur le climat urbain ❗️

🟢 www.bretagne-pays-de-la-loire.cnrs.fr/fr/cnrsinfo/...

CNRS Sciences informatiques

@cnrsinformatics.bsky.social

11 months ago

Prix de thèse du GDR GPL : des travaux sur la vérification formelle récompensés Le groupement de recherche (GDR) Génie de la programmation et du logiciel (GPL) a remis son prix de thèse à Xavier Denis pour sa thèse sur la vérification for

#Distinction 🏆 | (Re)découvrez la thèse de Xavier Denis, lauréat du prix de thèse 2024 du GDR GPL et son travail sur la vérification formelle des programmes en Rust, ainsi que les 2 accessits.
➡️ buff.ly/7Xjs7wm
🤝 #LMF #LABSTICC #LIRIS