L’analyse statique est une tâche essentielle dans l’optimisation des requêtes et la vérification de la base de graphes RDF. Nous étudions des techniques d’analyse statique pour SPARQL, le langage standard pour l’interrogation des données du Web sémantique. Plus précisément, nous étudions le problème d’inclusion des requêtes et de l’analyse de l’indépendance entre les requêtes et la mise à jour de la base de graphes RDF.Nous sommes intéressés par le développement de techniques grâce à des réductions au problème de la satisfaisabilité de la logique.Nous nous traitons le problème d’inclusion des requêtes SPARQL en présence de l’opérateur OPTIONAL. L’optionalité est l’un des constructeurs les plus compliqués dans SPARQL et aussi celui qui rend ce langage plus expressif que les langages de requêtes classiques, comme SQL.Nous nous concentrons sur la classe de requêtes appelée "well-designed SPARQL", proposées dans la littérature comme un fragment du langage avec de bonnes propriétés en matière d’évaluation des requêtes incluent l’opération OPTIONAL. À ce jour, l’inclusion de requête a été testée à l’aide de différentes techniques: homomorphisme de graphes, bases de données canoniques, techniques de la théorie des automates et réduction au problème de la validité d’une logique. Dans cette thèse, nous utilisons la dernière technique pour tester l’inclusion des requêtes SPARQL avec OPTIONAL utilisant une logique expressive appelée «logique K». En utilisant cette technique, il est possible de régler le problème d’inclusion des requêtes pour plusieurs fragment de SPARQL, même en présence de schémas. Cette extensibilité n’est pas garantie par les autres méthodes.Nous montrons comment traduire a graphe RDF en un système de transitions, ainsi que une requête SPARQL en une formula K. Avec ces traductions, l’inclusion des requêtes dans SPARQL peut être réduite au test de la validité d’une formule logique. Un avantage de cette approche est d’ouvrir la voie pour des implémentations utilisant solveurs de satisfiabilité pour K.Nous présentons un banc d’essais de tests d’inclusion pour les requêtes SPARQL avec OPTIONAL. Nous avons effectué des expériences pour tester et comparer des solveurs d’inclusion de l’état de l’art.Nous présentons également un aperçu préliminaire du problème d’indépendance entre requête et mise à jour. Une requête est indépendante de la mise à jour lorsque l’exécution de la mise à jour ne modifie pas le résultat de la requête. Bien que ce problème ait été intensivement étudié pour des fragments de calcul relationnel, il n’existe pas de travaux pour le langage de requêtes standard pour le web sémantique. Nous proposons une définition de la notion de l’indépendance dans le contexte de SPARQL et nous établissons des premières pistes de analyse statique dans certains situations d’inclusion entre une requête et une mise à jour. / Static analysis is a core task in query optimization and knowledge base verification. We study static analysis techniques for SPARQL, the standard language for querying Semantic Web data. Specifically, we investigate the query containment problem and the query-update independence analysis. We are interested in developing techniques through reductions to the validity problem in logic.We address SPARQL query containment with optional matching. We focus on the class of well-designed SPARQL queries, proposed in the literature as a fragment of the language with good properties regarding query evaluation. SPARQL is interpreted over graphs, hence we encode it in a graph logic, specifically the modal logic K interpreted over label transition systems. We show that this logic is powerful enough to deal with query containment for the well-designed fragment of SPARQL. We show how to translate RDF graphs into transition systems and SPARQL queries into K-formulae. Therefore, query containment in SPARQL can be reduced to unsatisfiability in K.We also report on a preliminary overview of the SPARQL query-update problem. A query is independent of an update when the execution of the update does not affect the result of the query. Determining independence is especially useful in the contest of huge RDF repositories, where it permits to avoid expensive yet useless re-evaluation of queries. While this problem has been intensively studied for fragments of relational calculus, no works exist for the standard query language for the semantic web. We report on our investigations on how a notion of independence can be defined in the SPARQL context

No description available.

