Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Using GIS Network Analyst to Identify Suppliers for a Produce Co-op in Waterville, ME

The idea for organizing a cooperative market on Waterville Main Street was proposed by Aime Schwartz in the fall of 2008. The Co-op would entail an open market located on Main Street to provide fresh, local produce and crafts to town locals. Through shorter delivery distances and agreements with local farmers, the co-op theoretically will offer consumers lower prices on produce than can be found in conventional grocery stores, as well as an opportunity to support local agriculture. One of the tasks involved with organizing the Co-op is to source all of the produce from among the hundreds of farmers located in Maine. The purpose of this project is to show how Geographic Information System (GIS) tools can be used to help the Co-op and other businesses a) site nearby farms that carry desired produce and products, and b) determine which farms are closest to the business site. Using GIS for this purpose will make it easier and more efficient to source produce suppliers, and reduce the workload on business planners. GIS Network Analyst is a tool that provides network-based spatial analysis, and can be used in conjunction with traditional GIS technologies to determine not only the geometric distance between points, but also distance over existing networks (like roads). We used Network Analyst to find the closest produce suppliers to the Co-op for specific produce items, and compute how far they are over existing roads. This will enable business planners to source potential suppliers by distance before contacting individual farmers, allowing for more efficient use of their time and a faster planning process.

Using Spatiotemporal Methods to Fill Gaps In Energy Usage Interval Data

Researchers analyzing spatiotemporal or panel data, which varies both in location and over time, often find that their data has holes or gaps. This thesis explores alternative methods for filling those gaps and also suggests a set of techniques for evaluating those gap-filling methods to determine which works best.

Utilizing Remote Sensing Imagery to Monitor Vegetation Change within World Heritage Sites

ABSTRACT World Heritage sites provide a glimpse into the stories and civilizations of the past. There are currently 1007 unique World Heritage properties with 779 being classified as cultural sites, 197 as natural sites, and 31 falling into the categories of both cultural and natural sites (UNESCO & World Heritage Centre, 1992-2015). However, of these 1007 World Heritage sites, at least 46 are categorized as in danger and this number continues to grow. These unique and irreplaceable sites are exceptional because of their universality. Consequently, since World Heritage sites belong to all the people of the world and provide inspiration and admiration to all who visit them, it is our responsibility to help preserve these sites. The key form of preservation involves the individual monitoring of each site over time. While traditional methods are still extremely valuable, more recent advances in the field of geographic and spatial technologies including geographic information systems (GIS), laser scanning, and remote sensing, are becoming more beneficial for the monitoring and overall safeguarding of World Heritage sites. Through the employment and analysis of more accurately detailed spatial data, World Heritage sites can be better managed. There is a strong urgency to protect these sites. The purpose of this thesis is to describe the importance of taking care of World Heritage sites and to depict a way in which spatial technologies can be used to monitor and in effect preserve World Heritage sites through the utilization of remote sensing imagery. The research conducted in this thesis centers on the Everglades National Park, a World Heritage site that is continually affected by changes in vegetation. Data used include Landsat satellite imagery that dates from 2001-2003, the Everglades' boundaries shapefile, and Google Earth imagery. In order to conduct the in-depth analysis of vegetation change within the selected World Heritage site, three main techniques were performed to study changes found within the imagery. These techniques consist of conducting supervised classification for each image, incorporating a vegetation index known as Normalized Vegetation Index (NDVI), and utilizing the change detection tool available in the Environment for Visualizing Images (ENVI) software. With the research and analysis conducted throughout this thesis, it has been shown that within the three year time span (2001-2003), there has been an overall increase in both areas of barren soil (5.760%) and areas of vegetation (1.263%) with a decrease in the percentage of areas classified as sparsely vegetated (-6.987%). These results were gathered through the use of the maximum likelihood classification process available in the ENVI software. The results produced by the change detection tool which further analyzed vegetation change correlate with the results produced by the classification method. As well, by utilizing the NDVI method, one is able to locate changes by selecting a specific area and comparing the vegetation index generated for each date. It has been found that through the utilization of remote sensing technology, it is possible to monitor and observe changes featured within a World Heritage site. Remote sensing is an extraordinary tool that can and should be used by all site managers and organizations whose goal it is to preserve and protect World Heritage sites. Remote sensing can be used to not only observe changes over time, but it can also be used to pinpoint threats within a World Heritage site. World Heritage sites are irreplaceable sources of beauty, culture, and inspiration. It is our responsibility, as citizens of this world, to guard these treasures.

