Note sur les annexes : 8 fichiers en format m4a présentant l'interprétation de pièces de luth à la guitare / Cette recherche se concentre sur la transcription des sonates de la période de maturité de Sylvius Leopold Weiss (1687-1750), écrites originellement pour le luth baroque à 13 chœurs, afin de les adapter à la guitare moderne à 6 cordes. L'objectif principal est d'analyser comment intégrer et interpréter cette musique sur un instrument contemporain. Deux caractéristiques majeures se dégagent de ces œuvres : le niveau technique requis et la structure des mouvements, annonçant des éléments du classicisme à venir. Ces éléments évoluent à partir d'un contexte baroque vers des traits caractéristiques du classicisme naissant. Le projet de recherche vise spécifiquement la transcription d'œuvres de la maturité de Weiss, en mettant l'accent sur des aspects tels que le style du compositeur, les ornementations et d'autres éléments distinctifs. Son but principal est de trouver des solutions pour transcrire avec succès les œuvres du compositeur pour la guitare, un instrument qui diffère considérablement de celui utilisé dans la culture musicale de ce compositeur allemand. / This research focuses on transcribing the sonatas from the mature period of Sylvius Leopold Weiss (1687-1750), originally written for the 13-course baroque lute, to adapt them for the modern 6-string guitar. The primary objective is to analyze how to integrate and interpret this music on a contemporary instrument. Two major characteristics emerge from these works: the required technical level and the structure of the movements, foreshadowing elements of the forthcoming classicism. These elements evolve from a Baroque context towards characteristics of emerging classicism. This research project specifically aims at transcribing Weiss's mature works, focusing on aspects such as the composer's style, ornamentation, and other distinctive elements. Its main goal is to find successful solutions for transcribing the composer's works to the guitar, an instrument that differs considerably from that used in the musical culture of this German composer.

Ce mémoire utilise la démarche expérimentale afin de détourner des images et des objets de leur usage fonctionnel conventionnel afin de créer des expériences artistiques nouvelles. Ce projet s'appuie d'abord sur une recherche théorique qui identifie des critères d'appréhension de l'image à partir d'études de cas et d'analyses de projets. La seconde partie de la recherche fait état des expériences effectuées sur le terrain et évalue leur efficacité à la lumière des constats faits dans la première partie.

La composition et la formation du corpus pseudo-clémentin constitue un problème littéraire et historique qui n'a toujours pas trouvé de solution satisfaisante, malgré un nombre considérable de travaux consacrés à la question. Dans cette thèse, nous avons mis de côté ce problème, qui touche les origines des Pseudo-Clémentines et donc la définition des différents niveaux rédactionnels, pour étudier le texte, tel qu'il se présente sous la forme des Homélies et des Reconnaissances, et le mettre en rapport avec une sélection de documents contemporains et d'un genre semblable. Le but de l'exercice se limite à mieux déterminer la nature et l'originalité du propos pseudo-clémentin. Nous avons choisi, pour mener à bien cette étude, un thème capable de supporter une analyse comparative, celui de l'opposition entre l'apôtre Pierre et Simon le magicien.

Cette thèse porte sur la recherche-création ayant menée à l’apprentissage et l’exécution publique de Diário, œuvre pour piano du compositeur brésilien Heber Schuenemann (né en 1971). Dans ce cycle, qui comprend 23 courtes pièces, le compositeur explore la notion de « hasard », propre à la musique aléatoire. Il utilise également des techniques de composition s’apparentant au sérialisme et au minimalisme. Après avoir présenté les principales caractéristiques des courants musicaux propres à l’œuvre, la chercheuse-pianiste procède à une analyse de l’œuvre, décrivant la structure et les techniques de composition de chaque pièce. Par la suite, elle décrit sa propre démarche d’interprète – du déchiffrage de l’œuvre à sa prestation publique et à son enregistrement en studio – et elle commente son expérience à la lumière de la littérature pertinente. Sont abordées, notamment, les difficultés inhérentes au déchiffrage d’une œuvre atonale et les diverses étapes menant à l’identification de ses éléments structuraux; les difficultés relatives à la technique pianistique; l’importance du regroupement d’unités et de l’acquisition d’automatismes corporels; la définition de l’image artistique. Des pistes pédagogiques favorisant l’enseignement et l’apprentissage de l’œuvre sont également présentées. / This thesis reports on a research-creation focused on learning and public performance of the cycle Diário, a piano work by Brazilian composer Heber Schuenemann (born in 1971). In this cycle, which includes 23 pieces, the composer explores the notion of chance, specific to the indeterminate (aleatory) music, and uses the compositional techniques comparable to the serialism and the minimalism. After presenting main features of musical styles of the cycle, the researcher-pianist proceeds to the analysis of the cycle, describing the structure and the technique of composition of each piece. Thereafter, the author describes her own approach of an interpreter, from the deciphering the work to its public performance and studio recording, commenting on her experience in the light of the relevant literature. In particular, the author examines the difficulties in deciphering an atonal work and various steps leading to the identification of its structural elements. In addition, the author focuses on the definition of the artistic image, the difficulties related to the piano technique, the combination of units, and the acquisition of automatisms. Educational means promoting the teaching and learning of the work are also presented.

