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.

La poésie graphique : Christian Dotremont, Roland Giguère, Henri Michaux et Jérôme Peignot

Réalisé en cotutelle avec l'Université de la Sorbonne - Paris IV

Visual Speech Synthesis by Morphing Visemes

We present MikeTalk, a text-to-audiovisual speech synthesizer which converts input text into an audiovisual speech stream. MikeTalk is built using visemes, which are a small set of images spanning a large range of mouth shapes. The visemes are acquired from a recorded visual corpus of a human subject which is specifically designed to elicit one instantiation of each viseme. Using optical flow methods, correspondence from every viseme to every other viseme is computed automatically. By morphing along this correspondence, a smooth transition between viseme images may be generated. A complete visual utterance is constructed by concatenating viseme transitions. Finally, phoneme and timing information extracted from a text-to-speech synthesizer is exploited to determine which viseme transitions to use, and the rate at which the morphing process should occur. In this manner, we are able to synchronize the visual speech stream with the audio speech stream, and hence give the impression of a photorealistic talking face.

¿Puede el mediador católico permanecer coherente con las doctrinas de su iglesia, empleando el modelo relacional simbólico? : una reflexión a partir de las divergencias y convergencias entre la doctrina matrimonial católica y el modelo relacional simbólico

Esta investigación responde a la inquietud del Mediador católico, al emplear el Modelo Relacional Simbólico, sabiendo el rechazo de la Iglesia al divorcio. La Mediación Familiar acompaña los esposos en proceso de separación. Pero ante la posición de la Iglesia, surge la pregunta: ¿Puede el mediador católico permanecer coherente con las Doctrinas de su Iglesia, empleando el Modelo Relacional Simbólico? La reflexión parte de la Palabra de Dios, desde el Antiguo Testamento, hasta los Evangelios y las cartas apostólicas, mirando las posiciones sobre la familia y el divorcio. En un segundo momento se detiene en la Doctrina Pontificia Católica al respecto en los últimos Pontífices. Se presenta luego el divorcio y las orientaciones pastorales de la Iglesia sobre el mismo. La reflexión se dirige finalmente al Modelo de Mediación y sus bondades, para compararlo en el último capítulo con las enseñanzas de la Iglesia y hallar las convergencias y divergencias. El resultado de este análisis permite a los investigadores hallar coherente la Mediación Familiar con el Modelo Relacional Simbólico con su fe.

La relación entre los conceptos de relación estratégica comunitaria de las organizaciones con las comunidades y la responsabilidad social

Para maximizar los beneficios, una compañía fundamenta sus acciones en ciertas estrategias que ayudan a cumplir su objetivo de generar utilidades. Entre las diferentes acciones que una organización puede utilizar, están las de responsabilidad social y las de relaciones estratégicas con la comunidad. Partiendo de la definición de comunidad, pasando por una descripción de responsabilidad social y sus diferentes formas de aplicabilidad dentro de una empresa, hasta la definición de relación estratégica con la comunidad; esta investigación dirige sus esfuerzos a determinar el vínculo que existe entre los conceptos de responsabilidad social y relación estratégica comunitaria. Adicionalmente, se plantea que otras estrategias de relacionamiento con clientes, como el mercadeo relacional o el CRM, las cuales enfocan sus esfuerzos en conocer a cada uno de los clientes de una compañía para plantear una oferta acorde a sus necesidades, no son muy efectivas a la hora de crear un vínculo emocional con la comunidad.

"Padre, perdónalos porque no saben lo que hacen": una perspectiva semi-compatibilista

Si se interpreta la primera palabra de Cristo en la cruz, con referencia a los verdugos que causaron su crucifixión, en clave de omnisciencia divina luterana y ausencia de posibilidades alternativas, surgiría una aparente contradicción en cuanto a la responsabilidad moral y el deber de aquellos: ¿Cómo sostener su responsabilidad moral si no contaban con posibilidades alternativas, y si al parecer no sabían lo que hacían, y cómo atribuirles deberes que no podían cumplir? Esto se puede resolver desde de una perspectiva semi-compatibilista, y responder, así, que: 1) la ausencia de posibilidades alternativas y la ignorancia no excluyen el que los verdugos puedan ser considerados moralmente responsables por la crucifixión de Cristo, y 2) la imposibilidad de cumplir con ciertos deberes no excluye el que los verdugos tuviesen dichos deberes y pudieran ser considerados moralmente responsables por su incumplimiento.

