Relevant bibliographies by topics / Compositionnelle / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Compositionnelle.

Dissertations / Theses on the topic 'Compositionnelle'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Compositionnelle.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Malhaire, Philippe. "Polytonalité. Exégèse d’une démarche compositionnelle." Thesis, Paris 4, 2012. http://www.theses.fr/2012PA040226.

Full text
Abstract:
La polytonalité relève d’une démarche compositionnelle dont la définition d’ensemble s’avère extrêmement simple : il y a polytonalité quand deux ou plusieurs tonalités sont entendues simultanément. Mais cette apparente simplicité soulève paradoxalement une masse considérable de problèmes théoriques et analytiques, car cette forme d’écriture musicale, l’une des plus fluctuantes de l’harmonie contemporaine, ne permet précisément pas « d’entendre » deux tonalités simultanément de manière systématique. Cette thèse tente de dissiper un certain nombre de brouillards qui flottent depuis toujours auto
APA, Harvard, Vancouver, ISO, and other styles
2

MATASSI, GIORGIO. "Organisation compositionnelle du genome nucleaire des plantes." Paris 7, 1992. http://www.theses.fr/1992PA077124.

Full text
Abstract:
L'etude de l'organisation moleculaire du genome nucleaire des plantes superieures a ete developpee, dans cette these, selon trois volets principaux. Dans le premier volet (articles i, ii et iii) la structure en isochores du genome vegetal a ete etablie. Ainsi nous avons demontre: a) l'heterogeneite de la composition en bases des fragments d'adn qui constituent les genomes vegetaux etudies, ce qui definit leurs plans de composition specifiques; b) la difference des plans compositionnels entre la famille des gramineae et les autres dicotyledones et monocotyledones analysees: c) la correlation en
APA, Harvard, Vancouver, ISO, and other styles
3

Delahaye, Benoît. "Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00591609.

Full text
Abstract:
Cette thèse présente des contributions originales pour la conception et la vérification de systèmes non-déterministes et stochastiques. Nos résultats sont divisés selon trois lignes directrices. Premièrement, nous généralisons la théorie des interfaces au cas stochastique, en s'appuyant sur le formalisme classique des chaînes de Markov à intervalles pour construire la première théorie de spécification compositionnelle pour systèmes stochastiques : les chaînes de Markov à contraintes. Deuxièmement, nous étendons la notion de contrats hypothèse-garantie et développons une théorie compositionnell
APA, Harvard, Vancouver, ISO, and other styles
4

Roy, Pierre-Olivier. "L'écriture par gestes-piliers dans ma démarche compositionnelle." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27389/27389.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lefeuvre, Anais. "Sémantique des temps du français : une formalisation compositionnelle." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0065/document.

Full text
Abstract:
Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de récits de voyage du XIX ème et du début du XX ème siècle. Notre premier travail fut de caractériser le corpus comme échantillon du français, par une étude contrastive d’une part de données quantitatives et d’autre part de la structure des récits de voyage. Nous nous sommes ensuite consacrée à l’étude du temps, et plus particulièrement à l’analyse automatique de la sémantique des temps verbaux du français. Disposant d’un analyseur syntaxique e
APA, Harvard, Vancouver, ISO, and other styles
6

Ayache, Nicolas. "Vérification formelle, compositionnelle at automatique de systèmes de composants." Paris 11, 2010. http://www.theses.fr/2010PA112013.

Full text
Abstract:
Aujourd’hui, de nombreux systèmes à base de composants sont critiques ; leur fonctionnement requiert un niveau de confiance maximal. Les méthodes formelles comme le Model-Checking sont utilisées pour garantir les propriétés cruciales, avec un haut degré d'automatisation. Cependant, le Model-Checking souffre d'explosion combinatoire lorsque les systèmes deviennent trop grands. Cette thèse propose un cadre de description haut niveau, où la vérification accompagne la modélisation du système, et limite le problème de l'explosion par une vérification modulaire des composants du système. L'approche
APA, Harvard, Vancouver, ISO, and other styles
7

Syed, Alwi Syed Hussein. "Vérification compositionnelle pour la conception sûre de systèmes embarqués." Paris 6, 2013. http://www.theses.fr/2013PA066230.

Full text
Abstract:
Afin d’améliorer la vérification de systèmes synchrones synthétisables, une méthode de vérification par model-checking basée sur une procédure de raffinement d’abstraction s’appuyant sur la structure en composants du système est proposée. Ayant opté pour la génération d'abstraction à partir des propriétés vérifiées des composants, différentes méthodes de sélection de propriétés pour l'abstraction initiale et les stratégies de raffinement pour améliorer le modèle abstrait sont présentées et analysées. La stratégie la plus directe est la technique de la Négation du Contre-exemple qui raffine le
APA, Harvard, Vancouver, ISO, and other styles
8

