Un systeme de bases de données actif est capable d'executer automatiquement des actions predefinies en reponse a des evenements specifiques lorsque certaines conditions sont satisfaites. Les regles actives, de la forme evenement-Condition-Action, sont au coeur de cette approche. Dans cette these, nous nous interessons aux modeles d'execution des systemes actifs. Le modele d'execution d'un systeme actif decrit quand et comment (ordonnancement, synchronisation) sont executées, au cours d'une application, les regles declenchées lors de l'execution d'une transaction. Nous proposons tout d'abord une taxonomie et une representation graphique des modeles d'execution des systemes actifs. Nous exposons ensuite un modele d'execution parametrique nomme Flare (Flexible active rule execution). Une caracteristique essentielle de ce modele est de considerer des modules de regles - chaque module etant destine a une utilisation particuliere des regles. On peut specifier, d'une part, le comportement de chaque regle d'un module, et d'autre part, la strategie d'execution de chaque module. Il suffit, pour cela, de choisir une valeur pour chacun des parametres proposes parmi un ensemble de valeurs predefinies. Nous donnons egalement une semantique denotationnelle (ou fonctionnelle) du modele. Nous montrons que ce formalisme fournit une specification implantable que nous utilisons dans le cadre de l'experimentation que nous menons autours de NAOS - un mecanisme de regles actives pour le SGBD a objets O2 - afin de remplacer son moteur d'execution par Flare.

Ce travail est une continuation des travaux antérieurs sur l'architecture iSOA et le modèle de service intentionnel MiS. Il s'agit de rendre accessible les services proposés par MiS en complétant la plateforme iSOA avec des mécanismes pour la publication et la recherche de services intentionnels dans un annuaire étendu. Ces mécanismes feront appel aux techniques des services web sémantiques et à la modélisation de la connaissance sous forme d'ontologies. Le propos de ce travail de recherche porte sur les lacunes identifiées sur le processus de publication d'un service, l'approche de recherche adéquate pour sélectionner les services intentionnels les plus adaptés aux besoins de l'utilisateur et la structure du descripteur d'un service intentionnel à publier dans l'annuaire. Nous proposons l'approche PASiS (Publishing And Searching intentional Services). Dans cette approche, l'input d'un fournisseur lors de la publication d'un service s'exprime en termes métier sous forme de buts. Nous proposons un processus de guidage de publication, pour d'une part, aider le concepteur dans cette tâche, et d'autre part garantir la complétude de la description d'un service publié. Ce processus utilise les ontologies pour capturer la sémantique du descripteur de service intentionnel. Ces ontologies sont : iSOnto (ontologie technique de services intentionnels), vOnto (ontologie générique des verbes) et pOnto (ontologie de domaine des produits). Enfin, notre approche prend en compte au niveau du descripteur et du processus de publication, les agrégations de services intentionnels telles que définies dans le modèle de MiS. Dans PASiS, l'utilisateur exprime ses besoins sous forme de but. Grâce à un modèle du processus de recherche et d'interrogation, nous proposons le guidage pour d'une part, aider l'utilisateur à tirer profit de toutes les possibilités qu'offre le modèle de requête, et d'autre part pour l'accompagner dans sa recherche et l'aider à trouver ce qu'il souhaite. L'appariement se fait entre les concepts associés à la requête et ceux associés aux descripteurs de services en utilisant une fonction de calcul de distance sémantique qui exploite les liens sémantiques (généralisation, spécialisation). En exploitant les concepts de services intentionnels agrégés, l'utilisateur peut parcourir l'arborescence de services composites et à variation et explorer ainsi l'espace des services intentionnels disponibles. Enfin, l'usage d'ontologies est la base d'un processus de reformulation intelligente de la requête de l'utilisateur. L'utilisation de l'ontologie générique des verbes et des liens sémantiques entre les verbes et les noms propre, nous pouvons raisonner sur la signification d'un but et d'introduire ainsi intelligence et guidage dans les processus de publication et de recherche de service. Ce travail est consacré également, à la spécification et à l'implémentation du descripteur intentionnel de service où l'annotation est utilisée comme une technique d'extension sémantique vers les trois ontologies : iSOnto, vOnto et pOnto. Dans ce travail, nous proposons d'étendre le langage SAWSDL pour décrire les services intentionnels. Cette extension vient combler un manque au niveau de la spécification de la nature de l'annotation sémantique dans SAWSDL. Pour cette raison, nous allons utiliser l'ontologie iSOnto pour expliciter non seulement les concepts d'un domaine mais également la nature de ces concepts. Enfin, l'approche proposée est illustrée au moyen d'une étude de cas d'application. A la lumière de ce cas d'étude, nous avons montré que les hypothèses de recherche sont valides.

