991 resultados para temporal logic programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

INTRODUÇÃO: O vírus da dengue é transmitido pela picada do mosquito Aedes aegypti e, o atual programa de controle não atinge o objetivo de impedir sua transmissão. Este trabalho objetivou analisar a relação entre a distribuição espaço-temporal de casos de dengue e os indicadores larvários no município de Tupã, de janeiro de 2004 a dezembro de 2007. MÉTODOS: Foram construídos indicadores larvários por quarteirão e totalidade do município. Utilizou-se o método cross-lagged correlation para avaliar a correlação entre casos de dengue e indicadores larvários. Foi utilizado estimador kernel para análise espacial. RESULTADOS: A correlação cruzada defasada entre casos de dengue e indicadores larvários foi significativa. Os mapas do estimador Kernel da positividade de recipientes indicam uma distribuição heterogênea, ao longo do período estudado. Nos dois anos de transmissão, a epidemia ocorreu em diferentes regiões. CONCLUSÕES: Não ficou evidenciada relação espacial entre infestação larvária e ocorrência de dengue. A incorporação de técnicas de geoprocessamento e análise espacial no programa, desde que utilizados imediatamente após a realização das atividades, podem contribuir com as ações de controle, indicando os aglomerados espaciais de maior incidência.

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:

INTRODUCTION: Study of the temporal activity of malaria vectors during the implantation of a hydroelectric power station on the River Paraná, intended to generate electrical energy. The river separates the States of São Paulo and Mato Grosso do Sul, in Brazil. The objective was to verify whether alterations occurred in the wealth and diversity indices of Anopheles, following two successive floods, extended to the temporal activity and nycthemeral rhythm followed over a five year period. METHODS: Mosquito capture was performed monthly using the Human Attraction Technique and Shannon Traps. The first, executed for 24h, provided the nycthemeral rhythm and the second, lasting 15h, permitted the tracking of Anopheles during the two floods. RESULTS: The bimodal pattern of Anopheles darlingi defined before these floods was modified throughout the environment interventions. The same effect had repercussions on the populations of An albitarsis s.l., An triannulatus and An galvaoi. Activity prior to twilight was less affected by the environment alterations. CONCLUSIONS: The dam construction provoked changes in Anopheles temporal activity patterns, permitting classification of the area as an ecologically steady and unstable situation. Differences observed in Anopheles behavior due to the capture methods revealed the influence of solo and multiple attractiveness inside the populations studied.

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:

INTRODUÇÃO: o objetivo do estudo foi analisar a epidemia de AIDS em adolescentes no município do Rio de Janeiro para subsidiar políticas públicas de prevenção. A incidência de AIDS no Brasil está diminuindo entre homens que fazem sexo com homens (HSH), exceto entre 13 e 19 anos e a feminização é mais intensa entre adolescentes. MÉTODOS: Estudo de dados do Sistema de Informações de Agravos de Notificação (SINAN) de casos diagnosticados, entre 13 e 19 anos até novembro de 2009. RESULTADOS: Foram analisados 656 casos, com incidência crescente até 1998 e verificou-se que, desde 1996, ocorrem mais casos no sexo feminino do que no masculino. A categoria de exposição homo/bissexual é predominante nos rapazes (50,8%) e a heterossexual nas moças (88,9%). A distribuição geográfica dos casos no município por ano de diagnóstico revelou que houve proporcionalmente grande aumento da incidência na Área de Planejamento mais pobre da cidade e redução acentuada na mais rica. Observou-se uma tendência linear decrescente entre o ano de diagnóstico e o índice de desenvolvimento humano (IDH). CONCLUSÕES: O estudo aponta a necessidade de investimento em serviços de saúde sexual e reprodutiva nas áreas mais pobres da cidade e ações de promoção de saúde direcionadas aos rapazes HSH e às adolescentes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

