925 resultados para Logic of proofs


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Artes Performativas - Interpretação

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Amélia Cristina Ferreira da Silva

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Acreditando numa educação social que se quer muito mais do que uma socialização correta e numa educação de adultos que se quer muito mais do que um ajustamento funcional dos indivíduos ao mercado de trabalho, este trabalho desenvolveu-se num Centro Novas Oportunidades (CNO), sedeado numa escola pública do concelho de Penafiel, entre outubro de 2011 e julho de 2012. Através de uma metodologia de investigação-ação participativa, procurou potenciar os campos de interseção entre a educação social e a educação de adultos, inspirando-se no poder libertador e transformador da educação. Num momento em que os adultos vivenciaram o encerramento repentino da Iniciativa Novas Oportunidades, em que estão integrados ou que foram integrantes, e o consequente sentimento de descredibilização social dos processos que frequentavam, este projeto procurou promover nos adultos com quem foi construído, a capacidade de reflexão sobre o seu passado, apropriação crítica do seu presente, a fim de tomarem decisões sobre o seu futuro, e que respondesse aos seus interesses e desejos, numa lógica de solidariedade, justiça e desenvolvimento. As conclusões deste trabalho apontam para a sua capacidade de, numa atitude emancipatória e democrática, analisar criticamente as circunstâncias que enquadram mais um período de transição das políticas públicas no campo da educação de adultos, a partir de uma essencial avaliação isenta e independente do trabalho desenvolvido, pelos seus principais intervenientes: os adultos.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Ao longo do projeto encarou-se a Educação e Formação de Adultos como um motor para a liberdade, definida como a autonomia para se procurar e viver um destino. Destino que não é apenas o porto onde atraca o barco à chegada, mas o processo de destinação na rota. Hodiernamente vivemos atracados ao paradigma da Aprendizagem ao Longo da Vida, ancorados a processos económicos e ideológicos que ditam as orientações de atuação do Instituto de Emprego e Formação Profissional na forma com se planeiam e organizam os Cursos de Educação e Formação de Adultos. Traçaram-se as rotas que Portugal percorreu até desenvolver as políticas de Educação e Formação de Adultos atuais. Essas políticas influenciam sobremaneira a organização e planeamento dos Cursos de Educação e Formação de Adultos desenvolvidos pelo Instituto de Emprego e Formação de Vila Real que se vê agrilhoado aos ideais neoliberais, à falta de recursos, de ideais e de esperança. Procurou-se construir um projeto que conceba o planeamento e a organização dos cursos de Educação e Formação de Adultos numa ótica emancipadora da educação enraizada em contextos locais, em que as diretrizes do Estado se constituem como uma moldura mas não se restringem à rigidez do caixilho, assente em lógicas de responsabilidade comunitária em processos relacionais abertos, dialogados e críticos assentes em conteúdos vividos, aprendidos e transformados. Espera-se e deseja-se que aqueles processos comprometam de forma decisiva todos os que se vêem envolvidos neste feixe de relações a partir do qual cada um se forma, e desenvolvendo-se, se envolve na possibilidade de destinar a rota.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A implementação de quadros de valor, mérito e excelência nas escolas portuguesas, nos quais se distinguem os alunos com comportamentos e desempenhos académicos exemplares, constitui o ponto de partida desta comunicação. Num primeiro momento, pretendemos abordar o processo de transição dos alunos distinguidos para o ensino superior. No momento seguinte, incidiremos o nosso olhar sobre as disposições destes jovens face ao ofício de aluno, aos atores e às instituições que marcaram os seus percursos e às expectativas que nortearam os diversos investimentos académicos. Os dados empíricos foram recolhidos no âmbito de um estudo de caso numa escola secundária do Norte de Portugal. Em relação aos alunos já ingressados no ensino superior e para aqueles que já concluíram este nível de ensino, tentaremos refletir sobre o grau de ajustamento destas experiências às expectativas inicialmente formuladas e/ou subsumidas nos sentidos das respostas e nas opções declaradas face ao futuro. Dos dados já obtidos, concluímos que a distinção académica parece escapar às lógicas do destino social, sendo a excelência escolar também visível em jovens de classes sociais mais baixas; concluímos também que estes percursos de excelência não têm na atualidade uma recompensa efetiva no acesso ao mercado de trabalho; e dentro do foco principal desta comunicação denotamos ainda a existência de transições não-lineares entre o secundário e o superior, designadamente no acesso ao curso pretendido e ao desempenho académico neste nível de ensino.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

How did the leading capital market start to attract international bullion? Why did London become the main money market? Monetary regulations, including the charges for minting money and the restrictions on bullion exchange, have played the key role in defining the direction of the flow of international bullion. Countries that abolished minting charges and permitted the free movement of bullion were able to attract international bullion, and countries that applied minting taxes suffered an outflow of bullion. In these cases monetary authorities tried to limit bullion movement through prohibitions on domestic bullion exchange at a free price, and tariffs and quantitative restrictions on bullion exports. The paper illustrates the logic of international monetary flow in the 18th century, using empirical evidence for England, France and Spain. The first section defines and measures monetary policy, and the second section introduces minting charges into the arbitrage equation in order to explain the logic of bullion flow between the pairs of nations England-France, England-Spain and France-Spain. The conclusion emphasises the importance of monetary policy in the creation of leading money markets.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The paper analyses how the EU foreign policy towards Georgia changed after the Rose Revolution, reaching greater levels of involvement and assistance. It is argued that the pro-western and reformist new government in Georgia triggered a new orientation in the EU foreign policy towards the country based on a logic of appropriateness, that is EU´s values, in addition to energy interests. Comparative analysis in the Southern-Caucasus and other Eastern-European countries shows how reformist and pro-EU governments receive more EU support and assistance. This does not mean that material interest do not play an important role. However, the EU seems to be coherent with its values when regarding the European neighbourhood.