00 GENERALITES

Résumé : La 4e de couverture indique: Faire participer les utilisateurs de son service à la remontée d'informations, les solliciter dans le cadre de recherches complexes ou obtenir leur implication dans des projets particuliers est une préoccupation partagée par nombre de professionnels de l'information-documentation. Les ambitions de cet ouvrage sur le projet collaboratif 2.0 sont tout à la fois d'aider tout professionnel confronté à cette question à repérer les grandes étapes, les points de vigilance et les facteurs de succès de cette démarche de mise en oeuvre et de lui fournir une mise en perspective et une réflexion sur les impacts de ces projets. En proposant un panorama des outils qui composent le paysage Web 2.0 et des retours d'expérience issus de divers secteurs d'activité - une collectivité territoriale, un organisme de formation et une entreprise industrielle -, cet ouvrage se veut résolument pratique, susceptible de fournir au porteur de projet une aide à la réalisation concrète. S'adressant aux responsables et managers de fonctions info-doc, il sera également utile à tout autre professionnel désirant formuler un projet, non seulement d'un point de vue technico-fonctionnel, mais surtout d'un point de vue managérial

01 MATHEMATIQUES

Résumé : Les 21 chapitres sont structurés en cinq parties : outils probabilistes, analyse exploratoire, statistique inférentielle, modèles prédictifs et recueil de données. On y trouve l'essentiel de la théorie des probabilités, les différentes méthodes d'analyse exploratoire des données (analyses factorielles et classification), la statistique classique avec l'estimation et les tests mais aussi les méthodes fondées sur la simulation, la régression linéaire et logistique ainsi que des techniques non linéaires, la théorie des sondages et la construction de plans d'expériences

02 INFORMATIQUE

Résumé : Actuellement, les industries engagent tous leurs efforts dans le processus de tests et de simulations à des fins de certification. Néanmoins, ces techniques deviennent rapidement inexploitables pour débusquer des erreurs pouvant conduire à des situations catastrophiques. La couverture des jeux de tests s'amincit au fur et à mesure de la complexification des systèmes, et il devient nécessaire d'utiliser de nouvelles méthodes. Parmi celles-ci, les méthodes formelles ont contribué, depuis plusieurs années, à l'apport de solutions rigoureuses et puissantes pour aider les concepteurs à produire des systèmes non défaillants. Dans ce domaine, les techniques de model-checking ont été fortement popularisées grâce à leur faculté d'exécuter, plus ou moins automatiquement, des preuves de propriétés sur des modèles logiciels. Néanmoins, cette méthode souffre du problème de l'explosion combinatoire. Pour contrer ce phénomène, les méthodes de réduction par ordres-partiels se sont révélées particulièrement efficaces. Toutefois, les issus de la littérature appliquent les méthodes de réduction, lors de la construction de l'automate global composé du système, de son environnement complet ainsi que de la propriété à vérifier. Or, dans la majorité des cas, selon les propriétés à vérifier, la prise en compte de l'environnement complet du système n'est pas nécessaire. L'approche dans laquelle s'insère ce travail consiste tout d'abord à réduire les comportements du système en décrivant un cas d'utilisation particulier de l'environnement avec lequel le système interagit. L'objectif est de guider le model-checker à concentrer ses efforts sur une restriction pertinente de l'automate global pour la vérification. Pour cela, l'environnement est déplié et partitionné pour générer un ensemble de scénarios. La vérification s'effectue en composant chaque scénario avec le système et la propriété à vérifier. La description de l'environnement et la décomposition de la vérification, en vérification élémentaire sur chaque scénario, apporte une réduction importante de l'explosion combinatoire en espace. Néanmoins, dès lors que le nombre d'acteurs devient important, le nombre de scénarios dépliés peut devenir prohibitif, et par conséquent générer une explosion combinatoire en temps et non plus en espace. Pour contrer cette explosion, nous proposons d'étendre les méthodes de réduction d'ordres de manière à déterminer une équivalence entre les scénarios du contexte. Nous appliquons la méthode sur des modèles SDL, tout d'abord dans le cas mono processus puis dans le cas multi-processus sur deux cas d'études avioniques industriels. Nous comparons les résultats avec un model-checker performant : SPIN.

