Depuis leur création, les codes graphiques constituent un outil d'identification automatique largement exploité en industrie. Cependant, les performances de lecture sont limitées par un flou optique et un flou de mouvement. L'objectif de la thèse est l'optimisation de lecture des codes 1D et 2D en exploitant des modèles de Markov cachés simples et doubles, et des méthodes d'estimation aveugles. En premier lieu, le système de lecture de codes graphiques est modélisé par une chaîne de Markov cachée, et des nouveaux algorithmes pour l'estimation du canal et la détection des symboles sont développés. Ils tiennent compte de la non stationnarité de la chaîne de Markov. De plus une méthode d'estimation de la taille du flou et de sa forme est proposée. La méthode utilise des critères de sélection permettant de choisir le modèle de dégradation le plus adéquat. Enfin nous traitons le problème de complexité qui est particulièrement important dans le cas d'un canal à mémoire longue. La solution proposée consiste à modéliser le canal à mémoire longue par une chaîne de Markov double. Sur la base de ce modèle, des algorithmes offrant un rapport optimisé performance-complexité sont présentés / Since its birth, the technology of barcode is well investigated for automatic identification. When reading, a barcode can be degraded by a blur , caused by a bad focalisation and/ or a camera movement. The goal of this thesis is the optimisation of the receiver of 1D and 2D barcode from hidden and double Markov model and blind statistical estimation approaches. The first phase of our work consists of modelling the original image and the observed one using Hidden Markov model. Then, new algorithms for joint blur estimation and symbol detection are proposed, which take into account the non-stationarity of the hidden Markov process. Moreover, a method to select the most relevant model of the blur is proposed, based on model selection criterion. The method is also used to estimate the blur length. Finally, a new algorithm based on the double Markov chain is proposed to deal with digital communication through a long memory channel. Estimation of such channel is not possible using the classical detection algorithms based on the maximum likelihood due to the prohibitive complexity. New algorithm giving good trade off between complexity and performance is provided

Le projet consacré à la statique graphique étudie un aspect jusqu'ici peu exploré de l'histoire technique tchèque de la seconde moitié du XIXème au début du XXe siècle, lorsque les pays tchèques ont joué un rôle de premier plan en matière de technologie dans l'ancienne monarchie autrichienne. Une part du projet a permis de révéler le transfert de cette méthode de calcul en pratique d'ingénierie depuis son lieu d'origine, France et Suisse, vers les pays tchèques, et la contribution originale du milieu tchèque dans ce domaine. Le transfert de la statique graphique vers les pays tchèques fut effectué après sa formation dans la seconde moitié des années 1860. Le transfert culturel a prospéré grâce à la diffusion de la presse et des livres publiés principalement en allemand et, bien sûr, grâce aux contacts personnels étroits entre les conférenciers des écoles polytechniques européennes, en particulier des langues allemandes. La thèse contient également des exemples d'importants bâtiments historiques tchèques, pour lesquels la statique graphique a été utilisée pour calculer la structure. Ces calculs sont illustrés par la documentation archivistique, qui n'a pas encore été publiée. Une part de la thèse est également consacrée à la comparaison de deux méthodes de calcul de déformation des treillis (système triangulés). La première est la méthode du français V.-J. Williot, qui a été publiée en août 1878. La seconde est la méthode du professeur tchèque V. Bukovsky de janvier 1879. Comme il n'existe à l'heure actuelle aucune étude détaillée portant sur Victor-Joseph Williott ( 1843-1907), certains documents d'archives jamais publiés ont été recherchés pour illustrer sa vie. / The project of graphic statics is studying a heretofore little explored part of the Czech technical history of the second half of the 19th, and beginning of the 20th centuries, when the Czech lands held a leading role in technology in the former Austrian Monarchy. A part of the project is to reveal the transfer of this computational method in engineering practice from the place of its origin, France and Switzerland, to the Czech lands, as well as original contribution of the Czech millieu to this field. The transfer of graphic statics to the Czech lands came very soon after its formation in the second half of the 1860' s. Cultural transfer prospered thanks to the distribution of press and books published mainly in German, and, of course, thanks to the close persona) contacts among lecturers at European, especially German-speaking, polytechnic high school! The thesis also contains examples of significant Czech historical buildings, for which graphic statics was used to calculate the structure. These calculations are illustrated by archival documentation, which has not yet been published. A special part of the thesis is a comparison of two calculation methods of deformation of trusses. The first one is the method of French V.-J. Williot, which was published in August 1878. The second one is the Czech professor V. Bukovsky's method of January 1879. As no more detailed information was known about Victor-Joseph Williott ( 1843- 1907), some never published archival documents were searched to illustrate his life.