Bubble-included chocolate: relating structure with sensory response

Bubbles impart a very unique texture, chew, and mouth feel to foods. However, little is known about the relationship between structure of such products and consumer response in terms of mouth-feel and eating experience. The objective of this article is to investigate the sensory properties of 4 types of bubble-containing chocolates, produced by using different gases: carbon dioxide, nitrogen, nitrous oxide, and argon. The structure of these chocolates were characterized in terms of (1) gas hold-up values determined by density measurements and (2) bubble size distribution which was measured by undertaking an image analysis of X-ray microtomograph sections. Bubble size distributions were obtained by measuring bubble volumes after reconstructing 3D images from the tomographic sections. A sensory study was undertaken by a nonexpert panel of 20 panelists and their responses were analyzed using qualitative descriptive analysis (QDA). The results show that chocolates made from the 4 gases could be divided into 2 groups on the basis of bubble volume and gas hold-up: the samples produced using carbon dioxide and nitrous oxide had a distinctly higher gas hold-up containing larger bubbles in comparison with those produced using argon and nitrogen. The sensory study also demonstrated that chocolates made with the latter were perceived to be harder, less aerated, slow to melt in the mouth, and having overall flavor intensity. These products were further found to be creamier than the chocolates made by using carbon dioxide and nitrous oxide; the latter sample also showed a higher intensity of cocoa flavor.

Sexuality in older age: essential considerations for healthcare professionals

This review describes the fact that many elderly people enjoy an active sex life and examines the evidence against the general perception of an 'asexual' old age. It offers an overview of the evidence for healthcare professionals who had not previously considered the sexuality of their older patients. It also describes some of the sexual problems faced by older people, especially the difficulties experienced in disclosing such problems to healthcare professionals. It examines why healthcare professionals routinely avoid discussing sexual problems with older patients, and how this can be improved. It also offers some recommendations for future research in the area, as well as a word of caution regarding the temptation of over-sexualising the ageing process.

Educação e disciplina: uma relação de sujeição ou os efeitos de poder da prática e do discurso escolar

Procurou-se desenvolver uma reflexão sobre a escola brasileira atual, suas dificuldades e seus problemas, bem como investigar a idéia de cisão entre saber e poder presente nos postulados de neutralidade e objetividade da ciência moderna e dominante na concepçao de conhecimento que direciona a instituição educativa. Nossa análise partiu de uma perspectiva foucaultiana de poder para entender o processo disciplinar da escola e seus mecanismos de vigilância e controle que perpassam o cotidiano da mesma e que conduzem à sujeição e ao adestramento do corpo físico, material para se atingir a submissão cognitiva e política. A acumulação de capital precisou de uma minuciosa e calculada tecnologia da sujeição para produzir a acumulaçao de homens o que sustenta e expande um aparelho de produçao que, por sua vez, mantém e utiliza os homens. A economia capitalista apóia-se no poder disciplinar cuja "anatomia política" funciona através de regimes políticos, aparelhos e instituições diversas, entre as quais encontra-se a escola. Um trabalho em campo buscou detectar, tanto as tecnologias de poder vigentes e suas práticas, quanto as manifestações de resistência atuantes e seus modos de expressão. Tentou-se, ainda, analisar a dificuldade de mudar estas práticas, tendo como orientação as conceituações de Deleuze e Guaftari a respeito da "palavra de ordem". O pensamento de Nietzsche conduziu a crítica e a discussão desta escola que temos, bem como a proposição de novos valores para a educação, com o consequente questionamento e suspeição do valor dos valores que norteiam esta educação.

Trabalhadores de saúde (1900-1920): contribuição para a sua história

Atualmente o mundo do trabalho passa por profundas transformações na sua base técnica provocadas pela Terceira Revolução Industrial. É um período marcado pela crescente destruição de postos de trabalho e pela certeza de que profissões desaparecerão, apesar de não se saber quais e em que setores e com que velocidade isso ocorrerá Contraditoriamente, a flexibilidade das novas tecnologias vem exigindo flexibilidade educacional e elevação dos patamares da educação formal da população. Historicamente, as tecnologias socialmente produzidas pelos homens, sob a forma material ou imaterial, tanto destruiu postos de trabalho, como prescindiu da escola para os imperativos da valorização do capital. Isto é o que podemos verificar nesse estudo, com a análise da aplicação tecnológica do saber socialmente produzido na "era dos micróbios". Saber determinado por essas relações, determina novas práticas sanitárias e o deslocamento dos desinfectadores como categoria profissional, criando uma nova especialidade para uma recente categoria de trabalhadores: a das enfermeiras profissionais. Sob a égide do paradigma taylorista, "fórmula moderna" encontrada pelo capital para objetivar a trabalho de base manual, este é reduzido à tarefa no processo de mecanização do próprio homem. A partir dessas referências históricas e do pressuposto de que a produção do conhecimento tem sua gênese nas relações sociais do trabalho, nas relações sociais de produção, destacamos o desafio de pensar a construção de uma nova baSe de qualificação dos trabalhadores, numa sociedade que ainda mantém o estigma de uma cultura escravocrata.Estas bases que tem no trabalho dos homens o seu norte, apontam na direção de uma fonnação ampla para os trabalhadores e não do reducionismo profissionalizante da teoria do Capital Humano.

Análise química e avaliação da atividade antiviral de hypericum connatum lam.

Plantas da família Guttiferae apresentam diversas atividades biológicas sendo Hypericum o gênero mais importante devido às atividades antidepressiva, antibacteriana e antiviral de algumas espécies. Hypericum connatum, utilizado no sul do Brasil para o tratamento de feridas de boca, demonstrou atividade contra o lentivírus, responsável pela imunodeficiência felina. Objetivo: isolar e identificar as substâncias majoritárias de H. connatum e testar a atividade de extratos obtidos das partes aéreas e raízes e das substâncias isoladas frente a duas cepas do herpesvírus simples tipo 1 (HSV-1). Método: foram obtidos frações nhexano, diclorometano e metanol e extratos bruto, aquosos a diferentes temperaturas e hidro-etanólico das partes aéreas e raízes. As frações n-hexano e metanólica das partes aéreas foram submetidas à coluna cromatográfica para o isolamento de substâncias. Os extratos e substâncias isoladas foram testados frente ao HSV-1, cepas KOS e ATCC-VR733. Determinou-se a concentração máxima não tóxica (CMNT) à célula e a concentração que provoca alteração morfológica em 50% das células (CC50) pela técnica da alteração morfológica celular, utilizando-se células VERO, linhagem ATCC CCL-81. A avaliação da atividade antiviral foi realizada em placas de microtitulação e medida pela inibição do efeito citopático (ECP) provocado pelo vírus. Resultados e Conclusões: da fração n-hexano foi isolado hiperbrasilol B, da fração metanólica foram isolados amentoflavona, hiperosídeo e guaijaveriana, além de um flavonol de estrutura ainda não definida (HCN3). A fração n-hexano e o extrato bruto das raízes inibiram o ECP das cepas KOS e ATCC-VR733. Os demais extratos testados não apresentaram atividade antiviral. Dentre as substâncias analisadas, hiperbrasilol B, amentoflavona e HCN3 foram ativos frente às duas cepas. Os flavonóides hiperosídeo e guaijaverina não apresentaram atividade anti-HSV-1.

Saúde bucal no programa de saude da família: o caso do distrito sanitário norte em Natal - RN

The inclusion of the dentist in the Family Health Program (FHP) teams designates a reorganization of the mouth health care in your country and establishes a new scenario in Brazilian odontology, through of a new way to organize the basic health care, creating conditions to consolidate in mouth health practice actions, in the level of the basic attention, the validation of Unique Health System (UHS) constitutional principles. The purpose of this research is to verify if the actuation of mouth health teams (MHT) dentists, in Natal city north sanitary district, is tuned with FHP goals.The target research population was composed by all dentists working in Basic Health Units (BHU) of Natal north sanitary district. Fifth-eight questionnaires were applied and using open and closed questions we look for identify the functional characteristics of each BHU, the dentists professional attributions on each BHU, as well as the clinical procedures that they execute. This research also searched to identify the factors that facilitate and/or difficult the inclusion process and the dentists activities performance on these BHUs, as well as the necessary actions to north sanitary district MHTs to fulfill the objectives proposed by FHP. The results point that the inclusion of mouth health actions in north sanitary district FHPs brought the incorporation of new values to the used practices. Whoever, its necessary a more frequent evaluation of the carried actions, in a way they can be adapted to the real community necessities, and, is fundamental the data accompaniment, for that these serve of base for planning and redirecting activities, in a way that we do not have only a reproduction of traditional practices, fragmented and isolated, but a truly substitution of the traditional practices and a new way of promoting health

A etnopoética de Iracema: diálogo, ciência e literatura

Literary works are thought provokers that make it possible to access several forms to view the world and reality. They provide diversified points of view and infinite connections. In a particular way, among all the other forms of art expression literature is considered to be the closest to life, once it is able to reconnect all human dimensions emotional, rational, mystic, personal, universal, corporal, historic, mythical. This thesis aims at offering some reflections about the frontiers and bridges between science and literature aiming at understanding the complexity that guides them. It presents a new reading of Iracema novel: Ceará tale of José de Alencar from a meticulous incursion through new ways and natural spaces interwoven by Alencar. It tries to hear the echoes of this indianist novel in the university students today. In a broader context, it creates arguments that question the multiple threadsthat join science and literature so that a science of complexity arises distinguishing but not separating the innumerous narratives about the world. For this purpose, this thesis has as interlocutors: Antonio Candido, Charles P. Snow, Edgar Morin, Emilio Ciurana, Fritjof Capra, George Steiner, Ilya Prigogine, Isabelle Stengers, Roger Chartier, Roland Barthes. The plot presented here does not limit the novel to science, but makes it a rereading of the word, of life, once this is the raw material of books. As a methodological strategy, we rebuilt Iracema´s character trips in a way to update the novel, resulting in the video documentary Iracema ways: the arid and remote interior, the plateau, the sea. Iracema novel and character enhancing dialogs that allow the dichotomy rupture between two cultures (Charles P. Snow), recognizing they are not incommunicable and revealing the core argument of the thesis: Iracema belongs to a complex category. It is a hybrid novel that is far, far away from that bluish plateau in the horizon

A Hora e o Nevoeiro: discurso épico, vontade de potência e mal-estar da modernidade no poema Mensagem de Fernando Pessoa

Considering articles written for Fernando Pessoa in 1912 about The new Portuguese poetry , where he already proclaimed the appearance of the Super-Camões, poet that would be able to revolutionize Portuguese literature e, concomitantly, to make resurging from rubble the Portuguese nation; we understand that, decades before the writing of Message, the poet was already armed with a Will of Power , expression of Friedrich Nietzsche that incorporate the idea of resurgence to the man like creator of news values. Fernando Pessoa believed to make his poetical word, the epic, restoring word of the ideas of Messianism and Fifth Empire as the pushing force of the new Portuguese largeness. However, we look for to investigate the conditions of Malaise that surround the universe of the poem and that restrict its capacity of action on the reality in its return, a time that the space destined in modernity to the poet and to his poetry hindered him of a devoted and positive action, We select therefore theorist like Sigmund Freud e Walter Benjamin

Avaliação de dois métodos de extração de DNA de material parafinado para amplificação em PCR

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)