Développer un système de rendu distant pour terminaux légers et mobiles traitant d'objets multimédias et de leur sémantique consiste à (1) offrir une véritable expérience multimédia collaborative au niveau du terminal, (2) assurer la compatibilité avec les contraintes liées au réseau (bande passante, erreurs et latence variables en temps) et au terminal (ressources de calcul et de mémoire réduites) et (3) s'affranchir des types de terminaux et des spécificités des communautés.Cette thèse traite de ces enjeux et se positionne en rupture avec l'état de l'art en développant une architecture support fondée sur la gestion sémantique du contenu multimédia. Le principe consiste à convertir en temps réel le contenu graphique généré par l'application en un graphe de scène multimédia et à le gérer en fonction de la sémantique de ses composantes.L'optimisation de la bande passante est assurée par la compression adaptative du graphe de scène et par la compression sans perte des messages de collaboration. Les deux méthodes développées sont caractérisées respectivement par la création d'un unique graphe de scène intrinsèquement adaptable au réseau/terminal et par la mise à jour dynamique du dictionnaire de codage en fonction des messages générés par les utilisateurs. Elles sont brevetées.Les fonctionnalités collaboratives interviennent directement au niveau du contenu grâce à l'enrichissement du graphe de scène par un nouveau type de nœud, dont la normalisation ISO est en cours.Le démonstrateur logiciel sous-jacent, dénommé MASC (Multimedia Adaptive Semantic Collaboration), permet de comparer objectivement cette nouvelle architecture aux solutions actuellement déployées par des acteurs majeurs du domaine (VNC RBF ou Microsoft RDP). Deux types d'application ont été considérés : l'édition du texte et la navigation sur Internet. Les évaluations quantitatives montrent: (1) un impact limité des artéfacts visuels de conversion (PSNR compris entre 30 et 42 dB et SSIM supérieur à 0,9999), (2) consommation de la bande passante downlink (resp. uplink) réduite d'un facteur de 2 à 60 (resp. de 3 à 10), (3) latence dans la transmission des événements générés par l'utilisateur réduite d'un facteur de 4 à 6, (4) consommation des ressources de calcul côté client réduite d'un facteur 1,5 par rapport à VNC RFB.

