Principles of High Quality Documentation for Provenance: A Philosophical Discussion

Computer technology enables the creation of detailed documentation about the processes that create or affect entities (data, objects, etc.). Such documentation of the past can be used to answer various kinds of questions regarding the processes that led to the creation or modification of a particular entity. The answer to such questions is known as an entity's provenance. In this paper, we derive a number of principles for documenting the past, grounded in work from philosophy and history, which allow for provenance questions to be answered within a computational context. These principles lead us to argue that an interaction-based model is particularly suited for representing high quality documentation of the past.

QoS-aware model driven architecture through the UML and CIM

The specification of Quality of Service (QoS) constraints over software design requires measures that ensure such requirements are met by the delivered product. Achieving this goal is non-trivial, as it involves, at least, identifying how QoS constraint specifications should be checked at the runtime. In this paper we present an implementation of a Model Driven Architecture (MDA) based framework for the runtime monitoring of QoS properties. We incorporate the UML2 superstructure and the UML profile for Quality of Service to provide abstract descriptions of component-and-connector systems. We then define transformations that refine the UML2 models to conform with the Distributed Management Taskforce (DMTF) Common Information Model (CIM) (Distributed Management Task Force Inc. 2006), a schema standard for management and instrumentation of hardware and software. Finally, we provide a mapping the CIM metamodel to a .NET-based metamodel for implementation of the monitoring infrastructure utilising various .NET features including the Windows Management Instrumentation (WMI) interface.

NDVI With Artificial Neural Networks For SRTM Elevation Model Improvement – Hydrological Model Application

Digital elevation model (DEM) plays a substantial role in hydrological study, from understanding the catchment characteristics, setting up a hydrological model to mapping the flood risk in the region. Depending on the nature of study and its objectives, high resolution and reliable DEM is often desired to set up a sound hydrological model. However, such source of good DEM is not always available and it is generally high-priced. Obtained through radar based remote sensing, Shuttle Radar Topography Mission (SRTM) is a publicly available DEM with resolution of 92m outside US. It is a great source of DEM where no surveyed DEM is available. However, apart from the coarse resolution, SRTM suffers from inaccuracy especially on area with dense vegetation coverage due to the limitation of radar signals not penetrating through canopy. This will lead to the improper setup of the model as well as the erroneous mapping of flood risk. This paper attempts on improving SRTM dataset, using Normalised Difference Vegetation Index (NDVI), derived from Visible Red and Near Infra-Red band obtained from Landsat with resolution of 30m, and Artificial Neural Networks (ANN). The assessment of the improvement and the applicability of this method in hydrology would be highlighted and discussed.

A Harmonized Vocabulary For Water Quality

Interoperability of water quality data depends on the use of common models, schemas and vocabularies. However, terms are usually collected during different activities and projects in isolation of one another, resulting in vocabularies that have the same scope being represented with different terms, using different formats and formalisms, and published in various access methods. Significantly, most water quality vocabularies conflate multiple concepts in a single term, e.g. quantity kind, units of measure, substance or taxon, medium and procedure. This bundles information associated with separate elements from the OGC Observations and Measurements (O&M) model into a single slot. We have developed a water quality vocabulary, formalized using RDF, and published as Linked Data. The terms were extracted from existing water quality vocabularies. The observable property model is inspired by O&M but aligned with existing ontologies. The core is an OWL ontology that extends the QUDT ontology for Unit and QuantityKind definitions. We add classes to generalize the QuantityKind model, and properties for explicit description of the conflated concepts. The key elements are defined to be sub-classes or sub-properties of SKOS elements, which enables a SKOS view to be published through standard vocabulary APIs, alongside the full view. QUDT terms are re-used where possible, supplemented with additional Unit and QuantityKind entries required for water quality. Along with items from separate vocabularies developed for objects, media, and procedures, these are linked into definitions in the actual observable property vocabulary. Definitions of objects related to chemical substances are linked to items from the Chemical Entities of Biological Interest (ChEBI) ontology. Mappings to other vocabularies, such as DBPedia, are in separately maintained files. By formalizing the model for observable properties, and clearly labelling the separate concerns, water quality observations from different sources may be more easily merged and also transformed to O&M for cross-domain applications.

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.

The brazilian education quality index (Ideb): measurement and incentives upgrades