Szewczyk, Valérie. "Modélisation thermodynamique compositionnelle de la floculation des bruts asphalténiques." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL136N.

Full text
Abstract:
L’objectif de ce travail est de proposer à l'industrie pétrolière un modèle thermodynamique compositionnel capable de prévoir les conditions opératoires induisant la floculation des asphaltènes à partir des bruts. Au cours de cette étude, diverses méthodes d'analyse (calorimétrie, analyse élémentaire, RMN du 13C, diffusion des neutrons…) ont été utilisées afin d'acquérir une meilleure description de la fraction asphalténique et d'en déduire les mécanismes de sa floculation. Le modèle proposé décrit cette floculation comme une transition thermodynamique induisant la formation d'une nouvelle pha
APA, Harvard, Vancouver, ISO, and other styles
9

Calange, Sandra. "Modélisation thermodynamique compositionnelle de la cristallisation des bruts paraffiniques." Pau, 1996. http://www.theses.fr/1996PAUU3038.

Full text
Abstract:
Lors de la production de bruts paraffiniques, les risques de formation de dépôts solides, notamment dans les puits et dans les conduites de transport, sont a prendre en compte. La prévention de ces risques se traduit par des frais d'exploitation élevés, voire des manques a produire. Une meilleure connaissance des phénomènes mis en jeu permettrait d'ajuster au mieux les conditions de production et donc de réduire les coûts. Dans cet objectif, nous avons, d'une part, établi un modèle thermodynamique compositionnel permettant de calculer la température de cristallisation commencante ainsi que la
APA, Harvard, Vancouver, ISO, and other styles
10

Gössler, Gregor. "Modélisation compositionnelle des systèmes temps-réels : théorie et pratique." Université Joseph Fourier (Grenoble), 2001. http://www.theses.fr/2001GRE10106.

Full text
Abstract:
La modélisation des systèmes temps-réel est nécessaire pour l'analyse de leur temporisation. Le modèle doit être une représentation fidèle du comportement dynamique et permettre un raisonnement compositionnel pour le traitement de systèmes complexes. Nous présentons une méthodologie de modélisation basée sur une décomposition en couches du système temps-réel en un ensemble de processus - modélisés sous forme de systèmes temporisés -, une couche de synchronisation qui assure des propriétés fonctionnelles et un ordonnanceur spécifiant des politiques d'ordonnancement telles que RMS, EDF ou le pré
APA, Harvard, Vancouver, ISO, and other styles
11

Demeo, F. E. "La variation compositionnelle des petits corps à travers le système solaire." Phd thesis, Observatoire de Paris, 2010. http://tel.archives-ouvertes.fr/tel-00514550.

Full text
Abstract:
Les petits corps sont des clés pour comprendre notre système solaire. L'étude de cette population nous donne en effet accès aux informations sur l'état et sur la structure du système solaire primordial et du système solaire actuel, ainsi que sur son évolution et sur les processus de formation des planètes. Connaître la composition de surface des petits corps nous fournit des ingrédients et des proportions pour cette recette cosmique. Cette thèse, qui inclut l'étude des petits corps du système solaire interne et externe, est dédiée à la compréhension de la tendance compositionnelle des corps à
APA, Harvard, Vancouver, ISO, and other styles
12

Helleu, Laurence. ""Les Soldats" de Bernd Alois Zimmermann technique compositionnelle et stratégie dramaturgique /." Lille 3 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37605874b.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Helleu, Laurence. "Les soldats de Bernd Alois Zimmermann : technique compositionnelle et stratégie dramaturgique." Paris 8, 1987. http://www.theses.fr/1987PA080130.

Full text
Abstract:
B. A. Zimmermann (1918-1970) a compose son unique opera entre 1958 et 1963. L'oeuvre est particulierement representative des theories esthetiques du compositeur et de leurs implications philosophiques ; la premiere partie du travail leur est consacre, (sphericite du temps, pluralisme, conception de l'art, influence de james joyce, ezra pound et plaul klee). La deuxieme partie analyse les elements les plus importants de l'oeuvre : le livret, le serialisme, la technique de citation, l'utilisation des formes anciennes, le pluralisme dramaturgique, le melange des genresen particulier l'interventio
APA, Harvard, Vancouver, ISO, and other styles
14

DeMeo, Francesca E. "La variation compositionnelle des petits corps à travers le système solaire." Observatoire de Paris (1667-....), 2010. https://theses.hal.science/tel-01958539.