Dans cette thèse, nous étudions plusieurs approches destinées à aider les utilisateurs à trouver des informations utiles et fiables dans le Web de données, en utilisant les technologies du Web sémantique. Nous abordons pour cela deux thèmes de recherche: le liage de données dans le Linked-Data et la confiance dans les réseaux P2P sémantiques. Nous modélisons le problème de liage dans le Web de données comme un problème de raisonnement sur des données incomplètes, qu'il s'agit d'enrichir en interrogeant de façon précise et pertinente le cloud du Linked Data. Nous avons conçu et implémenté un nouvel algorithme qui, à partir d'une requête de liage (du type et d'une base de règles modélisant de manière uniforme diverses connaissances du domaine (contraintes du schéma, axiomes d'inclusion ou d'exclusion d'une ontologie, règles expertes, mappings), construit itérativement des requêtes SPARQL pour importer des sources externes pertinentes du Linked Data les données utiles pour répondre à la requête de liage. Les expérimentations que nous avons menées sur des données réelles ont démontré la faisabilité de cette approche et son utilité dans la pratique pour le liage de données et la résolution d'homonymie. En outre, nous proposons une adaptation de cette approche pour prendre en compte des données et des connaissances éventuellement incertaines, avec en résultat l'inférence de liens ‘sameAs' et ‘differentFrom' associés à des poids de probabilité. Dans cette adaptation nous modélisons l'incertitude comme des valeurs de probabilité. Nos expérimentations ont montré que notre approche passe à l'échelle pour des bases de connaissances constituées de plusieurs millions de faits RDF et produit des poids probabilistes fiables. Concernant la confiance, nous introduisons un mécanisme de confiance permettant de guider le processus de réponse aux requêtes dans des Réseaux P2P sémantiques. Les différents pairs dans les réseaux P2P sémantiques organisent leur information en utilisant des ontologies distinctes et d épendent d'alignements entre ontologies pour traduire leurs requêtes. La notion de confiance dans un tel contexte est subjective ; elle estime la probabilité qu'un pair apportera des réponses satisfaisantes pour les requêtes spécifiques dans les interactions futures. Le mécanisme proposé de calcul de valeurs de confiance combine les informations fournies par les alignements avec celles provenant des interactions passées entre pairs. Les valeurs de confiances calculées sont affinées progressivement à chaque cycle de requête/réponse en utilisant l'inférence bayésienne. Pour l'évaluation de notre mécanisme, nous avons construit un système P2P de partage de signets sémantiques (TrustMe) dans lequel il est possible de faire varier différents paramètres quantitatifs et qualitatifs. Les résultats expérimentaux montrent la convergence des valeurs de confiance ;.ils mettent également en évidence le gain en terme de qualité des réponses des pairs - mesurées selon la précision et le rappel- lorsque le processus de réponse aux requêtes est guidé par notre mécanisme de confiance. / In this thesis we investigate several approaches that help users to find useful and trustful informationin the Web of Data using the Semantic Web technologies. In this purpose, we tackle tworesearch issues: Data Linkage in Linked Data and Trust in Semantic P2P Networks. We model the problem of data linkage in Linked Data as a reasoning problem on possibly decentralized data. We describe a novel Import-by-Query algorithm that alternates steps of subquery rewriting and of tailored querying the Linked Data cloud in order to import data as specific as possible for inferring or contradicting given target same-as facts. Experiments conducted on real-world datasets have demonstrated the feasibility of this approach and its usefulness in practice for data linkage and disambiguation. Furthermore, we propose an adaptation of this approach to take into account possibly uncertain data and knowledge, with a result the inference of same-as and different-from links associated with probabilistic weights. In this adaptation we model uncertainty as probability values. Our experiments have shown that our adapted approach scales to large data sets and produces meaningful probabilistic weights. Concerning trust, we introduce a trust mechanism for guiding the query-answering process in Semantic P2P Networks. Peers in Semantic P2P Networks organize their information using separate ontologies and rely on alignments between their ontologies for translating queries. Trust is such a setting is subjective and estimates the probability that a peer will provide satisfactory answers for specific queries in future interactions. In order to compute trust, the mechanism exploits the information provided by alignments, along with the one that comes from peer's experiences. The calculated trust values are refined over time using Bayesian inference as more queries are sent and answers received. For the evaluation of our mechanism, we have built a semantic P2P bookmarking system (TrustMe) in which we can vary different quantitative and qualitative parameters. The experimental results show the convergence of trust, and highlight the gain in the quality of peers' answers —measured with precision and recall— when the process of query answering is guided by our trust mechanism.

