New approaches for the diagnosis of human papillomavirus infection:relevance for clinical practice and cancer prevention

Tese de doutoramento, Biologia (Microbiologia), Universidade de Lisboa, Faculdade de Ciências, 2014

A transição do pré-escolar para o 1ºCEB: uma preocupação de todos

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Uma rádio na Revolução: a Emissora Nacional, um veículo de informação e cultura do povo e para o povo

Ao contrário do que sucede na maioria dos países que integram a terceira vaga de transições para a democracia, a mudança politica em Portugal opera-se pela via revolucionaria. As marcas de originalidade da transição portuguesa são múltiplas, destacando-se, desde logo, o papel nela desempenhado pelas Forças Armadas, actor central do processo político de 1974-1975.

O percurso escolar de adolescentes com síndrome de asperger

Dissertação apresentada à Escola Superior de Educação de Lisboa Para obtenção de grau de mestre em Ciências da Educação, Especialidade em Educação Especial – Problemas de Cognição e Multideficiência

Estudo do processo de reorientacão do campo do director por acção de um campo magnético numa fase nemática confinada

Estudamos teoricamente as transi ções de Fr éedericksz nas geometrias interm édias entre: (i) afunilamento e tor ção (ii) tor ção e flexão; e (iii) fexão e afunilamento. Foram determinadas as condi ções em que a transi ção entre o estado não deformado e o estado homogeneamente deformado (transi ção de Fr éedericksz usual) e substituída pela transi ção entre o estado não deformado e o estado deformado com estrutura peri ódica. Tamb ém estudamos te órica e experimentalmente a dinâmica de reorienta ção do campo do director ap os rota ção s ubita da amostra num campo magn ético uniforme. Consideramos monodomí nios de cristais l íquidos nem áticos uniaxiais não quirais diamagnéticos de baixo peso molecular, contidos entre duas fronteiras planas uniformes paralelas e r ígidas com alinhamento planar. Simulamos e reproduzimos, na geometria de tor ção toda a evolu ção do campo do director desde o momento em que se impõe uma rota ção s úbita e at é ao instante em que se observa a forma ção de bandas.

O acolhimento familiar numa perspectiva ecológico-social

O modelo ecológico-social de Bronfenbrenner permite compreender o desenvolvimento humano, as interacções e interdependências que o caracterizam, e o restruturam, bem como identificar os factores que condicionam ou facilitam as transições ecológicas. No caso específico do Acolhimento Familiar, esta perspectiva possibilita a compreensão das transições que ocorrem na vida da criança acolhida, a separação dos pais e o desenraizamento do seu contexto, a que se sucede a colocação num mundo novo e desconhecido, e orienta a intervenção na prática, de modo a prevenir os riscos e a promover a integração e o desenvolvimento das crianças.

Lógicas imperiais e processos contemporâneos

É uma análise das lógicas coloniais-imperiais portuguesas a partir de nove memórias publicadas em Goa e em Portugal. São cinco os autores goeses e quatro portugueses. Quaquer delas já vem tarde para intervir e alterar o rumo. São pós-visões do passado, e o pós-visionismo põe em risco a capacidade de captar a contemporaneidade dos processos que acompanharam as lógicas imperiais. Mas acho que podem ter algum valor positivo de apanhar as implicações destes processos a longo prazo. As transições e a continuidade merecem ser levadas em conta para avaliar melhor os processos que nos interessam e que não podem ser estudados validamente somente na sua contemporaneidade e isolados do seu passado e do seu futuro. É com esta perspectiva de “processos contemporâneos” que eu pensei em chamar a atenção para a utilidade das memórias “recém-publicadas” de alguns actores que participaram nesses processos. Quero deixar um caveat: São também armadilhas “montadas” e que nos podem distrair do verdadeiro caminho para a compreensão dos mesmos processos.

A cena do subúrbio: o teatro como meio de comunicação da cultura local na região do ABC Paulista (1961-1990)

Dissertação apresentada ao Programa de Mestrado em Comunicação da Universidade Municipal de São Caetano do Sul - USCS

Influência do tipo e teor de comonômero na estrutura e propriedades de copolímeros de etileno sintetizados com catalisador metalocênico