Full text
Abstract:
Les petits corps sont des clés pour comprendre notre système solaire. L'étude de cette population nous donne en effet accès aux informations sur l'état et sur la structure du système solaire primordial et du système solaire actuel, ainsi que sur son évolution et sur les processus de formation des planètes. Connaître la composition de surface des petits corps nous fournit des ingrédients et des proportions pour cette recette cosmique. Je présente une classification (taxonomie) dans les longeurs d'ondes du visible et du proche infrarouge (de 0. 4 à 2. 4 µm), basée sur les données spectrales de 3
APA, Harvard, Vancouver, ISO, and other styles
15

Krimm, Jean-Pierre. "Application des ordres partiels à la génération compositionnelle de systèmes asynchrones." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10243.

Full text
Abstract:
La verification formelle permet de garantir qu'un programme verifie un ensemble de proprietes. Pour ce faire, une methode attractive consiste a modeliser son comportement par un systeme de transition etiquetees (ste), puis a evaluer les proprietes sur ce ste par exploration exhaustive. L'interet de cette approche par model-checking est d'etre automatisable dans le cas fini, mais son inconvenient reste la taille du ste, souvent redhibitoire pour des programmes complexes. Pour palier a ce probleme, une solution possible est de considerer un ste reduit qui preserve les proprietes a verifier. Une
APA, Harvard, Vancouver, ISO, and other styles
16

Delpech, Estelle. "Traduction assistée par ordinateur et corpus comparables : contributions à la traduction compositionnelle." Phd thesis, Université de Nantes, 2013. http://tel.archives-ouvertes.fr/tel-00905930.

Full text
Abstract:
Notre travail concerne l'extraction de lexiques bilingues à partir de corpus comparables, avec une application à la traduction spécialisée. Nous avons d'abord évalué les méthodes classiques d'acquisition de lexiques en corpus comparables (basées l'hypothèse distributionnelle : plus deux termes apparaissent dans des contextes similaires, plus il y a de chances qu'ils soient des traductions) d'un point de vue applicatif. L'évaluation a montré que les traducteurs sont mal à l'aise avec les lexiques extraits : la traduction correcte est trop souvent noyée dans une liste de traductions candidates e
APA, Harvard, Vancouver, ISO, and other styles
17

Illous, Hugo. "Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEE015.

Full text
Abstract:
Les analyses statiques ont pour but d’inférer des propriétés sémantiques de programmes. Nous distinguons deux importantes classes d’analyses statiques : les analyses d’états et les analyses relationnelles. Alors que les analyses d’états calculent une sur-approximation de l’ensemble des états atteignables d’un programme, les analyses relationnelles calculent des propriétés fonctionnelles entre les états d’entrée et les états de sortie d’un programme. Les analyses relationnelles offrent plusieurs avantages, comme leur capacité à inférer des propriétés sémantiques plus expressives par rapport aux
APA, Harvard, Vancouver, ISO, and other styles
18

Ma, Yue. "Modélisation compositionnelle d'architectures globalement asynchrones - localement synchrones (GALS) dans un modèle de calcul polychrone." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00675438.

Full text
Abstract:
AADL est dédié à la conception de haut niveau et l'évaluation de systèmes embarqués. Il permet de décrire la structure d'un système et ses aspects fonctionnels par une approche à base de composants. Des processus localement synchrones sont alloués sur une architecture distribuée et communiquent de manière globalement asynchrone (système GALS). Une spécificité du modèle polychrone est qu'il permet de spécifier un système dont les composants peuvent avoir leur propre horloge d'activation : il est bien adapté à une méthodologie de conception GALS. Dans ce cadre, l'atelier Polychrony fournit des mod
APA, Harvard, Vancouver, ISO, and other styles
19

Lanoix, Arnaud. "Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés." Phd thesis, Université de Franche-Comté, 2005. http://tel.archives-ouvertes.fr/tel-00011649.

Full text
Abstract:
L'augmentation en taille et en complexité des systèmes réactifs font que leur vérification est de plus en plus difficile à comprendre et à appréhender. Dans cette thèse, une approche est proposée pour spécifier et vérifier compositionnellement certains de ces systèmes.<br /><br />Cette approche est basée sur un principe de décomposition supportant un raffinement compositionnel au niveau des composants et au niveau de leur produit synchronisé~: une méthode est présentée pour vérifier le raffinement d'un système à composants à partir du raffinement de ses composants.<br /><br />Les propriétés LT
APA, Harvard, Vancouver, ISO, and other styles
20

Barkalaya, Nino. "Esthétique et technique compositionnelle de Nicolas Obouhov dans le contexte du modernisme russe et français." Paris 8, 2012. http://octaviana.fr/document/175659818#?c=0&m=0&s=0&cv=0.