Cet ouvrage défend une « thèse » au plein sens du mot. Celle-ci vise à modifier radicalement la conception traditionnelle de la dérivation lexicale en russe moderne, qui ne retient que deux modes de dérivation et deux seuls : la préfixation et la suffixation. La thèse défend l’idée qu’aux côtés de ces deux procédés, il en existe un troisième, qui opère à l’aide d’un signifiant discontinu, que certains linguistes appellent « circonfixe » et qui est appelé ici « confixe ». La thèse met en évidence les incohérences de l’approche traditionnelle qui considère comme relevant de le catégorie préfixo-suffixale ou préfixo-postfixale des mots tels que le substantif masculin podokonnik (pod+ok(o)n+nik : ‘sous’ + ‘fenêtre’ + ‘objet’ = appui de fenêtre) ou le verbe nabegat’sja (‘saturation’ + ‘courir’ + ‘réfléchi’ = ‘courir tout son soûl’). La thèse met en évidence que nous avons affaire ici aux confixes <pod-…-nik> pour le premier mot, <na-…-sja> pour le second. L’argumentation s’appuie sur un vaste matériau fourni par les dictionnaires historiques et contemporains. L’abondance des données a imposé de limiter les investigations aux substantifs et aux verbes. L’examen diachronique démontre que les confixes (morphèmes discontinus) se sont installés progressivement dans le système dérivationnel. En russe moderne, la confixation constitue un procédé dérivationnel désormais autonome et productif. / This work defends the « thesis » in the full sense of the word. It is aimed at the radical revision of the traditional concept of lexical derivation in moderne Russian, which keeps only two modes of derivation and two only ones : prefixation and suffixation. The dissertation defends the idea that besides these two ways of word-formation, there is the third – word-formation by means of a discontinuous morpheme, which some linguists call “Circonfixe” and which is called here “Confixe”. The dissertation highlights the contradictions of the traditional approach which considers nouns such as podokonnik (pod + ok(o)n +nik : ‘under’ + ‘window’ + ‘object’ = window sill) or verbs like nabegat’sja (‘satiation’ + ‘to run’ + ‘reflexive’ = ‘to be run’) as prefixally-suffixal or prefixally-postfixal formations. It underlines that we are dealing here with confixes <pod-…-nik> for the first word, <na-…-sja> for the second. Argumentation is based on a large material taken from the historical and contemporary dictionaries. The abundance of the collected data imposed to limit the research to nouns and verbs. The diachronic examination proves that confixes (discontinuous morphemes) have gradually taken their place in word-formation system. In moderne Russian confixation is really an independent way of word-formation.

Ce mémoire porte sur l’utilisation des unités sémiotiques temporelles en tant qu’outil compositionnel. Les UST sont définies par François Delalande comme des segments musicaux qui présentent une signification temporelle précise due à leur organisation morphologique. La démarche suivie – axée sur leur emploi à des fins expressives – conduit à une plus consciente maîtrise du phénomène temporel. Par suite d’un renversement de leur fonction conventionnellement analytique, ces unités participent activement au processus poïétique et abordent la condition intérieure du matériau sonore. Les analyses présentées dans ce mémoire suggèrent que la manipulation du temps de l’écoute – lorsqu’elle est fonction des stratégies cognitives de l’auditeur – constitue une partie importante de l’expérience esthétique. Ainsi, les UST peuvent représenter une ressource puissante au service d’une communication musicale efficace. / This thesis investigates the use of temporal semiotic units in music composition. Temporal semiotic units have been defined by François Delalande as musical segments that possess a precise temporal signification linked to their morphological organization. This research focuses on how their descriptive function can be exploited as a mean for music composition, contributing to the overall aesthetic and expressive qualities of music. By reversing their conventional analytical function, these units can actively engage in the poietic process, addressing the inner conditions of the sound material. The artistic research outlined by this thesis suggests that a thorough control of time – which relates to the cognitive strategies of listening – plays a powerful role in shaping the musical experience of the listener. Therefore, these units can represent a useful resource for effective communication in music.

