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.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

"Thèse présentée à la Faculté des études supérieures En vue de l'obtention du grade de Docteur en droit" / La présente thèse a d'abord pour sujet la fonction participative reconnue à l'interprète de la nonne, déniée par la doctrine classique au profit de la fiction qui fonde l'absolutisation de l'intention de l'auteur de la nonne. Faisant état des phases de l'avènement du sens de la loi dans le déploiement du cercle hennéneutique, nous analysons la doctrine classique et, abordant l'interprétation selon l'approche hennéneutique, nous dégageons et explicitons les conditions propres à l'avènement de la juridicité tant au niveau de l'autonomie du texte que de sa réception. La présente thèse a également pour fin d'évaluer le poids des contraintes sur l'interprétation et l'application à l'oeuvre en droit. Comment, dans le processus de l'avènement du sens de la nonne, l'interprétation juridique s'édifie-t-elle et s'enrichitelle des valeurs et des règles qui régissent la production du droit? Pour analyser et caractériser le rôle du juge dans l'avènement du sens de la nonne juridique selon une démarche dont la spécificité relève de la phénoménologie et de 1'hennéneutique philosophique, nous choisissons le domaine des droits linguistiques. L'analyse des données empiriques recueillies pennet de voir sur quelles voies, au-delà de la prédétennination et de la co-détennination du sens de la nonne, s'engage la «surdétennination» (concept propre à la théorie de «l'analyse systémale» et selon lequel le sens de la nonne émerge aussi en référence au champ de valeurs qui traverse la représentation de la réalité de la nonne) et dès lors d'en illustrer concrètement les manifestations propres. D'abord envisagée sous le règne de l'histoire, des principes fondateurs et des enjeux liés à la dualité linguistique, l'étude du contentieux linguistique est spécifiquement traitée sous l'angle des droits des minorités linguistiques et de la représentation des valeurs privilégiées. L'analyse des mémoires déposés par les IV parties et les intervenants dans les causes entendues en matière de droits linguistiques révèle que les valeurs identitaires dominent les interventions analysées. L'analyse de la réceptivité de la Cour et l'interprétation des juges confirme ensuite que la surdétennination est à l' oeuvre. Ce parcours théorique pennet que nous disposions d'une représentation raisonnée du rôle du juge dans la construction du sens en droit selon laquelle les trois moments du cercle hennéneutique - compréhension, interprétation, application s'unissent dans l'avènement du sens de la loi en une dynamique circulaire et anticipatoire propre à révéler les constituants du texte juridique. L'analyse empmque confirme quant à elle la participation du récepteur et interprète de la nonne sur le sens qui préside à son accession à la juridicité. / This thesis deals primarily with the participative function of the interpreter of the law as it is acknowledged except by the c1assical doctrine that is more inc1ined to see the intention of the lawmaker as the absolute detenninant. Referring to the various stages in the meaning-making process through the creation of the henneneutical circ1e, we analyze the c1assical doctrine and, while dealing with interpretation of the law under the henneneutical approach, we put forward and explain the very conditions where the legal phenomenon appears at the level of the autonomy of the text and of its reception. This thesis also intends to assess the impact of the construction and enforcement constraints regarding the law. How, in the course of the meaningmaking process, is legal interpretation built and enriched by the values and rules which govem law-making? To analyze and characterize the role of the judge in the making of the meaning of the law with a specifie approach inspired by phenomenology and philosophical henneneutics, we have chosen the area of language rights. The analysis of the empirical data that was gathered enables us to see, beyond the predetermination and the co-determination of the meaning of the law, where overdetermination is headed (a specifie concept of the "systemal analysis" theory under which the meaning of the law also emerges by reference to the value system permeating the representation of the reality of the law) and therefore to concretely illustrate its very expressions. First approached from the perspectives of history, of the founding principles and of the issues related to the linguistic duality, the linguistic case law is specifically VI reviewed in the context of linguistic minority rights and of the representation of preferred values. An analysis of submissions filed by the parties and the interveners in linguistic rights cases shows the major role played by identity-related values in the reviewed interventions. The analysis of the Court's responsiveness and the interpretation of judges then confirm the existence of an over-determination. This theoretical exploration allows us to have a reasoned representation of the judge's role in the making of meaning in law through the three stages of the hermeneutical circle - understanding, interpretation, application - that are combined in a circular and anticipatory process aiming at revealing the constitutive elements of the legal text. The empirical analysis confirms the influence of the recipient and interpreter of the law on the meaning which leads it to become a legal phenomenon.

"Mémoire présenté à la Faculté des études supérieures En vue de l'obtention du grade de Maître en droit (L.L.M)" / L'interprétation est un domaine du droit très complexe, dont l'intérêt est de définir ou de déterminer le sens et la portée des règles de droit en vigueur. L'interprétation va ainsi clarifier un texte juridique. Là où l'obscur réside, l'interprétation, telle une lanterne, vient éclaircir l'acte juridique. L'interprète aura alors recours à une argumentation pour convaincre son auditoire. Certains États interpréteront de manière extensive les textes juridiques. Ce phénomène se constate notamment au moment de l'interprétation des résolutions du Conseil de sécurité. Face au pouvoir discrétionnaire des États, la mise en place d'un régime juridique donné éviterait toutes interprétations abusives. La première partie de cette étude aura pour objet d'étudier les différentes règles en matière d'interprétation, telles précisées dans la Convention de Vienne sur le droit des traités de 1969. La deuxième partie sera consacrée d'une part à un historique des résolutions du Conseil de sécurité et d'autre part à l'application des règles d'interprétation à deux études de cas. L'historique retracera l'évolution des résolutions avec comme césure la fin de la Guerre Froide. Ensuite, nous verrons à travers deux exemples, comment les États peuvent interpréter de manière extensive, voir abusive les résolutions du Conseil de sécurité. Ces études de cas nous conduiront à étudier la pertinence de l'argumentaire utilisé par les États pour justifier leur interprétation. Ceci aura pour intérêt de montrer le rôle stratégique du phénomène interprétatif pour la mise en oeuvre des intérêts étatiques. Cela permettra d'ouvrir une réflexion sur le contrôle de la légalité des résolutions du Conseil de sécurité, ce dernier devenant nécessaire face à la liberté dont jouie le Conseil. Ce contrôle permettrait d'une part de rétablir un équilibre organique au sein du système onusien, et il permettrait d'autre part de redorer le blason du Conseil de sécurité en lui conférant une certaine légitimité. / Interpretation is a very complex dimension of law whose relevance lies in defining or determining the meaning and the scope of the legal mIes. In this respect, interpretation elucidates a judicial text. Where obscurity lies, interpretation -like a lantem- brings light to the judicial act. The interpreter will thus resort to argumentation in order to convince the « interpretative community ». Sorne States will not hesitate to interpret judicial texts in a broad manner. This phenomenon can better be observed in the interpretation of Security Council resolutions. Faced with the discretionary powers of States, the creation of a judicial framework would bring to an end most instances of abusive interpretations. Part 1 studies the several mIes in of interpretation as established by the 1969 Vienna Convention on the Rights of Treaties. Part II will focus on both the history of the Security Council resolutions of and the application of the interpretation mIes of the Vienna Convention in light of two cases. The historical overview will retrieve the evolution of the resolutions until the end of the Cold War. Following this, we will see through the examples of the Kosovo and Iraq conflicts, how broadly, and even abusively, States can interpret Security Council resolutions. The two case studies will lead us to an analysis of the pertinence of the argumentation used by the States to justify their interpretation. This will show the strategie role that the interpretative phenomena play in the carrying out of State interests. It will lead to a reflection on the control of the legality of Security Council resolutions, a control necessary considering the liberty that the Council currently enjoys. On the one hand, this control would allow to reestablish an organic equilibrium within the UN. On the other hand, it would enhance the Security Council's image by conferring on it a certain legitimacy.