Full text
Abstract:
Le destin poussa Nicolas Obouhov (1892-1954), comme beaucoup de ses compatriotes, à émigrer, et toute sa vie, il pensa et composa dans un contexte biculturel, russe et français. Tant l’œuvre que la personnalité de ce compositeur hors du commun continuent de nos jours à susciter un vif intérêt dans les milieux musicaux et scientifiques. L’étude de l’esthétique et de la technique compositionnelle d’Obouhov éclaire les tendances de la musique des premières décennies du XXe siècle du point de vue particulier des relations entre les cultures russe et française. Ceci permet aussi de voir la similitu
APA, Harvard, Vancouver, ISO, and other styles
21

Mokkedem, Abdelillah. "Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL." Vandoeuvre-les-Nancy, INPL, 1994. http://www.theses.fr/1994INPL051N.

Full text
Abstract:
Le contexte dans lequel la logique temporelle linéaire (TL) s'est révélée un outil efficace est celui de la vérification a priori. Cela exige la connaissance préalable entière du programme que l'on veut vérifier. Une première partie de notre travail s'inscrit dans ce cadre et consiste a concevoir une méthode interactive de preuves de propriétés d'invariance et de fatalité de programmes parallèles. Cette méthode, basée sur une théorie appelée crocos, est appliquée au langage SDL. La logique temporelle perd rapidement ses atouts des que l'on s'intéresse a la vérification a posteriori ou un progr
APA, Harvard, Vancouver, ISO, and other styles
22

Abdi, Dalel. "Caractérisation par spectroscopie et analyse compositionnelle des formes du phosphore dans des sols agricoles canadiens." Doctoral thesis, Université Laval, 2014. http://hdl.handle.net/20.500.11794/25804.

Full text
Abstract:
Une meilleure compréhension de la dynamique et des changements des formes du phosphore (P) dans les sols agricoles est indispensable pour le maintien de leur productivité et de la qualité des eaux de surface. L’objectif de cette thèse a été de développer et d’utiliser des méthodes innovatrices pour mesurer les différentes formes de P et caractériser leurs changements dans des sols soumis à différentes pratiques culturales. Nous avons évalué le potentiel de la spectroscopie dans le proche infrarouge (SPIR) à prédire le P total (PT), le P chimiquement extrait à la solution Mehlich-3 (PM3) et à l
APA, Harvard, Vancouver, ISO, and other styles
23

Boudjadar, Abdeldjalil. "Sémantique compositionnelle et raffinement de systèmes temporisés : application aux automates temporisés d'UPPAAL et au langage FIACRE." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1877/.

Full text
Abstract:
Les systèmes temps-réel sont massivement impliqués dans de nombreuses applications, dont notre vie dépend comme les logiciels embarqués dans les voitures et les avions. Pour ces systèmes des erreurs inattendues ne sont pas acceptables. De ce fait, assurer la correction de ces systèmes est une tâche primordiale. Les systèmes temps-réel représentent un large spectre de systèmes automatisés dont la correction dépend de la ponctualité des événements (timeliness) et pas seulement de leurs propriétés fonctionnelles. Chaque événement doit être produit selon la date indiquée par la spécification du sy
APA, Harvard, Vancouver, ISO, and other styles
24

Jalenques, Pierre. "Contribution à l'étude du préfixe re en français contemporaine : pour une analyse compositionnelle du verbe "regarder"." Paris 7, 2000. http://www.theses.fr/2000PA070009.

Full text
Abstract:
Ce travail aborde le problème de la compositionnalité du sens entre les unités lexicales (au sens large) au sein des énoncés. Le domaine empirique d’étude est constitué par les verbes en préfixe « re » en français contemporain. Nous défendons, en synchronie, que le sens d’un verbe comme « regarder » est compositionnel par rapport au sens du préfixe « re » et celui du verbe « garder », tout autant qu’un verbe comme « remanger » l’est par rapport à « re » et « manger ». Cette affirmation découle d’une conception dynamique de la construction du sens des unités lexicales. L’explication repose sur
APA, Harvard, Vancouver, ISO, and other styles
25

Penteado, Henrique Luiz de Barros. "Modélisation compositionnelle 2D de la genèse, expulsion et migration du pétrole dans le compartiment sud du bassin de Recôncavo, Brésil." Paris 6, 1999. http://www.theses.fr/1999PA066041.

Full text
Abstract:
Le bassin de Reconcavo fait partie d'un rift formé entre le jurassique supérieur et le crétacé inférieur dans le nord-est du Brésil. L'objectif de cette thèse a été la modélisation compositionnelle de la genèse, expulsion et migration du pétrole le long d'une coupe géologique dans le compartiment sud de ce bassin à l'aide du logiciel de simulation Temispack. Une étude géochimique a été faite sur les argiles lacustres du membre gomo (fm. Candeias) pour déterminer leur potentiel pétrolier, l'évolution de la maturation avec la profondeur et les changements compositionnels du pétrole. Les indices
APA, Harvard, Vancouver, ISO, and other styles
26