The increasing availability of social statistics in Latin America opens new possibilities in terms of accountability and incentive mechanisms for policy makers. This paper addresses these issues within the institutional context of the Brazilian educational system. We build a theoretical model based on the theory of incentives to analyze the role of the recently launched Basic Education Development Index (Ideb) in the provision of incentives at the sub-national level. The first result is to demonstrate that an education target system has the potential to improve the allocation of resources to education through conditional transfers to municipalities and schools. Second, we analyze the local government’s decision about how to allocate its education budget when seeking to accomplish the different objectives contemplated by the index, which involves the interaction between its two components, average proficiency and the passing rate. We discuss as well policy issues concerning the implementation of the synthetic education index in the light of this model arguing that there is room for improving the Ideb’s methodology itself. In addition, we analyze the desirable properties of an ideal education index and we argue in favor of an ex-post relative learning evaluation system for different municipalities (schools) based on the value added across different grades

A time-varying markov-switching model for economic growth

This paper investigates economic growth’s pattern of variation across and within countries using a Time-Varying Transition Matrix Markov-Switching Approach. The model developed follows the approach of Pritchett (2003) and explains the dynamics of growth based on a collection of different states, each of which has a sub-model and a growth pattern, by which countries oscillate over time. The transition matrix among the different states varies over time, depending on the conditioning variables of each country, with a linear dynamic for each state. We develop a generalization of the Diebold’s EM Algorithm and estimate an example model in a panel with a transition matrix conditioned on the quality of the institutions and the level of investment. We found three states of growth: stable growth, miraculous growth, and stagnation. The results show that the quality of the institutions is an important determinant of long-term growth, whereas the level of investment has varying roles in that it contributes positively in countries with high-quality institutions but is of little relevance in countries with medium- or poor-quality institutions.

Population structure and effects of inbreeding on milk yield and quality of Murrah buffaloes

To provide data for conservation, selection, and expansion programs of buffalo herds, this study evaluated the history of a population of Murrah buffaloes based on population structure and the effect of inbreeding on accumulated 305-d milk yield (MY), fat yield (FY), protein yield (PY), mozzarella production (MProd), and somatic cell score (SCS). The usefulness of including the individual inbreeding coefficient (F) or individual increase in inbreeding coefficient (Delta F) in the model to describe inbreeding depression was evaluated. Pedigree information from 8,054 animals born between 1976 and 2008 and 4,497 lactation records obtained from 12 herds were used. The realized effective population size was 40.10 +/- 1.27, and the mean F of the entire population was 2.14%. The ratio between the number of founders and ancestors demonstrated the existence of a bottleneck in the pedigree of this population, which may contribute to a reduction of genetic diversity. The effect of F on MY, FY, PY, MProd, and SCS was -1.005 kg, -0.299 kg, -0.246 kg, -1.201 kg, and -0.002 units, and the effect of Delta F transformed to equivalent F (%) for a mean of 2.57 equivalent generations was -4.287 kg, -0.581 kg, -0.383 kg, -2.001 kg, and -0.007 units, respectively. The inbreeding depression observed may have important economic repercussions for production systems. The Delta F can be considered the better of the two indicators of inbreeding depression due to its properties that prevent underestimation of this effect. A designed mating system to avoid inbreeding may be applied to this population to maintain genetic diversity.

Genetic parameter estimates for buffalo milk yield, milk quality and mozzarella production and Bayesian inference analysis of their relationships

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Genetic parameters for buffalo milk yield and milk quality traits using Bayesian inference

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Improving the GNSS positioning stochastic model in the presence of ionospheric scintillation

Ionospheric scintillations are caused by time-varying electron density irregularities in the ionosphere, occurring more often at equatorial and high latitudes. This paper focuses exclusively on experiments undertaken in Europe, at geographic latitudes between similar to 50 degrees N and similar to 80 degrees N, where a network of GPS receivers capable of monitoring Total Electron Content and ionospheric scintillation parameters was deployed. The widely used ionospheric scintillation indices S4 and sigma(phi) represent a practical measure of the intensity of amplitude and phase scintillation affecting GNSS receivers. However, they do not provide sufficient information regarding the actual tracking errors that degrade GNSS receiver performance. Suitable receiver tracking models, sensitive to ionospheric scintillation, allow the computation of the variance of the output error of the receiver PLL (Phase Locked Loop) and DLL (Delay Locked Loop), which expresses the quality of the range measurements used by the receiver to calculate user position. The ability of such models of incorporating phase and amplitude scintillation effects into the variance of these tracking errors underpins our proposed method of applying relative weights to measurements from different satellites. That gives the least squares stochastic model used for position computation a more realistic representation, vis-a-vis the otherwise 'equal weights' model. For pseudorange processing, relative weights were computed, so that a 'scintillation-mitigated' solution could be performed and compared to the (non-mitigated) 'equal weights' solution. An improvement between 17 and 38% in height accuracy was achieved when an epoch by epoch differential solution was computed over baselines ranging from 1 to 750 km. The method was then compared with alternative approaches that can be used to improve the least squares stochastic model such as weighting according to satellite elevation angle and by the inverse of the square of the standard deviation of the code/carrier divergence (sigma CCDiv). The influence of multipath effects on the proposed mitigation approach is also discussed. With the use of high rate scintillation data in addition to the scintillation indices a carrier phase based mitigated solution was also implemented and compared with the conventional solution. During a period of occurrence of high phase scintillation it was observed that problems related to ambiguity resolution can be reduced by the use of the proposed mitigated solution.