City Of Toronto’S Approach On Implementing The New Federal Wastewater Effluent Regulations Using A GIS-Based Hydrologic And Hydraulic Model

Canada releases over 150 billion litres of untreated and undertreated wastewater into the water environment every year1. To clean up urban wastewater, new Federal Wastewater Systems Effluent Regulations (WSER) on establishing national baseline effluent quality standards that are achievable through secondary wastewater treatment were enacted on July 18, 2012. With respect to the wastewater from the combined sewer overflows (CSO), the Regulations require the municipalities to report the annual quantity and frequency of effluent discharges. The City of Toronto currently has about 300 CSO locations within an area of approximately 16,550 hectares. The total sewer length of the CSO area is about 3,450 km and the number of sewer manholes is about 51,100. A system-wide monitoring of all CSO locations has never been undertaken due to the cost and practicality. Instead, the City has relied on estimation methods and modelling approaches in the past to allow funds that would otherwise be used for monitoring to be applied to the reduction of the impacts of the CSOs. To fulfill the WSER requirements, the City is now undertaking a study in which GIS-based hydrologic and hydraulic modelling is the approach. Results show the usefulness of this for 1) determining the flows contributing to the combined sewer system in the local and trunk sewers for dry weather flow, wet weather flow, and snowmelt conditions; 2) assessing hydraulic grade line and surface water depth in all the local and trunk sewers under heavy rain events; 3) analysis of local and trunk sewer capacities for future growth; and 4) reporting of the annual quantity and frequency of CSOs as per the requirements in the new Regulations. This modelling approach has also allowed funds to be applied toward reducing and ultimately eliminating the adverse impacts of CSOs rather than expending resources on unnecessary and costly monitoring.

Entre serras e sertões A(s) (trans)formaç(ões) de centralidade(s) da Região Metropolitana do Cariri/CE

This study reviews the spatial configuration from the road network of an urban compound formed by the cities of Crato, Juazeiro do Norte and Barbalha (the Crajubar - core of the Cariri metropolitan region, in the State of Ceará, Brazil), in order to establish nexus (or relations) between different levels of accessibility and the formation/ transformation and specialization of centralities in local and metropolitan scales. Stemming from the Social Logic of Space theoretical and operational apparatus, the study explores modeling possibilities (with axial lines, segments and lines of continuity) which is then confronted to empirical observations concerning movement flows and land use, within a Geographic Information System database. At different scales of analysis, the results suggest evidences of continuity were found in the permanence of intra-urban centres and sub-centres within each town, whereas evidences of change pointed out to the formation of a new centrality of metropolitan magnitude in the neighbourhood referred to as the Triângulo, in the municipality of Juazeiro, where high levels of topological accessibility coincides with the appearance of new business buildings as well as with the emergence of urban equipment of a scale more adequate to meet a regional demand

Sistemas de informação geográfica e análise espacial de dados como ferramentas para determinação de agregação espacial de doenças: a hanseníase como modelo