Vieira, Manoel. "Création de pièces novatrices reflétant l'hybridation entre le choro brésilien et l'approche compositionnelle du pianiste et compositeur américain Thelonious Monk." Doctoral thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/39096.

Full text
Abstract:
Le but de ce travail est de mener une enquête sur les principaux aspects du choro brésilien et sur l'approche compositionnelle du pianiste et compositeur américain Thelonious Monk afin de créer des pièces originales inspirées de l'hybridation de ces deux approches musicales. Le choro est un genre musical qui a beaucoup influencé la musique brésilienne depuis son apparition au XIXe siècle. Par ailleurs, l'énigmatique musique de Thelonious a contribué à la création et au développement du bebop jazz. Ces deux approches ont subi le processus d'hybridation musicale comme élément clé dans leurs cons
APA, Harvard, Vancouver, ISO, and other styles
27

Dimitrijevic, Miona. "Les transformations des relations tonales, des fonctions et des types formels contribuant à l'unité compositionnelle dans les œuvres orchestrales de Max Reger." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAC020.

Full text
Abstract:
L’analyse examina l’impact des relations tonales, des fonctions et des types formels transformés sur l’unité compositionnelle dans les œuvres orchestrales de Max Reger. Le contexte théorique est celui de nouvelles Formenlehre et Harmonielehre. La forme conçue comme une succession des fonctions fut analysée sur la base de la théorie des fonctions formelles de Caplin. Son apparatus analytique a été combiné avec le modèle sophistiqué de ponctuation et le concept de la déformation de la théorie de la sonate de Hepokoski et Darcy. En examinant les relations et la structure tonales, l’analyse adhère
APA, Harvard, Vancouver, ISO, and other styles
28

Cruveiller, Stéphane. "Organisation et évolution du génome des vertébrés : les impacts de la transition compositionnelle majeure à l'échelle des génomes, des gènes et des protéines." Paris 7, 2002. http://www.theses.fr/2002PA077058.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Al, Darouich Tammam. "Stabilité thermique de la fraction aromatique de l'huile brute Safaniya (Moyen Orient) : étude expérimentale, schéma cinétique par classes moléculaires et implications géochimiques." Phd thesis, Paris 6, 2005. http://pastel.archives-ouvertes.fr/pastel-00001352.

Full text
Abstract:
L'évolution thermique des huiles dans les réservoirs est contrôlée par la cinétique du craquage. Cette étude traite de la stabilité thermique des composés aromatiques légers (C6-C14) des huiles brutes dans les conditions géologiques. L'objectif est de prédire cette stabilité par un modèle dérivé des expériences au laboratoire. La coupe légère de l'huile brute Safaniya <250 °C, correspondant aux composés en C15- , est séparée par distillation fractionnée. Une fraction aromatique pure est ensuite isolée par chromatographie liquide. La caractérisation moléculaire complète de cette fraction est ré
APA, Harvard, Vancouver, ISO, and other styles
30

Delmas, Rémi. "Un cadre formel pour la modélisation et la vérification compositionnelles et hétérogènes des systèmes avioniques modulaires intégrés." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2004. http://www.theses.fr/2004ESAE0011.

Full text
Abstract:
Ces travaux présentent un cadre formel orienté composant, dédié à la spécification hétérogène des systèmes avioniques modulaires intégrés, permettant de fédérer des analyses formelles issues de vues orientées métier différentes (fonctionnelle, performances temps réel). Le cadre est exprimé dans les formalismes des théories des catégories et des institutions. Le calcul de composition des composants définissant l'architecture d'ion système, ainsi que la collection des différents modèles formels hétérogènes utilisés pour l'analyse des propriétés du système y sont représentés de manière homogène. Le
APA, Harvard, Vancouver, ISO, and other styles
31

Mery, Bruno. "Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2011. http://tel.archives-ouvertes.fr/tel-00627432.

Full text
Abstract:
Le présent manuscrit constitue la partie écrite du travail de thèse réalisé par Bruno Mery sous la direction de Christian Bassac et Christian Retoré entre 2006 et 2011, portant sur le sujet "Modélisation de la sémantique lexicale dans la théorie des types". Il s'agit d'une thèse d'informatique s'inscrivant dans le domaine du traitement automatique des langues, et visant à apporter un cadre formel pour la prise en compte, lors de l'analyse sémantique de la phrase, d'informations apportées par chacun des mots. Après avoir situé le sujet, cette thèse examine les nombreux travaux l'ayant précédée
APA, Harvard, Vancouver, ISO, and other styles
32

PERANI, PAOLO. "Etude de la localisation compositionnelle des sequences a copie unique de la famille d'isochore h3 humain et de la sequence telomerique (ttaggg)n chez les vertebres a sang chaud." Paris 7, 1996. http://www.theses.fr/1996PA077260.

Full text
Abstract:
Nous demontrons que les sequences a copie unique de la famille d'isochores h3 et la sequence telomerique (ttaggg)n sont conservees, du point de vue compositionnelle, durant l'evolution des mammiferes et des oiseaux. Ces experiences nous indiquent que les telomeres des vertebres a sang chaud sont constitues par l'isochore h3. Lorsque l'on considere que cette isochore presente, chez l'homme, la concentration genique la plus elevee, nous pouvons supposer que les telomeres sont les regions les plus riches en genes chez les vertebres
APA, Harvard, Vancouver, ISO, and other styles
33

Mikram, Mounia. "Suivi d'objets dans une séquence d'images par modèle d'apparence : conception et évaluation." Thesis, Bordeaux 1, 2008. http://www.theses.fr/2008BOR13736/document.

Full text
Abstract:
Le travail présenté dans ce mémoire s’inscrit dans le cadre du suivi d'objets dans des vidéos, et plus particulièrement, sur l'utilisation de représentations par modèle d'apparence pour le suivi. La notion de modèle d'apparence est précisée sur la base de l'extraction de descripteurs visuels comparés à l'aide de similarités à une référence. De nouvelles techniques pour évaluer les performances vis à vis du suivi sont présentées. Les approches classiques d’évaluation considèrent uniquement la qualité des trajectoires finales estimées. Les métriques proposées dans ce mémoire s’en distinguent par
APA, Harvard, Vancouver, ISO, and other styles
34

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00485933.

Full text
Abstract:
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations fortes entre les composants. Nous offrons des techniques efficaces pour calculer ces invariants. Nous proposons
APA, Harvard, Vancouver, ISO, and other styles
35

Mizyakin, Yuri. "Différents problèmes théoriques et appliqués de transport dissipatif en milieux poreux." Thesis, Vandoeuvre-les-Nancy, INPL, 2010. http://www.theses.fr/2010INPL040N/document.

Full text
Abstract:
La thèse concerne trois problématiques indépendantes : le transport dissipatif dans des milieux hétérogènes; échange de masse entre un réservoir de gaz et aquifère ; ségrégation compositionnelle. Le point commun entre les problèmes traités sont les processus irréversibles de redistribution de la composition chimique. Le premier chapitre est consacré à la déduction, en accord avec les principes de la thermodynamique, d’un modèle généralisé de transport simultané de matière et de chaleur. Le chapitre 2 est consacré à l’étude de diffusion multi-compositionnelle dans un milieu hétérogène. Cette ét
APA, Harvard, Vancouver, ISO, and other styles
36

Loginova, Clouet Elizaveta. "Traitement automatique des termes composés : segmentation, traduction et variation." Nantes, 2014. http://archive.bu.univ-nantes.fr/pollux/show.action?id=f9a1d95c-ba61-4322-96a9-ffda96d82504.

Full text
Abstract:
Le nombre de termes spécialisés croît constamment dans les documents, à un rythme difficile à suivre pour les organismes de normalisation de la terminologie. Les méthodes de construction des lexiques terminologiques bilingues à partir de corpus de textes proposent des solutions. Notre thèse s’inscrit dans cette problématique : la construction de lexiques bilingues à partir de corpus comparables. Les termes composés (les termes contenant plusieurs radicaux, mais un seul mot graphique) constituent un défi pour les applications du traitement automatique des langues. Étant donné leur forme graphiq
APA, Harvard, Vancouver, ISO, and other styles
37

Costa, da Cruz Ana Rita. "Compositional and kinetic modeling of bio-oil from fast pyrolysis from lignocellulosic biomass." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE1006/document.

Full text
Abstract:
La pyrolyse rapide est une des voies de conversion thermochimique qui permet la transformation de biomasse lignocellulosique en bio-huiles. Ces bio-huiles, différentes des coupes lourdes du pétrole ne peuvent pas être directement mélangés dans les procédés de valorisation. En effet, en raison de leur forte teneur en oxygène, les bio-huiles nécessitent une étape de pré-raffinage, telle que l’hydrotraitement, pour éliminer ces composants.L’objectif de ce travail est de comprendre la structure, la composition et la réactivité de la bio-huile grâce à la modélisation de données expérimentales. Pour
APA, Harvard, Vancouver, ISO, and other styles
38

Meyer, Pierre-Jean. "Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT076/document.

Full text
Abstract:
Cette thèse fournit de nouvelles stratégies de contrôle pouvant s'attaquer aux phénomènes hétérogènes et non-linéaires qui décrivent la régulation de la température dans les bâtiments afin d'obtenir un compromis entre le confort et l'efficacité énergétique. Nous nous intéressons donc au contrôle robuste de systèmes coopératifs avec perturbations bornées. Nous résolvons d'abord ce problème grâce à la notion d'intervalle invariant contrôlé robuste, décrivant un ensemble dans lequel l'état peut être maintenu quelle que soit la valeur des perturbations. Une seconde approche décrit des méthodes sym
APA, Harvard, Vancouver, ISO, and other styles
39

Saoud, Adnane. "Compositional and Efficient Controller Synthesis for Cyber-Physical Systems." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLC076/document.

Full text
Abstract:
Cette thèse porte sur le développement d'approches compositionnelles et efficaces de synthèse de contrôleurs pour les systèmes cyber-physiques (CPS). En effet, alors que les techniques de conception des CPS basées sur des modèles ont fait l'objet de nombreuses études au cours de la dernière décennie, leur scalabilité reste problématique. Dans cette thèse, nous contribuons à rendre de telles approches plus évolutives.La première partie est axée sur les approches compositionnelles. Un cadre général pour le raisonnement compositionnel en utilisant des contrats d’hypothèse-garantie est proposé. Ce
APA, Harvard, Vancouver, ISO, and other styles
40

Le, Coënt Adrien. "Guaranteed control synthesis for switched space-time dynamical systems." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLN039/document.

Full text
Abstract:
Dans le présent travail de thèse, nous souhaitons approfondir l’étude des systèmes à commutation pour des problèmes aux dérivées partielles en explorant de nouvelles pistes d’investigation, incluant notamment la question de la synthèse de contrôle garanti par décomposition de l’espace des états, la synthèse de contrôle nécessitant la réduction de modèle, le contrôle des différentes sources d’erreur sur des quantités d’intérêt, et la mesure des incertitudes sur les états et les paramètres du modèle. Nous envisageons l’utilisation de méthodes de calcul ensemblistes associées à des méthodes de ré
APA, Harvard, Vancouver, ISO, and other styles
41

MAMMASS, BRAHIM. "Methodes et outils pour les preuves compositionnelles de systemes paralleles." Paris 6, 1999. http://www.theses.fr/1999PA066321.

Full text
Abstract:
Dans cette these, nous introduisons une logique modale pour les processus avec passage de valeur permettant d'une part d'exprimer des specifications souples de systemes concurrents et non deterministes pouvant etre satisfaites par une collection d'implementations eventuellement non equivalentes. D'autre part, elle permet la verification compositionnelle de ces systemes. A cause de l'explosion d'etats, l'analyse manuelle de systemes concurrents est tres delicate et sujette aux erreurs. Donc l'aide mecanisee est essentielle. En formalisant notre logique modale dans le systeme d'aide a la preuve
APA, Harvard, Vancouver, ISO, and other styles
42

Courtot, Francis. "Carla : acquisition et induction sur le materiau compositionnel." Rennes 1, 1992. http://www.theses.fr/1992REN10006.

Full text
Abstract:
Le but de cette these est de formaliser des outils de representation et d'apprentissage automatique pour un systeme d'aide a la composition musicale, et ceci afin d'augmenter la liberte du compositeur confronte a ce type de systeme. Cette these a ete realisee dans l'equipe de recherche musicale de l'ircam (institut de recherche et de coordination acoustique musique), qui reunit des chercheurs et des compositeurs. Elle comprend deux parties traitant d'une part de la representation des structures musicales et de leurs transforamtions, et d'autre part de l'apprentissage automatique de nouvelles s
APA, Harvard, Vancouver, ISO, and other styles
43

Blondeau, Julia. "Espaces compositionnels et temps multiples : de la relation forme/matériau." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066292/document.

Full text
Abstract:
Si les questions du temps, du matériau, de la forme et de leurs relations sont des questions centrales pour les compositeurs, il importe de se demander si la vieille dichotomie entre forme et matériau n’est pas à repenser en regard des nouveaux dispositifs susceptibles d’amener une appréhension à la fois plus fine et plus globale des diverses dimensions temporelles. Dans le cas plus précis de la musique mixte, la question que nous étudions est la suivante : dans quelle mesure l’existence d’un continuum entre les notions de forme et de matériau est-elle liée à la composition consciente d’entrel
APA, Harvard, Vancouver, ISO, and other styles
44

Rochon, Gaston. "Processus compositionnel : genèse de chansons de Gilles Vigneault : un témoignage /." Göteborg : Göteborgs Universitet, 1992. http://catalogue.bnf.fr/ark:/12148/cb36956533k.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Gyra, Varvara. "Esthétique et principes compositionnels dans l'œuvre de Jani Christou (1926-1970)." Paris 8, 2008. http://www.theses.fr/2008PA082935.