As propriedades de uma série de copolímeros de etileno sintetizados com catalisador metalocênico (Et[Ind]2ZrCl2/MAO) foram estudadas. A fim de avaliar a influência do tipo e teor de comonômero na estrutura e propriedades dos mesmos, foram utilizados diferentes tipos de comonômeros: α-olefinas (1-buteno, 1-hexeno, 1-octeno, 1-deceno, 1-octadeceno e 4-metil-1-penteno), cicloolefinas (norborneno, ciclopenteno, ciclohexeno, cicloocteno e vinil-ciclohexano) e ciclodienos (ciclopentadieno, diciclopentadieno e 4-vinil-1-ciclohexeno) em uma larga faixa de composição (0 à 28 % em mol de comonômero). A influência da temperatura de polimerização e a concentração de comonômero na atividade catalítica e nas propriedades dos copolímeros de etileno/ciclodienos e etileno/cicloolefinas sintetizados foram estudadas e os copolímeros foram caracterizados através de 1H-NMR, 13C-NMR, HETCOR, DSC e GPC. As propriedades termodinâmicas, estruturais e mecânicas destes copolímeros foram estudadas através de técnicas tais como DSC, WAXS, espectroscopia Raman de modo interno, DMTA, ensaios de tensão/deformação, etc. Em geral, foi observado um decréscimo na cristalinidade e temperatura de fusão dos copolímeros com o aumento do teor de comonômero incorporado nos mesmos, independente do tipo de ramificação. Quando rapidamente resfriados, os copolímeros de etileno/α-olefinas e alguns copolímeros etileno/ciclodienos e etileno/cicloolefinas, com distribuição aleatória de comonômero na cadeia, apresentaram comportamento que concorda com o previsto pela teoria de equilíbrio de fases proposta por Flory. Análises termo-dinâmico-mecânicas dos copolímeros indicaram que o teor de comonômero apresenta grande influência nas transições α e β, mas apresenta pouca influência na transição γ. Em geral, foi concluído que as propriedades e morfologia dos copolímeros de etileno estudados são bastante influenciadas pelo teor de comonômero e distribuição do mesmo na cadeia polimérica, porém são pouco influenciadas pelo tipo de comonômero.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

A montagem no cinema e a associação-livre na psicanálise

O Cinema e a Psicanálise são contemporâneos. Ao longo do ano de 1995 muitos eventos marcaram a comemoração do centenário de um e outro. Se ambos surgem no mesmo momento histórico, que outros elos poderiam ser estabelecidos? Algumas considerações preliminares marcam possibilidades de interseções entre um e outro campo, para logo fazer um recorte onde a escolha recai por estabelecer uma associação entre os temas da associação-livre na psicanálise e a montagem no cinema. A questão básica norteadora da pesquisa está dada pela busca de bases comuns entre o fazer do analista quando interpreta a cadeia associativa produzida por seus pacientes e o fazer do montador quando produz cortes e junções de trechos fílmicos justapondo-os em uma seqüência determinada. A metodologia que perpassa a presente pesquisa está constituída basicamente pelo referencial psicanalítico. Subsidiariamente os aportes postos pelo método clínico piagetiano, em suas origens, servem de guia e inspiração para alguns momentos do trabalho. Estudamos cadeias associativas produzidas em três contextos diferentes, configurando três fontes de coleta e análise de dados: trechos de falas de pacientes em análise, principalmente aqueles que fazem referências a relatos de sonhos e filmes; "montagens" de trechos de filmes produzidas por alunos para ilustrar trabalhos na disciplina de "Teoria e Técnicas Psicoterápicas" e cortes e transições numa seqüência fílmica digitalizada utilizando os recursos propiciados pelo software Adobe Premiere LE. Algumas conclusões apontam no sentido da possibilidade de ser profícuo o trabalho conjunto de cineastas e psicanalistas, especialmente na constituição de um laboratório de estudos para construção de conhecimentos e desenvolvimento das habilidades requeridas para a formação de profissionais das duas áreas. Muitas perspectivas para desdobramentos e continuidade são indicadas, visando constituir uma linha de pesquisa sistemática na interseção dos campos do cinema e da psicanálise

Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Padrões e processos espaço-temporais em ecótonos de campos e floresta com araucária, em São Francisco de Paula, RS