La mise en place Trame Verte et Bleue sur le territoire français a pour vocation de garantir la connectivité fonctionnelle entre habitats. C’est une des réponses politiques qui vise à enrayer le déclin actuel de la biodiversité, lie notamment à la destruction et à la dégradation des habitats. L’objectif de cette thèse est de quantifier l’effet de la connectivité, au regard d’autres facteurs environnementaux, sur la diversité des communautés et la diversité génétique des papillons de jour dans trois régions agricoles. Deux approches sont utilisées pour comprendre les processus qui sous-tendent ces patrons de diversité : i) l’étude de la communauté dans son ensemble et des groupes écologiques qui la compose, ii) l’étude de la résistance des milieux a la dispersion par génétique du paysage sur une espèce : le Myrtil (Maniola jurtina L.). Les résultats montrent que même si les caractéristiques locales jouent un rôle plus fort, la structure du paysage influence la composition des communautés. Ainsi, la quantité de terres arables réduit la richesse spécifique, la diversité génétique, et les flux de gènes chez le Myrtil. Les prairies hébergent des communautés diversifiées, incluant des espèces peu fréquentes. Les éléments linéaires enherbes supportent des communautés appauvries, mais favorisent la dispersion et la diversité génétique du Myrtil. La diversité des papillons est plus forte a proximité de boisements : les papillons pourraient bénéficier de ressources sur les lisières ; par ailleurs, les milieux boises semblent à la fois limiter les flux de gènes du Myrtil tout en accroissant sa diversité génétique. La complémentarité des milieux soulevée ici nous invite à repenser le modèle classique en ≪ sous-trames ≫ indépendantes de la Trame Verte et Bleue. Selon les enjeux de conservation, les espèces et les contextes paysagers, il est nécessaire de distinguer les situations ou, parmi un panel d’actions envisageables, améliorer la connectivité est une solution pertinente. / The implementation of the “Green and Blue Infrastructure” in France intends to ensure the functional connectivity of habitats (green veining). It is one of the nature conservation policies which aim to reduce the loss of biodiversity caused by the destruction and degradation of natural habitats. The objective of this work was to quantify the impact of connectivity, in comparison to other environmental factors, on the diversity of butterfly communities and their genetic diversity in three French agricultural regions. Two different approaches were applied to understand the underlying processes driving these diversity patterns: i) the study of the whole community and of the different ecological groups, ii) the study of landscape features resistances to butterfly dispersal using a landscape genetics approach on one species: the Meadow brown (Maniola jurtina L.). Our findings show that although local characteristics play a dominant role, landscape context does have an influence on community composition. Arable land cover decreases species diversity, and the Meadow brown genetic diversity and gene flow. Grasslands support more species rich communities, including non-frequent species. Grassy linear landscape elements host impoverished communities, but improve Meadow brown dispersal and enhance its genetic diversity. Species diversity is higher within grasslands in proximity to woody habitats: butterflies may benefit from resources on forest edges; moreover, woodlands seem to limit Meadow brown dispersal while increasing its genetic diversity. The habitat complementarity we evidenced here led us to question the classic model of ecological continuities as a collection of independent sub-networks, one for each type of habitat. According to conservation issues, species under interest and landscape contexts, we also need to identify situations where, among a broad panel of possible conservation actions, increasing connectivity is the most effective solution.

This thesis presents extended program notes for a seventy-minute vocal graduate recital consisting of the following repertoire for tenor: Johann Sebastian Bach’s cantata Ich armer Mensch ich Sündenknecht; two songs from the eighteenth-century Spanish collection Tonadillas Escénicas; Gaetano Donizetti's song La derniére nuit d'un novice; Francis Poulenc's song cycle Tel jour telle nuit; Jake Heggie's song cycle Friendly Persuasions; and John Corigliano's Three Irish Folk Songs for Flute and Tenor. Spanning four centuries of music and representing four different language traditions, these works are sufficiently representative of the tenor repertoire. The content of this thesis features detailed information on these works through historical study, and musical analysis.

