53 resultados para temporal disjunctive logic programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As DCV são a principal causa de mortalidade e morbilidade a nível nacional e uma prioridade dos programas de saúde pública. O objectivo desta dissertação consistiu na análise da evolução da tendência de exposição aos factores de risco cardiovascular (obesidade, tabagismo, sedentarismo, diabetes e hipertensão arterial) na população portuguesa continental, com base nos Inquéritos Nacionais de Saúde. Foi realizado um estudo descritivo de natureza observacional e transversal, com uma abordagem quantitativa dos dados dos Inquéritos Nacionais de Saúde de 1987, 1995/96, 1998/99 e 2005/06. Neste estudo, é apenas considerada a população portuguesa continental, caracterizada quanto à prevalência dos factores de risco cardiovascular e desagregada por variáveis sociodemográficas, como a idade, sexo e nível de ensino. Recorreu-se à regressão logística multivariada para estimar a possibilidade de autoreportar hipertensão arterial, nos diferentes Inquéritos Nacionais de Saúde. Os resultados revelaram uma tendência global crescente da obesidade, diabetes e hipertensão arterial. Por outro lado, uma estabilização aparente do tabagismo e aumento da actividade física. Também se verificou que indivíduos com idades mais avançadas, do sexo feminino, de nível de ensino baixo, obesos e diabéticos, evidenciaram maior possibilidade de serem hipertensos, ajustando cada uma das variáveis a todas as outras do modelo. Contudo foram encontradas desigualdades de género, sendo que a mulher representa uma tendência crescente para maior prevalência dos factores de risco cardiovascular. O nível de ensino baixo também parece ser preponderante na prevalência dos factores de risco cardiovasculares, porém tem vindo a verificar-se um aumento de proporções nos níveis de ensino médio alto e alto. Considera-se que este estudo fornece informação útil para aumentar a efectividade de possíveis programas de prevenção e controlo dos factores de risco cardiovasculares. Torna-se importante, a adoptação de estratégias globais que permitam assegurar a equidade no acesso aos cuidados de saúde, de forma a tornar a população mais informada e consciente dos comportamentos e estilos de vida adoptados, que no futuro podem reflectir-se na vida adulta através da doença cardiovascular.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Gestão de Sistemas Ambientais

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Atualmente os computadores, os telemóveis mais recentes e as câmaras fotográficas têm o poder de capturar momentos, e estes momentos são gravados em fotografias. Hoje em dia são tiradas imensas fotografias em todas as partes do mundo e com isto surgem alguns problemas, tais como organizar e visualizar as fotografias de forma a transmitir o sentimento e o momento vivido. Procura-se ainda como inovar e dar uma perceção evolutiva de estruturas ou de pessoas captadas nas fotografias. É neste contexto que esta dissertação se insere. A dissertação tem como principal objetivo, oferecer uma ferramenta que consiga proporcionar uma viagem cronológica ao longo do tempo, do passado até ao presente, dado um conjunto de imagens de várias épocas. A ferramenta, chamada Evolapse, permite visualizar uma representação tridimensional de um conjunto de imagens, podendo visualizar imagens de várias épocas para a mesma localização geográfica. A Evolapse processa automaticamente comparações entre imagens e estabelece relações entre as mesmas. Também oferece um método semiautomático para criar as relações. Todas as relações estabelecidas automaticamente e criadas, recorrendo ao método semi-automático, podem ser editadas. A ferramenta foi desenvolvida no âmbito do projeto LX Conventos e os seus resultados são testados no website do projeto. De modo a testar os resultados, a ferramenta produz documentos descritivos que contêm toda a informação necessária para reconstruir a representação tridimensional. O website do projeto LX Conventos ficará disponível ao público, dando a possibilidade a múltiplos utilizadores de visualizarem os resultados gerados pela ferramenta.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The forest has a crucial ecological role and the continuous forest loss can cause colossal effects on the environment. As Armenia is one of the low forest covered countries in the world, this problem is more critical. Continuous forest disturbances mainly caused by illegal logging started from the early 1990s had a huge damage on the forest ecosystem by decreasing the forest productivity and making more areas vulnerable to erosion. Another aspect of the Armenian forest is the lack of continuous monitoring and absence of accurate estimation of the level of cuts in some years. In order to have insight about the forest and the disturbances in the long period of time we used Landsat TM/ETM + images. Google Earth Engine JavaScript API was used, which is an online tool enabling the access and analysis of a great amount of satellite imagery. To overcome the data availability problem caused by the gap in the Landsat series in 1988- 1998, extensive cloud cover in the study area and the missing scan lines, we used pixel based compositing for the temporal window of leaf on vegetation (June-late September). Subsequently, pixel based linear regression analyses were performed. Vegetation indices derived from the 10 biannual composites for the years 1984-2014 were used for trend analysis. In order to derive the disturbances only in forests, forest cover layer was aggregated and the original composites were masked. It has been found, that around 23% of forests were disturbed during the study period.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Crisis-affected communities and global organizations for international aid are becoming increasingly digital as consequence geotechnology popularity. Humanitarian sector changed in profound ways by adopting new technical approach to obtain information from area with difficult geographical or political access. Since 2011, turkey is hosting a growing number of Syrian refugees along southeastern region. Turkish policy of hosting them in camps and the difficulty created by governors to international aid group expeditions to get information, made such international organizations to investigate and adopt other approach in order to obtain information needed. They intensified its remote sensing approach. However, the majority of studies used very high-resolution satellite imagery (VHRSI). The study area is extensive and the temporal resolution of VHRSI is low, besides it is infeasible only using these sensors as unique approach for the whole area. The focus of this research, aims to investigate the potentialities of mid-resolution imagery (here only Landsat) to obtain information from region in crisis (here, southeastern Turkey) through a new web-based platform called Google Earth Engine (GEE). Hereby it is also intended to verify GEE currently reliability once the Application Programming Interface (API) is still in beta version. The finds here shows that the basic functions are trustworthy. Results pointed out that Landsat can recognize change in the spectral resolution clearly only for the first settlement. The ongoing modifications vary for each case. Overall, Landsat demonstrated high limitations, but need more investigations and may be used, with restriction, as a support of VHRSI.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.