To see the other types of publications on this topic, follow the link: Teo logos.
Dissertations / Theses on the topic 'Teo logos'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 29 dissertations / theses for your research on the topic 'Teo logos.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Garavel, Hubert Voiron Jacques. "Compilation et vérification de programme LOTOS." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00004339.
Full text
2
Garavel, Hubert. "Compilation et vérification de programmes LOTOS." Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00004339.
Full textAbstract:
LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systèmes parallèles communicants, normalisé par l'ISO et le CCITT afin de permettre la définition formelle des protocoles et des services de télécommunications. Le langage utilise des types abstraits algébriques pour spécifier les données et un calcul de processus proche de CSP et CCS pour exprimer le contrôle. Cette thèse propose une technique de compilation permettant de traduire un sous-ensemble significatif de LOTOS vers un modele reseau de Petri interprete (pouvant servir a produire du code executable) puis vers un modèle automate d'etats finis (permettant la vérification formelle de programmes LOTOS soit par réduction ou comparaison modulo des relations d'equivalence, soit par évaluation de formules de logiques temporelles). La méthode employée diffère des approches usuelles basées sur la réécriture de termes, qui construisent directement le graphe d'états correspondant à un programme LOTOS. Ici au contraire la traduction est effectuée en trois étapes successives (expansion, génération et simulation) s'appuyant sur des modèles sémantiques intermédiaires (le langage SUBLOTOS et le modèle reseau). Elle met en oeuvre une analyse statique globale du comportement des programmes. Elle prend en compte les données, celles-ci devant être compilées au moyen d'algorithmes déjà existants. Ces principes de compilation ont été entièrement implémentés dans le logiciel CAESAR. Les performances obtenues confirment l'intérêt de la méthode
3
Roux, Guillaume. "Prélinguistique et linguistique dans la période des premiers mots : approches historique, épistémologique et expérimentale." Phd thesis, Université Paul Valéry - Montpellier III, 2012. http://tel.archives-ouvertes.fr/tel-00829373.
Full textAbstract:
Cette recherche s'intéresse à la possibilité d'établir des points de comparaison entre le prélinguistique et le linguistique dans la période des premiers mots. Le constat d'un flou régnant autour des notions de mot et de proto-mot nous a fait considérer différentes approches : historique, épistémologique et expérimentale. L'apport de l'approche historique est essentiel pour cerner la problématique et considérer la façon dont parler est envisagé par une société et une époque. Cettepartie nous permet de mettre en avant deux éléments : la question de l'émergence de la parole implique la notion de représentation sociale, et l'émergence de la parole, aujourd'hui, se situe durant la période des premiers mots. L'analyse de cette période nous conduit à une partie épistémologique permettant de définir le type d'unités caractéristiques de cette période : les proto-mots et les mots. Une fois nos unités identifiées, nous effectuons une analyse longitudinale de quatre enfants, de un an à deux ans. Nous avons d'abord identifié un phénomène de substitution des mots aux proto-mots. Ensuite, nous avons observé les deux éléments communs à ces productions : la prosodie et la phonologie. Il découle de notre analyse que la prosodie fournit un cadre commun assurant la transition entre les proto-mots et les mots, et que la phonologie est le domaine où s'observent les différences : les mots sont le lieu du développement des structures phonologiques complexes, contrairement aux proto-mots. Nous avons pu considérer que parler, c'était privilégier les motscomme support de communication verbale, par rapport aux proto-mots, et que cette particularité est l'objet du développement phonologique.
4
SOUZA, Leyllyanne Bezerra de. "“Quando não tem bebida, morga logo!”: um estudo interseccional sobre juventude e consumo de álcool." Universidade Federal de Pernambuco, 2015. https://repositorio.ufpe.br/handle/123456789/25391.
Full textAbstract:
Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-02T20:40:28Z
No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
DISSERTAÇÃO Leyllyanne Bezerra de Souza.pdf: 2119749 bytes, checksum: 49d32a9e6db7ba82b600ef625e2be3e7 (MD5)Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-03T22:00:38Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Leyllyanne Bezerra de Souza.pdf: 2119749 bytes, checksum: 49d32a9e6db7ba82b600ef625e2be3e7 (MD5)
Made available in DSpace on 2018-08-03T22:00:38Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Leyllyanne Bezerra de Souza.pdf: 2119749 bytes, checksum: 49d32a9e6db7ba82b600ef625e2be3e7 (MD5) Previous issue date: 2015-02-24
FACEPE
Este trabalho buscou compreender significados atribuídos por jovens ao consumo de bebidas alcoólicas. Trata-se de uma pesquisa qualitativa de inspiração feminista, inserida na Psicologia Social. Assumiu como perspectivas a pesquisa-intervenção e a interseccionalidade de marcadores sociais para a compreensão/intervenção de/em posicionamentos das/os jovens interlocutoras/es relativamente ao consumo de álcool. Estas/Estes, jovens habitantes da região Suape-PE, estudantes do ensino médio da rede pública de ensino em território que tem vivenciado um intenso processo de desenvolvimento econômico. Desenvolveu-se a partir do trabalho com grupo em três rodas de conversa – videogravadas e transcritas – nas quais o uso de álcool foi abordado, respectivamente, segundo os vieses da sociabilidade, do lazer, e de discursos de riscos e prazeres envolvidos em práticas de consumo. Foi possível perceber o álcool como um importante elemento relacionado à sociabilidade das/os jovens. O tensionamento público-privado caracterizou diferentes experiências com as bebidas, de modo que os significados atribuídos ao beber variaram de acordo com o contexto relacional em que se bebe. O beber em família foi referido como uma experiência menos prazerosa em relação ao beber no grupo de amigos, por se caracterizar como um espaço de regulações segundo uma hierarquia geracional, que circunscreve o ato de beber em códigos de moralização, normatização e inibição. De outro modo, beber no grupo de amigos parece caracterizar um contexto em que se sente mais livre para se experimentar: quanto aos limites e possibilidades do próprio corpo; em experiências afetivo-sexuais; e ainda, quanto aos prazeres e riscos potencialmente envolvidos em práticas de consumo. O ato de beber, no contexto do grupo de pares, parece funcionar como um extensor do tempo em que se está junto, como potencializador da sociabilidade. Ressalta-se que os significados do beber se distinguem quanto aos marcadores de gênero, sobretudo quando articulados às vivências e posicionamentos sexuais. A mulher que bebe, sobretudo no espaço público, se vê como alvo de críticas e regulações; além disso, a experiência de embriaguez para mulheres jovens é fortemente associada ao risco de violência sexual. Por outro lado, o homem que bebe pode se sentir mais desinibido, e assim, colocar-se de forma mais ativa em situações de paquera, o que lhe é esperado e valorizado. Há uma fronteira tênue entre prazeres e riscos nas experiências de consumo de álcool, os quais as/os jovens precisam aprender a gerir. Como via de controle do corpo, o marcador religião emergiu como forma de gestão de riscos e prazeres através da restrição ou mesmo prescrição do não uso de bebidas, para mulheres e homens. O marcador território pareceu delinear uma associação entre bebidas e violência quando o consumo de álcool é pensado em relação ao outro, sobretudo os ditos “baianos”, homens de outros estados que estão na região Suape trabalhar em empresas de construção civil.
This study aimed to understand the meanings attributed by young people to alcohol consumption. This is a qualitative study of feminist inspiration, inserted in social psychology. It took over as prospects for intervention research and the intersectionality of social markers for understanding /intervention in positions of young interlocutors in relation to alcohol consumption. These are young inhabitants of Suape, Pernambuco region, high school students from public schools, in territory that has experienced an intense process of economic development. It was developed from work with group, in three rounds of conversation – recorded in video and transcribed - in which the use of alcohol was addressed, respectively, according to the biases of sociability, leisure, and risk and pleasures discourses and involved in practices consumption. We could perceive alcohol as an important element related to sociability of young people. The public-private tensioning featured different experiences with the drinks, so that the meanings attributed to drinking varied according to the relational context. Drinking in family was referred as a less pleasurable experience regarding drinking in the group of friends, because it is characterized as a space setting according to a generational hierarchy, which limited the act of drinking in moralization codes, regulation and inhibition. Otherwise, drinking in the group of friends seems to characterize a context where young people feel freer to experiment: as the limits and possibilities of one's body; in sexual experiences; and pleasures and potential risks involved in consumption practices. Drinking in the context of peer group, appears to be a time extender in which young people are together, facilitating sociability. It is noteworthy that the meanings of drinking differ as to gender markers, especially when articulated to the experiences and sexual positions. Women who drink, especially in the public space, are seen as the target of criticism and regulations; furthermore, intoxication experience for young women is strongly associated with risk of sexual violence. On the other hand, men who drink can feel more uninhibited, and thus put themselves more actively in dating situations, what is expected and valued related to him. There is a fine line between pleasure and risks on the experiences of alcohol consumption, which young people need to learn to manage. The religion marker emerged as a form of risk and pleasures management by restricting or even prescription of nonuse of drinks for women and men. The territory marker seemed to delineate an association between beverages and violence when alcohol consumption is thought to the other, especially those called "Bahia", men from other states that are in Suape region, working in construction companies.
5
Takamatsu, Alexandre Akira. "Avaliação da biolixiviação de metais pesados por bacterias do genero Thiobacillus em lodos biologicos para utilização agricola como fertilizante." reponame:Repositório Institucional da UFPR, 2013. http://hdl.handle.net/1884/29380.
Full textAbstract:
Resumo: A disposição em solos agrícolas e florestais de lodos resultantes de estações de tratamento de esgoto vem sendo amplamente revisada e questionada nos países que se utilizam desta prática. Embora isto venha a resolver um problema sério de falta de espaço e alto custo de destinação do lodo, e ainda substituindo parcialmente as necessidades de adubação química, os problemas de acréscimo de metais pesados aos solos através do lodo e a presença de patógenos se constituem hoje nos principais fatores de restrição de uso. Apesar deste método de disposição não ser muito utilizado ainda, a tendência é de aumento, pois houve um crescimento expressivo no número de Estações de Tratamento de Esgoto, criando uma demanda para destinação do lodo gerado. Com relação aos níveis de metais pesados, a preocupação tem sido quanto aos efeitos cumulativos destes metais, pois a legislação dos países onde a disposição agrícola do lodo já é utilizada tende a ficar cada vez mais rígida, baixando os limites aceitáveis pela legislação. Este trabalho avaliou a eficiência de bio-lixiviação de metais pesados por bactérias do gênero Thiobacillus em lodos ativados, assim como caracterizou química e biologicamente o lodo antes e depois do processo de bio-lixiviação, e trabalhou nos isolamentos de microrganismos nativos do lodo capazes de lixiviar metais pesados. As eficiências de bio-lixiviação alcançadas para os quatro elementos considerados neste estudo foram: Cd (95%); Pb (95%); Cu (95%), Zn (50%). As propriedades fertilizantes não foram afetadas pelo processo.
Palavras-chave: Thiobacillus, metais-pesados, biohidrometalurgia, biolixiviação, lodos aeróbios, disposição agrícola
6
Nazario, Celina Lessa. "Di?logo: mestre e disc?pulo uma leitura teol?gica da Pedagogia do oprimido de Paulo Freire." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2011. http://tede2.pucrs.br/tede2/handle/tede/5849.
Full textAbstract:
Made available in DSpace on 2015-04-15T12:50:20Z (GMT). No. of bitstreams: 1
436919.pdf: 786619 bytes, checksum: 390665bad645bfec8c38afde38cd16f1 (MD5)
Previous issue date: 2011-12-22This research aims to answer the following question: What interfaces can we reflect from a transformative and Christian education, that are in the area of scalabrinian education nowadays? The catholic school is a privileged space to exercise the mission of evangelization. We reflected upon the dialogue: Master and Disciple, through a theological reading of the Pedagogy of the Oppressed, looking for its conducting wire in Master Jesus pedagogy in the passage of Lc 24, 13-35, The Way to Emmaus, that is part the scalabrinian education pedagogy. We identified Paulo Freire s contribution, in the proposal of the Gospel of Luke 24,13-35 and in the scalabrinian education that Don Giovanni Baptista Scalabrini launches as a task for a congregation. Paulo Freire believed that the society could be transformed through education problem-solving dialogue. The dialogue is based on elements, such as: love, faith, humility, confidence and hope, that are in Paulo and Giovani Battista Scalabrini s view of education, which are also part of Christian theological reflection. (Lc 24, 13-35) The Way of Emmaus is the path of revelation of the true pedagogy. Jesus is the way towards Truth and Life. Besides, the scalabrinian pedagogy aims, in the way that education happens, to answer the claims of the Church and society, that is constantly moving. Making the school environment a theological space, the school contributes to the charisma that is assumed in the Church. In this type of dialogue, in a master/disciple, it is possible to reflect upon education as a way to act in theological education.
Esta pesquisa pretende responder ? seguinte quest?o: Que interfaces podemos refletir de uma educa??o transformadora e crist? que est?o presentes na ?rea da educa??o scalabriniana hoje? A escola cat?lica ? um espa?o privilegiado para exercer a sua miss?o de evangelizar. Refletimos sobre o di?logo: Mestre e Disc?pulo, atrav?s da leitura teol?gica da Pedagogia do oprimido, buscando o seu fio condutor na pedagogia do Mestre Jesus, na passagem de Lc 24,13-35, Caminho de Ema?s , fazendo-se presente na pedagogia da educa??o scalabriniana. Identifica-se a contribui??o de Paulo Freire, com um olhar na proposta do Evangelho de Lucas 24,13-35 e na educa??o scalabriniana que Dom Jo?o Batista Scalabrini lan?a como tarefa para uma congrega??o. Paulo Freire acreditava que a sociedade poderia ser transformada por meio da educa??o problematizadora dial?gica. O di?logo se fundamenta nos elementos constitutivos, como amor, f?, humildade, confian?a e esperan?a presente no pensamento pedag?gico de Paulo Freire e de Jo?o Batista Scalabrini, que tamb?m fazem parte da reflex?o teol?gica crist?. Em (Lc 24,13-35) o Caminho de Ema?s , est? o caminho da revela??o da verdadeira pedagogia. Jesus ? o Caminho a Verdade e a Vida. A pedagogia scalabriniana tamb?m busca, em seu jeito de educar, responder os apelos da Igreja e da sociedade que est? em constante mobilidade. Fazendo do ambiente escolar um espa?o teol?gico, a escola contribui com o carisma assumido na Igreja. Neste pensar do di?logo: mestre/disc?pulo h? possibilidade de refletir a educa??o como poss?vel fazer teol?gico na educa??o.
7
Galv?o, Isabel Tereza de Ara?jo. "Entre cartas e contos na sala de aula: di?logos e afetos em textos de M?rio de Andrade e C?mara Cascudo." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/20833.
Full textAbstract:
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-06-28T17:09:35Z
No. of bitstreams: 1
IsabelTerezaDeAraujoGalvao_DISSERT.pdf: 1174660 bytes, checksum: 986ed626aa9c88443a130873798a5120 (MD5)Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-29T21:24:26Z (GMT) No. of bitstreams: 1 IsabelTerezaDeAraujoGalvao_DISSERT.pdf: 1174660 bytes, checksum: 986ed626aa9c88443a130873798a5120 (MD5)
Made available in DSpace on 2016-06-29T21:24:26Z (GMT). No. of bitstreams: 1 IsabelTerezaDeAraujoGalvao_DISSERT.pdf: 1174660 bytes, checksum: 986ed626aa9c88443a130873798a5120 (MD5) Previous issue date: 2015-08-07
Produ??o de material did?tico espec?fico para uma turma de n?vel IV - 8? e 9? anos da Educa??o de Jovens e Adultos, tomando como ponto de partida a leitura de uma s?rie de cartas da correspond?ncia entre C?mara Cascudo e M?rio de Andrade nos anos 20 do S?culo XX, e da verifica??o do modo como o di?logo entre os dois autores revela elementos que transparecem no conto ?Pi? n?o sofre? Sofre?, do livro Os contos de Belazarte, de M?rio de Andrade. A produ??o do material did?tico foi precedida da an?lise do conto selecionado, o qual ser? trabalhado concomitantemente com algumas cartas, em uma an?lise dos elementos textuais, discursivos e sem?nticos presentes em representa??es desses dois g?neros: carta e conto. O conto selecionado foi escrito entre 1923 a 1926, datas pr?ximas ? passagem do seu autor pelo Rio Grande do Norte, nos anos de 1927 a 1929, na companhia de C?mara Cascudo, sendo este tamb?m o per?odo em que h? registros de cartas no conjunto da correspond?ncia entre ambos. Para a leitura do material selecionado, foram utilizados referenciais te?ricos da teoria da literatura e historiografia liter?ria, sobretudo da hist?ria do movimento modernista brasileiro. Para a produ??o do material did?tico, foram eleitos como referencial te?rico os conhecimentos acumulados na ?rea de ensino da literatura, letramento e as recomenda??es dos Par?metros Curriculares Nacionais. A metodologia do trabalho foi constru?da a partir dos referenciais te?ricos e teve como suporte b?sico o estudo de sequ?ncias did?ticas a partir das quais tomou forma uma unidade tem?tica espec?fica, requerida pelo material analisado e testado em sala de aula.
Specific educational material production for a group of level IV ? 8th and 9th years of Youth and Adults Education, having as starting point the reading of a series of letter of correspondence between C?mara Cascudo and M?rio de Andrade in the 1920s, and the verification of the way the dialog between the two authors reveals elements that transpire themselves in the tale entitled ?Pi? n?o sofre? Sofre?, from the book Os contos de Belazarte, de M?rio de Andrade. The educational material production was preceded by the analysis of the selected tale, which will be studied along with some of the letters, in an analysis of the textual, discursive and semantic features of the text in representation of these both genres: letter and tale. The selected tale was written between 1923 and 1926, dates close to the years when the author came by Rio Grande do Norte state, in the years from 1927 to 1929, accompanied by C?mara Cascudo, being also this period that there are records of letters in the set of correspondence between them. To the reading of the selected material, it was used theoretical references from literature and literary historiography, especially the history of Brazilian modernist movement. To the production of the educational material, it was chosen as theoretical reference the accumulated knowledge in the area of literature teaching, literacy and the recommendations of the Brazilian National Curriculum Parameters. The methodology in this study was constructed from the theoretical references and had as basic support the study of didactic sequences from which a specific thematic unit got its shape from, required by the analyzed material and tested in a classroom.
8
Westfall, Cynthia A. "From proposition to illustration a discourse analysis of [ho logos tes parakleseos (romanized form)] based on the genre shifts and prominence in the discourse of Hebrews /." Theological Research Exchange Network (TREN), 1997. http://www.tren.com.
Full text
9
Wandscher, Aodomar Jos? "A seculariza??o e a f? : di?logo entre Jos? Casanova e Joseph Ratzinger numa perspectiva teol?gico-pastoral." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2018. http://tede2.pucrs.br/tede2/handle/tede/8366.
Full textAbstract:
Submitted by PPG Teologia (teologia-pg@pucrs.br) on 2018-12-03T12:05:35Z
No. of bitstreams: 1
Disserta??o - AODOMAR JOS? WANDSCHER.pdf: 1084155 bytes, checksum: c199f79710e81c4cc382133c3138ef4e (MD5)Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-12-03T16:44:51Z (GMT) No. of bitstreams: 1 Disserta??o - AODOMAR JOS? WANDSCHER.pdf: 1084155 bytes, checksum: c199f79710e81c4cc382133c3138ef4e (MD5)
Made available in DSpace on 2018-12-03T17:38:37Z (GMT). No. of bitstreams: 1 Disserta??o - AODOMAR JOS? WANDSCHER.pdf: 1084155 bytes, checksum: c199f79710e81c4cc382133c3138ef4e (MD5) Previous issue date: 2018-08-27
The processes of secularization of the Western world have, in their wake, had several implications for the Christian faith. The present research proposes to make an analysis of the secularization and the faith in the current contemporaneity, in order to lay the foundations for a New Evangelization of the Church. For this, the work of the Spanish philosopher Jos? Casanova, a sociologist of the religion, and the German Joseph Ratzinger, theologian and emeritus pope, is analyzed and put them into dialogue. Casanova's approach elucidates the phenomenon of secularization in its different facets, noting the emergence of public religions and the emergence of a globalized religious pluralism. Ratzinger's reflection (Benedict XVI) urges us to understand the faith as adherence to truth, in a context which he considers a "dictatorship of relativism". Although they are two very different paradigms, it is understood that this interdisciplinary relationship makes it possible to find elements to better understand the transmission of the faith in theological perspective
Os processos de seculariza??o do mundo ocidental trouxeram, em sua esteira, diversas implica??es para a f? crist?. A presente pesquisa prop?e-se a fazer uma an?lise da seculariza??o e da f? na atual contemporaneidade, a fim de lan?ar bases para uma Nova Evangeliza??o da Igreja. Para isso, se analisa a obra do espanhol Jos? Casanova, soci?logo da religi?o, e a do alem?o Joseph Ratzinger, te?logo e Papa em?rito, colocando-os em di?logo. A abordagem de Casanova elucida o fen?meno seculariza??o em suas diferentes facetas, constatando o surgimento das religi?es p?blicas e a emerg?ncia de um pluralismo religioso globalizado. A reflex?o de Ratzinger (Bento XVI) incita a compreender a f? como ades?o ? verdade, num contexto que ele considera uma ?ditadura do relativismo?. Embora sejam dois paradigmas bem diferentes, entende-se que essa rela??o interdisciplinar possibilita encontrar elementos para compreender melhor a quest?o da transmiss?o da f? em perspectiva teol?gica.
10
Santos, Luciana Silva dos. "A influência da salinidade nos processos de tratamento de efluentes por lodos ativados." Universidade do Estado do Rio de Janeiro, 2012. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=8004.
Full textAbstract:
O processo de tratamento de efluentes por lodos ativados é um dos processos de tratamento mais difundido em todo o mundo, devido principalmente a qualidade do efluente obtido. Entretanto, trata-se de um processo biológico dependente da atividade bacteriana para a estabilização da matéria orgânica proveniente dos esgotos e com isso, se faz necessária a manutenção das condições ideais para a sobrevivência e proliferação das bactérias e dos outros microrganismos envolvidos neste processo. Efluentes salinos causam um grande distúrbio na atividade celular dos microrganismos presentes neste processo. A análise biológica do lodo e a taxa de consumo de oxigênio são testes rápidos, práticos, baratos e sem geração de resíduos químicos e que foram adotados neste trabalho para acompanhar a eficiência do processo. Esses dois parâmetros são amplamente utilizados em pesquisas, porém ainda é sub-utilizado para efetivo monitoramento de Estações de Tratamento de Esgotos. Este presente trabalho investigou a influência da salinidade nos processos de lodos ativados através de parâmetros que levam em consideração a atividade metabólica dos organismos aeróbios e através do monitoramento da comunidade de protozoários indicadores biológicos do lodo ativado, os testes de respirometria e os testes da análise biológica do lodo, respectivamente. Os resultados da atividade metabólica são apresentados em forma de gráficos, em termos de taxa de consumo de oxigênio específico e porcentagem de inibição. Os resultados da qualidade biológica são apresentados em números de 0 a 10 de acordo com o Índice de Madoni (1994). Os resultados demonstraram a imediata intoxicação dos lodos ativados em concentrações de sal a partir da concentração mínima utilizada neste trabalho, que foi de 5 gL de NaCl. Para entender melhor o processo de intoxicação foi realizado experimentos de 96 horas de monitoramento após o choque de cloreto de sódio nos reatores com lodos ativados, os resultados não demonstraram melhoria no processo. Os resultados sugerem que os testes de taxa de consumo de oxigênio em consonância com os testes da qualidade biológica são eficientes e complementares para a avaliação da influência da salinidade no processo de lodos ativados.Effluent treatment process by sludge activated is one of the most used processes of treatment all over the world, mainly because of the quality of the final effluent. However, this process is a biological one, and so, it depends on the bacterial activity to the stabilization of the organic matter of the sewage. Considering this, it is necessary to maintain the ideal conditions to the survival and proliferation of the bacteria responsible for the process. This work considered two parameters to evaluate the influence of the salinity in the sludge activated processes; these parameters are widely used in research, however, little used for the monitoring of the Wastewater Treatment Plants. The objectives of this work are to investigate the influence of the salinity through the respirometry test and the biological quality of the sludge. The results of the metabolic activity are presented in graphics, in terms of Oxygen Uptake Rate and percentage of inhibition. The results of the biological quality are presented in numbers by 0 to 10 according to the Mandonis Index (1994). The results show the intoxication of the sludge activated in saline concentrations higher than 5 g/L of NaCl in the saline shock, and it seems that efficiency do not get better even after 96 hours. The results suggests that the respirometry test and the biological quality test are efficient and complementary to the evaluation of salinity in the sludge activated processes.
11
Lohr, Christophe. "Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2002. http://tel.archives-ouvertes.fr/tel-00005228.
Full textAbstract:
Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.
12
Thivolle, Damien. "Langages modernes pour la modélisation et la vérification des systèmes asynchrones." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00685209.
Full textAbstract:
Cette thèse se situe à l'intersection de deux domaines-clés : l'ingénierie dirigée par les modèles (IDM) et les méthodes formelles, avec différents champs d'application. Elle porte sur la vérification formelle d'applications parallèles modélisées selon l'approche IDM. Dans cette approche, les modèles tiennent un rôle central et permettent de développer une application par transformations successives (automatisées ou non) entre modèles intermédiaires à différents niveaux d'abstraction, jusqu'à la production de code exécutable. Lorsque les modèles ont une sémantique formelle, il est possible d'effectuer une vérification automatisée ou semi-automatisée de l'application. Ces principes sont mis en oeuvre dans TOPCASED, un environnement de développement d'applications critiques embarquées basé sur ECLIPSE, qui permet la vérification formelle par connexion à des boîtes à outils existantes. Cette thèse met en oeuvre l'approche TOPCASED en s'appuyant sur la boîte à outils CADP pour la vérification et sur son plus récent formalisme d'entrée : LOTOS NT. Elle aborde la vérification formelle d'applications IDM à travers deux problèmes concrets : 1) Pour les systèmes GALS (Globalement Asynchrone Localement Synchrone), une méthode de vérification générique par transformation en LOTOS NT est proposée, puis illustrée sur une étude de cas industrielle fournie par AIRBUS : un protocole pour les communications entre un avion et le sol décrit dans le langage synchrone SAM conçu par AIRBUS. 2) Pour les services Web décrits à l'aide de la norme BPEL (Business Process Execution Language), une méthode de vérification est proposée, qui est basée sur une transformation en LOTOS NT des modèles BPEL, en prenant en compte les sous-langages XML Schema, XPath et WSDL sur lesquels repose la norme BPEL.
13
Mazza, Eduardo. "Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00800516.
Full textAbstract:
Malgré les progrès importants effectués en matière de conception de logiciels et l'existence de méthodes de développement éprouvées, il faut reconnaître que les défaillances de systèmes causées par des logiciels restent fréquentes. Il arrive même que ces défaillances concernent des logiciels critiques et provoquent des dommages significatifs. Considérant l'importance des intérêts en jeu, et le fait que la garantie de logiciel "zéro défaut" est hors d'atteinte, il est donc important de pouvoir déterminer en cas de dommages causés par des logiciels les responsabilités des différentes parties. Pour établir ces responsabilités, un certain nombre de conditions doivent être réunies: (1) on doit pouvoir disposer d'éléments de preuve fiables, (2) les comportements attendus des composants doivent avoir été définis préalablement et (3) les parties doivent avoir précisé leurs intentions en matière de répartition des responsabilités. Dans cette thèse, nous apportons des éléments de réponse à ces questions en proposant un cadre formel pour spécifier et établir les responsabilités en cas de dysfonctionnement d'un logiciel. Ce cadre formel peut être utilisé par les parties dans la phase de rédaction du contrat et pour concevoir l'architecture de logs du système. Notre première contribution est une méthode permettant d'intégrer les définitions formelles de responsabilité et d'éléments de preuves dans le contrat juridique. Les éléments de preuves sont fournis par une architecture de logs dite ''acceptable'' qui dépend des types de griefs considérés par les parties. La seconde contribution importante est la définition d'une procédure incrémentale, qui est mise en oeuvre dans l'outil LAPRO, pour l'analyse incrémentale de logs distribués.
14
Sadani, Tarek. "Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2007. http://tel.archives-ouvertes.fr/tel-00149426.
Full textAbstract:
Cette thèse porte sur la vérification formelle de systèmes temps réel et procède par transformation de modèle entre l'algèbre de processus temporisée RT-LOTOS et les réseaux de Petri temporels étendus par des chronomètres et des données. Des schémas de traduction de RT-LOTOS vers ces réseaux de Petri étendus sont proposés et formellement prouvés. L'approche transformationnelle développée pour la partie " contrôle " de RT-LOTOS est étendue à la partie " données ". Le langage RT-LOTOS est lui même enrichi d'un opérateur de suspension reprise qui permet de modéliser et vérifier une classe plus large de systèmes temps réel Plusieurs études de cas attestent de l'efficacité des schémas de traduction proposés par rapport à des outils LOTOS ou RT-LOTOS développés antérieurement. L'approche proposée s'avère transposable à d'autres langages de modélisation en particulier le profil UML temps réel TURTLE (Timed UML and RT-LOTOS Environment).
15
Letessier, Pierre. "Découverte et exploitation d'objets visuels fréquents dans des collections multimédias." Phd thesis, Telecom ParisTech, 2013. http://tel.archives-ouvertes.fr/tel-00912992.
Full textAbstract:
L'objectif principal de cette thèse est la découverte d'objets visuels fréquents dans de grandes collections multimédia (images ou vidéos). Comme dans de nombreux domaines (finance, génétique, ...), il s'agit d'extraire une connaissance de manière automatique ou semi-‐automatique en utilisant la fréquence d'apparition d'un objet au sein d'un corpus comme critère de pertinence. Dans le cas visuel, le problème est différent de la fouille de données classique (ADN, textuel, etc.) puisque les instances d'apparition d'un même objet ne constituent pas des entités identiques mais doivent être appariées. Cette difficulté explique également pourquoi nous nous focalisons sur la découverte des objets rigides (logos, objets manufacturés, décors, bâtiments, etc.), et non des catégories d'objets de plus haut niveau sémantique (maison, voiture, chien, ...). Bien que les techniques de recherche d'objets rigides aient atteint une certaine maturité, le problème de la découverte non supervisée d'instances d'objets dans des grandes collections d'images est à l'heure actuelle encore difficile. D'une part parce que les méthodes actuelles ne sont pas assez efficaces et passent difficilement à l'échelle. D'autre part parce que le rappel et la précision sont encore insuffisants pour de nombreux objets. Particulièrement ceux ayant une taille très restreinte par rapport à l'information visuelle contextuelle qui peut être très riche (par exemple le logo d'un parti politique apparaissant ponctuellement dans un sujet de journal télévisé). Une première contribution de la thèse est de fournir un formalisme aux problèmes de découverte et de fouille d'instances d'objets visuels fréquents. Ces deux problèmes sont en effet définis de manière très confuse dans les quelques travaux récents de la littérature les abordant. Cette modélisation nous a permis entre autres choses de mettre en évidence le lien étroit qui existe entre la taille des objets à découvrir et la complexité du problème à traiter. La deuxième contribution de la thèse est une méthode générique de résolution de ces deux types de problème reposant d'une part sur un processus itératif d'échantillonnage d'objets candidats et d'autre part sur une méthode efficace d'appariement d'objets rigides à large échelle. L'idée est de considérer l'étape de recherche d'instances proprement dite comme une simple boite noire à laquelle il s'agit de soumettre des régions d'images ayant une probabilité élevée d'appartenir à un objet fréquent de la base. Une première approche étudiée dans la thèse consiste à simplement considérer que toutes les régions d'images de la base sont équiprobables, avec comme idée conductrice que les objets les plus instanciés sont ceux qui auront la couverture spatiale la plus grande et donc la probabilité la plus élevée d'être échantillonnés. En généralisant cette notion de couverture à celle plus générique de couverture probabiliste, il est alors possible de modéliser la complexité de notre méthode pour toute fonction de vraisemblance donnée en entrée, et de montrer ainsi l'importance de cette étape. La troisième contribution de la thèse s'attache précisément à construire une fonction de vraisemblance s'approchant au mieux de la distribution parfaite, tout en restant scalable et efficace. Cette dernière repose sur une approche originale de hachage à deux niveaux, permettant de générer efficacement un ensemble d'appariements visuels dans un premier temps, et d'évaluer ensuite leur pertinence en fonction de contraintes géométriques faibles. Les expérimentations montrent que contrairement aux méthodes de l'état de l'art notre approche permet de découvrir efficacement des objets de très petite taille dans des millions d'images. Pour finir, plusieurs scénarios d'exploitation des graphes visuels produits par notre méthode sont proposées et expérimentés. Ceci inclut la détection d'évènements médiatiques transmedia et la suggestion de requêtes visuelles.
16
Costa, Paulo Marcelo Cambraia da. "Na ilharga da Fortaleza, logo ali na Beira, lá tem o regatão: os significados dos regatões na vida do Amapá - 1945 a 1970." Pontifícia Universidade Católica de São Paulo, 2007. https://tede2.pucsp.br/handle/handle/12988.
Full textAbstract:
Made available in DSpace on 2016-04-27T19:31:31Z (GMT). No. of bitstreams: 1
Paulo Costa.pdf: 19161926 bytes, checksum: 86cd40cb849a781cfa5922a4715c8722 (MD5)
Previous issue date: 2007-05-17Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Beginning with the naming of the first governor of the Federal Territory of Amapá in 1943, Captain Janary Gentil Nunes, the local style of life was systematically disrespected by that government and by the succeeding governments during the period between 1945 and 1970, stamped by an idea of progress for the region based on a network of highways despite the existing waterways by means of its rivers the dominant facet of life in the region. Such political disdain generated tension between the officially adopted political speech - prioritizing and expanding road construction and the lifestyle of the Amapaenses whose experience and survival were drawn from the rivers. It is within this context that this Master's Dissertation presents a study about the river-water lifestyle and the regatões, the commercializing boat culture that supplied varied goods to the city of Macapá, capital of the Territory. It will demonstrate as well that the rivers were fundamental for the regatões, not only affecting the trading and commercial business, but also in relation to the living experience which transformed itself into the essence of the people of the region. In the study of this specific lifestyle - the regatões, the use of oral documentation in the form of interviews with people directly involved provides evidence of the problematizing of life style of those who anchored their canoes at the Doca do Canal do Igarapé da Fortaleza de São José de Macapá, in opposition to the intention of the territorial governors of building land-based roads. In this manner, a comprehension of the lifestyle of various of the regatão people was undertaken not out of a nostalgic sense of a lost time, but as a means of identifying the tensions and extant contradictions between the governmentally adopted discourse and the ways of life that were occurring facing the changes in the Territory of Amapá at that time
A partir da nomeação do primeiro governador do Território Federal do Amapá, Capitão Janary Gentil Nunes, em 1943, o modo de vida local foi sistematicamente desconsiderado por seu governo e pelos governantes que o sucederam no período compreendido entre 1945 e 1970, balizado pela idéia de progresso para a região baseada na construção de uma malha rodoviária em desprezo às hidrovias existentes a grande marca da vida regional através de seus rios. Tal desdém político gerou tensão entre o discurso oficial adotado que priorizava e engrandecia a construção de estradas contra o modo de vida local dos amapaenses que retiravam dos rios sua vivência e sobrevivência. Diante deste contexto, esta Dissertação de Mestrado apresenta um estudo sobre o modo de vida marítimo-fluvial e a cultura material dos regatões que comercializavam e abasteciam com gêneros variados a cidade de Macapá capital do então Território. Demonstra, outrossim, que para os regatões os rios eram fundamentais não apenas no tocante às trocas e negociações comerciais, mas também em relação às experiências vividas que se traduzem na essência dos homens da região. No estudo de um modo de vida específico o dos regatões, a utilização de documentação oral foi evidenciada através da problematização do modo de vida dos sujeitos que fundeavam suas canoas na Doca do Canal do Igarapé da Fortaleza de São José de Macapá, em oposição à intenção dos governantes territoriais em construir estradas de rodagem. Desta forma, o entendimento do modo de vida de alguns regatões foi desenvolvido não com um sentido nostálgico e perdido no tempo, mas como uma forma de identificação da tensão e da contradição existente entre o discurso governamental adotado e as formas de viver que ocorriam frente às mudanças que aconteciam no Território do Amapá naquele momento
17
Tanasa, Doru. "Fouille de données d'usage du Web : Contributions au prétraitement de logs Web Intersites et à l'extraction des motifs séquentiels avec un faible support." Phd thesis, Université de Nice Sophia-Antipolis, 2005. http://tel.archives-ouvertes.fr/tel-00178870.
Full textAbstract:
Les quinze dernières années ont été marquées par une croissance exponentielle du domaine du Web tant dans le nombre de sites Web disponibles que dans le nombre d'utilisateurs de ces sites. Cette croissance a généré de très grandes masses de données relatives aux traces d'usage duWeb par les internautes, celles-ci enregistrées dans des fichiers logs Web. De plus, les propriétaires de ces sites ont exprimé le besoin de mieux comprendre leurs visiteurs afin de mieux répondre à leurs attentes. Le Web Usage Mining (WUM), domaine de recherche assez récent, correspond justement au processus d'extraction des connaissances à partir des données (ECD) appliqué aux données d'usage sur le Web. Il comporte trois étapes principales : le prétraitement des données, la découverte des schémas et l'analyse (ou l'interprétation) des résultats. Un processus WUM extrait des patrons de comportement à partir des données d'usage et, éventuellement, à partir d'informations sur le site (structure et contenu) et sur les utilisateurs du site (profils). La quantité des données d'usage à analyser ainsi que leur faible qualité (en particulier l'absence de structuration) sont les principaux problèmes en WUM. Les algorithmes classiques de fouille de données appliqués sur ces données donnent généralement des résultats décevants en termes de pratiques des internautes (par exemple des patrons séquentiels évidents, dénués d'intérêt). Dans cette thèse, nous apportons deux contributions importantes pour un processus WUM, implémentées dans notre bo^³te à outils AxisLogMiner. Nous proposons une méthodologie générale de prétraitement des logs Web et une méthodologie générale divisive avec trois approches (ainsi que des méthodes concrètes associées) pour la découverte des motifs séquentiels ayant un faible support. Notre première contribution concerne le prétraitement des données d'usage Web, domaine encore très peu abordé dans la littérature. L'originalité de la méthodologie de prétraitement proposée consiste dans le fait qu'elle prend en compte l'aspect multi-sites du WUM, indispensable pour appréhender les pratiques des internautes qui naviguent de fa»con transparente, par exemple, sur plusieurs sites Web d'une même organisation. Outre l'intégration des principaux travaux existants sur ce thème, nous proposons dans notre méthodologie quatre étapes distinctes : la fusion des fichiers logs, le nettoyage, la structuration et l'agrégation des données. En particulier, nous proposons plusieurs heuristiques pour le nettoyage des robots Web, des variables agrégées décrivant les sessions et les visites, ainsi que l'enregistrement de ces données dans un modèle relationnel. Plusieurs expérimentations ont été réalisées, montrant que notre méthodologie permet une forte réduction (jusqu'à 10 fois) du nombre des requêtes initiales et offre des logs structurés plus riches pour l'étape suivante de fouille de données. Notre deuxième contribution vise la découverte à partir d'un fichier log prétraité de grande taille, des comportements minoritaires correspondant à des motifs séquentiels de très faible support. Pour cela, nous proposons une méthodologie générale visant à diviser le fichier log prétraité en sous-logs, se déclinant selon trois approches d'extraction de motifs séquentiels au support faible (Séquentielle, Itérative et Hiérarchique). Celles-ci ont été implémentées dans des méthodes concrètes hybrides mettant en jeu des algorithmes de classification et d'extraction de motifs séquentiels. Plusieurs expérimentations, réalisées sur des logs issus de sites académiques, nous ont permis de découvrir des motifs séquentiels intéressants ayant un support très faible, dont la découverte par un algorithme classique de type Apriori était impossible. Enfin, nous proposons une boite à outils appelée AxisLogMiner, qui supporte notre méthodologie de prétraitement et, actuellement, deux méthodes concrètes hybrides pour la découverte des motifs séquentiels en WUM. Cette boite à outils a donné lieu à de nombreux prétraitements de fichiers logs et aussi à des expérimentations avec nos méthodes implémentées.
18
De, Saqui-Sannes Pierre. "Conception basée modèle des systèmes temps réel et distribués." Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse - INPT, 2005. http://tel.archives-ouvertes.fr/tel-00010707.
Full textAbstract:
Les systèmes temps réel et distribués posent des problèmes complexes en termes de conception d'architecture et de description de comportements. De par leur criticité en vies humaines et leurs coûts de prototypage, ces systèmes ont motivé le développement d'une activité de recherche sur les langages de modélisation formelle et les techniques de validation basées modèle qui contribuent à la détection au plus tôt des erreurs de conception. Néanmoins, les langages formels ont eu un succès plus que limité dans l'industrie. L'arrivée du langage UML (Unified Modeling Language) a ouvert de nouveaux horizons pour l'intégration de langages de modélisation formelle dans une méthodologie de conception susceptible d'être mieux acceptée par les praticiens du domaine. En s'appuyant sur une expérience antérieure de la technique de description formelle Estelle et des extensions temporelles des réseaux de Petri, notre activité de recherche sur les cinq dernières années a débouché sur la production d'un profil UML nommé TURTLE (Timed UML and RT-LOTOS Environment). TURTLE surpasse UML 2.0 par ses extensions aux diagrammes d'analyse et de conception UML, sa sémantique formelle exprimée en RT-LOTOS, et ses outils de support (éditeur de diagrammes et outil de validation formelle combinant simulation et vérification basée sur une analyse daccessibilité). La méthodologie TURTLE trouve son champ d'application naturel dans la conception de systèmes temps réel et la validation d'architectures de communication en particulier. L'approche proposée a été appliquée avec succès à des systèmes satellitaires et des protocoles d'authentification.
19
Mateescu, Radu. "Vérification des propriétés temporelles des programmes parallèles." Phd thesis, Grenoble INPG, 1998. http://tel.archives-ouvertes.fr/tel-00004896.
Full textAbstract:
La vérification formelle est indispensable pour assurer la fiabilité des applications critiques comme les protocoles de communication et les systèmes répartis. La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions étiquetées (STE), sur lequel les propriétés attendues, exprimées en logique temporelle, sont vérifiées à l'aide d'outils appelés évaluateurs (model-checkers). Cependant, les logiques temporelles "classiques", définies sur un vocabulaire d'actions atomiques, ne sont pas adaptées aux langages de description comme LOTOS, dont les actions contiennent des valeurs typées. Cette thèse définit un formalisme appelé XTL (eXecutable Temporal Language) qui permet d'exprimer des propriétés temporelles portant sur les données du programme à vérifier. XTL est basé sur une extension du mu-calcul modal avec des variables typées. Les valeurs contenues dans le STE, extraites à l'aide d'opérateurs modaux étendus, peuvent être passées en paramètre aux opérateurs de point fixe ou manipulées à l'aide de constructions d'inspiration fonctionnelle comme "let", "if-then-else", "case", etc. Les propriétés portant sur des séquences d'actions du programme sont décrites succinctement au moyen d'expressions régulières. Des méta-opérateurs spéciaux permettent l'évaluation des formules sur un STE et l'expression de propriétés temporelles non-standard par exploration de la relation de transition. La sémantique de XTL est formellement définie et des algorithmes efficaces sont proposés pour évaluer des formules temporelles XTL sur des modèles STEs. Un évaluateur XTL est développé et utilisé avec succès pour la validation d'applications industrielles comme le protocole BRP développé par Philips et la couche liaison du bus série IEEE-1394 ("FireWire").
20
Belaud, Lydie. "Une approche ergonomique des sites marchands sur internet : de la perception au comportement des consommateurs." Phd thesis, Université de Bourgogne, 2011. http://tel.archives-ouvertes.fr/tel-00681182.
Full textAbstract:
L'environnement très concurrentiel de la toile détermine le contexte de la recherche. Attirer un internaute n'est pas simple et de surcroît, cela ne suffit pas puisqu'il faut ensuite qu'il devienne un consommateur fidèle qui recommandera le site marchand. La littérature a identifié certaines variables ergonomiques isolées ou semi-groupées qui auraient une influence sur l'intention comportementale, en termes d'intention d'achat, de retour, ou en termes d'intention de recommander le site, mais aucune approche satisfaisante du construit ergonomie, considéré dans sa globalité, n'est recensée dans la littérature marketing. Ce fut l'un des enjeux de cette recherche doctorale puisque nous nous sommes demandé quelle pouvait être l'influence de la perception de l'ergonomie, comprise de façon holistique, sur l'intention comportementale de l'internaute. Des allers-retours entre la littérature et les études exploratoires nous ont conduits vers des questions de recherche complémentaires. En effet, évaluer l'influence de la perception de l'ergonomie requiert de prendre en considération l'orientation motivationnelle de l'internaute, les efforts sous-jacents au traitement d'un stimulus visuel étant en partie liés à la motivation d'un individu. Par ailleurs, nous avons voulu dépasser la seule perspective cognitive pour considérer une vision plus expérientielle de la consommation. Enfin, nous avons étudié la relation qu'il pouvait y avoir entre le comportement sur le site traduit par les données logs et l'intention comportementale. Ainsi, le paradigme Personne x Objet x Situation nous a paru le mieux adapté à cette recherche doctorale en ce qu'il stipule que pour déterminer les sources ou les causes d'un phénomène il faut à la fois prendre en compte les caractéristiques de l'objet étudié, les caractéristiques de l'individu ainsi que les caractéristiques situationnelles. La circonscription et la mesure de la perception de l'ergonomie, un construit jusque-là non clairement délimité en comportement du consommateur, est l'un des apports théoriques majeurs de cette recherche. Nous avons créé un instrument de mesure court, aux propriétés psychométriques très satisfaisantes et qui est valable pour tout type de site. Le modèle structurel a montré que la perception de l'ergonomie d'un site n'aurait pas d'influence sur l'intention comportementale en ce sens où la relation serait totalement médiatisée par la dimension hédonico sensorielle. D'un point de vue managérial, cette recherche doctorale insiste sur une révision des standards ergonomiques tels qu'ils sont définis actuellement, conjointement à une meilleure prise en compte de la dimension hédonico sensorielle. Le gestionnaire de l'entreprise virtuelle s'interrogera sur un ré-enchantement du site marchand, ainsi que sur le degré de réenchantement de ce site, ce qui passera par une véritable réflexion stratégique quant au positionnement de l'enseigne et un juste équilibre entre standards ergonomiques et variables expérientielles. D'un point de vue méthodologique, nous avons souligné la complémentarité expert/utilisateur et toute la richesse d'une multiangulation des sources de données. Nous nous sommes appuyés sur des méthodologies issues d'autres disciplines comme l'oculométrie traditionnellement utilisée en IHM et qui reste peu répandue en comportement du consommateur. Nous avons montré pourquoi l'utilisation des données eye tracking pouvait se révéler particulièrement intéressante pour le chercheur, la manipulation de variables liées au design étant alors évaluée par une réponse quasi physiologique comme le temps passé sur une zone. Enfin, nous avons proposé une nouvelle méthodologie de collecte des logs avec l'utilisation du logiciel Netobserve, un outil particulièrement intéressant pour des sites non administrés par le chercheur et qui rend une relative autonomie dans le choix du terrain de recherche.
21
Foucaud, Boris. "L'oeuvre d'Anatole France : à la recherche d'une philosophie du monde par l'écriture du Désir." Phd thesis, Université d'Angers, 2001. http://tel.archives-ouvertes.fr/tel-01068782.
Full textAbstract:
Nous menons une analyse des forces qui structurent l'œuvre littéraire d'Anatole France sous le jour original d'un concept-clé, le Désir. Celui-ci, central, renégocie catégoriquement le sens et l'architecture des textes franciens : cette instance encore peu étudiée organise toute la pensée de l'auteur, rendant une nouvelle cohérence à son œuvre. Le Désir détermine par l'écriture une morale, une herméneutique et une interprétation du monde particulières, qui engendrent une philosophie pressentant l'inconscient freudien et la phénoménologie de Husserl. La contribution francienne à l'histoire littéraire du XXème siècle demeure donc fondamentale. Par une poétique inédite, malgré son apparent classicisme, et structurée par les finalités existentielles, sociopolitiques et éthiques issues du Désir, cette philosophie du monde est directement issue d'une écriture qui replace l'homme au centre de l'univers par la phénoménologie. L'entropie du temps, l'immensité de l'espace, la mort ainsi que tous les dogmes inébranlables et terrorisants, entraînent une révolte ontologique de notre auteur. Anatole France, par le Désir de connaître le sens de l'existence humaine au-delà des voiles mensongers du monde, va recréer un univers signifiant et analysable par le mythe. Dialectiquement, cet univers dépassera les désespoirs issus de l'évolution darwinienne et donnera naissance à une philosophie du monde. Par un scepticisme lucide issu du Désir, et non l'inverse comme il est traditionnellement admis, Anatole France nous emmène au cœur du monde par l'écriture d'un logos original et rendant à l'homme son honneur d'exister.
22
Jer?nimo, Luciana Saraiva de Oliveira. "Di?logo tem?tico on-line na consulta p?blica digital : um estudo sobre rela??es entre enunciados do governo e dos cidad?os : (o caso do ?Governador Pergunta? no site ?Gabinete Digital? do RS)." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2016. http://tede2.pucrs.br/tede2/handle/tede/6834.
Full textAbstract:
Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-18T20:16:13Z
No. of bitstreams: 1
TES_LUCIANA_SARAIVA_DE_OLIVEIRA_JERONIMO_COMPLETO.pdf: 8895476 bytes, checksum: ae8c42ff4ce9d5f0621048f5acad4fc3 (MD5)Made available in DSpace on 2016-07-18T20:16:14Z (GMT). No. of bitstreams: 1 TES_LUCIANA_SARAIVA_DE_OLIVEIRA_JERONIMO_COMPLETO.pdf: 8895476 bytes, checksum: ae8c42ff4ce9d5f0621048f5acad4fc3 (MD5) Previous issue date: 2016-05-04
Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES
The dialogue between state government and citizen held in a digital platform for public consultation is the source of this investigation. Based on Bakhtin?s phenomenological method and Haberma?s program in formal pragmatics, the thesis analyzes the online verbal interaction materialized on digital public consultation to identify characteristics and to define the type of rational-concrete-intentional dialogue required to expand the popular participation on Public Administration. The interpretation of the online verbal interaction structure occur on two levels. The first level explores the dialogism between the governor enunciation and the citizen enunciation that are written and posted on the Rio Grande do Sul state homepage, called ?Gabinete Digital?. The second level examines and exposes the materiality of communicative rationality within this interaction process. The two levels reveal the pragmatic and the semantic dimensions of the dialogue. The research practice is divided in three steps. First of all, the digital public consultation description (empirical research context). Secondly, the qualitative analysis of the enunciative sequences without neglecting their individual enunciation in each digital public consultation. Thirdly, the data interpretation based on the mobilized theoretical support, which helped to define the characteristics and form of dialogue that is identified after the investigation. The type of dialogue that arises from research is named online thematic dialogue between state government and citizen, producing a narrow sense of dialogue that takes place in conditions and empirical context investigated, and it differs from other forms of dialogue. This new concept of dialogue will be able to contribute to develop guidelines, methodologies and assessment strategies to readapt the digital public consultation, amplifying the citizen influence and improving the citizen participation on political decisions.
O di?logo entre governo e cidad?os realizado, por meio de consulta p?blica digital, ? a base desta investiga??o. Baseada no m?todo fenomenol?gico bakhtiniano e na pragm?tica habermasiana, esta tese pretende analisar a intera??o verbal on-line materializada nas consultas p?blicas digitais, identificando suas caracter?sticas, definindo o tipo de di?logo racional, concreto e intencional que amplie a participa??o do cidad?o na Administra??o P?blica. Utilizou-se dois n?veis de abstra??es para se observar a estrutura de intera??o verbal on-line. O primeiro n?vel explora o dialogismo entre os enunciados do governo e dos cidad?os ga?chos, escritos e postados, no espa?o ?Govenador Pergunta? do site ?Gabinete Digital? do RS. O segundo n?vel, examina e exp?e a materialidade da racionalidade comunicativa nesse processo de intera??o. Os dois n?veis revelam as dimens?es pragm?tica e sem?ntica do di?logo. A pr?tica investigativa foi dividida em tr?s etapas. A primeira, a descri??o das consultas p?blicas digitais, contexto emp?rico desta pesquisa. A segunda, a an?lise qualitativa das sequ?ncias enunciativas e dos seus respectivos enunciados individuais, em cada consulta p?blica digital. E, a terceira, a interpreta??o, que consistiu em um interlocu??o entre o aporte te?rico mobilizado e os dados reunidos sobre as sequ?ncias enunciativas, por meio da qual chega-se ?s caracter?sticas e ? forma como esse di?logo se apresenta ap?s esta investiga??o. P?de-se, ent?o, denominar de di?logo tem?tico on-line entre governo e cidad?os o tipo de di?logo que se viu materializado em uma das consultas p?blicas digitais, produzindo um sentido restrito de di?logo que acontece nas condi??es e contexto emp?rico investigado, e que se diferencia das demais formas de di?logo. Esse conceito pode contribuir para a elabora??o de diretrizes, metodologias e estrat?gias de avalia??o mais adequadas ? consulta p?blica digital, tanto como forma de ampliar a influ?ncia do cidad?o, quanto forma de melhorar a aten??o, ao que eles dizem como aux?lio ? produ??o de decis?es pol?tica e administrativa mais acertadas.
23
Tirilly, Pierre. "Traitement automatique des langues pour l'indexation d'images." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00516422.
Full textAbstract:
Bien que s'inscrivant dans un cadre global de recherche d'information (RI) classique, l'indexation d'image ne tire que peu parti des nombreux travaux existants en RI textuelle et en traitement automatique des langues (TAL). Nous identifions deux niveaux auxquels de tels travaux peuvent s'intégrer aux systèmes d'indexation d'images. Le premier niveau est celui de la description du contenu visuel des images. Pour y intégrer des techniques de TAL, nous adoptons la description des images par mots visuels proposée par Sivic et Zisserman. Cette représentation soulève deux problématiques similaires aux problématiques classiques de la RI textuelle~: le choix des termes d'indexation les plus pertinents pour décrire les documents et la prise en compte des relations entre ces termes. Pour répondre à la première de ces problématiques nous proposons une étude des stop-lists et des pondérations dans le cadre de l'indexation d'images. Cette étude montre que, contrairement au cas des textes, il n'existe pas de pondération optimale pour tous types de requêtes, et que la pondération doit être choisie en fonction de la requête. Pour la seconde, nous utilisons des modèles de langues, outil classique du TAL que nous adaptons au cas des images, pour dépasser l'hypothèse d'indépendance des termes dans un cadre de classification d'images. Nos expérimentations montrent que prendre en compte des relations géométriques entre mots visuels permet d'améliorer les performances des systèmes. Le second niveau étudié est l'indexation sémantique des images : il est possible d'utiliser des méthodes de TAL sur des textes accompagnant les images pour obtenir des descriptions textuelles de celles-ci. Dans un premier temps, nous montrons que les descripteurs classiques d'images ne permettent pas d'obtenir des systèmes d'annotation d'images efficaces. Puis nous proposons une méthode d'annotation qui contourne cet écueil en se basant sur des descripteurs textuels et visuels de haut-niveau~: nous extrayons des textes des entités nommées, que nous mettons en relation avec des concepts visuels détectés dans les images afin d'annoter celles-ci. Nous validons notre approche sur un corpus réel et de grande taille composé d'articles de presse.
24
Sandel, Olivier. "Modèle d'Interface Intelligente pour Terminaux de Communication." Phd thesis, Université Louis Pasteur - Strasbourg I, 2002. http://tel.archives-ouvertes.fr/tel-00453013.
Full textAbstract:
La présente Thèse en Intelligence Artificielle est basée sur un tout premier concept nommé “Assistant Conversationnel”, lequel est abordé par le fait qu'un utilisateur quelconque souhaitant joindre un interlocuteur doit pouvoir toujours voir sa requête se réaliser, quelque soit le moyen choisi par le terminal et sans que l'utilisateur ait à choisir lui-même le moyen adéquat. Le problème principal à résoudre se définit en conséquence par la modélisation et la conception d'une interface intelligente, personnalisée et praticable par tous les publics sur les terminaux de communication spécialisables accédant à Internet. Nous avons alors créé et développé de nouveaux procédés “intelligents”, chargés entre-autres de rendre les opérations courantes moins fastidieuses sur des applications de messagerie électronique. Pour cela, nous avons établi un état de l'art des divers terminaux de communication disponibles sur le marché mondial, ainsi qu'une classification taxinomique poussée et une nouvelle hiérarchisation efficace des interfaces intelligentes. Puis, nous avons construit un “Modèle Auto-Adaptable d'Utilisateur” sur un apprentissage comportemental, incrémental et évolutif, finalement implémenté en quatre phases : 1. Analyse, représentation et classification des différentes actions réalisées par l'utilisateur. 2. Proposition régulière à l'utilisateur d'effectuer de manière auto-adaptable les actions apprises. 3. Exécution auto-adaptable de ces différentes séquences d'actions répétitives. 4. Simplification auto-adaptable d'éventuelles “erreurs” ou incohérences de manipulation. Ainsi, cette contribution innovante à l'interfaçage homme-machine avancé a permis d'aboutir à la validation complète d'un logiciel intelligent de communication, tout-à-fait autonome et portable, capable d'assister chaque utilisateur, néophyte comme très expérimenté, dans ses divers travaux quotidiens, et ce de manière conviviale et toujours respectueuse de ses préférences.
25
Ciappuccini, Renaud. "Apport de l'imagerie fonctionnelle par TEMP/TDM et TEP/TDM dans la prise en charge des cancers différenciés de la thyroïde Incremental Value of a Dedicated Head and Neck Acquisition during 18F-FDG PET/CT in Patients with Differentiated Thyroid Cancer Full text links full-text provider logo Actions Favorites Share Page navigation Title & authors Abstract Conflict of interest statement Figures Similar articles Cited by References Related information LinkOut - more resources EJNMMI Res . 2018 Dec 3;8(1):104. doi: 10.1186/s13550-018-0461-x. Optimization of a dedicated protocol using a small-voxel PSF reconstruction for head-and-neck 18 FDG PET/CT imaging in differentiated thyroid cancer 78 Lymph node involvement in head-and-neck and thyroid cancers with digital PET/CT: the impact of ultra-high definition voxels and point-spread function Tumor burden of persistent disease in patients with differentiated thyroid cancer: correlation with postoperative risk-stratification and impact on outcome 133 18F-Fluorocholine PET/CT is a highly sensitive but poorly specific tool for identifying malignancy in thyroid nodules with indeterminate cytology: The Chocolate study PSMA expression in neovasculature of persistent/recurrent differentiated thyroid cancerin the neck: relationship with radioiodine uptake, 18Fluorodeoxyglucose avidity and outcome." Thesis, Normandie, 2020. http://www.theses.fr/2020NORMC424.
Full textAbstract:
L’imagerie scintigraphique des cancers thyroïdiens différenciés (CTD) présente la particularité d’utiliser deux radiopharmaceutiques, l’iode 131 (131I) et le 18-Fluorodésoxyglucose (18FDG). La fixation de ces traceurs dépend habituellement du degré de différenciation et de l’agressivité de la tumeur. L’objectif de ce travail était d’étudier l’apport de différents aspects techniques et d’instrumentation, à savoir l’imagerie hybride par TEMP/TDM et TEP/TDM, la point-spread function (PSF), la taille des voxels et la technologie TEP digitale, et d’explorer si d’autres traceurs TEP pouvaient présenter un intérêt. Le but de la première partie était d’étudier les performances de la TEP/TDM au 18FDG à l’étage cervical pour la détection de la maladie ganglionnaire. Une acquisition TEP/TDM dédiée a amélioré la détection de la maladie tumorale par rapport à l’acquisition classique. L’utilisation de la PSF a permis de détecter des tailles de lésions plus petites et la durée optimale de cette acquisition a été évaluée. Des reconstructions avec des tailles de voxels ultra-fines ont été réalisées sur TEP digitale pour étudier l’impact de la PSF et des voxels ultra-fins sur les données quantitatives. La seconde partie a porté sur l’imagerie 131I-TEMP/TDM et 18FDG-TEP/TDM, afin de quantifier le volume de la maladie persistante. Il a ainsi été montré que la masse tumorale était corrélée au risque post-opératoire et avait un impact sur la réponse au traitement. L’objectif de la troisième partie était d’étudier un autre traceur TEP, la 18-Fluorocholine (FCH), ainsi qu’un marqueur de la néovascularisation, l’antigène membranaire spécifique de la prostate (PSMA). Nos données suggèrent qu’un examen TEP à la FCH négatif au sein d’un nodule thyroïdien à cytologie indéterminée permettrait d’éliminer la malignité, et pourrait éviter des chirurgies inutiles. Par ailleurs, le marquage au PSMA évalué par immunohistochimie dans les néo-vaisseaux est associé à des facteurs de mauvais pronostic. D’autres études sont nécessaires pour confirmer l’intérêt éventuel des examens TEP à la FCH et au 68Ga-PSMA en oncologie thyroïdienneRadioiodine (131I) and 18-Fluorodeoxyglucose (18FDG) are two radiopharmaceuticals used for scintigraphic imaging in differentiated thyroid cancers (DTC). Tumour uptake of each tracer depends on tumour differentiation and aggressiveness. Our goal was to further assess various technical aspects in DTC imaging workup, such as SPECT/CT and PET/CT, point-spread function (PSF), voxel size, digital PET, and to explore further other PET tracers. The aim of the first part was to assess the performance of 18FDG PET/CT for the detection of neck lymph node involvement. A dedicated PET/CT acquisition improved tumour detection compared to the whole-body acquisition. PSF reconstruction allowed detection of smaller cancer deposits and the optimal acquisition duration time was assessed. Using digital PET acquisitions, ultra-thin voxels reconstructions were performed. The impact of ultra-thin voxels and PSF on quantitative values was evaluated. The second part focused on 131I-SPECT/CT and 18FDG-PET/CT imaging, in an attempt to assess tumour burden of persistent disease. Tumor burden was correlated with the postoperative risk and affected the response to therapy. In the third part, another PET tracer, i.e. 18-Fluorocholine (FCH), and a marker of neovasculature, i.e. prostate-specific membrane antigen (PSMA), were studied. FCH PET/CT offered high negative predictive value to reliably exclude cancer in PET-negative nodules with indeterminate cytology and might prevent unnecessary surgeries. Also, PSMA expression assessed with immunohistochemistry was associated with poor prognosis factors. Further studies are needed to confirm new insights of FCH PET and 68Ga-PSMA PET in DTC
26
Tukan, Norberthus Nuho, and 盧兆明. "A Comparison Between Laozi's Tao, Philo's Logis And Jesus in John's Prologue." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/20239758938732786113.
Full textAbstract:
碩士輔仁大學
哲學系
105
In this Thesis, we are going to compare the three different traditions, ranging from Laozi, Philo of Alexandria and John Gospel, with Philo as the connector between Laotzu and John. So the main concept that we are going to discuss are Tao and Logos. Tao and Logos have a twofold functions: Cosmological and Anagogical functions. Our efforts to compare their concepts based on these two functions. In the first part: our focus is more to Cosmological function, as will be presented in chapter II and III. In the second part: our focus is more to anagogical functions, as will be presented in chapter IV. Based on these two functions: we will see the the Similarities and differences of their concepts.
27
Garavel, Hubert. "Compilation et vérification de programme LOTOS." Phd thesis, 1989. http://tel.archives-ouvertes.fr/tel-00004339.
Full textAbstract:
LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systemes paralleles communicants, normalise par l'ISO et le
CCITT afin de permettre la definition formelle des protocoles et des services
de telecommunications. Le langage utilise des types abstraits algebriques pour
specifier les donnees et un calcul de processus proche de CSP et CCS pour
exprimer le controle.
Cette these propose une technique de compilation permettant de traduire
un sous-ensemble significatif de LOTOS vers un modele reseau de Petri
interprete (pouvant servir a produire du code executable) puis vers un
modele automate d'etats finis (permettant la verification formelle de programmes
LOTOS soit par reduction ou comparaison modulo des relations d'equivalence, soit
par evaluation de formules de logiques temporelles).
La methode employee differe des approches usuelles basees sur la
reecriture de termes, qui construisent directement le graphe d'etats
correspondant a un programme LOTOS.
Ici au contraire la traduction est effectuee en trois etapes successives
(expansion, generation et simulation) s'appuyant sur des modeles semantiques
intermediaires (le langage SUBLOTOS et le modele reseau). Elle met en oeuvre
une analyse statique globale du comportement des programmes.
Elle prend en compte les donnees, celles-ci devant etre compilees
au moyen dalgorithmes deja existants.
Ces principes de compilation ont ete entierement implementes dans
le logiciel CAESAR. Les performances obtenues confirment l'interet de la methode.
28
Fang, Show-May, and 方秀美. "The Logos and Tao: The Fusion Zone of Oriental and Occidental Wisdom in T. S. Eliot's Four Quartets." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/72461810517320557186.
Full textAbstract:
碩士國立成功大學
外國語文學系碩博士班
90
T. S. Eliot’s Four Quartets is a significant document that records a poet’s exploration in a world vacant of basic values, in which people race madly for power and technological advance. The quartets not only probe the soul but explore the history of men. For Eliot, however, the concept of art as ontological significance does not take a work of art for the bearer of truth or meaning, but sees it in itself as truth and meaningful, and therefore never devoid of meaning. The proper making of the poem is a form of right action and a part of the religious duty of the poet, so the quartets are continually concerned with the right words as well as the poet’s spiritual journey in the muddy world. In order to search for a way out of the moral and spiritual chaos of the modern world, Eliot traveled back to the original spirit of the Pre-Socratic philosophy, Heraclitus’ logos, and absorbed the primal spring of the Oriental philosophies and thus succeeds in achieving a rich fusion of Oriental and Occidental wisdom.
29
Fang, Show-May, and 方秀美. "The Logos and Tao: The Fusion Zone of Oriental and Occidental Wisdom in T. S. Eliot''s Four Quartets." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/80069628018045060161.
Full textAbstract:
碩士國立成功大學
外國語文學系碩博士班
90
T. S. Eliot’s Four Quartets is a significant document that records a poet’s exploration in a world vacant of basic values, in which people race madly for power and technological advance. The quartets not only probe the soul but explore the history of men. For Eliot, however, the concept of art as ontological significance does not take a work of art for the bearer of truth or meaning, but sees it in itself as truth and meaningful, and therefore never devoid of meaning. The proper making of the poem is a form of right action and a part of the religious duty of the poet, so the quartets are continually concerned with the right words as well as the poet’s spiritual journey in the muddy world. In order to search for a way out of the moral and spiritual chaos of the modern world, Eliot traveled back to the original spirit of the Pre-Socratic philosophy, Heraclitus’ logos, and absorbed the primal spring of the Oriental philosophies and thus succeeds in achieving a rich fusion of Oriental and Occidental wisdom.