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

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

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

Un mot de données (resp. un arbre de données) est un mot (resp. arbre) fini, dont chaque position est étiquetée avec une lettre d'un alphabet fini et une donnée d'un domaine infini. Dans cette thèse, nous étudions des automates et des logiques sur des mots et des arbres de données ayant des propriétés décidables: nous nous concentrons sur le problème du test du vide dans le cas des automates, et sur le problème de la satisfaisabilité dans le cas des logiques. Sur les mots de données, nous présentons une extension décidable du modèle d'automate alternant avec registre étudié par Demri et Lazic. En outre, nous montrons la décidabilité du problème de satisfaisabilité pour la logique du temps linéaire sur les mots de données LTL(X,F,U) (étudié par Demri et Lazic) étendue avec une quantification sur des données. Nous montrons aussi que la borne inférieure de non-récursivité primitive montré par Demri et Lazic pour LTL(X,F) est déjà valable pour LTL(F). Sur les arbres de données, nous considérons trois modèles décidables d'automates avec des caractéristiques différentes. Nous commençons par introduire l'automate avec donnée ``downward'' (automates DD). Son exécution consiste en une transduction ré-étiquetant la partie finie de l'étiquetage de l'arbre, et une vérification des propriétés des données de chaque sous-arbre de l'arbre résultant de la transduction. Ce modèle est clos par les opérations booléennes, mais les tests autorisés sur l'ordre des noeuds ayant le même père sont très limités. Son problème du vide est dans 2ExpTime. Au contraire, les deux autres modèles d'automates que nous introduisons ont un problème du vide avec une complexité non récursive primitive, et sont clos par intersection et union, mais par par complémentation. Ils ont tous les deux un contrôle alternant ainsi qu'un registre pour stocker et comparer les données. La classe des automates ATRA(guess,spread) généralise le modèle d'automate top-down ATRA de Jurdzinski et Lazic. Nous introduisons des extensions décidables similaires à celles que nous avons étudiées dans le cas de mots de données. Cette classe d'automates généralise la notion de langage rationnel d'arbre, ---contrairement aux automates DD. Enfin, nous considérons un modèle d'automate bottom-up avec un contrôle alternant et un registre (appelé BUDA). Bien que les BUDA soient bottom-up, ils peuvent tester des propriétés sur les données en navigant dans l'arbre dans les deux directions: vers le haut et vers le bas. Au contraire de ATRA(guess,spread), ce modèle d'automate ne peut pas tester de propriétés sur la séquence des noeuds ayant le même père (comme, par exemple, l'ordre dans lequel apparaissent leurs étiquettes). Ces trois modèles d'automates ont des liens avec la logique XPath---une logique conçue pour les documents XML, qui peuvent être vus comme des arbres de données. En utilisant les automates que nous avons mentionnés ci-dessus, nous montrons que la satisfaisabilité de trois fragments naturels de XPath sont décidables. Ces fragments sont: downward XPath, où la navigation ne peut se faire que via les axes child et descendant- forward XPath, où la navigation permet également les axes next sibling ainsi que sa clôture transitive, et vertical XPath, dont la navigation est limitée aux axes child, descendant, parent et ancestor. Alors que downward XPath est ExpTime-complet, les fragments forward et vertical de XPath ont une borne inférieure de non-récursivité primitive. / A data word (resp. a data tree) is a &#64257-nite word (resp. tree) whose every position carries a letter from a &#64257-nite alphabet and a datum form an in&#64257-nite domain. In this thesis we investigate automata and logics for data words and data trees with decidable reasoning problems: we focus on the emptiness problem in the case of automata, and the satis&#64257-ability problem in the case of logics. On data words, we present a decidable extension of the model of alternating register automata studied by Demri and Lazi´c. Further, we show the decidability of the satis&#64257-ability problem for the linear-time temporal logic on data words LTL_\downarrow (X, F, U) (studied by Demri and Lazi´c) with quanti&#64257-cation over data values. We also prove that the lower bounds of non-primitive recursiveness shown by Demri and Lazi´c for LTL&#8595- (X, F) carry over to LTL&#8595- (F). On data trees, we consider three decidable automata models with di&#64256-erent characteristics. We &#64257-rst introduce the Downward Data automaton (DD automata). Its execution consists in a transduction of the &#64257-nite labeling of the tree, and a veri&#64257-cation of data properties for every subtree of the transduced tree. This model is closed under boolean operations, but the tests it can make on the order of the siblings is very limited. Its emptiness problem is 2ExpTime. On the contrary, the other two automata models we introduce have an emptiness problem with a non-primitive recursive complexity, and are closed under intersection and union, but not complementation. They are both alternating automata with one register to store and compare data values. The automata class ATRA(guess, spread) extends the top-down automata ATRA of Jurdzinski and Lazic. We exhibit similar decidable extensions as the one showed in the case of data words. This class can test for any tree regular language—in contrast to DD automata. Finally, we consider a bottom-up alternating tree automaton with one register (called BUDA). Although the BUDA class is one-way, it has features that allow to test data properties by navigating the tree in both directions: upward and downward. In opposition to ATRA(guess, spread), this automaton cannot test for properties on the the sequence of siblings (like, for example, the order in which labels appear). All these three models have connections with the logic XPath—a logic conceived for xml documents, which can be seen as data trees. Through the aforementioned automata we show that the satis&#64257-ability of three natural fragments of XPath are decidable. These fragments are: downward XPath, where navigation can only be done by child and descendant axes- forward XPath, where navigation also contains the next sibling axis and its transitive closure- and vertical XPath, whose navigation consists in the child, descendant, parent and ancestor axes. Whereas downward XPath is ExpTime-complete, forward and vertical XPath have non-primitive recursive lower bounds.

Malgré le mercantilisme ambiant, la conviction qu'un management éthique peut se montrer garant de l'économie, a conduit l'auteur, manager expérimentée, à réfléchir, en endossant une posture critique, à une formation managériale préparant les managers à l'exercice d'un tel mode managérial. Ainsi le management, à la fois science, à la fois art, mérite, d'une part l'examen de théories managériales, d'autre part une approche fondée sur des notions de philosophie sociale, telles que la responsabilité, le paradigme du don selon Marcel Mauss couplé à la reconnaissance (couple défini par Alain Caillé), notion que développe par ailleurs Axel Honneth, et la confiance émanant parfois de la reconnaissance. L'étude de relations managériales ordinaires relatées par des employés et des managers, souligne divergences et convergences entre la pratique de managers et les souhaits d'employés, aussi entre des pratiques relevées dans de grandes entreprises et dans une petite. / In spite of the ambient profiteering, the conviction that an ethical management vouch economic interest, led the author, an experienced manager, assuming a critical attitude, to consider a managerial training preparing the managers with the practice of a such managerial mode. Thus the management, at the same time science and knowledge, at the same time art, deserves and needs, on the one hand the examination of managerial theories, and of the other hand an approach based on notions of social philosophy, such as the notion of responsability, such us the gift-paradigm according to Mauss, coupled with the notion of recognition (this pair defined by Caillé), notion developed by Honneth in addition, this recognition revealed sometimes in the appearence of confidence. The study of ordinary relationships in the managerial links, between employees or individual contributors and managers, indicates divergences and convergences between the practice of managers and the wishes of employees.

Dans cette thèse nous étudions les algèbres des polynômes qui sont bornés sur un ensemble semi-algébrique non borné. Tout d'abord nous abordons le problème consistant à déterminer si un polynôme est borné sur un ensemble. Nous résolvons ce problème pour les polynômes à deux variables définis sur des ensembles semi-algébriques quelconques. Dans la section suivante nous donnons une méthode pour déterminer des générateurs de l'algèbre des polynômes bornés et ce pour une large classe de semi-algébriques du plan réel. Dans la section 3 nous établissons une relation entre les valeurs de bifurcation du complexifié d'un polynôme $f$ à deux variables et la stabilité de la famille d'algèbres des polynômes bornés sur les ensembles ${fle c}$. Dans la section 4 nous décrivons la structure de l'algèbre des polynômes bornés sur un certain type de sous-ensembles de $mathbb{R}^n$ avec $n$ arbitraire, que nous appelons tentacules pondérées. Nous donnons aussi une preuve géométrique du fait que l'algèbre d'un sous-ensemble non borné d'un ensemble algébrique propre n'est pas de type fini. Dans la section suivante nous établissons une correspondance entre les cônes convexes et les algèbres des ensembles obtenus par des inégalités sur des monômes appropriés. Enfin, nous démontrons une version du Positivstellensatz de Schmudgen pour les polynômes bornés sur un ensemble non compact. / The main topic of the thesis is a study of algebras of polynomials which are bounded on a given unbounded semialgebraic set. First we tackle the problem of deciding the boundedness of a polynomial on a set. We achieve it for polynomials in two variables for any semialgebraic set. We give also a method of finding generators of the algebra of bounded polynomials for a large class of semialgebraic subsets of the real plane. In Section 3 we have established a relation between bifurcation values of a complexification of polynomial $f$ in two variables and the family of algebras of bounded polynomials on the sets ${fle c}$. In section 4 we describe the algebras of bounded polynomials for subsets of $mathbb{R}^n$, where $n$ is arbitrary, which we call weighted tentacles. We also provide a geometric proof of the fact that for a unbounded subset of a proper algebraic set its algebra cannot be finitely generated. In the next section we establish a correspondence between convex cones and algebras of bounded polynomials on the sets described by monomial inequalities. At the end of this thesis we prove a version of Schmudgen's Positivstellensatz for bounded polynomials.

Derrière son esthétique naïve, la littérature portugaise pour enfants feint son intention de persuader le sujet lisant d’accepter les valeurs qu’elle véhicule. Le système axiologique des publications récentes nous montre qu’il est possible d’évoquer, à travers une approche simple et ludique, les thématiques triviales, mais également les sujets socialement plus complexes. Notre étude examine comment les livres « socio-réalistes » récents adaptent leur projet idéologique aux particularités d’une littérature succincte. Comprendre la poétique persuasive de la forme exige l’analyse de plusieurs éléments de transmission de valeurs, dès les premiers arguments du paratexte jusqu’à l’étude de l’organisation et des caractéristiques du récit. La poétique persuasive du fond se fait à travers une approche socio-philosophique. L’exercice consiste, d’abord, à repérer les différents principes culturels imprimés par le texte, pour développer ensuite une réflexion sur leur contribution à la formation des représentations mentales du lecteur. Ainsi, pour chaque valeur, explicitement ou implicitement repérée dans le texte, nous analysons son importance en amont de la rhétorique sociale du pathos, ethos et logos. La tripartition aristotélicienne nous sert également à expliquer l’influence de l’extratextuel dans la légitimation de la valeur du et dans le récit pour enfants. / With its naïve aesthetics, children’s literature in Portugal seeks to hide its intentions of persuading the reader to accept the values it imparts. The axiological system of the most recent published works proves it possible to evoke both trivial and more socially complex themes by means of an approach that is simple and playful. In this study, we start by analyzing how present-day “socio-realistic” books adapt their ideological agenda to the specificities of children’s short fiction. In order to understand the poetics of form, it is necessary to analyse a number of aspects regarding the transmission of values, from the first plot points in paratext to the study of story organisation and characteristics. The poetics of persuasion is carried out with a socio-philosophical approach. This exercise involves initially locating the various cultural principles instilled in the text and subsequently examining their role in the formation of the reader’s mental representations. Thus, for each and every value explicitly or implicitly identified in the text, we analyse its importance in relation to the social rhetoric of pathos, ethos and logos. Likewise, Aristotle’s tripartite division assists us in explaining the influence of the extra-textual elements in the legitimization of values in and of children’s stories.

En France, la notion de valeurs mobilières se situe à un carrefour à la fois juridique, conceptuel et historique. Pourtant, elle est aujourd'hui menacée par la place grandissante prise par les titres financiers, et a été supprimée du Code monétaire et financier par l'ordonnance du 8 janvier 2009. La question du maintien des valeurs mobilières est régulièrement posée, sans que toutefois des réponses définitives ne soient apportées. Or, il en va aujourd'hui non seulement de la lisibilité de notre droit face aux investisseurs, mais également de son efficience au sein de marchés mondialisés. L'utilité bien réelle de la notion de valeurs mobilières leur a permis d'être maintenues jusqu'à aujourd'hui. La notion apparaît en effet au sein de nombreux textes et se trouve au centre de constructions juridiques intéressantes. Il pourrait également exister un risque d'insécurité juridique en cas de disparition de la notion. Pourtant, les titres financiers, qui présentent les caractéristiques de remplacement des valeurs mobilières, pourraient constituer une réponse de poids. / The French concept of valeurs mobilières finds itself at a legal, conceptual and historical crossroads. Despite this situation, the notion of valeurs mobilières is now threatened by the exponential role of the titres financiers, and was also removed from the French Financial and Monetary Code by the order of 8 January 2009. The issue of maintaining valeurs mobilières in French law is regularly raised and no definitive answer is forthcoming. The legibility of French law for investors is at stake, as well as its efficiency within global markets.The utility of the concept of valeurs mobilières has allowed it to be preserved until today. Effectively, the concept is within numerous texts and appears to be central in various interesting legal interpretations. The risk of legal uncertainty could also be important in the event of the disparition of the concept of valeurs mobilières. Notwithstanding these disadvantages, the concept of titres financiers, which presents the characteristics for replacing valeurs mobilières, could provide a cogent response.

L'objectif de cette étude est d'analyser dans une première étape, la performance financière à moyen et long terme des émissions subséquentes d'actions ordinaires au Canada. Notre échantillon se compose de 327 entreprises canadiennes ayant réalisé 603 émissions d'actions ordinaires entre 1996 et septembre 2006. En utilisant le modèle de Fama et French (1993), nous calculons un rendement anormal cumulé moyen sur 36 mois suivant l'émission de -1.78 % (statistique-t= -1.87). Cette contre-performance est confirmée par le modèle à quatre facteurs de Carhart (1997) avec un rendement anormal cumulé moyen sur 36 mois suivant l'émission de -2.30 % (statistique-t=-2.45). Dans une deuxième étape, nous examinons l'hypothèse de la manipulation des résultats comme explication possible au comportement à long terme des émissions subséquentes d'actions. Nous observons que pour les entreprises qui ont procédé à une gestion agressive des résultats, le rendement anormal cumulé sur 36 mois suivant l'émission est égal à -2.21 % (statistique-t = -1.69). Nos résultats corroborent ceux de Teoh, Welch et Wong (1998 a et 1998 b) qui observent un comportement similaire sur le marché américain. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Émissions subséquentes d'actions, Performance à long terme, Manipulation des résultats, AccruaIs.

Selon la théorie des compromis (Trade Off Theory), dont est issue la notion de ratio cible d'endettement, il existe un comportement d'ajustement de la part des entreprises vers une structure financière cible après s'en écarté temporairement. Suivant la méthodologie adoptée par Titman, Opler et Hovakimian (2001), l'objectif de ce mémoire est de déterminer dans un premier temps si ces considérations d'ajustement guident le choix de financement des entreprises Canadiennes. Ensuite, il s'agit de déterminer quel est le mode de financement (dettes ou actions) que ces entreprises choisissent afin de se rapprocher le plus rapidement du ratio cible. Notre étude repose sur l'utilisation d'un modèle Logit qui inclut une variable explicative LevDef mesurant l'écart entre le niveau d'endettement actuel de la firme et son ratio. Les résultats indiquent que le choix de financement des entreprises Canadiennes est guidé par des mécanismes d'ajustement vers une structure cible. Nos analyses montrent aussi une tendance à émettre des actions plutôt que la dette pour se diriger vers le ratio cible.