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.

Manuel des supérieurs ecclésiastiques et réguliers, des confesseurs et des directeurs, ou l'Art de guérir les maladies de l'âme ... /

Mode of access: Internet.

Recueil des actes, titres et mémoires concernant les affaires du clergé de France : augmenté d'un grand nombre de pieces & d'observations sur la descipline présente de l'Eglise : divisé en douze tomes, et mis en nouvel ordre, suivant la délibération de l'Assemblée générale du Clergé, du 29. avril 1705 : tome quatrieme : des ministres de l'Eglise qui sont réguliers.

Mode of access: Internet.

Éléments réguliers du groupe H₄

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

Éléments réguliers du groupe H₄

Mémoire numérisé par la Direction des bibliothèques 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.

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

Os pecados capitais e a simbologia animal na prédica de Santo Antônio

O objetivo principal deste trabalho é a análise do sermão Pecados capitais e hipocrisia, simonia, detração e adulação, circunscrito no conjunto dos escritos antonianos que se reportam ao universo dos bestiários medievais. Na obra em questão, os respectivos vícios humanos são evocados, cada qual, a partir da analogia estabelecida com o comportamento de determinados animais. Santo Antônio de Lisboa (1192-1231) viveu a maior parte de sua vida durante as primeiras décadas do período conhecido como Baixa Idade Média (século XIII ao XV). Data do início dessa era o estabelecimento de uma arte de pregar medieval, que toma como referência as idéias propaladas no princípio do Cristianismo, a filosofia dos Padres da Igreja e, por fim, os diversos preceptores do século XIII, que espelhavam o novo contorno do qual havia se revestido a teoria da prédica, em que se sublinhava também a forma de pregar, até então preterida em função do conteúdo da oratória. É também nessa época que tomam vulto as ordens mendicantes, dentre as quais se destacam os franciscanos. Santo Antônio, como pregador dos Frades Menores, valeu-se dos conhecimentos adquiridos durante o período em que integrou a Ordem dos Cônegos Regrantes de Santo Agostinho; da filosofia propalada pelo fundador da Ordem instituída por São Francisco de Assis; e, por fim, de todos os artifícios que lhe oferecia a oratória de seu tempo. Dirigiu sua prédica, sobretudo, aos cátaros, hereges que desprezavam as coisas materiais, inclusive a natureza. Ao utilizar o simbolismo dos bestiários medievais, estima-se que Santo Antônio conciliou três fatores fundamentais na eficácia de seu discurso. O primeiro deles se refere à plena comunhão entre os recursos da ars praedicandi e a alegoria do bestiário medieval. Em seguida, ressalta-se a própria utilização do mundo animal como fator de eficaz eloqüência, considerando-se a concepção, em voga na sociedade medieval, de que a natureza seria um espelho codificado do universo espiritual, e nela estariam subjacentes os propósitos de Deus para com os homens. O terceiro fator a ser destacado é a harmonia entre a utilização do bestiário medieval como subsídio retórico e a filosofia dos franciscanos, que confere valor especial à natureza, sobretudo aos animais

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.