A QUALITY MANAGEMENT SYSTEM FOR POSITIONING WITH GNSS TECHNOLOGY

This paper presents a proposal for a Quality Management System for a generic GNSS Surveying Company as an alternative for management and service quality improvements. As a result of the increased demand for GNSS measurements, a large number of new or restructured companies were established to operate in that market. Considering that GNSS surveying is a new process, some changes must be performed in order to accommodate the old surveying techniques and the old fashioned management to the new reality. This requires a new management model that must be based on a well-described procedure sequence aiming at the Total Management Quality for the company. The proposed Quality Management System was based on the requirements of the Quality System ISO 9000:2000, applied to the whole company, focusing on the productive process of GNSS surveying work.

Numerical analysis of refrigerant flow along non-adiabatic capillary tubes using a two-fluid model

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Quality of life and its association with cardiovascular risk factors in a community health care program population

OBJECTIVE: To evaluate quality of life in a population that attended a specific community event on health care education, and to investigate the association of their quality of life with the presence of cardiovascular risk factors INTRODUCTION: Interest in health-related quality of life is growing worldwide as a consequence of increasing rates of chronic disease. However, little is known about the association between quality of life and cardiovascular risk factors. METHODS: This study included 332 individuals. Demographics, blood pressure, body mass index, and casual glycemia were evaluated. The brief version of the World Health Organization Quality of Life questionnaire on quality of life was given to them. The medians of the scores obtained for the physical, psychological, emotional, and environmental domains were used as cutoffs to define higher and lower scores. A multinomial logistic regression model was used to define the parameters associated with lower scores. RESULTS: Diabetes mellitus, dyslipidemia, and obesity were associated with lower scores in the physical domain. Dyslipidemia was also associeted with lower scores in the psychological domain. Male gender and regular physical activity had protective effects on quality of life. Aging was inversely associated with decreased quality of life in the environmental domain. CONCLUSION: The presence of cardiovascular risk factors is related to a decreased quality of life. Conversely, male gender and regular physical activity had protective effects on quality of life. These findings suggest that exercising should be further promoted by health-related public programs, with a special focus on women.

Breed and season influence on milk quality parameters and in mastitis occurrence

Os objetivos do presente estudo foram avaliar a performance das raças Jersey e Holandesa em diferentes condições de pluviosidade (estações seca e chuvosa) através do monitoramento de aspectos relacionados com a mastite subclínica (contagem de células somáticas, isolamento microbiológico, tipo de patógeno isolado), qualidade do leite (lactose, proteína, gordura e sólidos totais) e produção (media da produção de leite) de ambas as raças. O estudo foi conduzido em propriedade leiteira localizada no estado de São Paulo, Brasil. Oito visitas foram realizadas a propriedade, quatro em período de alta pluviosidade e outro em período de baixa pluviosidade. Amostras de leite foram colhidas de todos os animais para contagem eletrônica de células somáticas e determinação dos principais componentes do leite (proteína, gordura, sólidos totais, lactose). Gordura, proteína, sólidos totais e produção leiteira foram influenciadas tanto pela raça como pela estação, apresentando tendências similares para ambas raças em ambas estações. A contagem de células somáticas (CCS) apresentou resultados similares para ambas as raças. Vacas holandesas com infecção intramamária (IIM) apresentaram um maior aumento na CCS quando comparadas as vacas Jersey (P<0.001). Na estação seca, 53 animais tiveram IIM em pelo menos um mês do estudo. Destes, 32 eram da raça Holandesa e 21 da raça Jersey. Na estação chuvosa, 65 animais possuíram infecção intramamária, dos quais 43 eram da raça Holandesa e 22 da raça Jersey. A frequência de casos de IIM foi maior na estação chuvosa em comparação à estação seca. Vacas Jersey apresentaram uma menor chance de desenvolver sinais e sintomas de IIM em relação às vacas holandesas na estação chuvosa (razão de chances=0.52). O maior numero de casos de IIM na estação chuvosa pode ter contribuído para uma menor taxa de lactose no leite para ambas as raças, sendo que esta pode ser considerada como um indicador do status de IIM. Existiu uma prevalência de patógenos contagiosos durante todo o experimento. O modelo estatístico aplicado mostrou que patógenos ambientais foram mais frequentemente isolados da raça Jersey, independentemente do período do estudo. Aparentemente existem diferenças na resposta imune das raças Jersey e Holandesa.