Ces travaux traitent du suivi de l'activité humaine à travers l'analyse en temps r éel de signaux physiologiques et d'accélé rométrie. Il s'agit de données issues de capteurs ambulatoires ; elles sont bruitées, ambigües, et ne représentent qu'une vision incomplète de la situation. De par la nature des données d'une part, et les besoins fonctionnels de l'application d'autre part, nous considérons que le monde des possibles n'est ni exhaustif ni exclusif, ce qui contraint le mode de raisonnement. Ainsi, nous proposons un raisonnement abductif à base de modèles interconnectés et personnalisés. Ce raisonnement consiste à manipuler un faisceau d'hypothèses au sein d'un cadre dynamique de contraintes, venues tant de l'observateur (en termes d'activités acceptables) que d'exigences non-fonctionnelles, ou portant sur la santé du sujet observé. Le nombre d'hypothèses étudiées à chaque instant est amené à varier, par des mécanismes de Pr édiction-Vérification ; l'adaptation du Cadre participe également à la mise en place d'un pilotage sensible au contexte. Nous proposons un système multi-agent pour représenter ces hypothèses; les agents sont organisés autour d'un environnement partagé qui leur permet d' échanger l'information. Ces échanges et, de manière générale, la détection des contextes d'activation des agents, sont régis par des filtres qui associent une action à des conditions. Le mode de raisonnement et l'organisation de ces agents hétérogènes au sein d'un cadre homogène confèrent au système expressivité, évolutivité et maîtrise des coûts calculatoires. Une implémentation utilisant des données réelles permet d'illustrer les qualités de la proposition. / This proposal deals with human activity monitoring, through the real-time analysis of both physiology data and accelerometry. These data come from ambulatory sensors ; they are noisy and ambiguous, and merely represent a partial and incomplete observation of the current si- tuation. Given the nature of the data on one hand, and the application's required features on the other hand, we consider an Open World of non-exclusive possible situations. This has a restrictive impact on the reasoning engine. We thus propose to use abductive reasoning, based on interconnected and personalized models. This way of reasoning consists in handling a beam of hypotheses, within a dynamic Frame of constraints which come both from the Observer (who defines acceptable situations) and from non-functional expectations, or relating to the observed person's health. The number of hy- potheses at each timestep is wont to vary, by means of Prediction-Verification schemes. The evolution of the Frame leads to context-sensitive adaptive control. We propose a multi-agent system to manage these hypotheses; the agents are organized around a shared environment which allows them to trade information. This interaction and the general detection of activation contexts for the agents are powered and regulated by condition- action filters. The way of reasoning and the organization of heterogeneous agents within a homogeneous Frame lead to a system which we claim to be expressive, evolutive and cost-efficient. An imple- mentation using real sensor data is presented to illustrate these qualities.

No description available.

Dans cette thèse, nous étudions les preuves à divulgation nulle de connaissance, une primitive cryptographique permettant de prouver une assertion en ne révélant rien de plus que sa véracité, et leurs applications au calcul sécurisé. Nous introduisons tout d’abord un nouveau type de preuves à divulgation nulle, appelées arguments implicites à divulgation nulle, intermédiaire entre deux notions existantes, les preuves interactives et les preuves non interactives à divulgation nulle. Cette nouvelle notion permet d’obtenir les mêmes bénéfices en terme d’efficacité que les preuves non-interactives dans le contexte de la construction de protocoles de calcul sécurisé faiblement interactifs, mais peut être instanciée à partir des mêmes hypothèses cryptographiques que les preuves interactives, permettant d’obtenir de meilleures garanties d’efficacité et de sécurité. Dans un second temps, nous revisitons un système de preuves à divulgation nulle de connaissance qui est particulièrement utile dans le cadre de protocoles de calcul sécurisé manipulant des nombres entiers, et nous démontrons que son analyse de sécurité classique peut être améliorée pour faire reposer ce système de preuve sur une hypothèse plus standard et mieux connue. Enfin, nous introduisons une nouvelle méthode de construction de systèmes de preuves à divulgation nulle sur les entiers, qui représente une amélioration par rapport aux méthodes existantes, tout particulièrement dans un modèle de type client-serveur, où un client à faible puissance de calcul participe à un protocole de calcul sécurisé avec un serveur à forte puissance de calcul. / In this thesis, we study zero-knowledge proofs, a cryptographic primitive that allows to prove a statement while yielding nothing beyond its truth, and their applications to secure computation. Specifically, we first introduce a new type of zero-knowledge proofs, called implicit zero-knowledge arguments, that stands between two existing notions, interactive zeroknowledge proofs and non-interactive zero-knowledge proofs. Our new notion provides the same efficiency benefits than the latter when used to design roundefficient secure computation protocols, but it can be built from essentially the same cryptographic assumptions than the former, which allows to get improved efficiency and security guarantees. Second, we revisit a zero-knowledge proof system that is particularly useful for secure computation protocols manipulating integers, and show that the known security analysis can be improved to base the proof system on a more wellstudied assumption. Eventually, we introduce a new method to build zero-knowledge proof systems over the integers, which particularly improves over existing methods in a client-server model, where a weak client executes a secure computation protocol with a powerful server.

Actuellement la plupart des restitutions en patrimoine historique décrivent les édifices patrimoniaux comme un ensemble d'entités statiques et inaltérables. Toutefois, les sites historiques peuvent avoir une histoire très complexe, parfois riche d'évolutions, parfois seulement partiellement connue grâce aux sources documentaires. Trois aspects importants conditionnent l'analyse et l'interprétation du patrimoine historique. Tout d'abord, les bâtiments peuvent subir des transformations importantes ou ils peuvent disparaître au fil du temps. Deuxièmement, l'incertitude est très fréquente en patrimoine historique sous diverses formes : parfois il est impossible de définir la datation, parfois la forme originelle du bâtiment ou sa position spatiale. Troisièmement, la documentation historique concernant les états passés est hétérogène, douteuse, incomplète, et parfois contradictoire. Cette thèse propose une approche intégrée de modélisation capable d'une part de structurer les entités morphologiques spatiales en fonction du temps, d'autre part de conserver l'historique des évolutions architecturales. De plus, des hypothèses multiples à propos des sites historiques devraient être prises en compte. Comme la géométrie n'est pas suffisante pour comprendre les transformations des sites historiques, une interface de visualisation basée sur des graphes est intégrée pour manipuler les géométries et pour comprendre les transformations des édifices et leurs relations.

Ce travail de thèse porte sur la connectivité des populations de coraux du genre Pocillopora dans le Sud-Ouest de l'océan Indien et l'océan Pacifique tropical. Ces coraux sont répartis sur toute la frange tropicale des océans Indien et Pacifique. Traditionnellement, les espèces étaient identifiées sur la base critères morphologies [17 espèces décrites dans Veron (2000)]. Différentes études utilisant des données génétiques ont révélé que la délimitation des espèces était parfois floue chez ces coraux. Ainsi, au cours de ce travail, l'utilisation de méthodes de délimitation d'espèces à partir d'ADN mitochondrial (ABGD, GMYC, PTP) et nucléaire (haplowebs) 16 hypothèses primaires d'espèces (PSH) ont été identifiées. Ces PSH ont ensuite été confrontées à des tests d'assignement à partir de marqueurs microsatellites, révélant un minimum de 18 hypothèses d'espèces secondaires (SSH). Une fois que les hypothèses d'espèces sont définies, il est possible de réaliser des études de connectivité. Au cours de ce travail, deux hypothèses d'espèces présentant des écologies différentes ont été choisies pour mener ces analyses. La première, Pocillopora damicornis type β (SSH05) a été échantillonnée dans les lagons et la seconde, Pocillopora eydouxi (SSH09) a, quant à elle, été échantillonnée sur la pente externe. L'estimation de la structure génétique des populations a permis d'estimer les modes de reproduction (sexuée ou asexuée) chez ces deux hypothèses d'espèces et les analyses de connectivité ont révélé des patterns de structuration complexes pour chacune des SSHs. / This work focuses on the connectivity among populations of the coral genus Pocillopora in the Southwestern Indian Ocean and the Southwestern Pacific Ocean. These corals are widely distributed throughout the tropical fringe of the Indian and Pacific oceans. Traditionally, species were identified on the basis of morphological criteria [17 species described in Veron (2000)]. Different studies using genetic data revealed that the delimitation of species was sometimes blurred in these corals. Thus, in this work, the use of species delineation methods from mitochondrial (ABGD, GMYC, PTP) and nuclear (haplowebs) DNA, 16 primary species hypotheses (PSH) were identified. These PSHs were then confronted to assignment tests from microsatellite loci, revealing a minimum of 18 secondary species hypotheses (SSH). Once the species hypotheses are defined, it is possible to conduct connectivity studies. In this work, two SSHs with different ecologies were chosen to carry out these analyses. The first, Pocillopora damicornis type β (SSH05) was sampled in the lagoons and the second, Pocillopora eydouxi (SSH09) was sampled on the outer slope. The estimation of the genetic structure of the populations made possible to estimate the reproductive modes (sexual or asexual) in these two SSHs and the connectivity analyzes revealed complex structuring patterns for each of the SSHs.

Une voie agroécologique pour améliorer la fourniture des services écosystémiques dans les agroécosystèmes est d'associer plusieurs espèces végétales au sein d'une même parcelle. Dans ce contexte, les agroforêts tropicales, caractérisées par une forte diversité végétale, sont un modèle d'étude d'intérêt croissant. Dans ce travail qui porte sur le service de régulation des bioagresseurs, notre hypothèse est que la structure des agroforêts influence la régulation naturelle des bioagresseurs de la culture principale. La composition en plante hôte de l'agroforêt est susceptible d'influencer les bioagresseurs via les variations de la ressource. La structure spatiale de la végétation est susceptible d'influencer les bioagresseurs via les variations des conditions microclimatiques. Enfin, les variations de la ressource et du microclimat ne sont pas des mécanismes indépendants puisqu'un microclimat favorable à la croissance de la plante hôte du bioagresseur peut augmenter la quantité des tissus sensibles et donc la ressource pour ce bioagresseur. Pourtant, l'importance relative de l'effet de la composition et de la structure spatiale de la végétation des agroforêts sur l'intensité l'attaque des bioagresseurs a rarement été étudiée. Les objectifs de ce travail de thèse sont (1) de caractériser la composition et la structure spatiale des peuplements végétaux d'agroforêts à cacaoyers et (2) de quantifier leurs interactions avec l'intensité d'attaque de biogresseurs du cacaoyer. Ce travail est appliqué à trois bioagresseurs du cacaoyer : au Costa Rica, la moniliose sur un réseau de parcelles installé dans la région de Talamanca ; au Cameroun, la pourriture brune des cabosses et les mirides sur un réseau de parcelles installé dans la région Centre. Premièrement, nous avons caractérisé la composition et la structure spatiale de la végétation des agroforêts à cacaoyers du Costa Rica et du Cameroun. Au Costa Rica, nous avons identifié une diversité de structure spatiale des arbres forestiers entre parcelles, allant de l'agrégation à la régularité ce qui semble indiquer un gradient croissant de gestion entre ces parcelles. Au Cameroun, nous avons également observé une diversité de structure spatiale entre peuplement d'une même parcelle. En effet, les arbres forestiers sont aléatoirement distribués ou agrégés alors que les arbres fruitiers sont aléatoirement ou régulièrement distribués à l'échelle de la parcelle ce qui semble indiquer une différence d'intensité de gestion entre ces deux peuplements. Deuxièmement, nous avons hiérarchisé les caractéristiques de composition en hôte, de quantité de tissus sensibles et de structure spatiale de la végétation des agroforêts qui influencent l'intensité (i) de la moniliose (ii) de la pourriture brune et (iii) des mirides. L'intensité de la moniliose et la densité en mirides diminuent lorsque les quantités de tis- sus sensibles diminuent et lorsque les arbres forestiers sont aléatoirement ou régulièrement distribués plutôt qu'agrégés ou en faible densité à l'échelle de la parcelle. D'autre part, l'intensité de la moniliose diminue lorsque la densité en cacaoyers augmente et l'intensité de la pourriture brune diminue lorsque l'abondance en cacaoyers augmente, ces résultats étant contraires aux hypothèses de diminution et de dilution de la ressource. Globalement, nos résultats indiquent donc que les variations de la ressource liées aux variations de la composition en hôte ne sont pas le principal effet qui explique la présence des bioagresseurs dans les agroforêts complexes. La structure spatiale des arbres d'ombrage, encore jamais décrite à notre niveau de précision, joue un rôle déterminant et son optimisation pourrait être un moyen de lutte agroécologique contre la moniliose et les mirides du cacaoyer. Dans le cadre de l'agroécologie, ce travail nous a permis d'améliorer notre compréhension des mécanismes écologiques impliqués dans la régulation des bioagresseurs du cacaoyer à l'échelle de la parcelle et ouvre des perspectives pour leur gestion agroécologique.