Conductimétrie électrique

Conductimétrie électrique  Elle permet d'obtenir en continu la concentration d'un soluté par mesure de la conductivité électrique de la solution. L'électrode de conductivité est plongée dans la solution qui se trouve dans une cellule constituée d'un vase à double paroi...

 Techniques d’analyse des réseaux sociaux

 Techniques d’analyse des réseaux sociaux Types de données Dans [37], 270 fonctionnalités ont été identifiées pour décrire le comportement d’un individu, la plupart d’entre elles étant des fonctionnalités des médias so ciaux. Nous nous sommes inspirés de cet ensemble de...

Systèmes temps réel

Systèmes temps réel Cette thèse s’inscrit dans la thématique de l’informatique « temps réel ». Le terme temps réel peut revêtir plusieurs sens. Il est souvent associé à l’absence de latence ou d’attente. On fera référence à une « animation...

Table de contingence et analyse factorielle des correspondances

Table de contingence et analyse factorielle des correspondances Ce premier chapitre, dont le but est de fixer les notations, traite des tables de contingence et de l’analyse factorielle des correspondances. Cette dernière permet d’analyser les dépendances entre deux variables catégorielles...

Systèmes robotiques pour la rééducation et l’assistance au mouvement 

Systèmes robotiques pour la rééducation et l’assistance au mouvement  Le nombre croissant de personnes âgées dans le monde exige de relever de nouveaux défis sociétaux, notamment en termes de services d’aide et de soins de santé. Une étude récente prédit...

Systèmes hybrides à base de multiprocesseurs ARM

Systèmes hybrides à base de multiprocesseurs ARM Dans ce chapitre, nous décrivons les systèmes multiprocessseurs à base de réseaux CCN (CoreLink Cache Coherent Networks) proposés par ARM. Nous définissons ensuite la cohérence de cache dans ces systèmes hybrides en décrivant...

Systèmes d’interconnexion dans un SoC

Systèmes d’interconnexion dans un SoC Les performances d’une architecture implémentée dans un SoC dépendent fortement du système d’interconnexion et du protocole de communication entre les unités de calcul. Avec la technologie d’intégration croissante, la conception d’un système d’interconnexion efficace est...

Systèmes d’aide à la conduite et Architectures embarquées pour les ADAS

Systèmes d’aide à la conduite et Architectures  embarquées pour les ADAS  Accidentologie et sécurité routière D’après le rapport annuel de l’observatoire national interministériel de la sécurité routière (ONISR), l’année 2015 comptait 70802 personnes blessées et 3461 personnes tuées sur les...

Systèmes à nombre d’états infini

Systèmes à nombre d’états infini La vérification de systèmes intéressants–tels que les protocoles de sécurité ou encore les programmes Java– nécessite de considérer un nombre d’états infini. Par exemple, si le système vérifié travaille sur des entiers, il est plus...

Système mis en oeuvre pour la notation d’opinion

Système mis en oeuvre pour la notation d’opinion Les besoins commerciaux Avec la croissance du Web, le e-commerce est devenu très populaire. Beaucoup de sites Web offrent la possibilité de faire de la vente en ligne et donnent également la...