La robotique autonome est employée avec succès dans des environnements industriels contrôlés, où les instructions suivent des plans d’action prédéterminés.La robotique domestique est le challenge des années à venir et comporte un certain nombre de nouvelles difficultés : il faut passer de l'hypothèse d'un monde fermé borné à un monde ouvert. Un robot ne peut plus compter seulement sur ses données capteurs brutes qui ne font qu'indiquer la présence ou l'absence d'objets. Il lui faut aussi comprendre les relations implicites entre les objets de son environnement ainsi que le sens des tâches qu'on lui assigne. Il devra également pouvoir interagir avec des humains et donc partager leur conceptualisation à travers le langage. En effet, chaque langue est une représentation abstraite et compacte du monde qui relie entre eux une multitude de concepts concrets et purement abstraits. Malheureusement, les observations réelles sont plus complexes que nos représentations sémantiques simplifiées. Elles peuvent donc rentrer en contradiction, prix à payer d'une représentation finie d'un monde "infini". Pour répondre à ces difficultés, nous proposons dans cette thèse une architecture globale combinant différentes modalités de représentation d'environnement. Elle permet d'interpréter une représentation physique en la rattachant aux concepts abstraits exprimés en langage naturel. Le système est à double entrée : les données capteurs vont alimenter la modalité de perception tandis que les données textuelles et les interactions avec l'humain seront reliées à la modalité sémantique. La nouveauté de notre approche se situe dans l'introduction d'une modalité intermédiaire basée sur la notion d'instance (réalisation physique de concepts sémantiques). Cela permet notamment de connecter indirectement et sans contradiction les données perceptuelles aux connaissances en langage naturel.Nous présentons dans ce cadre une méthode originale de création d'ontologie orientée vers la description d'objets physiques. Du côté de la perception, nous analysons certaines propriétés des descripteurs image génériques extraits de couches intermédiaires de réseaux de neurones convolués. En particulier, nous montrons leur adéquation à la représentation d'instances ainsi que leur usage dans l'estimation de transformation de similarité. Nous proposons aussi une méthode de rattachement d'instance à une ontologie, alternative aux méthodes de classification classique dans l'hypothèse d'un monde ouvert. Enfin nous illustrons le fonctionnement global de notre modèle par la description de nos processus de gestion de requête utilisateur. / Autonomous robotics is successfully used in controled industrial environments where instructions follow predetermined implementation plans.Domestic robotics is the challenge of years to come and involve several new problematics : we have to move from a closed bounded world to an open one. A robot can no longer only rely on its raw sensor data as they merely show the absence or presence of things. It should also understand why objects are in its environment as well as the meaning of its tasks. Besides, it has to interact with human beings and therefore has to share their conceptualization through natural language. Indeed, each language is in its own an abstract and compact representation of the world which links up variety of concrete and abstract concepts. However, real observations are more complex than our simplified semantical representation. Thus they can come into conflict : this is the price for a finite representation of an "infinite" world.To address those challenges, we propose in this thesis a global architecture bringing together different modalities of environment representation. It allows to relate a physical representation to abstract concepts expressed in natural language. The inputs of our system are two-fold : sensor data feed the perception modality whereas textual information and human interaction are linked to the semantic modality. The novelty of our approach is in the introduction of an intermediate modality based on instances (physical realization of semantic concepts). Among other things, it allows to connect indirectly and without contradiction perceptual data to knowledge in natural langage.We propose in this context an original method to automatically generate an ontology for the description of physical objects. On the perception side, we investigate some properties of image descriptor extracted from intermediate layers of convolutional neural networks. In particular, we show their relevance for instance representation as well as their use for estimation of similarity transformation. We also propose a method to relate instances to our object-oriented ontology which, in the assumption of an open world, can be seen as an alternative to classical classification methods. Finally, the global flow of our system is illustrated through the description of user request management processes.