Dans un réseau bayésien, une observation sur une variable signifie en général que cette variable est instanciée. Ceci signifie que l’observateur peut affirmer avec certitude que la variable est dans l’état signalé. Cette thèse porte sur d’autres types d’observations, souvent appelées observations incertaines, qui ne peuvent pas être représentées par la simple affectation de la variable. Cette thèse clarifie et étudie les différents concepts d’observations incertaines et propose différentes applications des observations incertaines dans les réseaux bayésiens.Nous commençons par dresser un état des lieux sur les observations incertaines dans les réseaux bayésiens dans la littérature et dans les logiciels, en termes de terminologie, de définition, de spécification et de propagation. Il en ressort que le vocabulaire n'est pas clairement établi et que les définitions proposées couvrent parfois des notions différentes.Nous identifions trois types d’observations incertaines dans les réseaux bayésiens et nous proposons la terminologie suivante : observation de vraisemblance, observation probabiliste fixe et observation probabiliste non-fixe. Nous exposons ensuite la façon dont ces observations peuvent être traitées et propagées.Enfin, nous donnons plusieurs exemples d’utilisation des observations probabilistes fixes dans les réseaux bayésiens. Le premier exemple concerne la propagation d'observations sur une sous-population, appliquée aux systèmes d'information géographique. Le second exemple concerne une organisation de plusieurs agents équipés d'un réseau bayésien local et qui doivent collaborer pour résoudre un problème. Le troisième exemple concerne la prise en compte d'observations sur des variables continues dans un RB discret. Pour cela, l'algorithme BN-IPFP-1 a été implémenté et utilisé sur des données médicales de l'hôpital Bourguiba de Sfax. / In a Bayesian network, evidence on a variable usually signifies that this variable is instantiated, meaning that the observer can affirm with certainty that the variable is in the signaled state. This thesis focuses on other types of evidence, often called uncertain evidence, which cannot be represented by the simple assignment of the variables. This thesis clarifies and studies different concepts of uncertain evidence in a Bayesian network and offers various applications of uncertain evidence in Bayesian networks.Firstly, we present a review of uncertain evidence in Bayesian networks in terms of terminology, definition, specification and propagation. It shows that the vocabulary is not clear and that some terms are used to represent different concepts.We identify three types of uncertain evidence in Bayesian networks and we propose the followingterminology: likelihood evidence, fixed probabilistic evidence and not-fixed probabilistic evidence. We define them and describe updating algorithms for the propagation of uncertain evidence. Finally, we propose several examples of the use of fixed probabilistic evidence in Bayesian networks. The first example concerns evidence on a subpopulation applied in the context of a geographical information system. The second example is an organization of agent encapsulated Bayesian networks that have to collaborate together to solve a problem. The third example concerns the transformation of evidence on continuous variables into fixed probabilistic evidence. The algorithm BN-IPFP-1 has been implemented and used on medical data from CHU Habib Bourguiba in Sfax.

No description available.

En ingénierie dirigée par les modèles, les langages spécifiques au domaine (DSL) offrent des notations adaptées à un domaine précis pour représenter ses différents concepts. De nombreux outils permettent la définition de DSLs en explicitant les relations entre un concept et ses représentations. En fonction de la sémantique du domaine, l’ingénieur du langage peut choisir entre des notations textuelles ou graphiques. Les langages de modélisation graphique nécessitent une gestion de la position, la taille et la disposition des éléments visuels afin de maximiser leur expressivité visuelle. La plupart des éditeurs de modélisation manquent de support automatique pour gérer ces propriétés de la syntaxe concrète. Les éditeurs projectionnels permettent aux utilisateurs de se concentrer sur la conception de leur modèle en limitant les modifications de la syntaxe concrète. Cependant, bien qu’ils offrent de multiples notations, ces éditeurs ne permettent pas la création de langage graphique. Dans ce mémoire, nous proposons une nouvelle approche pour concevoir des éditeurs graphiques et projectionnels. Nous avons créé une extension d’un éditeur projectionnel orienté vers le web, Gentleman, qui nous a permis d’extraire différentes exigences. Au cours du mémoire, nous décrivons leurs impacts sur les projections et proposons des lignes directrices ainsi que des exemples d’implémentation. Comme l’édition projectionnelle demande une gestion spécifique de l’interaction, nous présentons différentes approches pour interagir avec les représentations graphiques utilisant les nouvelles informations disponibles dans les projections. Étant donné que la plupart des exigences se concentrent sur la disposition des projections, nous avons défini plusieurs algorithmes simples de disposition qui couvrent une large gamme de structures pouvant être retrouvées dans un éditeur graphique. Enfin, afin d’évaluer cette approche, nous avons exploré la génération de trois éditeurs graphiques et projectionnels pour différents domaines: les machines d’états, les diagrammes de séquences et les partitions de musique. / In model-driven engineering, domain specific-languages (DSL) provide tailored notations towards a specific problem domain to represent its different concepts. Multiple tools allow the definition of DSL by specifying the relations between a concept and its representations. Depending on the semantics of the domain, the language engineer can choose between textual or graphical notations. Graphical modeling languages require proper management of position, size, and layout to maximize their visual expressiveness. Most modeling editors lack automated support to manage these graphical concrete syntax properties. It is a time-consuming effort that affects the understandability of the model. Projectional editors prevent end-users from modifying the concrete syntax so they can focus on the modeling task. However, while they offer multiple notations, these editors lack support for graphical languages. During this thesis, we propose a new approach to design graphical and projectional editors. We created an extension of a web-oriented projectional editor, Gentleman, that allowed us to extract different requirements. During the thesis, we describe their impact on the projections and propose guidelines and examples of implementation. Because projectional editing requires specific management of the interaction, we present multiple approaches to interact with the graphical representations, using the new information available in the graphics. Since most of the requirements were focusing on the disposition of the projection, we define multiple simple layout algorithms that cover a large range of structures that can be found in a graphical editor. Finally, we explore the generation of three graphical and projectional editors for different domains: statecharts, sequence diagrams, and music sheet.

Ce mémoire est une description et une analyse de la mise en scène dans trois films screenlife – Unfriended (Leo Gabriadze, 2014), Unfriended: Dark Web (Stephen Susco, 2018) et Searching (Aneesh Chaganty, 2018) – qui est principalement défini par les interfaces utilisateur graphiques (IUG) affichées dans les représentations des enregistrements d'écran d'ordinateur par lesquels ces films sont définis. Le but de cette étude était de découvrir – en utilisant la recherche sur les IUG par Lev Manovich et Anne Friedberg – comment la nature modulaire des médias numériques – vidéo, photo et texte – positionnés à l'intérieur de chaque IUG permet de transposer certaines conventions cinématographiques, techniques de narration et de roman policier sur les IUG. La recherche révèle qu'en raison des IUG (associées au système d'exploitation et à des applications), certaines traditions narratives ont été présentées de manière multiple, simultanée et superposée dans la mise en scène, par opposition à la manière singulière et séquentielle que les films ont généralement représenté le temps et l'espace en montrant un plan à la fois. Le premier chapitre raconte l'histoire du film screenlife et comment il a connu plusieurs itérations en raison de ce qui avait pu être affiché dans les IUG à différentes périodes entre 2002 et 2018, notamment les types d'appels vidéo, de sites Web et de médias sociaux. Le deuxième chapitre propose une mise en scène screenlife qui divise l'espace de l'écran en trois niveaux pour articuler comment les traditions cinématographiques et narratives ont été transposées dans Unfriended, Unfriended: Dark Web et Searching. Le troisième chapitre est une continuation de ce processus, mais avec un accent sur les techniques de roman policier, les indices et les fausses pistes, présents dans chacun de ces trois films screenlife. La description et l'analyse confirment que ces traditions de mystification sont également transposées dans les IUG de manière multiple, simultanée et superposée à partir de la manière singulière et séquentielle dont elles ont été présentées dans les romans policiers et les films policiers traditionnellement tournés. / This master’s thesis is a description and analysis of the mise en scène in three screenlife films – Unfriended (Leo Gabriadze, 2014), Unfriended: Dark Web (Stephen Susco, 2018) and Searching (Aneesh Chaganty, 2018) – that is primarily defined by the graphical user interfaces (GUIs) displayed within the representations of computer screen recordings these films (and this format) are defined by. The purpose of this study was to find out – using the research into GUIs by Lev Manovich and Anne Friedberg as a framework to interpret the space within a computer screen – how the modular nature of individual digital media – video, photo and text – positioned within each GUI permit certain cinematic conventions, storytelling and mystery fiction techniques to be transposed onto a computer screen’s interfaces (GUIs). The research reveals that due to the GUIs (associated with the computer’s operating system and its various applications) certain narrative traditions have been presented in a multiple, simultaneous and overlapping way within the mise en scène as opposed to the singular and sequential manner that films have typically represented time and space by showing one shot, one spatio-temporality, within the frame at a time. The first chapter recounts the history of the screenlife film and how it has had several iterations because of what had been possible to display within GUIs at various periods between 2002 and 2018, notably the types of video calls, websites and social media. The second chapter proposes a screenlife mise en scène that divides the screen space into three levels to articulate how cinematic and narrative traditions have been transposed into Unfriended, Unfriended: Dark Web and Searching. The third chapter is a continuation of this process, but with a focus on mystery fiction techniques, clues and red herrings, present in each of these three screenlife films. The description and analysis confirms that these mystification traditions are also transposed into the GUIs in a multiple, simultaneous and overlapping way from the singular and sequential manner that they have been presented in detective novels and traditionally shot mystery genre films.

Réalisé en cotutelle avec l'Université de la Sorbonne - Paris IV / L’objet de cette thèse est de définir un type de poésie visuelle moderne (XXe-XXIe), que nous avons nommé la poésie graphique et qui attache une importance considérable à l’expérimentation plastique du signe graphique, qui manifeste une conscience aiguë des ressources visuelles de la graphie et entend réaliser la poésie dans la matérialité des formes de l’écriture. Cette pratique graphique et plastique du poème s’inscrit dans la continuité, mais également dans un certain renouveau des avant-gardes poétiques et artistiques du XXe siècle, notamment du surréalisme. La poésie graphique désigne une pratique de la poésie à caractère spécifiquement graphique, qui recouvre tant une peinture du signe qu’un travail typographique de la lettre pour élaborer le poème. La particularité des poètes graphiques est leur double vocation, celle d’écrivain et celle de plasticien. Ils expérimentent l’écriture dans sa dimension linguistique et dans sa dimension graphique, en considérant que l’activité de scription ou de linotypie — c’est-à-dire la peinture ou le dessin du mot, du signe graphique, la typographie et l’édition — est déjà littérature. Autrement dit, ils envisagent que la création et la matérialisation du poème procèdent du même geste. Les logogrammes de Christian Dotremont, les poèmes-estampes et les livres d’artistes (Éditions Erta) de Roland Giguère, les recueils de signes inventés et d’encres d’Henri Michaux et la typoésie de Jérôme Peignot constituent des formes de poésie graphique. Notre étude porte donc sur des œuvres francophones, issues des domaines belge, français et québécois, produites entre 1950 et 2004. Trois caractéristiques définissent principalement la poésie graphique : l’ambiguïté et le nomadisme du signe du poème par rapport aux ordres sémiotiques — scriptural, iconique et plastique —, la présence d’un rythme et d’un lyrisme graphiques, comme modalités de l’expression du sujet dans la matière graphique, et une remise en cause de la ligne de partage entre les arts autographiques et allographiques, nécessitant de nouveaux modes de perception et de lecture du poème et du livre, soit une « iconolecture » et une « tactilecture ». / The purpose of this thesis is to define a type of modern visual poetry (20th – 21st), that we called graphic poetry. The graphic poetry focuses on a plastic and visual experimentation of the graphic sign, demonstrates an important conscience of the visual potential of the written form and tries to produce poetry in the materiality of the writing shapes. This artistic practice of poetry follows and also renews the poetic and plastic avant-gardes of the 20th century, more particularly surrealism. The graphic poetry refers to a practice of poem which is specifically graphic and includes a painting of the sign as a typographic work of the letter in order to produce the poem. The main characteristic of graphic poets is their double vocation : they are writers and visual artists. They experiment writing in its linguistic dimension and its graphic dimension, because they believe that the action of drawing a line or making of a linotype setting — namely the painting or the drawing of the word, of the graphic sign, the typography and the publishing — is already literature. In other words, graphic poets think that the creation and the materialization of the poem proceed of the same gesture. Christian Dotremont’s logograms, Roland Giguère’s artists’ books (Editions Erta) and prints-poems, Henri Michaux’s anthologies of invented painted signs and Jérôme Peignot’s typoems are some forms of graphic poetry. Our study focuses on francophone works, which come from Belgian, French and Quebec fields, published between 1950 and 2004. Three characteristics mainly define the graphic poetry : the ambiguity and the nomadism of the sign in relation to the semiotic systems (graphic, iconic and plastic), graphics rhythm and lyricism, as modalities of the expression of the subject in the graphic material, and a questioning of the distinction between autographic arts and allographic arts, requiring new ways of perception and reading of the poem and the book, that we called visual-reading and touch-reading.

S’insérant dans les domaines de la Lecture et de l’Analyse de Textes Assistées par Ordinateur (LATAO), de la Gestion Électronique des Documents (GÉD), de la visualisation de l’information et, en partie, de l’anthropologie, cette recherche exploratoire propose l’expérimentation d’une méthodologie descriptive en fouille de textes afin de cartographier thématiquement un corpus de textes anthropologiques. Plus précisément, nous souhaitons éprouver la méthode de classification hiérarchique ascendante (CHA) pour extraire et analyser les thèmes issus de résumés de mémoires et de thèses octroyés de 1985 à 2009 (1240 résumés), par les départements d’anthropologie de l’Université de Montréal et de l’Université Laval, ainsi que le département d’histoire de l’Université Laval (pour les résumés archéologiques et ethnologiques). En première partie de mémoire, nous présentons notre cadre théorique, c'est-à-dire que nous expliquons ce qu’est la fouille de textes, ses origines, ses applications, les étapes méthodologiques puis, nous complétons avec une revue des principales publications. La deuxième partie est consacrée au cadre méthodologique et ainsi, nous abordons les différentes étapes par lesquelles ce projet fut conduit; la collecte des données, le filtrage linguistique, la classification automatique, pour en nommer que quelques-unes. Finalement, en dernière partie, nous présentons les résultats de notre recherche, en nous attardant plus particulièrement sur deux expérimentations. Nous abordons également la navigation thématique et les approches conceptuelles en thématisation, par exemple, en anthropologie, la dichotomie culture ̸ biologie. Nous terminons avec les limites de ce projet et les pistes d’intérêts pour de futures recherches. / Taking advantage of the recent development of automated analysis of textual data, digital records of documents, data graphics and anthropology, this study was set forth using data mining techniques to create a thematic map of anthropological documents. In this exploratory research, we propose to evaluate the usefulness of thematic analysis by using automated classification of textual data, as well as information visualizations (based on network analysis). More precisely, we want to examine the method of hierarchical clustering (HCA, agglomerative) for thematic analysis and information extraction. We built our study from a database consisting of 1 240 thesis abstracts, granted from 1985 to 2009, by anthropological departments at the University of Montreal and University Laval, as well as historical department at University Laval (for archaeological and ethnological abstracts). In the first section, we present our theoretical framework; we expose definitions of text mining, its origins, the practical applications and the methodology, and in the end, we present a literature review. The second part is devoted to the methodological framework and we discuss the various stages through which the project was conducted; construction of database, linguistic and statistical filtering, automated classification, etc. Finally, in the last section, we display results of two specific experiments and we present our interpretations. We also discuss about thematic navigation and conceptual approaches. We conclude with the limitations we faced through this project and paths of interest for future research.

Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de Signal. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé. / Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.

Le territoire de l’album de jeunesse contemporain, multiforme, inventif paraît fluctuant. Partagé entre l’image et le texte, il se présente comme une forme hybride aux frontières mouvantes entre livre illustré, album de bande dessinée, roman graphique. Notre corpus volontairement restreint concerne, parmi l’album de langue française tel qu’il se développe de 1945 à nos jours, une sélection significative d’œuvres d’auteurs illustrateurs. Il nous permet d’interroger les influences qui ont façonné son visage d’aujourd’hui : statut de l’enfant dans la société, impact de la technologie, des impératifs commerciaux, des grands courants artistiques. A partir de l’analyse des rapports entre l’image et le texte, il nous conduit à questionner la place de l’album dans l’environnement iconotextuel. Est-il possible de dégager sa singularité et de nous poser la question du genre ? Après avoir repéré aux sources de l’album la rencontre mouvementée de l’image et des mots de la Renaissance au XIXe siècle, nous analysons l’émergence de l’album contemporain, sa séparation avec l’album de bande dessinée entre 1900 et 1939. Nous voyons dans le rapport très particulier qui s’installe entre le support du livre et le fonctionnement de l’iconotexte, la constitution d’un genre de l’entre-deux. / The domain of contemporary picture books for children, in their multiple forms, is inventive and without formalized borders. It is shared between image and text, and presented as a hybrid form at with movable frontiers between illustrated books, picture books, comic books, and graphic novels. Our references are deliberately restrained to concern French language picture books and their development from 1945 to today, with a significant selection of works from author-illustrators. This makes visible the influences that have shaped today’s position: the status of the child in society, impact of technology, commercial needs, and major artistic trends. The analysis of the relationship between image and text takes us to question the place of the album in the iconotextuel environment. Is it possible to separate its singularity and for us to ask questions of the genre? After tracing the sources of picture books with the meeting dynamic of images and words from the Renaissance to the XXIst century, we analyze the emergence of the contemporary picture book, and its separation from comic books between 1900 and 1939. We can see that the very particular relationship that has developed between the physical book and the functioning of the iconotext, has led to the creation of a type between the two.