A glimpse of Smart City
By 2050, 70% of the world population is likely to live in cities. Albeit, the footprint of cities only represents a few percentage of Earth surface area, but is a major contributor to pollution. Therefore, a legitimate quest is launched for optimizing resources and organization…
Vérification des réseaux de neurones : entre besoins et défis
Le Réseau de Neurone (RN) est l’une des principales méthodes d’apprentissage automatique supervisé. La vérification de son comportement, c’est-à-dire l’évolution de ses sorties en fonction de la variation de ses entrées, représente un réel défi. Néanmoins, cette vérification est nécessaire dans un environnement incertain où…