Ce mémoire présente la conception, la réalisation et les tests effectués pour une architecture générique permettant à une machine de reconnaitre le sens d'un message en utilisant le modèle de la cognition linguistique de l'humain et un environnement commun à celui des humains. À ce jour, les machines reconnaissent des mots clés et répondent en suivant un modèle préfabriqué, tous deux préprogrammés par des humains. Donc, chaque agent informatique muni d'une forme d'interaction avec le public se voit attribuer un certain nombre de questions potentielles avec les réponses associées, parfois préconstruite. C'est-à-dire que la machine possède une base de mots avec un ordre prédéfini de ceux-ci qu'elle peut utiliser, parfois une phrase déjà entièrement construite, que la machine utilise telle qu'elle. L'objectif principal de ce projet est de démontrer qu'il est possible pour la machine de s'approcher du modèle proposé par les linguistes, principalement un modèle proposé par Kleiber, adjoint à un modèle de cognition, celui du STI, et d'extraire le sens d'un message dans le but de l'interpréter Ainsi, il est possible d'établir une forme de dialogue entre un être humain et une machine. Cet objectif est atteint en proposant une nouvelle architecture générique pour le traitement du langage naturel. Contrairement à ce qui est fait habituellement dans ce genre de problématique, les réponses obtenues ne doivent pas être des réponses préconçues, mais bien des phrases générées par la machine à partir de la grammaire de la langue. Les résultats obtenus montrent qu'il est possible de donner un sens aux mots composant un message de manière à ce qu'une machine soit en mesure de l'interpréter dans un langage qui lui est propre. Cela est fait de manière à ce que cette même machine puisse répondre à son interlocuteur, voire éventuellement prendre une décision en rapport avec la conversation.

Ce manuscrit résume des travaux de recherche effectués durant mon travail de thèse qui s'est déroulé en plusieurs étapes. La première partie de ce travail a consisté en une interprétation de l'ensemble des données sismiques disponibles documentant la zone Sud du Prisme de la Barbade*. La deuxième partie, a consisté à analyser la déformation (étude structurale et cinématique) du sud du Prisme de la Barbade et la dernière partie a été consacrée à l'analyse des structures profondes. <br />La problématique abordée dans le cadre de cette thèse a porté sur l'étude des structures géologiques développées en domaine sous-marin et fortement dépendantes de la sédimentation. Ces structures concernent à la fois des zones compressives et des zones extensives. Nous avons tenté de définir les liens génétiques entre la nature et l'architecture des dépôts, et la géométrie et le développement des structures, ceci à partir de l'interprétation des données acquises lors de la Campagne CARAMBA, des profils des campagnes VEN et AN, et de deux forages situés sur la plate-forme. <br />L'analyse sismostratigraphique nous a permis d'identifier sept unités sismiques qui ont été repérées sur la plate-forme et dans la partie sud du prisme de la Barbade, et de mieux comprendre la chronologie des événements et la cinématique de la déformation. La nature des dépôts (faciès sismiques), leur distribution, et leur migration au cours du temps apparaissent étroitement associés à la déformation. Le développement d'un réseau de chenaux, le volcanisme de boue, et la localisation des zones d'érosion ont constitué d'autres éléments pour préciser l'évolution tectono-sédimentaire. Ceci a permis de distinguer 2 grandes zones distinctes (1 et 2) à partir de l'analyse des faciès sismiques. L'essentiel des zones d'érosion ont été identifiées dans la zone 1. Ces érosions sont à relier à l'activation des structures internes (jeux des failles très forts) et à l'activité du volcanisme de boue. Les dépôts " chaotiques " (coulées de boue, glissements en masse) qui jalonnent la faille 5, participent à l'érosion et alimentent la sédimentation plus au nord. La distribution des chenaux est induite par l'hydrodynamisme des pentes (foresets) du delta de l'Orénoque, puis contrôlée par la déformation progressive du prisme d'accrétion. <br />A partir de l'étude structurale, nous avons proposé que la déformation migre du nord-est vers le Sud-Ouest à raison d'environ 0.7 cm/an, depuis le Pléistocène. Par ailleurs, nous avons constaté que l'orientation de ces structures superficielles est indépendante des structures profondes. D'après les mécanismes au foyer et l'orientation des contraintes associées, les déformations profondes sont opposées à celles analysées en surface. L'épaisseur de la croûte continentale tend à augmenter vers le SE en même temps que l'épaisseur de la couverture sédimentaire tend à se réduire. L'activité des failles de la plate-forme crétacée a joué un rôle important dans la création d'espace d'accommodation pour les dépôts sédimentaires.