Les base de données (BD) d'Occupation du Sol (OCS) sont d'une grande utilité, dans divers domaines. Les utilisateurs recherchent des niveaux de détails tant géométriques que sémantiques très fins. Ainsi, une telle BD d'OCS à Grande Échelle (OCS-GE) est en cours de constitution à l'IGN. Cependant, pour répondre aux besoins des utilisateurs, cette BD doit être mise à jour le plus régulièrement possible, avec une notion de millésime. Ainsi, des méthodes automatiques de mise à jour doivent être mises en place, afin de traiter rapidement des zones étendues. Par ailleurs, les satellites d'observation de la terre ont fait leurs preuves dans l'aide à la constitution de BD d'OCS à des échelles comparables à celle de CLC. Avec l'arrivée de nouveaux capteurs THR, comme celle du satellite Pléiades, la question de la pertinence de ces images pour la mise à jour de BD d'OCS-GE se pose naturellement. Ainsi, l'objet de cette thèse est de développer une méthode automatique de mise à jour de BDs d'OCS-GE, à partir d'une image satellite THR monoscopique (afin de réduire les coûts d'acquisition), tout en garantissant la robustesse des changements détectés. Le cœur de la méthode est un algorithme d'apprentissage supervisés multi-niveaux appelé MLMOL, qui permet de prendre en compte au mieux les apparences, éventuellement multiples, de chaque thème de la BD. Cet algorithme, complètement indépendant du choix du classifieur et des attributs extraits de l'image, peut être appliqué sur des jeux de données très variés. De plus, la multiplication de classifications permet d'améliorer la robustesse de la méthode, en particulier sur des thèmes ayant des apparences multiples (e,g,. champs labourés ou non, bâtiments de type maison ou hangar industriel, ...). De plus, l'algorithme d'apprentissage est intégré dans une chaîne de traitements (LUPIN) capable, d'une part de s'adapter automatiquement aux différents thèmes de la BD pouvant exister et, d'autre part, d'être robuste à l'existence de thèmes in-homogènes. Par suite, la méthode est appliquée avec succès à une image Pléiades, sur une zone à proximité de Tarbes (65) couverte par la BD OCS-GE constituée par IGN. Les résultats obtenus montrent l'apport des images Pléiades tant en terme de résolution sub-métrique que de dynamique spectrale. D'autre part, la méthode proposée permet de fournir des indicateurs pertinents de changements sur la zone. Nous montrons par ailleurs que notre méthode peut fournir une aide précieuse à la constitution de BD d'OCS issues de la fusion de différentes BDs. En effet, notre méthode a la capacité de prise de décisions lorsque la fusion de BDs génère des zones de recouvrement, phénomène courant notamment lorsque les données proviennent de différentes sources, avec leur propre spécification. De plus, notre méthode permet également de compléter d'éventuels lacunes dans la zone de couverture de la BD générée, mais aussi d'étendre cette couverture sur l'emprise d'une image couvrant une étendue plus large. Enfin, la chaîne de traitements LUPIN est appliquée à différents jeux de données de télédétection afin de valider sa polyvalence et de juger de la pertinence de ces données. Les résultats montrent sa capacité d'adaptation aux données de différentes résolutions utilisées (Pléiades à 0,5m, SPOT 6 à 1,5m et RapidEye à 5m), ainsi que sa capacité à utiliser les points forts des différents capteurs, comme par exemple le canal red-edge de RapidEye pour la discrimination du thème forêts, le bon compromis de résolution que fournit SPOT 6 pour le thème zones bâties et l'apport de la THR de Pléiades pour discriminer des thèmes précis comme les routes ou les haies. / Land-Cover geospatial databases (LC-BDs) are mandatory inputs for various purposes such as for natural resources monitoring land planning, and public policies management. To improve this monitoring, users look for both better geometric, and better semantic levels of detail. To fulfill such requirements, a large-scale LC-DB is being established at the French National Mapping Agency (IGN). However, to meet the users needs, this DB must be updated as regularly as possible while keeping the initial accuracies. Consequently, automatic updating methods should be set up in order to allow such large-scale computation. Furthermore, Earth observation satellites have been successfully used to the constitution of LC-DB at various scales such as Corine Land Cover (CLC). Nowadays, very high resolution (VHR) sensors, such as Pléiades satellite, allow to product large-scale LC-DB. Consequently, the purpose of this thesis is to propose an automatic updating method of such large-scale LC-DB from VHR monoscopic satellite image (to limit acquisition costs) while ensuring the robustness of the detected changes. Our proposed method is based on a multilevel supervised learning algorithm MLMOL, which allows to best take into account the possibly multiple appearances of each DB classes. This algorithm can be applied to various images and DB data sets, independently of the classifier, and the attributes extracted from the input image. Moreover, the classifications stacking improves the robustness of the method, especially on classes having multiple appearances (e.g., plowed or not plowed fields, stand-alone houses or industrial warehouse buildings, ...). In addition, the learning algorithm is integrated into a processing chain (LUPIN) allowing, first to automatically fit to the different existing DB themes and, secondly, to be robust to in-homogeneous areas. As a result, the method is successfully applied to a Pleiades image on an area near Tarbes (southern France) covered by the IGN large-scale LC-DB. Results show the contribution of Pleiades images (in terms of sub-meter resolution and spectral dynamics). Indeed, thanks to the texture and shape attributes (morphological profiles, SFS, ...), VHR satellite images give good classification results, even on classes such as roads, and buildings that usually require specific methods. Moreover, the proposed method provides relevant change indicators in the area. In addition, our method provides a significant support for the creation of LC-DB obtain by merging several existing DBs. Indeed, our method allows to take a decision when the fusion of initials DBs generates overlapping areas, particularly when such DBs come from different sources with their own specification. In addition, our method allows to fill potential gaps in the coverage of such generating DB, but also to extend the data to the coverage of a larger image. Finally, the proposed workflow is applied to different remote sensing data sets in order to assess its versatility and the relevance of such data. Results show that our method is able to deal with such different spatial resolutions data sets (Pléiades at 0.5 m, SPOT 6 at 1.5 m and RapidEye at 5 m), and to take into account the strengths of each sensor, e.g., the RapidEye red-edge channel for discrimination theme forest, the good balance of the SPOT~6 resolution for built-up areas classes and the capability of VHR of Pléiades images to discriminate objects of small spatial extent such as roads or hedge.

Les enfants en situation de handicap ont souvent besoin de soutien supplémentaire pour favoriser leur intégration sociale et leur bien-être en camps de jour (Brookman, 2003; Edwards & Smith, 1989; Murphy et al., 2008; Siperstein, 2009). Pour répondre à ce besoin, les accompagnateurs d’enfants en situation de handicap doivent avoir une formation adéquate pour les préparer à leur rôle de soutien (Baldwin et al., 2010; Ko et al., 2012; Lawrence et al., 2006; Wahl-Alexander, 2017; Waller et al., 2017). Cette recherche avait pour but de comparer une formation synchrone et une formation autoguidée en ligne du point de vue des habiletés, de l’anxiété et de la détresse psychologique de 34 accompagnateurs dans le cadre d’un essai randomisé contrôlé. L’acceptabilité sociale de la formation autoguidée en ligne a aussi été comparée à celle de la formation synchrone. Les résultats indiquent qu’il n’y avait pas de différence dans les habiletés acquises, l’anxiété et la détresse psychologique des participants entre le pré-test et le post-test, peu importe leur modalité de formation. L’acceptabilité sociale était aussi la même dans les deux groupes de participants. D’autres études doivent être réalisées avec un plus grand échantillon, mais les résultats actuels suggèrent que la formation autoguidée en ligne serait au moins équivalente à la formation synchrone. Pour la pratique psychoéducative, cette conclusion soulève la possibilité de mettre en place de nouvelles modalités d’intervention. / Children with disabilities often need extra support to promote their social integration and well-being in day camps (Brookman, 2003; Edwards & Smith, 1989; Murphy et al., 2008; Siperstein, 2009). To meet this need, counsellors that support children with disabilities must have adequate training to prepare them for this role (Baldwin et al., 2010; Ko et al., 2012; Lawrence et al., 2006; Wahl-Alexander, 2017; Waller et al., 2017). The purpose of this study was to compare the effects of a synchronous training and a self-guided online training on the skills and well-being of 34 counsellors using a randomized controlled trial. The social validity of the self-guided online training was also compared to the one of the synchronous training. The results show that there were no differences in the basic skills or the psychological well-being of the participants when comparing both training modalities. Social validity scores were also similar across both groups. The results of this Master’s thesis suggest that the self-guided online training would be at least equivalent to the synchronous training. However, studies with larger sample sizes are needed to replicate these findings. Implications for the field of psychoeducation include initial support for the use of new and diversified intervention methods.

No description available.

Alors que les études littéraires tendent à se professionnaliser et la culture à occuper de moins en moins d’espace dans les grands médias traditionnels, les revues culturelles proposent une critique qui se distingue de ces deux pratiques. Liberté, L’Inconvénient, Contre-jour et Spirale offrent aux intellectuels, critiques et universitaires l’espace d’une pratique mitoyenne, entre celles des publications savantes et des médias grand public. Qu’ils se définissent au premier chef comme herméneutes, médiateurs ou érudits, les critiques de ces revues revendiquent tous une parole littéraire. Chacun des chapitres de ce mémoire se penche sur une publication, retraçant son histoire et étudiant les textes métacritiques afin de cerner les différences et les similitudes entre les conceptions, les fonctions et les mises en pratique de la critique. La méthode emprunte à l’histoire des revues en tant que groupes d’affiliation, développée par Andrée Fortin et Michel Lacroix. L’analyse des thèmes récurrents et des filiations, dans la lignée des travaux de Martine-Emmanuelle Lapointe et d’Anne Caumartin, ainsi que de la rhétorique, particulièrement la notion d’ethos telle que définie par Dominique Maingueneau et Ruth Amossy, permet de mettre en lumière ce qui constitue, pour les praticiens de la critique, la singularité et la valeur de la parole littéraire. / Whilst Literature Studies are professionalizing and culture becomes less and less prominent in traditional media, literary reviews offer a distinctive voice for criticism. Liberté, L’Inconvénient, Contre-jour and Spirale offer intellectuals, critics and academics alike an adjoining space for the practice of cultural criticism, which positions itself somewhere between scientific publications and mass media. Whether they identify themselves primarily as hermeneutics experts, mediators or scholars, the critics who participate in those reviews all avail themselves of a literary word. Each chapter of this thesis will examine one of the four publications named above, retracing their history and analyzing meta-critical texts published in their pages to outline the differences and similarities between their conceptions of literary criticism, and its function and application. Methods used to conceptualize reviews as groups are akin to the works of Andrée Fortin and Michel Lacroix. By analyzing the recurring themes, the filiations (as Martine-Emmanuelle Lapointe and Anne Caumartin’s works exemplify) and the rhetoric (particularly the notion of ethos as developed by Dominique Maingueneau and Ruth Amossy) of these literary reviews, this thesis will reveal what constitutes, for the critics studied here, the singularity and the value of the literary word.

Qu’est-ce que jouer au XXIe siècle des musiques de la Renaissance ? Prenant acte de ce que la richesse d’une expérience réside dans sa singularité, cette thèse fait le pari de répondre à cette question générale en s’intéressant à un processus particulier : la répétition et l’enregistrement d’une chanson du XVIe siècle par un ensemble spécialisé. Dès lors que l’on s’efforce de prendre les détails au sérieux, il semble que le suivi rapproché de ces musiciens-là, engagés en 2014 dans la performance réitérée de « Suzanne un jour » de Didier Lupi, présente bien un intérêt en tant que tel. Cela permet d’appréhender non seulement ce qui fait advenir et évoluer une proposition musicale, mais également les modalités de l’expérience collective et individuelle afférente. En outre, cette épistémologie singulariste rivée aux détails s’avère fructueuse à d’autres échelles, qu’il s’agisse de revenir sur cinq semaines de l’élaboration d’un projet discographique ou d’écrire cinq siècles d’histoire de « Suzanne ». / What does it mean to play Renaissance music in the 21st century? Taking into account that the depth of an experience derives from its singularity, the present dissertation looks at this general question by focusing on a specific process: a specialized ensemble rehearsing and recording a 16th century song. A close reading of this process makes it clear that there is inherent value in observing musicians in the year 2014 engaged in repeat performances of “Suzanne un jour” by Didier Lupi. This observation clarifies how a musical performance is created and developed and reveals the modalities of the collective and individual experiences involved. Moreover, this detail-oriented and singularist epistemology is useful in other respects, whether to comprehend a five-week recording project or to write a five-century history of “Suzanne.”

D'après la critique biblique contemporaine, les trois derniers versets du livret actuel de Malachie n'appartenaient pas à l'original ; ils constitueraient deux appendices, les vv. 22 et 23-24 du chapitre 3. Mais lorsqu'il faut déterminer le corpus auquel ces rédactions ont été ajoutées, les propositions divergent et portent ou sur le livret de Malachie, ou sur les Douze, ou sur le corpus prophétique, ou sur " la Loi et les Prophètes ". Notre travail a choisi de vérifier la pertinence de l'hypothèse selon laquelle Mal 3,22-24 est une conclusion du livret de Malachie mais aussi une finale rédactionnelle du livre des Douze. Concrètement, par une analyse littéraire et thématique, il s'agit de voir si les thèmes majeurs de ces derniers versets s'expliquent à partir des oracles de Malachie, mais aussi et surtout à partir du livre des Douze. L'exposé se développe en quatre parties. Après un examen de critique textuelle qui conduit à privilégier le TM par rapport à la LXX de Mal 3,22-24, la première partie montre la cohésion du texte et la place principale qu'y occupe l'expression yôm YHWH. Celle-ci est ensuite reconnue comme étant exclusivement prophétique et majoritairement présente dans le livre des douze Prophètes. Mais le texte étudié se présente d'abord comme une finale de Malachie ; l'aurait-on ajouté pour conclure le livret ? La deuxième partie donne une réponse à cette question. Une analyse rhétorique révèle la construction interne des sections et leur enchaînement. Elles forment une construction concentrique où les trois derniers versets, en parallèle à Mal 1,1, s'intègrent comme conclusion du livret. D'ailleurs, Mal 3,23 est sans aucun doute une relecture de 3,1 ; les versets finaux se rattachent donc au livret de Malachie surtout par le thème du mal'ak (1,1 ; 2,7 ; 3,1), mais aussi par l'invitation à respecter la Loi rappelée tout au long du livret. Par contre, dans ce dernier, en dehors des appendices, l'expression yôm YHWH ne se rencontre pas. Pour expliquer sa présence en Mal 3,23, il faut absolument se tourner vers le corpus des Douze. La troisième partie s'attelle d'abord à rappeler la position de la tradition ancienne et des critiques modernes qui considèrent les Douze comme un livre. Elle montre alors, en s'appuyant particulièrement sur J. Nogalski, comment par la technique de la concaténation, les livrets s'enchaînent et forment un tout. Celui-ci se trouve même encadré par une inclusion thématique constituée par le prologue d'Osée et par Malachie. Or, c'est dans le livre des Douze que le thème du Jour de YHWH trouve ses développements les plus importants. Amos en est le héraut le plus ancien (Am 5,18-20). Des livrets entiers y sont consacrés : Joël, Sophonie et Abdias. On retrouve ce thème ailleurs dans les Douze, exprimé de façon plus implicite, dès le prologue d'Osée, à travers des formules où intervient le mot yôm. Parallèlement à la finale de Malachie, en Jl 3,1 suivi par Za 12-14, le Jour de YHWH est marqué par un prophétisme nouveau et eschatologique. Placé au cœur des Douze, Jonas se présente sous les traits du prophète Élie. La visée et la datation du Mal 3,22-24 constituent l'objet de la quatrième partie. La rédaction est à situer probablement à la même époque que Joël, ou bien entre Joël et la publication du Siracide (cf. Si 49,10). Ces derniers versets de Malachie sont, en somme, une relecture de Mal 3,1, en vue d'identifier le mal'ak YHWH, préciser sa mission, et conclure le livret ; mais ils servent aussi de finale aux Douze considérés comme le livre du Jour de YHWH. La thèse que nous soutenons n'écarte pas d'emblée les autres qui, malgré les réserves que nous avons émises à leur sujet, attendent plutôt d'être approfondies pour que soit possible le débat sur la fonction de Mal 3,22-24 dans le canon de l'Ancien Testament.