Informatique

Des fontaines de Versailles aux algorithmes : le chemin d’Hang Zhou vers l’optimisation

Distinctions Informatique

MALINCA, ou comment vérifier automatiquement les théorèmes sans avoir à les réécrire

Intelligence artificielle
Institutionnel
Informatique

Intelligence artificielle : le CNRS en action

https://www.cnrs.fr/fr/actualite/intelligence-artificielle-le-cnrs-en-action
Illustration de vagues
Distinctions Informatique

Les travaux sur la différentiation algorithmique et ses applications en IA récompensés

Résultats scientifiques
Informatique

Sciences informatiques et sciences humaines et sociales : un champ foisonnant de collaborations

https://www.inshs.cnrs.fr/fr/cnrsinfo/sciences-informatiques-et-sciences-humain…
Informatique

Interview avec Christophe Lecoutre, professeur en optimisation

Informatique

Optimisation : conversation avec Julie Digne

CNRS le Journal
Informatique

Des réseaux intelligents pour mieux distribuer les énergies renouvelables

https://lejournal.cnrs.fr/articles/des-reseaux-intelligents-pour-mieux-distribu…
IA et médias
Innovation
Presse
Informatique

IA et médias : Ouest-France, le CNRS et l’Université de Rennes, avec le soutien de l’ANR, créent un laboratoire commun

https://www.cnrs.fr/fr/presse/ia-et-medias-ouest-france-le-cnrs-et-luniversite-…
Informatique

Au cœur de l'optimisation : Christelle Caillouet et les réseaux télécom

S'abonner à Informatique