Analysis of the intranuclear life of nonsense transcripts

Dissertação para obtenção do Grau de Doutor em Biologia, Especialidade de Biologia Molecular

Catástrofes naturais em saúde pública : impactos e planos de emergência : caso de estudo : São Miguel-Açores

RESUMO - Nos últimos anos, as catástrofes naturais têm sido a causa frequente de problemas de Saúde Pública; além disso representam um sério obstáculo ao desenvolvimento das comunidades atingidas, na medida em que consomem ponderáveis recursos para a mitigação dos danos sofridos. Pode-se dizer que não existe nenhum país que não esteja exposto ao risco de catástrofes naturais, tais como Sismos, Tsunamis, Erupções Vulcânicas, Movimentos de Vertentes, Ciclones Tropicais, Ondas de Frio e de Calor, Secas e Inundações, e como tal, este é um problema global emergente. Como, actualmente, é impossível prever e controlar a ocorrência destes fenómenos, as acções humanas têm de ser direccionadas para a implementação de soluções que possam mitigar e/ou prevenir o seu impacto na sociedade. A integração do lugar, do espaço e do tempo na Saúde Pública, como componentes de investigação relativas aos problemas da população, são uma ferramenta metodológica importante no auxílio do planeamento, monitorização e avaliação das acções em saúde. O que está em causa neste estudo é o pensar, o preparar e o adaptar os nossos territórios e populações a cenários de crise que podem aparecer sem aviso prévio. Este trabalho é, sobretudo, uma forma de pensar e planear o futuro numa lógica de adaptação e valorização do território, construindo referenciais de suporte à acção. Assim, a finalidade deste estudo é contribuir para melhorar/aperfeiçoar a resposta perante novas situações de catástrofe natural, através da percepção e caracterização de situações anteriores de catástrofes naturais a que a Ilha de São Miguel, nos Açores, esteve sujeita nos últimos vinte e seis anos, através da construção e análise de cartas de localização de risco, caracterização da população em risco e da avaliação dos respectivos Planos de Emergência. ---------------------- ABSTRACT - In the last years, the natural disasters have been the frequent cause of Public Health problems and additionally they represent a serious obstacle to the development of the communities affected, in so far as they consume ponderable resources to the mitigation of the damages. It is possible to be said that there is not any country that is not exposed to the risk of natural disasters such as earthquakes, tsunamis, volcanic eruptions, landslides, tropical cyclones, waves of heat and coldness, droughts and floods, and as such, this is an emerging global problem. As it is now impossible to predict and control the occurrence of these phenomena, human actions must be directed to implement solutions that can mitigate and / or prevent their impact on society. The integration of place, space and time on Public Health, as part of research on problems of the population, are an important methodological tool to aid planning, monitoring and evaluation of activities in health. The main issue in this study is to think, prepare and adapt our territories and populations to crisis scenarios that may occur without notice. This work is mainly a way of thinking and planning ahead in a logic of adapting and improving the area, building frameworks to support the action. Thus, the purpose of this study is to contribute to improve / optimize the answer for new natural disaster situations, through the perception and characterization of previous situations of natural catastrophes that the Island of São Miguel, in the Azores, has been subject in the last twenty six years, through the construction and analysis of risk maps, characterization of the population in risk and of the evaluation of the respective Plans of Emergence.

Sistema de notificação de eventos adversos : contributos para a melhoria da segurança do doente

RESUMO - Este estudo insere-se na temática dos sistemas de notificação de eventos adversos. Pretende-se compreender a necessidade e importância de implementação de um sistema de notificação de Eventos Adversos num hospital E.P.E. (entidade pública empresarial) de Lisboa. Apresenta como objectivo geral: •Identificar as principais características que um Sistema de Notificação de Eventos Adversos, Erros e Incidentes deve ter e com base nisso propor um formulário de notificação que assente numa lógica de aprendizagem e não numa perspectiva de culpabilização. Trata-se de um estudo exploratório, descritivo, quantitativo, transversal. Foi utilizado como instrumento de recolha de dados o inquérito por questionário. A amostra é constituída por 82 enfermeiros de um hospital de Lisboa, em que não está implementado sistema de notificação de eventos adversos. Após análise dos dados concluiu-se que: Quando ocorrem acontecimentos indesejáveis, os profissionais de enfermagem poucas vezes notificam; Os profissionais notificam com maior frequência quando o evento é grave e trágico; Os inquiridos apontam como principais factores para a ocorrência de eventos adversos/erros/incidentes no seu local de trabalho “falhas de comunicação” e “deficiente rácio enfermeiro/doente”; A maior parte dos inquiridos concorda com a implementação de um sistema de notificação de eventos adversos, erros e incidentes no hospital onde trabalham. O sistema deve ser de carácter obrigatório assegurando o anonimato. Espera-se que o presente trabalho seja um contributo importante, que entronque e potencie a política/estratégia definida pelo hospital para a área da segurança do doente.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Bits, Atoms, and Information Sharing: new opportunities for participation

The particular characteristics and affordances of technologies play a significant role in human experience by defining the realm of possibilities available to individuals and societies. Some technological configurations, such as the Internet, facilitate peer-to-peer communication and participatory behaviors. Others, like television broadcasting, tend to encourage centralization of creative processes and unidirectional communication. In other instances still, the affordances of technologies can be further constrained by social practices. That is the case, for example, of radio which, although technically allowing peer-to-peer communication, has effectively been converted into a broadcast medium through the legislation of the airwaves. How technologies acquire particular properties, meanings and uses, and who is involved in those decisions are the broader questions explored here. Although a long line of thought maintains that technologies evolve according to the logic of scientific rationality, recent studies demonstrated that technologies are, in fact, primarily shaped by social forces in specific historical contexts. In this view, adopted here, there is no one best way to design a technological artifact or system; the selection between alternative designs—which determine the affordances of each technology—is made by social actors according to their particular values, assumptions and goals. Thus, the arrangement of technical elements in any technological artifact is configured to conform to the views and interests of those involved in its development. Understanding how technologies assume particular shapes, who is involved in these decisions and how, in turn, they propitiate particular behaviors and modes of organization but not others, requires understanding the contexts in which they are developed. It is argued here that, throughout the last century, two distinct approaches to the development and dissemination of technologies have coexisted. In each of these models, based on fundamentally different ethoi, technologies are developed through different processes and by different participants—and therefore tend to assume different shapes and offer different possibilities. In the first of these approaches, the dominant model in Western societies, technologies are typically developed by firms, manufactured in large factories, and subsequently disseminated to the rest of the population for consumption. In this centralized model, the role of users is limited to selecting from the alternatives presented by professional producers. Thus, according to this approach, the technologies that are now so deeply woven into human experience, are primarily shaped by a relatively small number of producers. In recent years, however, a group of three interconnected interest groups—the makers, hackerspaces, and open source hardware communities—have increasingly challenged this dominant model by enacting an alternative approach in which technologies are both individually transformed and collectively shaped. Through a in-depth analysis of these phenomena, their practices and ethos, it is argued here that the distributed approach practiced by these communities offers a practical path towards a democratization of the technosphere by: 1) demystifying technologies, 2) providing the public with the tools and knowledge necessary to understand and shape technologies, and 3) encouraging citizen participation in the development of technologies.

Musées et casinos dans une ville "patrimoine mondial": authenticité et hyperréalité, deux formes culturelles de l'espace urbain de Macao

Texto submetido para publicação em 2011.

Análise configuracional dos grandes conjuntos urbanos na Região de Lisboa (1945-1974) : contributos da sintaxe espacial para a história de arte como história da cidade

A presente investigação debruça-se sobre o estudo dos grandes conjuntos urbanos, tendo como referência a área de Lisboa no período entre 1945 e 1974. O seu objetivo principal é compreender o padrão espacial e respetivas variantes destas formas urbanas relativamente recentes bem como avaliar o seu impato na estrutura global da cidade e da sociedade. Tomando como ponto de partida a história de arte como história da cidade, a tese toma como objeto o grande conjunto urbano e aponta a hipótese do estudo da relação forma-fundo como meio de obter informações relevantes que relacionem o uso e função com respeito ao desenho do espaço aberto. Como diferentes arranjos entre espaços abertos e fechados implicam tipos espaciais distintos (Medeiros 2013), o estudo da relação entre a forma (cheio) e o fundo (vazio) dos grandes conjuntos urbanos e respetivas variações, pode fornecer-nos informação espacial relevante, que nos permitem compreender melhor estas formas urbanas recentes. Usando a abordagem própria da teoria da sintaxe espacial (Hillier e Hanson 1984), do tipo configuracional, determinam-se as relações entre os vários elementos constituintes dos sistemas espaciais formados nestas urbanizações. Essas relações são depois analisadas através de medidas e variáveis topológicas que nos permitem identificar qualidades e valores espaciais para a sociedade. Os resultados obtidos a partir dessas variáveis e medidas permitem-nos, depois, avaliar os graus de ‘formalidade’ e ‘urbanidade’ em cada sistema (Holanda 2002). Consequentemente, a avaliação qualitativa das características espaciais que se pretendem obter nesta investigação, tem como base a avaliação quantitativa, permitindo assim comparar mais facilmente os diversos casos de estudo. De entre o conjunto de casos analisados, o estudo revela uma série de características comuns, que nos permitem identificar um padrão específico de urbanismo modernista que reflete claramente um conjunto de ideologias associadas a uma visão reformista da sociedade através do espaço. Mas por outro lado, existem também um conjunto de características particulares de cada caso, que reportam para a estrutura morfológica da cidade tradicional. No que reporta à hipótese de estudo levantada nesta investigação sobre a relação forma-fundo, verifica-se através da amostra que esta relação aparece invertida. Esta diferenciação deve-se ao abandono dos tradicionais sistemas de rua e de quarteirão, ainda presentes nas urbanizações de Alvalade e do Areeiro e a sua substituição pelo bloco livre em espaço aberto como nos casos de Alfragide, Portela e Olivais. Tal facto, como prova a teoria da Sintaxe Espacial ou Lógica Social do Espaço, traduziu-se necessariamente em diferentes modos de vida pública e privada e consequentemente de vida espacial e social. Assim concluímos, através da análise dos casos de estudo apresentados, que embora fazendo parte duma mesma ideologia urbana com características comuns (genótipo modernista), os mesmos apresentam resultados espaciais totalmente diferenciados o que justifica a dificuldade da sua análise comparativa.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.