This work demonstrates the importance of using tools used in geographic information systems (GIS) and spatial data analysis (SDA) for the study of infectious diseases. Analysis methods were used to describe more fully the spatial distribution of a particular disease by incorporating the geographical element in the analysis. In Chapter 1, we report the historical evolution of these techniques in the field of human health and use Hansen s disease (leprosy) in Rio Grande do Norte as an example. In Chapter 2, we introduced a few basic theoretical concepts on the methodology and classified the types of spatial data commonly treated. Chapters 3 and 4 defined and demonstrated the use of the two most important techniques for analysis of health data, which are data point processes and data area. We modelled the case distribution of Hansen s disease in the city of Mossoró - RN. In the analysis, we used R scripts and made available routines and analitical procedures developed by the author. This approach can be easily used by researchers in several areas. As practical results, major risk areas in Mossoró leprosy were detected, and its association with the socioeconomic profile of the population at risk was found. Moreover, it is clearly shown that his approach could be of great help to be used continuously in data analysis and processing, allowing the development of new strategies to work might increase the use of such techniques in data analysis in health care

Assessment of field fertility and several in vitro sperm characteristics following the use of different Angus sires in a timed-AI program with suckled Nelore cows

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Potencial de erosão da bacia do Rio Uberaba

Este trabalho teve por objetivo identificar qualitativamente as áreas suscetíveis à erosão laminar na bacia do Rio Uberaba, localizada em Uberaba -MG, apoiado no modelo matemático da Equação Universal de Perda de Solo (EUPS). Foram utilizadas cartas de: solos, uso e ocupação das terras, redes de drenagem, declividade e dados pluviográficos, utilizando-se de um Sistema de Informação Geográfica (SIG -IDRISI). A espacialização do potencial de erosão só foi possível a partir da estimativa da tolerância às perdas laminares para cada tipo de solo da bacia, e da profundidade dos solos, por entender que as perdas são mais significativas em solos mais rasos do que em solos muito profundos. Na análise dos resultados, verificou-se que 37% da área total da bacia do Rio Uberaba (905,24 km²) sofrem perdas de solos acima do limite de tolerância, sendo 12% em solos profundos e 25% em muito profundos, e a espacialização deste evento favorece a adoção de ações efetivas quanto à conservação dos solos da bacia.

Novas ferramentas para monitoramento ambiental usando SIG Web

The use of Geographic Information Systems (GIS) has becoming very important in fields where detailed and precise study of earth surface features is required. Applications in environmental protection are such an example that requires the use of GIS tools for analysis and decision by managers and enrolled community of protected areas. In this specific field, a challenge that remains is to build a GIS that can be dynamically fed with data, allowing researchers and other agents to recover actual and up to date information. In some cases, data is acquired in several ways and come from different sources. To solve this problem, some tools were implemented that includes a model for spatial data treatment on the Web. The research issues involved start with the feeding and processing of environmental control data collected in-loco as biotic and geological variables and finishes with the presentation of all information on theWeb. For this dynamic processing, it was developed some tools that make MapServer more flexible and dynamic, allowing data uploading by the proper users. Furthermore, it was also developed a module that uses interpolation to aiming spatial data analysis. A complex application that has validated this research is to feed the system with data coming from coral reef regions located in northeast of Brazil. The system was implemented using the best interactivity concept provided by the AJAX model and resulted in a substantial contribution for efficiently accessing information, being an essential mechanism for controlling events in the environmental monitoring

Evaluation of the Cartographic Communication Performance of a Route Guidance and Navigation System

This study evaluates the influence of different cartographic representations of in-car navigation systems on visual demand, subjective preference, and navigational error. It takes into account the type and complexity of the representation, maneuvering complexity, road layout, and driver gender. A group of 28 drivers (14 male and 14 female) participated in this experiment which was performed in a low-cost driving simulator. The tests were performed on a limited number of instances for each type of representation, and their purpose was to carry out a preliminary assessment and provide future avenues for further studies. Data collected for the visual demand study were analyzed using non-parametric statistical analyses. Results confirmed previous research that showed that different levels of design complexity significantly influence visual demand. Non-grid-like road networks, for example, influence significantly visual demand and navigational error. An analysis of simple maneuvers on a grid-like road network showed that static and blinking arrows did not present significant differences. From the set of representations analyzed to assess visual demand, both arrows were equally efficient. From a gender perspective, women seem to took at the display more than men, but this factor was not significant. With respect to subjective preferences, drivers prefer representations with mimetic landmarks when they perform straight-ahead tasks. For maneuvering tasks, landmarks in a perspective model created higher visual demands.

