Cette thèse propose une approche à la spécification et preuve des propriétés de vivacité<br />avec hypothèses d'équité en B événementiel et présente une sémantique pour ces propriétés<br />fondée sur de points fixes de transformateurs d'ensembles. La proposition utilise une logique<br />de programmation issue de la logique unity pour spécifier et vérifier des propriétés de vivacité<br />sous des hypothèses de progrès minimal et d'équité faible et présente des règles pour préserver<br />ces propriétés dans les raffinements. La sémantique de points fixes nous permet de faire<br />équivalentes les notions d'atteignabilité sous les hypothèses d'équité et de terminaison de<br />l'itération d'événements. Cela nous permet de prouver la correction et la complétude des<br />règles permettant la dérivation des propriétés de vivacité. En outre, cela donne les fondements<br />pour prouver la correction des règles permettant la vérification des propriétés de vivacité et<br />des règles permettant la préservation de la vivacité sous raffinement.

Thèse d'exercice : Chirurgie dentaire : Université de Nantes : 2005. / Bibliogr. f. 80-86 [68 réf.].

Reproduction de : Thèse d'exercice : Chirurgie dentaire : Nantes : 2009. / Bibliogr.

Dans les années quatre-vingts dix du siècle dernier, R. W. Thomason a démontréun théorème de concentration pour la K-théorie équivariante algébrique sur lesschémas munis d'une action d'un groupe algébrique G diagonalisable. Comme d'habitude,un tel théorème entraîne une formule des points fixes de type Lefschetz qui permetde calculer la caractéristique d'Euler-Poincaré équivariante d'un G-faisceau cohérent surun G-schéma propre en termes d'une caractéristique sur le sous-schéma des points fixes.Le but de cette thèse est de généraliser les résultats de R.W. Thomason dans le contextede la géométrie d'Arakelov. Dans ce travail, nous considérons les schémas arithmétiquesau sens de Gillet-Soulé et nous tout d'abord démontrons un analogue arithmétiquedu théorème de concentration pour les schémas arithmétiques munis d'une action duschéma en groupe diagonalisable associé à Z/nZ. La démonstration résulte du théorèmede concentration algébrique joint à des arguments analytiques. Dans le dernier chapitre,nous formulons et démontrons deux types de formules de Lefschetz arithmétiques. Cesdeux formules donnent une réponse positive à deux conjectures énoncées par K. Köhler,V. Maillot et D. Rössler.

No description available.

Dans cette thèse nous présentons dans un premier temps une nouvelle notion de différentiabilité généralisée pour les applications multivoques, faisant intervenir des applications positivement homogènes: la H-différentiabilité. Nous étudions la stabilité de cette notion en utilisant la convergence de Fischer, d'abord dédiée aux ensembles mais que nous avons adaptée aux applications multivoques. Nous nous intéressons ensuite à l'étude de la dépendance continue des ensembles de points fixes d'une application multivoque contractante par rapport aux données. Finalement nous analysons la convergence d'une méthode d'approximations successives de type forward-backward splitting, des zéros de la somme de deux opérateurs multivoques non monotones, jouissants notamment de propriétés de pseudo H-différentiabilité / In this thesis we present at first a new concept of generalized differentiation for setvalued mappings, involving positively homogeneous applications: the H-differentiability. We study the stability of this notion by using Fischer convergence,firstly dedicated to sets but which we have adapted to set-valued mappings. We establish the continuous dependence of fixed points sets of set-valued contraction and finally we study the convergence of a forward-backward splitting method for approximating the zeros of the sum of two non-monotone set-valued mappings, notably using properties of pseudo H-differentiability.

La présente génération sera confrontée à des changements climatiques importants et nous devrons vivre avec leurs impacts sur les phénomènes naturels, dont les régimes d’écoulement en rivière ainsi que le cycle de la glace fluviale. Ces impacts vont à leur tour engendrer d’autres conséquences sur les cours d’eau, comme les modifications à la géomorphologie des rivières et les impacts sur les patrons de sédimentation et d’érosion des cours d’eau. Dans ce contexte, deux biefs de la rivière Stoke, un cours d’eau a lit de gravier, situés respectivement au rang 11 et au rang 12 de la ville de Stoke, Québec, Canada ont fait l’objet d’une étude, dont le but était de quantifier le transport de sédiments causé par le cycle de la glace fluviale, en utilisant des marqueurs passifs (PIT) qui ont été insérés dans des grains, ou sédiments, aux deux biefs. Afin de suivre le déplacement de ces marqueurs, des antennes fixes ont été mises en place dans le lit de la rivière et ont été connectées à un système d’acquisition de données à chaque site. En complément, des relevés ont été effectués avec une antenne mobile afin de permettre un suivi plus précis des déplacements des marqueurs. La complémentarité de ces deux méthodes de détection a permis d’effectuer le suivi des marqueurs malgré les conditions difficiles de suivi lors de la période hivernale et lors de la crue printanière, période souvent trop hasardeuse due au mouvement de la glace pour permettre des relevés. Les antennes fixes ont permis de relever les temps de passage des marqueurs au niveau des antennes. Une fois la crue passée, les relevés avec l’antenne fixe ont permis d’enregistrer précisément la position des marqueurs et quantifier leurs déplacements. Une caméra à prise de vue à intervalles a été mise en place à chaque site afin de suivre les conditions de surface de chaque tronçon et de permettre de faire de lien entre les déplacements et les conditions hydrauliques. Le projet a permis de déterminer que la période la plus influente du transport de sédiment, soit celle où le plus de déplacements de grains ont été observés, est lors de la crue printanière, puisque le cisaillement au lit est à son niveau le plus élevé. Cette situation est exacerbée du fait de la présence de la glace, puisque celle-ci vient augmenter les niveaux d’eau en augmentant le rayon hydraulique, ce qui amplifie une fois de plus le cisaillement au lit. De plus, la glace vient mécaniquement, une fois morcelée dans l’écoulement, déplacer des grains par contact direct avec ceux-ci.

The globalization of world economy has inevitably affected also the movements in harmonization process of accounting standards around the world. International Financial Reporting Standards have become the ultimate accounting and reporting tool of most developed countries. The only remaining counterpart -- the US GAAP, is slowly subsiding to the enormous spread momentum that IFRS gained in recent years. In this setting I examine the application of International standards on accounting treatment of Property, Plant and Equipment, and also the Intangible Assets. Subsequently I compare this treatment to US GAAP and document all major differences still persistent at the end of year 2008. Considering that there are still many divergences between the two sets of standards, I try to document their impact on the reporting and presentation of financial statements of several blue chip companies. My analysis suggests that differences in reported numbers depending on standards chosen can distort comparability of financial statements and performance assessment, thus potentially biasing the decision making process of involved stakeholders.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Forme héritée du rondet de carole devenue un genre polyphonique à l’époque de l’ars nova, le rondeau s’est paradoxalement développé, à la fin du Moyen Âge, en tant que genre poétique sans musique. Cette thèse se propose ainsi d’étudier comment, de Guillaume de Machaut à Charles d’Orléans, une forme à la fois brève et répétitive a su paradoxalement s’imposer comme un genre textuel autonome. La première partie de ce travail, « Le fantôme de la voix », envisage la dette que le rondeau textuel doit à la tradition musicale. Après un essai de définition diachronique, nous interrogerons l’effet de l’absence de musique sur l’évolution de la mise en page du rondeau, puis la manière dont les récits à interpolations lyriques jouent de l’imaginaire musical, vocal et épistolaire d'une forme "hantée". La deuxième partie, « L’espace du manuscrit » interroge les « mises en livres » du rondeau. Une typologie distinguant la "collection hybride", la "section" et le "canzoniere", initie un parcours dans les manuscrits de Machaut, Froissart, Christine de Pizan, Eustache Deschamps, Oton de Granson et Jean de Garencières. Nous proposons une analyse détaillée d’un cas particulier : les chançons de Charles d’Orléans, copiées vers 1440 dans le fonds primitif du BnF fr. 25458. Dans la troisième partie, il s’agit de concevoir la naissance d’un « genre », qui se cristallise dans le goût de l'énigme et le choix de l’ornatus difficilis, alors même que la forme se prêtait davantage, au XIVe siècle, à l’ornatus facilis. Les deux derniers chapitres étudient la circulation, la réécriture et le recyclage de refrains intertextuels au sein de plusieurs recueils collectifs transformés, par le mélange de l'ancien et du nouveau, en véritables « anthologies créatives ». / Nherited from the 13th-Century rondet de carole, the rondeau became a polyphonic musical genre at the age of the ars nova, and tends to be used, in 14th and 15th Centuries manuscripts, as a textual lyric. This thesis uncovers how, from Guillaume de Machaut to Charles d’Orléans, a short and redundant poetical text, which was supposed to be sung became non musical poetry. In the first part of this study we consider the textual rondeau as a rhetorical « ghost of a voice » : we study the history and genealogy of the form from a musical and rhetorical perspective, show how the absence of music impacts the layout and how fiction and narrative relocate the interpolated textual rondeaux in a vocal, musical or epistolary horizon. The next part investigates the way scribes and poets gather collections of rondeaux from a codicological perspective. We offer a typology that distinguishes « hybrid collections », « sections » and « canzonieri ». Through these three kinds of « mises en recueil », we analyze the use of the rondeau in manuscripts from Machaut, Froissart, Christine de Pizan, Eustache Deschamps, Oton de Granson and Jean de Garencières, which finally leads to a detailed analysis of the chançons by Charles d’Orléans, written c. 1440 in the BnF fr. 25458. The last part examines the rise of a scriptural genre : the poetical evolution of the rondeau reveals a rhetorical shift from the ornatus facilis to the ornatus difficilis, especially with Charles d’Orléans who initiates a fully bloomed literary genre. We then analyze, in the last two chapters, collective practices of quoting and rewriting to show how the rondeau becomes a scriptural game, consisting in expanding and recycling ambiguous formulas, especially in a new kind of collections we call « creative anthologies ».