Résultats de votre recherche
Vers une combinaison de l’interprétation abstraite et de la programmation par contraintes pour la vérification de propriétés critiques pour des programmes embarqués avec des calculs en virgule flottante – Coverif
Pouvoir vérifier la correction et la robustesse des programmes et systèmes devient un enjeu majeur dans une société où les applications embarquées sont de plus en plus nombreuses et où leur caractère critique ne cesse d’augmenter. C’est notamment un enjeu crucial pour le calcul basé sur l’arithmétiq
Vers une intelligence artificielle sûre pour la mobilité – Raimo
Le développement de l’intelligence artificielle transforme rapidement le secteur des transports, avec le véhicule autonome comme innovation structurante, mais dont le déploiement reste incertain. Malgré des expérimentations en conditions réelles, l’acceptabilité et la généralisation de ces technolog
Vers une intelligence artificielle à visage humain – VIVAH
La stratégie du programme de recherche de l’Université d’Artois consiste à promouvoir et à mener des travaux de recherche fondamentale sur l’IA explicable ainsi que des travaux de recherche interdisciplinaires sur des questions importantes en sciences sociales et en chimie. Deux domaines d'applicat
Vers une meilleure prédiction du risque de rupture des anévrismes intracrâniens – PRAnevrisme
PRAnévrisme participe à la construction d’un projet plus global dont l’objectif à long terme sera de fournir au praticien un outil quantitatif d’aide à la décision dans la prise en charge des anévrismes intracrâniens non rompus. Cet outil s’appuiera sur la connaissance de l’état de dégradation de la
Vers une protection de la vie privée équitable pour les services de e-santé – EQUIHid
Le secteur de la santé est actuellement mis à l'épreuve par l'avènement des services de e-santé et par des circonstances exceptionnelles, par exemple la pandémie de Covid-19. Ces défis ont principalement montré un besoin critique sur la large collaboration entre les acteurs de la santé et le partage
Vision artificielle et analyse Historique de la circulation de l'illustration Scientifique – VHS
Les illustrations et leur évolution dans les corpus scientifiques du Moyen Âge et des cultures occidentales modernes n'ont été que partiellement étudiées. Ceci tient notamment au fait que le rôle et le statut de l'image dans la construction et la diffusion du savoir scientifique soulèvent des questi
Vision et Intelligence Artificielles pour les Effets Visuels – ALICIA-Vision
La combinaison photoréaliste d’images de synthèse et d’images filmées d’une même scène constitue un objectif central de la création des effets visuels dans les secteurs des industries culturelles et créatives. Les progrès permanents de l’algorithmique numérique et de la puissance de calcul des ordin
Voile Automatique : Optimisation pour la Navigation Maritime Durable et pour la Propulsion Vélique par l’IA – AutoSail
Le transport maritime représente 2,9 % des émissions mondiales de CO2, avec une augmentation potentielle de 44 % d'ici 2050. Pour y remédier, des solutions de propulsion assistée par le vent, telles que les voiles rotatives de Norsepower et les voiles gonflables de Michelin, sont explorées. Cependan
Vérification d'Intégrité d'Image pour l'Anticipation d'Attaques d'Influence – CI2(IA)
Le projet CI2(IA) s’inscrit dans un contexte marqué par la prolifération des deepfakes et des fake news. Ses objectifs principaux sont : • Vérifier l’intégrité des contenus visuels : Déterminer si un média est un deepfake et s’il a un but malicieux. • Améliorer la généralisation des détecteurs :
Web Sémantique des Objets Contraints – CoSWoT
L’Internet des Objets connecte des objets tels des capteurs, actionneurs avec leur voisinage. La puissance toujours croissante de ces objets permet d’imaginer de nouvelles architectures les traitant comme des citoyens de première classe. On peut imaginer de nouvelles applications en e-agriculture, b