<P align="justify">Model-checking is an automated technique which aims at verifying properties of computer systems. A model-checker is fed with a model of the system (which capture all its possible behaviors) and a property to verify on this model. Both are given by a convenient mathematical formalism like, for instance, a transition system for the model and a temporal logic formula for the property.</P> <P align="justify">For several reasons (the model-checking is undecidable for this class of model or the model-checking needs too much resources for this model) model-checking may not be applicable. For safety properties (which basically says "nothing bad happen"), a solution to this problem uses a simpler model for which model-checkers might terminate without too much resources. This simpler model, called the abstract model, over-approximates the behaviors of the concrete model. However the abstract model might be too imprecise. In fact, if the property is true on the abstract model, the same holds on the concrete. On the contrary, when the abstract model violates the property, either the violation is reproducible on the concrete model and so we found an error; or it is not reproducible and so the model-checker is said to be inconclusive. Inconclusiveness stems from the over-approximation of the concrete model by the abstract model. So a precise model yields the model-checker to conclude, but precision comes generally with an increased computational cost.</P> <P align="justify">Recently, a lot of work has been done to define abstraction refinement algorithms. Those algorithms compute automatically abstract models which are refined as long as the model-checker is inconclusive. In the thesis, we give a new abstraction refinement algorithm which applies for safety properties. We compare our algorithm with previous attempts to build abstract models automatically and show, using formal proofs that our approach has several advantages. We also give several extensions of our algorithm which allow to integrate existing techniques used in model-checking such as acceleration techniques.</P> <P align="justify">Following a rigorous methodology we then instantiate our algorithm for a variety of models ranging from finite state transition systems to infinite state transition systems. For each of those models we prove the instantiated algorithm terminates and provide encouraging preliminary experimental results.</P> <br> <br> <P align="justify">Le model-checking est une technique automatisée qui vise à vérifier des propriétés sur des systèmes informatiques. Les données passées au model-checker sont le modèle du système (qui en capture tous les comportements possibles) et la propriété à vérifier. Les deux sont donnés dans un formalisme mathématique adéquat tel qu'un système de transition pour le modèle et une formule de logique temporelle pour la propriété.</P> <P align="justify">Pour diverses raisons (le model-checking est indécidable pour cette classe de modèle ou le model-checking nécessite trop de ressources pour ce modèle) le model-checking peut être inapplicable. Pour des propriétés de sûreté (qui disent dans l'ensemble "il ne se produit rien d'incorrect"), une solution à ce problème recourt à un modèle simplifié pour lequel le model-checker peut terminer sans trop de ressources. Ce modèle simplifié, appelé modèle abstrait, surapproxime les comportements du modèle concret. Le modèle abstrait peut cependant être trop imprécis. En effet, si la propriété est vraie sur le modèle abstrait alors elle l'est aussi sur le modèle concret. En revanche, lorsque le modèle abstrait enfreint la propriété : soit l'infraction peut être reproduite sur le modèle concret et alors nous avons trouvé une erreur ; soit l'infraction ne peut être reproduite et dans ce cas le model-checker est dit non conclusif. Ceci provient de la surapproximation du modèle concret faite par le modèle abstrait. Un modèle précis aboutit donc à un model-checking conclusif mais son coût augmente avec sa précision.</P> <P align="justify">Récemment, différents algorithmes d'abstraction raffinement ont été proposés. Ces algorithmes calculent automatiquement des modèles abstraits qui sont progressivement raffinés jusqu'à ce que leur model-checking soit conclusif. Dans la thèse, nous définissons un nouvel algorithme d'abstraction raffinement pour les propriétés de sûreté. Nous comparons notre algorithme avec les algorithmes d'abstraction raffinement antérieurs. A l'aide de preuves formelles, nous montrons les avantages de notre approche. Par ailleurs, nous définissons des extensions de l'algorithme qui intègrent d'autres techniques utilisées en model-checking comme les techniques d'accélérations.</P> <P align="justify">Suivant une méthodologie rigoureuse, nous instancions ensuite notre algorithme pour une variété de modèles allant des systèmes de transitions finis aux systèmes de transitions infinis. Pour chacun des modèles nous établissons la terminaison de l'algorithme instancié et donnons des résultats expérimentaux préliminaires encourageants.</P>