INTRODUCTION: The purpose of this ecological study was to evaluate the urban spatial and temporal distribution of tuberculosis (TB) in Ribeirão Preto, State of São Paulo, southeast Brazil, between 2006 and 2009 and to evaluate its relationship with factors of social vulnerability such as income and education level. METHODS: We evaluated data from TBWeb, an electronic notification system for TB cases. Measures of social vulnerability were obtained from the SEADE Foundation, and information about the number of inhabitants, education and income of the households were obtained from Brazilian Institute of Geography and Statistics. Statistical analyses were conducted by a Bayesian regression model assuming a Poisson distribution for the observed new cases of TB in each area. A conditional autoregressive structure was used for the spatial covariance structure. RESULTS: The Bayesian model confirmed the spatial heterogeneity of TB distribution in Ribeirão Preto, identifying areas with elevated risk and the effects of social vulnerability on the disease. We demonstrated that the rate of TB was correlated with the measures of income, education and social vulnerability. However, we observed areas with low vulnerability and high education and income, but with high estimated TB rates. CONCLUSIONS: The study identified areas with different risks for TB, given that the public health system deals with the characteristics of each region individually and prioritizes those that present a higher propensity to risk of TB. Complex relationships may exist between TB incidence and a wide range of environmental and intrinsic factors, which need to be studied in future research.

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction The diverse and complex environmental conditions of the Amazon Basin favor the breeding and development of Anopheles species. This study aimed to describe the composition, abundance and temporal frequency of Anopheles species and to correlate these factors with precipitation, temperature and relative humidity. Methods The study was conducted in the District of Coração, State of Amapá, Brazil. Samples were collected monthly during three consecutive nights, from 6:00 PM to 10:00 PM, from December 2010 to November 2011. In addition, four 12-hour collections (i.e., 6:00 PM to 6:00 AM) were performed during this period. Results A total of 1,230 Anopheles specimens were collected. In the monthly collections, Anopheles darlingi was the predominant species, followed by An. braziliensis and An. albitarsis s.l., whereas An. darlingi, An. peryassui and An. braziliensis were the most frequent species collected in the 12-hour collections. The greatest number of anophelines was collected in September (the dry season). The highest frequency of anophelines was observed for An. darlingi during September, when there were the least rainfalls of the year, along with lower relative humidity and higher temperatures. There was little variation in the abundance of this species in other months, with the exception of slight increases in February, July and August. Conclusions The major malaria vectors, An. darlingi and An. albitarsis s.l. (likely An. marajoara), were the most abundant species collected in the study area. Consequently, prevention and control measures should be taken to prevent malaria outbreaks in the District of Coração.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction In 1999, Birigui and Araçatuba were the first municipalities in the State of São Paulo to present autochthonous cases of visceral leishmaniasis in humans (VLH). The aim of this study was to describe the temporal, spatial and spatiotemporal behaviors of VLH in Birigui. Methods Secondary data were obtained from the Notifiable Diseases Information System from 1999 to 2012. The incidence, mortality and case fatality rates by sex and age were calculated. The cases of VLH were geocoded and grouped according to census tracts. Local empirical Bayesian incidence rates were calculated. The existence of spatial and spatiotemporal clusters was investigated using SaTScan software. Results There were 156 confirmed cases of autochthonous VLH. The incidence rate was higher in the 0-4-year-old children, and the mortality and case fatality rates were higher in people aged 60 years and older. The peaks of incidence occurred in 2006 and 2011. The Bayesian rates identified the presence of VLH in all of the census tracts in the municipality; however, spatial and spatiotemporal clusters were found in the central area of the municipality. Conclusions Birigui, located in the Araçatuba region, has recently experienced increasing numbers of VLH cases; this increase is contrary to the behavior observed over the entire region, which has shown a decreasing trend in the number of VLH cases. The observations that the highest incidence is in children 0-4 years old and the highest mortality is in people 60 years and older are in agreement with the expected patterns of VLH.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Atualmente, um dos principais desafios que afeta a saúde pública no Brasil é a crescente evolução no número de casos e epidemias provocados pelo vírus da dengue. Não existem estudos suficientes que consigam elucidar quais fatores contribuem para a evolução das epidemias de Dengue. Fatores como condições sanitárias, localização geográfica, investimentos financeiros em infraestrutura e qualidade de vida podem estar relacionados com a incidência de Dengue. Além disso, outra questão que merece um maior destaque é o estudo para se identificar o grau de impacto das variáveis determinantes da dengue e se existe um padrão que está correlacionado com a taxa de incidência. Desta forma, este trabalho tem como objetivo principal a correlação da taxa de incidência da dengue na população de cada município brasileiro, utilizando dados relativos aos aspectos sociais, econômicos, demográficos e ambientais. Outra contribuição relevante do trabalho, foi a análise dos padrões de distribuição espacial da taxa de incidência de Dengue e sua relação com os padrões encontrados utilizando as variáveis socioeconômicas e ambientais, sobretudo analisando a evolução temporal no período de 2008 até 2012. Para essa análises, utilizou-se o Sistema de Informação Geográfica (SIG) aliado com a mineração de dados, através da metodologia de rede neural mais especificamente o mapa auto organizável de Kohonen ou self-organizing maps (SOM). Tal metodologia foi empregada para a identificação de padrão de agrupamentos dessas variáveis e sua relação com as classes de incidência de dengue no Brasil (Alta, Média e Baixa). Assim, este projeto contribui de forma significativa para uma melhor compreensão dos fatores que estão associados à ocorrência de Dengue, e como essa doença está correlacionada com fatores como: meio ambiente, infraestrutura e localização no espaço geográfico.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tuberculosis (TB) is one of the infectious diseases that contributes most to the morbidity and mortality of millions of people worldwide. Brazil is one of 22 countries that accounts for 80% of the tuberculosis global burden. The highest incidence rates in Brazil occur in the States of Amazonas and Rio de Janeiro. The aim of this study was to describe the temporal distribution of TB in the State of Amazonas. Between 2001 and 2011, 28,198 cases of tuberculosis were reported in Amazonas, distributed among 62 municipalities, with the capital Manaus reporting the highest (68.7%) concentration of cases. Tuberculosis was more prevalent among males (59.3%) aged 15 to 34 years old (45.5%), whose race/color was predominantly pardo (64.7%) and who had pulmonary TB (84.3%). During this period, 81 cases of multidrug-resistant TB were registered, of which the highest concentration was reported from 2008 onward (p = 0.002). The municipalities with the largest numbers of indigenous individuals affected were São Gabriel da Cachoeira (93%), Itamarati (78.1%), and Santa Isabel do Rio Negro (70.1%). The future outlook for this region includes strengthening the TB control at the primary care level, by expanding diagnostic capabilities, access to treatment, research projects developed in collaboration with the Dr. Heitor Vieira Dourado Tropical Medicine Foundation .;Fundação de Medicina Tropical Dr. Heitor Vieira Dourado (FMT-HVD).; and financing institutions, such as the project for the expansion of the Clinical Research Center and the creation of a hospital ward for individuals with transmissible respiratory diseases, including TB.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

Relevância:

20.00% 20.00%

Publicador: