Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

De l'ethnicité dans les langages musicaux contemporains : au-delà de l'exotisme : processus de composition de quatre oeuvres : Deux tempêtes et une langueur, Sept gestes ludiques, Azabache, Landocinogena

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal.

Reconnaissance thématique à partir de textes dictés et Adaptation dynamique de modèles de langages thématiques

National audience

Charles Taylor et la thèse des « langages plus subtils »

La thèse des « langages plus subtils » (subtler languages) constitue l’une des pièces maîtresses de la philosophie herméneutique de Charles Taylor. Elle nous situe à l’intersection de ce qu’il caractérise après Isaiah Berlin comme le tournant « expressiviste » du XVIIIe siècle (Herder, Hamann, Humboldt) ainsi que du tournant ontologique de l’herméneutique contemporaine (Heidegger, Gadamer, Ricoeur). Plus précisément, cette thèse permet d’expliquer pourquoi le tournant ontologique de l’herméneutique ne nous conduit pas au-delà de la tradition expressiviste, mais demeure un tournant au sein même de l’expressivisme. Notre objectif est de montrer, en ce sens, que la « subtilité » spécifique des langages philosophiques modernes devrait être comprise chez Taylor à partir de son interprétation originale de la sécularisation de l’occident chrétien.

Charles Taylor et la thèse des « langages plus subtils »

La thèse des « langages plus subtils » (subtler languages) constitue l’une des pièces maîtresses de la philosophie herméneutique de Charles Taylor. Elle nous situe à l’intersection de ce qu’il caractérise après Isaiah Berlin comme le tournant « expressiviste » du XVIIIe siècle (Herder, Hamann, Humboldt) ainsi que du tournant ontologique de l’herméneutique contemporaine (Heidegger, Gadamer, Ricoeur). Plus précisément, cette thèse permet d’expliquer pourquoi le tournant ontologique de l’herméneutique ne nous conduit pas au-delà de la tradition expressiviste, mais demeure un tournant au sein même de l’expressivisme. Notre objectif est de montrer, en ce sens, que la « subtilité » spécifique des langages philosophiques modernes devrait être comprise chez Taylor à partir de son interprétation originale de la sécularisation de l’occident chrétien.

Mediating cultural politics : a dialogue with Georgina Born

The following dialogue is based on an interview conducted as part of Professor Born’s visit to Brisbane in 2006, which included three public seminars at the University of Queensland (UQ) and Queensland University of Technology (QUT). The following dialogue provides a counterpoint to these events and to Born’s work as a whole, drawing together and extending key themes in the cultural politics of both public service broadcasting and new media technologies. It begins by discussing the possibilities of public sphere theory to provide useful models of institutional design. The discussion moves from there to SBS Television – an example of Public Service Broadcasting that provides an interesting contrast to the BBC, especially by virtue of SBS’s relationship with the politics of multiculturalism in Australia. The second half of the interview draws out the issues around cultural value, cultural power and the politics of technology in relation to new media, and concludes by focusing especially on the problems and potentialities of ‘user-generated content’.

Consanguinity, fecundity and post-natal mortality in Karnataka, South India

The degree of consanguinity of the progeny, the number of live-borns and number of living children were determined in 3350 marriages in Bangalore, Karnataka. The coefficient of inbreeding (F) was 0•02308, higher than in comparable, urban populations in other South Indian states. No significant differences were found between the consanguineous and non-consanguineous groups in numbers of live-born or living children nor was there any consanguinity-related trend with respect to these parameters.

Inbreeding in the State of Karnataka, South India

The inbreeding patterns and coefficient of inbreeding (F) of 3,350 new-borns in Bangalore, Karnataka were determined. A total of 29.24% were born of consanguineous marriages, F = 0.02313. Inbreeding was most common among the Hindus: 23.56% of their marriages were uncle-niece, F for the group was 0.02670.

About the limits of metalanguage: An essay on the modelisation of Latin grammatical lexicography

[EN] Progress in methodology in specific fields is usually very closely linked to the technological progress in other areas of knowledge. This justifies the fact that lexicographical techniques have had to wait for the arrival of the IT era of the last decades of the 20th century in order to be able to create specialised electronic dictionaries which can house and systemise enormous amounts of information which can later be dealt with quickly and efficiently. This study proposes a practical-methodological model which aims to solve the grammatical treatment of adverbs in Ancient Latin. We have suggested a list of 5 types, in a decreasing order from a greater to lesser degree of specialisation; technical (T), semi-technical (S-T), instrumental-valued (I-V), instrumental- descriptive (I-D), instrumental-expository (I-E).

Veja: ideologia e argumentatividade em revista