Plusieurs encriers se sont déjà épuisés à écrire sur la Venise des films, mais leurs études étaient avant tout d'ordre historique. Nous tenons compte de cette approche, de cette histoire de l'imaginaire, car nous pensons qu'elle est le passage vers un regard esthétique sur certaines interprétations de l'espace vénitien, tel qu'il est représenté dans le cinéma de fiction. Choisies pour leur éclectisme mais aussi pour leurs éventuelles correspondances, les images de notre corpus filmographique nous entraînent vers une analyse variée de l'espace du plan (le cadre, le champ) et de celui du montage (la " dialectique " des plans). Notre démarche, attachée aussi bien aux rapports spirituels et matériels qu'aux résultats signifiants et inconscients entre le créateur et Venise, retrace la sensibilité perceptible dans chacun des films concernés. Grâce à cette sensibilité, nous voulons mieux connaître les conditions d'une poétique de l'espace vénitien (et urbain) à travers le film, mais aussi le statut de la fiction pour son spectateur. Nous considérons objectivement autant les lieux communs que les visions anti-mythiques de la ville, car la spectacularité, le quotidien et la découverte font tous partie de sa nature. Nous cherchons simplement à comprendre comment les images filmiques et leurs histoires peuvent encore progresser vers une définition plus claire de la " place " de Venise et du cinéma pour chacun de leurs observateurs, pour chacun de leurs auteurs.

Scene understanding is the process, often real time, of perceiving, analysing and elaborating an interpretation of a 3D dynamic scene observed through a network of sensors. This process consists mainly in matching signal information coming from sensors observing the scene with models which humans are using to understand the scene. Based on that, scene understanding is both adding and extracting semantic from the sensor data characterizing a scene. This scene can contain a number of physical objects of various types (e.g. people, vehicle) interacting with each others or with their environment (e.g. equipment) more or less structured. The scene can last few instants (e.g. the fall of a person) or few months (e.g. the depression of a person), can be limited to a laboratory slide observed through a microscope or go beyond the size of a city. Sensors include usually cameras (e.g. omni directional, infrared), but also may include microphones and other sensors (e.g. optical cells, contact sensors, physiological sensors, radars, smoke detectors). Scene understanding is influenced by cognitive vision and it requires at least the melding of three areas: computer vision, cognition and software engineering. Scene understanding can achieve four levels of generic computer vision functionality of detection, localisation, recognition and understanding. But scene understanding systems go beyond the detection of visual features such as corners, edges and moving regions to extract information related to the physical world which is meaningful for human operators. Its requirement is also to achieve more robust, resilient, adaptable computer vision functionalities by endowing them with a cognitive faculty: the ability to learn, adapt, weigh alternative solutions, and develop new strategies for analysis and interpretation. The key characteristic of a scene understanding system is its capacity to exhibit robust performance even in circumstances that were not foreseen when it was designed. Furthermore, a scene understanding system should be able to anticipate events and adapt its operation accordingly. Ideally, a scene understanding system should be able to adapt to novel variations of the current environment to generalize to new context and application domains and interpret the intent of underlying behaviours to predict future configurations of the environment, and to communicate an understanding of the scene to other systems, including humans. Related but different domains are robotic, where systems can interfere and modify their environment, and multi-media document analysis (e.g. video retrieval), where limited contextual information is available.

L'étude fait un bilan de l'étendue de la protection de l'objet du brevet et de la sécurité juridique. Elle s'appuie sur la législation et les décisions brésiliennes et européennes. L'étude aborde dans un premier temps la détermination de l'objet du brevet lors de sa rédaction: la description est analysée du point de vue de la forme, puis de celui du fond. Ensuite, la revendication est analysée du point de vue de ses structures et de ses conditions de fond.La notion de moyen est définie. Le rôle de la description et de la revendication dans la détermination de l'objet du brevet étant défini, la deuxième partie de l'étude est consacré aux règles d'interprétation. L'analyse constitutionnelle brésilienne est faite en prenant en compte les cadres données par le protocole interprétatif de l'article 69 de la Convention Européen de Brevets. Ensuite, nous proposons des paramètres internes et externes pour guider l'interprétation des revendications et déterminer l'objet du brevet. La démarche vise à assurer au titulaire du brevet le plein droit et aux tiers la sécurité juridique.