Résumé : La résurgence de l'open source a provoqué une transformation de l'industrie informatique sans précédent. Cet ouvrage, à travers une démarche alliant étude documentaire approfondie, enquête de terrain et modélisation en termes de régimes, propose la première synthèse du phénomène open source. Ainsi, l'auteur y expose : la généalogie du modèle à l'origine du premier logiciel libre à envergure internationale (Linux) ; les formes organisationnelles issues d'interactions inédites entre les sphères marchandes et non marchandes ; la manière dont les logiciels libres sont utilisés dans le but de créer et capturer de la valeur ; les capacités d'innovation des organisations de cette industrie. Destiné à la fois à un public académique et professionnel, ce livre offre tous les éléments nécessaires pour gérer et comprendre l'open source.

Résumé : Lors de la conception de systèmes interactifs multimodaux, le concepteur se trouve confronté au problème du choix des modalités pour favoriser l' utilisabilité du système. Ce travail de thèse a pour ambition de contribuer à une démarche d' évaluation prédictive de l'interaction dans ce type de configuration. Cette approche permettra d'offrir aux concepteurs des outils capables de préciser et d'argumenter leurs choix de conception. En s' appuyant sur une modélisation à différents niveaux d' abstraction, nous proposons une évaluation pouvant advenir dès la phase de conception sur un principe multicritère. L' évaluation s intéresse simultanément à plusieurs points de vue, pondérés en fonction de l' environnement et de la nature de la tâche. L'évaluation repose sur des mesures estimant l'adéquation entre les éléments impliqués dans l'interaction, i.e. les modalités, l' utilisateur, l' application et l' environnement. Un protocole de validation opérationnelle de l' approche est mis en place, basé sur une comparaison des résultats entre l'évaluation théorique proposée et une évaluation empirique faisant référence, pour des situations d' interaction identiques. Le problème de la comparaison d' évaluation de natures différentes est résolu à l' aide notamment d'indicateurs synthétiques d'utilisabilité qui puissent faire sens pour le concepteur/décideur, agrégeant les résultats des mesures d'adéquation ou des critères empiriques. Des expérimentations avec des utilisateurs ont été menées sur un cas d'application opérationnelle de type command and control de surveillance maritime aéroportée, type d' application où la multimodalité peut apporter un avantage certain. Plusieurs interfaces mettant en oeuvre divers moyens d'interaction ont été développées pour l'occasion, ainsi que des outils permettant la mise en place de l'évaluation théorique et le traitement des résultats. Les premiers résultats de validation de l' approche confirment l' hypothèse émise selon laquelle les résultats de l' évaluation a priori proposée sont corrélés aux résultats de l' évaluation empirique faisant référence.

03 PHYSIQUE

04 CHIMIE ET SCIENCE DE LA VIE

Résumé : La mesure précise de la répartition des efforts tibiofémoraux sur le composant tibial d un implant de genou est déterminante pour le diagnostic précoce des complications postopératoires les plus fréquentes. Ces complications résultant de différents facteurs chirurgicaux et non-chirurgicaux peuvent diminuer la durée de vie de l'implant et donc conduire à une reprise chirurgicale. L'objectif principal de cette thèse est de proposer, de concevoir, de développer et de tester une première version du prototype de l'implant autonome et prédictif du genou. Cet implant a la même taille qu'un remplacement classique et peut mesurer avec précision la répartition des efforts lors de la marche. L'embase tibiale de cet implant a été conçue afin de loger quatre éléments piézoélectriques de telle manière qu ils puissent être simultanément utilisés en tant que capteurs de répartition des efforts et générateurs d'énergie électrique. Tout d'abord, un modèle électromécanique de l'élément piézoélectrique a été développé pour déterminer théoriquement la quantité d énergie électrique qui peut être générée dans des conditions de chargement raisonnablement similaires à celles rencontrées in-vivo lors de la marche. Ensuite et avant de fabriquer un prototype expérimental pour les tests de laboratoire, une conception assistée par ordinateur et une modélisation par éléments finis de l'implant tibial ont été développées afin d' étudier l'efficacité de l'approche proposée pour évaluer les facteurs chirurgicaux conduisant à un échec prématuré de l'implant. Enfin, des essais expérimentaux ont été menés sur le prototype pour valider la modélisation théorique. En conclusion, les résultats expérimentaux étaient en accord raisonnable avec les résultats théoriques.