Tendo como objeto de análise capas da revista Veja, esta tese pretende verificar, por meio da observação analítica desses arranjos sígnicos, em sua materialidade textual bem como nos diálogos que estabelecem com o mundo, as suas tendências ideológicas e as marcas de sua argumentatividade constitutiva, de modo a tornar relativo o conceito de texto de informação que costuma recobrir o objeto em análise. Fazem parte do percurso teórico da pesquisa estudos e reflexões sobre: noções de textualidade e de gênero textual; teoria da argumentação; interferência de elementos exteriores ao texto para a produção do sentido; teoria semiótica de base peirceana; estratégias e mecanismos presentes nas representações discursivas feitas pela mídia. Colocam-se, dessa forma, os estudos da língua e das linguagens como instrumentos capazes de, pelas vias da ciência, fazer ver os encaminhamentos argumentativos propostos nesses textos. São, portanto, considerados e analisados os elementos que, prestando-se à representação do real, imprimem ao/no texto marcas do(s) sujeito(s) sociohistórico(s) que, conforme as lições bakhtinianas, nele se presentifica(m) e, através dele, atua(m) intersubjetivamente

Letras, ideias e culturas políticas: os escritos de Nabuco de Araújo (1843-1876)

A presente tese foi elaborada a partir do legado documental de José Thomaz Nabuco de Araújo (1813-1878), constituído de textos impressos, manuscritos políticos, cartas e bilhetes produzidos especialmente nas décadas de cinquenta e sessenta do oitocentos e conservados no Instituto Histórico e Geográfico Brasileiro. Político e homem de letras, frequentou bibliotecas e livrarias daquelas décadas, quando teve contato com obras e tendências do pensamento europeu. Os livros da biblioteca da Faculdade de Direito de Recife, onde se formou bacharel juntamente com outros burocratas de sua geração em 1835, marcaram o início de práticas de leitura e escrita voltadas para a apropriação do conteúdo e construção intencional de ideias políticas expressas no decorrer de sua rica e complexa trajetória como senador e ministro da justiça em gabinetes de diferentes siglas partidárias. O personagem fez uso das linguagens e matrizes do pensamento jusnaturalista, utitilarista, liberal e do humanismo cívico ao protagonizar importantes debates diretamente relacionados à prática da cidadania no Segundo Reinado, com destaque para temas como emancipação dos escravos, a participação civil de estrangeiros no Brasil, a liberdade de imprensa, a descentralização, reformas eleitorais e a missão dos partidos políticos. Nesse sentido, a temporalidade das ideias presentes no discurso evidenciaram não só os aspectos perenes, como também transitórios do pensamento de Nabuco de Araújo. Certas transformações e permanências são perceptíveis no final da década de 1850, ocasião em que o Gabinete da Conciliação deixou de existir e deu passagem, já em 1862, à Liga Progressista, uma aliança entre conservadores moderados e antigos liberais do Império. O estudo sobre o processo de emancipação gradativa dos escravos, especialmente no ano de 1871, ocasião em que o político pertenceu ao Movimento Centro Liberal, também constitui oportunidade ímpar para verificar a introdução de termos como pessoa nos escritos do personagem. Guiado por seus próprios interesses, ou por interesses do Governo e do seu partido, Nabuco de Araújo contribuiu para a formulação de novos conceitos e práticas e, portanto, exerceu influência na configuração da cultura política imperial, junto a seus pares. O referencial teórico fundamentado em autores da História das Ideias, especialmente Quentin Skinner, e nos estudos de produção de texto de Robert Darnton possibilitaram o entendimento dos limites e intersecções entre o liberalismo e o conservadorismo político no Segundo Reinado, além de desencadear certo revisionismo histórico da obra Um Estadista do Império, biografia póstuma de José Thomaz Nabuco de Araújo, elaborada por seu filho Joaquim Nabuco.

Prédication vs détermination: l'exemple de la fonction adverbiale

info:eu-repo/semantics/published

Le discours eurorégional. Indices convergents de légitimation d’un espace institutionnel

À partir d’un corpus de sites web institutionnels publiés par les eurorégions, l’article explore les indices discursifs qui tendent à légitimer la notion d’espace eurorégional. L’analyse lexicométrique et qualitative des énoncés multilingues aboutit au double constat d’une conformité aux objectifs normatifs de la politique européenne et d’une uniformisation des représentations eurorégionales, en dépit des langues et des zones transfrontalières émettrices.

The Euroregional discourse. Increasing evidence towards legitimizing an institutional space

From a multilingual corpus composed of institutional websites published by the Euroregions, this article attempts to explore the discursive indications which tend to legitimize the notion of Euroregional space. The lexicometric and qualitative observations lead to a compliance to the normative objectives of the European politics and to the standardization of the euroregional representations, in spite of languages and issuing cross-border areas.