Full text
Abstract:
La présente thèse porte sur l'esthétique et les principes compositionnels de l'œuvre du compositeur d'origine hellénique Jani Christou (Le Caire, 1926 - Athènes, 1970). Issu de la musique contemporaine des années 1950, Christou crée son propre langage musical d'après les résultats de ses propres recherches. Dans la première partie, nous étudions tout d'abord l'œuvre du compositeur des deux premières périodes de production (1948-1958 et 1960-1964) et puis nous accordons une importance particulière aux compositions de la troisième et dernière période (1965-1970), qui constituent l'apogée de la p
APA, Harvard, Vancouver, ISO, and other styles
46

Filho, Marcus Borja de Almeida. "Dramaturgies en relation : processus compositionnels d'écriture théâtrale collective. Tendances et perspectives." Thesis, Sorbonne Paris Cité, 2015. http://www.theses.fr/2015USPCA096.

Full text
Abstract:
Cette recherche s’inscrit dans la continuité du travail poursuivi en Master 2 dans cette même université, dont le mémoire, soutenu en 2009, s’intitule « Du théâtre d’après un texte vers le texte d’après un théâtre ; dramaturgie et collectivité ». Son but est de problématiser la dichotomie texte-scène ainsi que la pensée binaire qui persiste encore derrière cette opposition. Pour cela, il s’agira d’interroger l’évolution et les différentes acceptions des concepts de dramaturgie ainsi que les changements qu’ont subi la place et les fonctions du dramaturge au sein de la création théâtrale actuell
APA, Harvard, Vancouver, ISO, and other styles
47

Makhlouf, Hamdi. "Le ‘ūd de concert. Problématique organologique, espace compositionnel et modélisation sémiotique." Thesis, Paris 4, 2011. http://www.theses.fr/2011PA040164.

Full text
Abstract:
Cette thèse est une réflexion sur le ‘ūd (lutharabo-oriental) de concert. Celui-ci est étudié en tant que concept mettant en valeur une corrélation entre son évolution historique et organologique, le développement de la pensée compositionnelle des‘ūdistes (luthistes) et l’essai d’une représentation de cette pensée à travers une modélisation sémiotique. L’approche historique s’est focalisée sur la facture de l’instrument et a permis de relever la primauté des ‘ūds irakien et turque comme modèles privilégiés de ‘ūd de concert. Cette préférence est liée avec le développement de la pensée musicale
APA, Harvard, Vancouver, ISO, and other styles
48

Coste, Nicolas. "Vers la prédiction de performance de modèles compositionnels dans les architectures GALS." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00538425.

Full text
Abstract:
La validation, incluant vérification fonctionnelle et évaluation de performance, est un processus critique pour la conception de designs matériels complexes : un design fonctionnellement correct peut s'avérer incapable d'atteindre la performance ciblée. Plus un problème dans un design est identifié tard, plus son coût de correction est élevé. La validation de designs devrait donc être entreprise le plus tôt possible dans le flot de conception. Cette thèse présente un formalisme de modélisation par composition, couvrant les aspects fonctionnels et temporisés des systèmes matériels, et définit u
APA, Harvard, Vancouver, ISO, and other styles
49

Béranger, Sébastien. "Les espaces paramétriques dans la musique instrumentale depuis 1950 : analyse croisée de trois approches compositionnelles." Nice, 2003. http://www.theses.fr/2003NICE2026.

Full text
Abstract:
Les techniques compositionnelles actuelles tendent à considérer le discours musical selon une globalité. La combinatoire des différentes dimensions de l'écriture propose des espaces distincts ; des espaces paramétriques. Ces espaces paramétriques doivent être considérés sous une optique métaphorique : ils représentent les caractéristiques sonores du discours musical, les résultantes des différentes associations de paramètres. En prenant appuis sur les analyses d'Ethers de Tristan Murail, de Nachtmusik I d'Emmanuel Nunes et de Spiri de Franco Donatoni je tenterai de caractériser les différents
APA, Harvard, Vancouver, ISO, and other styles
50

Schaub, Stéphan. "Formalisation mathématique, univers compositionnels et interprétation analytique chez Milton Babbitt et Iannis Xenakis." Thesis, Paris 4, 2009. http://www.theses.fr/2009PA040242.

Full text
Abstract:
Cette thèse explore les rapports entre la formalisation mathématique, ses implications dans les pratiques compositionnelles et ses répercussions sur l’interprétation analytique. Elle se base sur l’étude de Semi-Simple Variations pour piano (1956) de Milton Babbitt, de Nomos Alpha pour violoncelle (1965-1966) de Iannis Xenakis (1921/22-2001), et d’une sélection de textes théoriques publiés par les compositeurs autour de ces deux œuvres.L’argumentaire est divisé en trois parties. La première étudie les textes théoriques afin d’en dégager les éléments formalisés (ou résultant de la formalisation)
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Compositionnelle' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography