L’accès à l’information financière est un déterminant important pour la prévision des rendements boursiers (mesurés par la variation de la capitalisation boursière) et la littérature propose d’utiliser les comportements de recherches numériques des individus comme indicateur de l’attention des marchés financiers. Ce mémoire explore la relation entre les volumes de recherches pour trois indices de marchés boursiers (Dow Jones, Nasdaq et Nyse) et sept entreprises cotées en bourse (Amazon, Google, Apple, Microsoft, Johnson& Jonhson, Berkshire Hathaway et JP Morgan& Chase) et les rendements boursiers (du 1er janvier 2006 au 31 décembre 2019) sans apporter de preuves catégoriques pour l’utilité des volumes de recherche. On trouve une relation statistiquement significative entre les volumes de recherches et les rendements boursiers absolus des indices de marché (Dow Jones, Nasdaq et Nyse) pendant la période de crise économique. On trouve également une relation statistiquement significative pour la prédiction des rendements bruts d’Apple sur toute la période à l’étude. Les relations significatives suggèrent un comportement économique cohérent avec la littérature : les chocs d’information deviennent progressivement moins importants alors qu’ils sont intégrés par le marché.

Le présent mémoire vise à démontrer que la collection « Les Poètes du Jour » (1963-1975) des Éditions du Jour constitue un véritable vivier et qu'elle abrite des réseaux réels et virtuels, qui peuvent être décelés grâce à l'analyse des caractéristiques socioprofessionnelles des auteurs et du paratexte des oeuvres qui la composent. Nous entendons dévoiler les enjeux relatifs à chacun de ces types de réseaux. En plus d'un historique des Éditions du Jour, le premier chapitre propose un rappel des parcours de Jacques Hébert, directeur des Éditions du Jour, de Gatien Lapointe et de Michel Beaulieu, qui ont joué un rôle déterminant dans l'évolution des « Poètes du Jour », ainsi que de Marcel et François Hébert, directeurs de la collection durant ses dernières années d'existence. Leur formation, leur trajectoire dans le champ littéraire québécois et surtout leurs liens avec de (futurs) auteurs de la collection sont décrits et analysés. Les toutes premières manifestations de réseaux au sein de la collection sont ainsi circonscrites.Le deuxième chapitre est consacré à l'analyse des liens et réseaux réels proprement dits. L'examen des caractéristiques socioprofessionnelles des auteurs démontre la présence de cohortes et de générations de poètes, ou encore de réseaux réels, à l'intérieur des « Poètes du Jour ». Or, le fait de prendre part à un réseau se traduit toujours par un gain de capital (symbolique, économique, social) pour l'auteur concerné : publication chez un éditeur reconnu, obtention d'un poste au sein d'une institution, accès au réseau de relations d'un ami, notamment. La question des liens et réseaux virtuels formés aux « Poètes du Jour » vient compléter cette étude dans le troisième et dernier chapitre. L'analyse des principaux éléments paratextuels des recueils de la collection mettra en évidence les affinités (esthétiques, voire idéologiques) et les accointances qui se tissent entre les auteurs de la collection ou encore entre les « Poètes du Jour » et d'autres poètes québécois. L'analyse des préfaces, des dédicaces, des épigraphes et de la réception critique indique que les liens et réseaux virtuels ne sont jamais neutres et remplissent une fonction particulière : défense et légitimation d'une poétique dominante dans le champ littéraire, accréditation des nouvelles écritures au détriment de celles relevant de l'arrière-garde, promotion d'un jeune poète, inscription d'une oeuvre dans une tradition littéraire établie, etc. Notre double analyse, quantitative et qualitative, mettra en évidence que la collection « Les Poètes du Jour » est plus qu'un simple ensemble de titres : elle est en fait un véritable lieu de rencontre et de rassemblement pour de nombreux poètes, plus spécifiquement ceux de la jeune génération, qui s'y rencontrent et s'y côtoient. Plusieurs d'entre eux ont notamment étudié dans les mêmes établissements scolaires, se connaissent à leur milieu de travail ou alors convergent vers les mêmes lieux éditoriaux, ce qui facilite la formation de liens et réseaux réels aux « Poètes du Jour ». L'accumulation de différents éléments paratextuels indique la formation de liens et de réseaux virtuels, où des écritures (la « poésie du pays », le formalisme, l'écriture des femmes et la contre-culture) émergent et sont théorisées.

Le présent mémoire a pour but de procéder à une étude de l’oeuvre La Naissance du Jour, de Colette, parue en 1928. Pour atteindre cet objectif, un parcours de trois chapitres a été proposé. D’abord, les données biographiques et bibliographiques sont mises en évidence, lors du premier chapitre. Dans le second chapitre, l’analyse de l’oeuvre é réalisée, à la lumière de ses composants, ses thèmes et ses éléments fondamentaux. Les réflexions principales éveillées lors de la lecture de l’oeuvre sont exposées dans le dernier chapitre. Les observations originaires de l’appréhension de ce parcours d’analyse tiennent à montrer que La Naissance du Jour suscite une discussion notable sur le « réel » et le « fictionnel » à travers la confrontation des genres autobiographique et autofictionnel et le traitement spécifique de la catégorie espace-temps. D’après les différentes conceptions d’écriture dégagées de l’oeuvre colettienne, nous arrivons à comprendre l’acte d’écrire chez Colette comme un jeu de sensations et de sens où le sujet, le « je », est immergé dans un miroir de langage, par lequel il se (re)construit. / Esta dissertação tem por objetivo proceder ao estudo da obra La Naissance du Jour, de Colette, publicada em 1928. Para tanto, foi proposto um percurso de três capítulos. Primeiramente, os dados biográficos e bibliográficos são evidenciados no primeiro capítulo. No segundo capítulo, a análise da obra se faz, à luz de seus componentes, temas e elementos fundamentais. As principais reflexões despertadas durante a leitura da obra são apresentadas no último capítulo. As considerações originadas por este percurso de análise mostram que a obra suscita uma importante discussão sobre o “real” e o “ficcional”, por meio da confrontação dos gêneros autobiográfico e autoficcional e o tratamento específico da categoria espaço-tempo. De acordo com as diferentes concepções de escrita obtidas na obra de Colette, nós podemos chegar à compreensão do ato de escrever como um jogo de sensações e de sentidos em que o sujeito, “eu”, permanece imerso em um espelho de linguagem, pelo qual ele se (re)constrói.

Dans cette thèse, nous proposons la transposition de la notion de scalabilité des média, telle que définie par les codages hiérarchiques, aux scènes multimédia en charge de l'organisation spatiale et temporelle de la présentation interactive des différents média d'un document ou d'un service. Ainsi, une scène initiale est progressivement enrichie par des transformations successives, appelées mises à jour d'adaptation, de façon à aboutir à une présentation attractive et conforme à l'environnement d'usage. Notre approche, appelée Scalable MSTI, s'articule autour de trois axes de scalabilité qui séparent les Média et les propriétés Spatiales, Temporelles et Interactives d'une scène multimédia. Chacun de ces axes est constitué de couches de scalabilité contenant des mises à jour d'adaptation qui sont hiérarchisées selon une relation d'ordre définie par des paramètres d'adaptation choisis par l'éditeur en fonction des environnements d'usage envisagés. L'ensemble des présentations alternatives disponibles par scalabilité de scène est représenté sous la forme d'un graphe d'adaptation dans lequel une prise de décision constitue la sélection d'un parcours le long d'un chemin d'adaptation. La scalabilité de scène multimédia a été appliquée au domaine de la radio numérique au travers de la réception progressive de services multimédia. En outre, les capacités d'adaptation des services multimédia scalables de radio permettront, par exemple, l'exploitation de la largeur d'écran étendue de certains récepteurs ou encore une meilleure intégration des directives de sécurité routière en situation de conduite concernant les animations

La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité. Le but de notre travail est d'effectuer la vérification formelle de la correction de la mise à jour dynamique d'applications Java Card à travers l'étude du système EmbedDSU. Pour ce faire, nous avons premièrement établi la correction de la mise à jour du code en définissant une sémantique formelle des opérations de mise à jour sur le code intermédiaire Java Card en vue d'établir la sûreté de typage des mises à jour. Nous avons ensuite proposé une approche pour vérifier la sémantique du code mis à jour à travers la définition d'une transformation de prédicats. Nous nous sommes ensuite intéressés à la vérification de la correction concernant la détection de points sûrs de la mise à jour. Nous avons utilisé la vérification de modèles. Cette vérification nous a permis de corriger d'abord un problème d'inter blocage dans le système avant d'établir d'autres propriétés de correction : la sûreté d'activation et la garantie de mise à jour. La mise à jour des données est effectuée à travers les fonctions de transfert d'état. Pour cet aspect, nous avons proposé une solution permettant d'appliquer les fonctions de transfert d’état tout en préservant la consistance du tas de la machine virtuelle Java Card et en permettant une forte expressivité dans leurs écritures. / Dynamic Software Updating (DSU) consists in updating running programs on the fly without any downtime. This feature is interesting in critical applications that are in continual evolution and that require high availability. The aim of our work is to perform formal verification the correctness of dynamic software updating in Java Card applications by studying the system EmbedDSU. To do so, we first established the correctness of code update. We achieved this by defining formal semantics for update operations on java Card bytecode in order to ensure type safety. Then, we proposed an approach to verify the semantics of updated programs by defining a predicate transformation. Afterward, we were interested in the verification of correction concerning the safe update point detection. We used model checking. This verification allowed us first to fix a deadlock situation in the system and then to establish other correctness properties: activeness safety and updatability. Data update is performed through the application of state transfer functions. For this aspect, we proposed a solution to apply state transfer functions with the preservation of the Java Card virtual machine heap consistency and by allowing a high expressiveness when writing state transfer functions.

Le présent mémoire a pour but de procéder à une étude de l’oeuvre La Naissance du Jour, de Colette, parue en 1928. Pour atteindre cet objectif, un parcours de trois chapitres a été proposé. D’abord, les données biographiques et bibliographiques sont mises en évidence, lors du premier chapitre. Dans le second chapitre, l’analyse de l’oeuvre é réalisée, à la lumière de ses composants, ses thèmes et ses éléments fondamentaux. Les réflexions principales éveillées lors de la lecture de l’oeuvre sont exposées dans le dernier chapitre. Les observations originaires de l’appréhension de ce parcours d’analyse tiennent à montrer que La Naissance du Jour suscite une discussion notable sur le « réel » et le « fictionnel » à travers la confrontation des genres autobiographique et autofictionnel et le traitement spécifique de la catégorie espace-temps. D’après les différentes conceptions d’écriture dégagées de l’oeuvre colettienne, nous arrivons à comprendre l’acte d’écrire chez Colette comme un jeu de sensations et de sens où le sujet, le « je », est immergé dans un miroir de langage, par lequel il se (re)construit. / Esta dissertação tem por objetivo proceder ao estudo da obra La Naissance du Jour, de Colette, publicada em 1928. Para tanto, foi proposto um percurso de três capítulos. Primeiramente, os dados biográficos e bibliográficos são evidenciados no primeiro capítulo. No segundo capítulo, a análise da obra se faz, à luz de seus componentes, temas e elementos fundamentais. As principais reflexões despertadas durante a leitura da obra são apresentadas no último capítulo. As considerações originadas por este percurso de análise mostram que a obra suscita uma importante discussão sobre o “real” e o “ficcional”, por meio da confrontação dos gêneros autobiográfico e autoficcional e o tratamento específico da categoria espaço-tempo. De acordo com as diferentes concepções de escrita obtidas na obra de Colette, nós podemos chegar à compreensão do ato de escrever como um jogo de sensações e de sentidos em que o sujeito, “eu”, permanece imerso em um espelho de linguagem, pelo qual ele se (re)constrói.

Le présent mémoire a pour but de procéder à une étude de l’oeuvre La Naissance du Jour, de Colette, parue en 1928. Pour atteindre cet objectif, un parcours de trois chapitres a été proposé. D’abord, les données biographiques et bibliographiques sont mises en évidence, lors du premier chapitre. Dans le second chapitre, l’analyse de l’oeuvre é réalisée, à la lumière de ses composants, ses thèmes et ses éléments fondamentaux. Les réflexions principales éveillées lors de la lecture de l’oeuvre sont exposées dans le dernier chapitre. Les observations originaires de l’appréhension de ce parcours d’analyse tiennent à montrer que La Naissance du Jour suscite une discussion notable sur le « réel » et le « fictionnel » à travers la confrontation des genres autobiographique et autofictionnel et le traitement spécifique de la catégorie espace-temps. D’après les différentes conceptions d’écriture dégagées de l’oeuvre colettienne, nous arrivons à comprendre l’acte d’écrire chez Colette comme un jeu de sensations et de sens où le sujet, le « je », est immergé dans un miroir de langage, par lequel il se (re)construit. / Esta dissertação tem por objetivo proceder ao estudo da obra La Naissance du Jour, de Colette, publicada em 1928. Para tanto, foi proposto um percurso de três capítulos. Primeiramente, os dados biográficos e bibliográficos são evidenciados no primeiro capítulo. No segundo capítulo, a análise da obra se faz, à luz de seus componentes, temas e elementos fundamentais. As principais reflexões despertadas durante a leitura da obra são apresentadas no último capítulo. As considerações originadas por este percurso de análise mostram que a obra suscita uma importante discussão sobre o “real” e o “ficcional”, por meio da confrontação dos gêneros autobiográfico e autoficcional e o tratamento específico da categoria espaço-tempo. De acordo com as diferentes concepções de escrita obtidas na obra de Colette, nós podemos chegar à compreensão do ato de escrever como um jogo de sensações e de sentidos em que o sujeito, “eu”, permanece imerso em um espelho de linguagem, pelo qual ele se (re)constrói.

La gestion de fichiers de configuration sous Linux est complexe et propice aux erreurs étant donné le grand nombre de fichiers de formats différents. Toutes les techniques couramment utilisées pour modifier ces fichiers sont insatisfaisantes. Nous proposons d'abstraire la syntaxe variée des fichiers de configuration par une structure de données unique et modifiable. Nous nous intéressons aux algorithmes permettant de transformer un fichier de configuration - une chaîne de caractères - en une représentation abstraite, y effectuer des modifications et reporter ces modifications dans le fichier d'origine, ce qui doit se traduire par une modification minimale du fichier. Deux logiciels qui permettent d'effectuer des transformations bidirectionnelles sur des chaînes de caractères sont modifiés pour nos besoins, soit XSugar et Augeas. XSugar fait en sorte que certains caractères peuvent être perdus lors d'une transformation aller-retour. Dans le contexte de la gestion de fichiers de configuration, il est essentiel de préserver tous les caractères présents dans la représentation concrète, mais exclus de la représentation abstraite, de manière à les restituer dans la version concrète modifiée. Nous proposons deux techniques permettant de surmonter ces limitations. Cependant, les résultats ont été partiellement atteints. Augeas est limité dans le traitement de certains types de fichiers balisés, comme les fichiers XML. Une extension au langage adaptée à ce problème a été développée. Cette extension permet de transformer efficacement tout type de fichiers balisés. Le développement d'un module pour la configuration du serveur Web Apache démontre le succès dans l'application pratique de cette extension et constitue une première dans le domaine.

Les travaux de cette thèse sont les fruits de collaboration depuis 2008 entre l'ICL et le Centre Ingénierie et Santé (CIS) de l'Ecole des Mines de Saint Etienne. CIS et ICL sont tous deux membres de l'Institut Fédératif de Recherche en Science, Ingénierie et Santé (IFRESIS) et participent tous deux aux travaux du Cancéropôle Lyon Auvergne Rhône-Alpes (CLARA) dont Franck Chauvin animait l'axe IV sur Epidémiologie, SHS, Information du Patient et Organisation des Soins. Cette thèse a été initiée avec la volonté de développer une recherche originale sur l'optimisation de la production de soins en cancérologie.Nous nous intéressons à différentes problématiques de la gestion de soins des patients dans un hôpital de jour en cancérologie. Nous visons à équilibrer au mieux les besoins journaliers en lits tout en prenant en compte l'adhérence aux protocoles de soins, les contraintes des oncologues et les aléas des flux de patients. Pour un hôpital de jour en oncologie, nous avons identifié et étudié les décisions suivantes : I. Le planning médical une fois par an afin de déterminer les périodes de travail des oncologues dans une semaine. Nous avons proposé une formulation originale sous forme d'un modèle de programmation linéaire en nombres mixtes (MIP) et une approche en 3-étapes. II. L'affectation des nouveaux patients qui détermine le jour de la chimiothérapie pour chaque patient entrant. Nous avons présenté trois stratégies de planification et nous avons décrit un algorithme de simulation pour évaluer ces stratégies de planification. Les stratégies de planification proposées exploitent les informations contenues dans les protocoles de soins des patients et utilisent l'optimisation Monte Carlo III. La planification des rendez-vous. Nous avons présenté deux méthodes pour la résolution de ce problème : une approche basée sur la relaxation Lagrangienne et une heuristique basée sur une optimisation par recherche localeIV. La planification des jours fériés : permet de remédier au problème des semaines comportant des jours fériés. Nous avons développé un modèle en programmation linéaire en nombres mixtes permettant de répartir rapidement la charge du jour férié sur les jours en amont et en aval sans trop dégradé l'efficacité du traitement, ni surcharger le travail de l'HDJ.

Nous nous intéressons par le problème de la sémantique des mises à jour et de la cohérence des bases de données dans différents contextes comme les documents XML et les services web. En effet, des difficultés particulières sont à prévoir lors de la mise à jour d'une base ayant des contraintes à respecter, car, des données originalement cohérentes par rapport aux contraintes peuvent devenir incohérentes suite aux mises à jour. Dans une première partie de notre travail, nous considérons la mise à jour et le maintien de la cohérence d'une base de données XML par rapport au type (ou schéma) ainsi que par rapport aux contraintes d'intégrité. Nous abordons ce problème de différentes manières. Tout d'abord, nous proposons une procédure de validation incrémentale par rapport aux contraintes, évitant de revalider les parties du document qui n'ont pas été touchées par les mises à jour. Cette approche traite aussi bien le cas des contraintes de schéma que le cas des contraintes d'intégrité. Dans ce cadre, les listes de mises à jour qui violent la validité sont rejetées. Quand la validation incrémentale échoue, c'est-à-dire, quand une mise à jour viole le type, deux propositions de traitement sont faites\,: (A) Une routine de correction est activée pour adapter le document XML au type tout en prenant en compte la mise à jour. La mise à jour a donc une priorité par rapport aux données déjà stockées. (B) Une routine propose une adaptation du type du document, de façon à accepter le document mis à jour en préservant la validité des autres documents originalement valides et non soumis à la mise à jour. Dans ce cas, la mise à jour est prioritaire et les contraintes peuvent être modifiées. Une deuxième partie du travail considère la construction d'une plate-forme d'aide à la spécification, à l'implémentation et à la manipulation de services. L'idée de pouvoir spécifier et modifier des compositions de services nous a amené à la définition du langage PEWS (\textit{Path Expressions for Web Services}), ayant une sémantique formelle bien définie et permettant la spécification du comportement des interfaces des services web simples ou composés. Pour pouvoir tester statiquement des propriétés liées à la composition des services, nous proposons l'utilisation de la théorie des traces et les graphes de dépendances.