Análise espacial dos condicionantes da criminalidade violenta no estado de Minas Gerais

O fenômeno da criminalidade desponta neste início de século como um dos principais problemas vividos pelos habitantes das grandes cidades. Diversas ciências têm se dedicado ao estudo deste tema, mas somente nas últimas décadas a Geografia vem explorando a dimensão espacial da criminalidade através de uma sub-disciplina denominada Geografia do Crime. No escopo desta perspectiva surgem diversas contribuições para o estudo espacial da criminalidade. Este trabalho explora a distribuição espacial dos crimes contra pessoa e contra o patrimônio no Estado de Minas Gerais e, na sequência, analisa os condicionantes desta criminalidade. Para isso, faz-se uso de técnicas de mapeamento, com auxílio dos Sistemas de Informações Geográficas, e de estatística espacial.

Uso de técnicas de Geoprocessamento e Sensoriamento Remoto no levantamento e integração de dados necessários a gestão ambiental dos campos de extração de óleo e gás do Canto do Amaro e Alto da Pedra no município de Mossoró - RN

The objective of this work is to identify, to chart and to explain the evolution of the soil occupation and the envirionment vulnerability of the areas of Canto do Amaro and Alto da Pedra, in the city of Mossoró-RN, having as base analyzes it multiweather of images of orbital remote sensors, the accomplishment of extensive integrated works of field to a Geographic Information System (GIS). With the use of inserted techniques of it analyzes space inserted in a (GIS), and related with the interpretation and analyzes of products that comes from the Remote Sensoriamento (RS.), make possible resulted significant to reach the objectives of this works. Having as support for the management of the information, the data set gotten of the most varied sources and stored in digital environment, it comes to constitute the geographic data base of this research. The previous knowledge of the spectral behavior of the natural or artificial targets, and the use of algorithms of Processing of Digital images (DIP), it facilitates the interpretation task sufficiently and searchs of new information on the spectral level. Use as background these data, was generated a varied thematic cartography was: Maps of Geology, Geomorfológicals Units soils, Vegetation and Use and Occupation of the soil. The crossing in environment SIG, of the above-mentioned maps, generated the maps of Natural and Vulnerability envirionmental of the petroliferous fields of I Canto do Amaro and Alto da Pedra-RN, working in an ambient centered in the management of waters and solid residuos, as well as the analysis of the spatial data, making possible then a more complex analysis of the studied area

Desigualdade regional da mortalidade neonatal no Brasil

In Brazil, despite the decline in infant mortality in recent decades it still has high rates going against recommended by WHO. Being the largest percentage of infant mortality rate composed of neonatal deaths. Objective: A study was conducted to analyze the spatial distribution of neonatal mortality and its correlation with the biological, socioeconomic and maternal and child health care in the Brazilian states in the period from 2006 to 2010. Method: The study made thematic maps and correlation (LISA) for verification of spatial dependence and multiple linear regression models. Results: Was found that there is no spatial autocorrelation for neonatal mortality in the Brazilian states (R = 0.002, p = 0.48). Most of variables were correlated (r> 0.3, p <0.05) with neonatal mortality, forming clusters in the North and Northeast, with the highest rates of teenage mothers, low household income per capita, lower prenatal appointments and beds of Neonatal Intensive Care Unit. The number of Neonatal UCI beds remained independent effect after regression analysis. Conclusion: The study concludes that regional inequalities in living conditions and especially the access to maternal and child health services contribute to the unequal distribution of neonatal mortality in Brazil