05 ELECTRONIQUE, MICROELECTRONIQUE, ELECTROTECHNIQUE

06 TECHNOLOGIES ET TECHNIQUES DE L'INGENIEUR

07 THEORIE DE L'INFORMATION,DU SIGNAL ET DES COMMUNICATIONS, TRAITEMENT DU SIGNAL ET DES IMAGES

Résumé : Un système de cartographie mobile est un dispositif technologique qui permet de numériser rapidement et très précisément un environnement routier à partir d'imagerie et de mesure LASER. Si les méthodes permettent aujourd'hui de reconstruire des environnements à partir de nuages de points texturés, la saisie de données représente alors le principal goulot d'étranglement pour la constitution de base de données géographiques et la modélisation de l'environnement. Cette étude a donc pour objet la reconnaissance automatique par traitement d'image afin d'inventorier et d'analyser la scène routière de manière plus rapide, plus précise et plus objective. Nous abordons dans une première partie la détection et la reconnaissance de la signalisation horizontale en présentant une famille de filtres d'ordre pour améliorer la phase d'extraction. Cette première phase, couplée à un algorithme d'estimation robuste des paramètres de ligne, permet de déterminer une cohérence spatiale pour reconnaitre le type de marquage. En parallèle, nous proposons un algorithme de reconnaissance de signalisation verticale par fusion de primitives au coeur d'un algorithme évolutionnaire hybride. Notre approche utilise des modèles déformables par transformation affine pour permettre de reproduire les déformations de perspective. Enfin, nous présentons le véhicule de cartographie mobile développé, ainsi qu'un aperçu des travaux réalisés par l'équipe de recherche VIAMETRIS dans le domaine de l'analyse de données LASER et la classification de points.

08 TELECOMMUNICATIONS, VIDEOCOMMUNICATIONS ET AUDIOVISUEL

Résumé : En 1967, la Direction Générale des Télécommunications avait moins de 4 millions d'abonnés, tous en France. Aujourd'hui France Telecom Orange sert 200 millions de clients dans le monde. Comment est-on passé d'un département d'État à une entreprise comptant parmi les grands opérateurs mondiaux ? Cette transformation aura pris des décennies, mais l'impulsion en a été donnée par le plan du téléphone pour tous" conduit dans les années 1970, dont Gérard Théry, ancien directeur général des Télécommunications, a été l'initiateur et le principal acteur. Il décrit ainsi la prise de décision de doter tous les Français du téléphone : "Par le politique. C'est un acte délibéré de politique industrielle, comme la fusée Ariane, le nucléaire, le TGV". Deux autres décisions majeures seront la numérisation complète des réseaux et le lancement du Minitel, faisant entrer la France dans la "société numérique". Basé sur des entretiens avec les grands acteurs de l'époque et sur l'analyse critique des sources historiques, ce livre nous fait entrer dans les coulisses de la mutation des télécommunications des années 1970. Il nous rapporte également celle de la France entreprenante et du rayonnement de ses grandes entreprises. Le récit est passionnant et instructif car l'étude de cette épopée économique et industrielle montre les capacités insoupçonnées de changement d'un pays pour relever les défis de l'innovation et de la compétition mondiale."

09 SCIENCES ECONOMIQUES

10 GESTION

11 DROIT

12 SCIENCES HUMAINES