La vulgarisation de l'informatique omniprésente à travers l'internet des objets (IdO) représente un défi pour la préservation de la vie privée et la confidentialité des individus.Les menaces contre la confidentialité sont directement liées à la capacité de détection de capteur dans l'IdO en suivant les individus dans presque toutes les situations de leur vie.Alliée à cela, les techniques d'exploration de données ont évolué et ont été utilisées pour extraire une multitude d’informations personnelles à partir de données du flux des données des capteurs.Ce modèle de confiance repose sur la fiabilité du consommateur de données pour extraire uniquement des informations accordées.Cependant, ce modèle permet l’exposition d’informations personnelles à des adversaires de la vie privée.Afin de fournir un mécanisme pour préserver la confidentialité dans l'IdO, nous proposons un modèle de capteur virtuel qui renforce une politique de confidentialité dans le flux des données des capteurs.Ce mécanisme intermédiaire se met en place entre les capteurs physiques et les consommateurs de données.En conséquence, nous sommes en mesure d'optimiser l'utilisation des techniques de preservation de confidentialité, telles qu'anonymisation, en les appliquant de manière sélective selon les intentions d'inférence des capteurs virtuelles, tout en empêchant les capteurs virtuels malveillants d'exécuter ou d'obtenir un accès direct aux données brutes des capteurs physiques.En outre, nous proposons une ontologie pour classer les informations personnelles basées sur la science du comportement (Behavior Computing), ce qui facilite la définition de la politique de confidentialité et à la classification de l'information en fonction des contextes comportementaux. / The spread of pervasive computing through the Internet of Things (IoT) represents a challenge for privacy preservation.Privacy threats are directly related to the capacity of the IoT sensing to track individuals in almost every situation of their lives.Allied to that, data mining techniques have evolved and has been used to extract a myriad of personal information from sensor data stream.This trust model relies on the trustworthiness of the data consumer who should infer only intended information.However, this model exposes personal information to privacy adversary.In order to provide a privacy preservation for the IoT, we propose a privacy-aware virtual sensor model that enforces privacy policy in the IoT sensing as a service.This mechanism intermediates physical sensors and data consumers.As a consequence, we are able to optimize the use of privacy preserving techniques by applying them selectively according to virtual sensor inference intentions, while preventing malicious virtual sensors to execute or get direct access to raw sensor data.In addition, we propose an ontology to classify personal information based on the Behavior Computing, facilitating privacy policy definition and information classification based on the behavioral contexts.

La recherche menée dans cette thèse traite du discours de l'Union européenne sur l'espace judiciaire européen entre 1996 et 1999. En convoquant l'analyse du discours et la lexicométrie dans un cadre théorique de la sémantique argumentative, elle analyse le sens des mots autour de l'expression « espace de liberté, de sécurité et de justice ». L'objectif est de définir comment s'élabore la réappropriation de valeurs universelles au profit du discours et de l'identité européenne véhiculée par les procédés argumentatifs utilisés pour représenter l'espace judiciaire européen. Le contexte politique et les théories linguistiques de la méthode d'analyse exposés, cette thèse porte sur les conditions de communication du discours et de sa particularité sémantique, en montrant qu'il construit une identité en triade renvoyant aux trois valeurs de son emblème triptyque (« liberté, sécurité et justice ») : les institutions, la criminalité organisée et les citoyens. Elle révèle les indices linguistiques de cette construction identitaire avec ses enjeux politiques et de légitimation en introduisant la notion de « normalisation discursive ». Celle-ci adopte un schéma linguistique très marqué conduisant à la mise en œuvre d'un processus de « manipulation argumentative » défini et démontré dans ce travail. Les résultats illustrent que la normalisation et la manipulation engendrent une circularité du discours reposant sur le conflit de deux orientations discursives : celle d'un discours sécuritaire et celle d'un discours sur l'État de droit et la démocratie.

XML (eXtensible Markup Language) est un format standard pour l'échange de données semi-structurées, qui est utilisé dans services web, les bases de données, et comme format de sérialisation pour échanger des données entre applications. Afin d'avoir un meilleur traitement de données XML, plusieurs langages statiquement typés pour XML ont été récemment définis, tels XDuce, CDuce, XJ, XTatic, XACT, XHaskell, OCamlDuce. Ces langages peuvent vérifier si un programme n'engendra d'erreurs de types à l'exécution. Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous un forme très limitée. Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans diverses groupes de travail de standardisation (par example, RELAX-NG et XQuery). Nous étudions dans cette thèse les techniques pour étendre par le polymorphisme paramétrique les langages de traitement XML. Notre solution se deroule sur deux étapes: (i) nous définissons et étudions une relation de sous-typage polymorphe sémantique pour un système de type avec types récursifs, types des produits, types des flèches, et types des ensemblistes (c'est-à-dire, l'union, l'intersection et la négation); et (ii) nous concevons et étudions un langage fonctionnel d'ordre supérieur qui tire pleinement parti des nouvelles fonctionnalités du système de type. La solution que nous proposons dans cette thèse est générale. Ainsi elle a des domaines d'application autres que les langages pour le traitement de données XML.