Conjecturas sobre os processos ecológicos que formaram no Planalto Meridional Brasileiro o mosaico vegetacional de Floresta com Araucária e Campos têm sido postuladas. Estudos paleopalinológicos recentes confirmam a hipótese de expansão florestal sobre as áreas campestres, em virtude de alterações climáticas ocorridas no Holoceno. Por outro lado, os regimes de queima e de pastejo, provavelmente, têm retardado o estabelecimento arbóreo em áreas campestres. Portanto, os padrões vegetacionais têm resultado de processos ocorrendo em diferentes escalas espaço-temporais. Esta dissertação objetiva investigar padrões e processos espaço-temporais da vegetação atual em ecótonos entre Campos e Floresta com Araucária. Para tanto, estudos foram conduzidos no Centro de Pesquisas e Conservação da Natureza (CPCN) Pró-Mata, em São Francisco de Paula, RS, uma área de encontro de formações campestre e florestais, destinada à conservação desde 1994. Primeiramente, estudou-se a dinâmica vegetacional na escala de paisagem, por meio da comparação de registros aerofotográficos de 1974 e 1999 analisados num sistema de informações geográficas. Nesse período foram registradas intensas alterações na vegetação campestre adjacente às manchas de floresta, especialmente um pronunciado estabelecimento de arbustos. Além disso, foi evidenciado um padrão direcional de alteração nas comunidades campestres, indicado pelo estabelecimento de arbustos e posterior ocupação arbórea. Baseado em observações in situ , conjetura-se que as alterações foram muito mais pronunciadas a partir da criação do CPCN Pró-Mata, quando a área foi protegida de queima e pastejo. Em seguida, investigaram-se padrões e processos vegetacionais pela descrição da composição florística e das condições do solo em transecções localizadas na transição campo-floresta. Foram utilizados métodos de análise exploratória multivariada, considerando várias escalas de observação. Os resultados evidenciaram padrões vegetacionais consistentes, e associação destes com variáveis de solo. Pelos resultados infere-se que o processo de avanço florestal sobre os campos têm produzido alterações edáficas, como evidenciado pela relação Mg K-1, pH e teores de alumínio trocável. Os resultados de ambos os estudos sobre transições campo-floresta no nível da paisagem e no das comunidades corroboram a teoria de expansão florestal sobre os campos, bem como, ressaltam a influência de fatores de distúrbio atuando localmente no processo.

Interdisciplinaridade e adjudicação: caminhos e descaminhos da ciência no direito

Este artigo discute a questão da interdisciplinaridade no âmbito da adjudicação a partir do caráter ubíquo da dimensão extra-jurídica na análise das condições de validade das inferências jurídicas. Nos processos adjudicatórios, essa ubiquidade implica outra, a saber, a dos argumentos empíricos e teóricos necessários para suportar as pretensões de verdade que acompanham as premissas extra-jurídicas das inferências jurídicas (i.e., das inferências que estruturam os processos de adjudicação e fundamentam as decisões dos casos concretos). Esses argumentos, juntamente com as referidas premissas e pretensões de verdade, são pontos de comutação que se encontram disponíveis para transições do Direito à Ciência e, posteriormente, para recepção e aproveitamento dos produtos das mais variadas disciplinas científicas no âmbito da argumentação jurídica. A pergunta a ser formulada, portanto, não é se há maior ou menor espaço para a interdisciplinaridade nos processos de adjudicação, pois ela estará aí, sempre, potencialmente presente. O que devemos nos questionar é quais seriam as implicações de uma ampla atualização desta potencialidade, i.e., da intensificação de um movimento de penetração do conhecimento extra-jurídico (de procedência científica) enquanto fundamento das decisões de juízes e tribunais, normalmente às custas da confiança na capacidade racionalizadora do “senso comum” ou das “máximas de experiência” (Taruffo, 2001). Trata-se de um movimento que está ampliando-se e intensificando-se a toque de caixa e que já levou alguns autores a especularem inclusive sobre o eventual início de um processo de des-diferenciação do Direito (Schauer, 2000). A conjectura apresentada no presente artigo certamente não vai tão longe, mas ela sugere que esta possibilidade de circulação pelo interior da Ciência, inscrita nas inferências normativas que suportam argumentativamente os processos decisórios voltados à solução de casos concretos no Direito, poderá revelar-se problemática da perspectiva da garantia das condições de justificação intersubjetiva de tais inferências.