Preliminary validation of an indirect method for discharge evaluation of Pertuso Spring (Central Italy)

This paper deals with the results of the first year of the Environmental Monitoring Plan, related to the catchment project of Pertuso Spring, which is going to be exploited to supply an important water network in the South part of Roma district. The study area is located in the Upper Valley of the Aniene River (Latium, Central Italy), in the outcrop of Triassic-Cenozoic carbonate rocks, and belong to an important karst aquifer. Pertuso Spring is the main outlet of this karst aquifer and is the one of the most important water resource in the southeast part of Latium Region, used for drinking, agriculture and hydroelectric supplies. Karst aquifer feeding Pertuso Spring is an open hydrogeological system aquifer characterized by complex interactions and exchanges between groundwater and surface water which influence the aquifer water budget. Thus, evaluation of groundwater discharge from this karst spring can be affected by difficulties in performing measurements because of the insufficient knowledge about water transfer processes in the hydrological cycle and geometry of drainage conduits. The aim of this paper is to assess the interactions between karst aquifer feeding Pertuso Spring and Aniene River based on stream discharge measurements and water geochemical tracer data in order to validate an indirect method for karst spring discharge evaluation. As a matter of fact, in this paper, there are presented the results of the application of Magnesium as a reliable tracer of karst spring discharge. This indirect method is based on the elaboration of surface water discharge measurements in relationship with Mg2+ concentration values, determined as for groundwater, coming from Pertuso Spring, as for surface water sample, collected upstream and downstream of Pertuso Spring, along Aniene River streamflow. The application of Magnesium as an environmental tracer provides a means to evaluate discharge of Pertuso Spring, as it came up to be a marker of the mixing of surface water and groundwater. On the other hand, the Magnesium ion concentration provides information for the identification of groundwater flow systems and the main hydrogeochemical processes affecting the composition of water within the karst aquifers

Synthesizing Short-Circuiting Validation of Data Structure Invariants

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, short-circuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predicate in separation logic with an executable interpretation; a short-circuiting checker is an invariant checker that stops checking whenever it detects at run time that an assertion for some sub-structure has been fully proven statically. At a high level, our approach does two things: it statically proves the separation properties of data structure invariants using a static shape analysis in a standard way but then leverages this proof in a novel manner to synthesize short-circuiting dynamic validation of the data properties. As a consequence, we enable dynamic validation to make up for imprecision in sound static analysis while simultaneously leveraging the static verification to make the remaining dynamic validation efficient. We show empirically that short-circuiting can yield asymptotic improvements in dynamic validation, with low overhead over no validation, even in cases where static verification is incomplete

Field validation of a dusting cloth for mycological surveillance of surfaces

Efficient monitoring of surfaces for spores of filamentous fungi is essential for detecting minor contamination even when air samples test negative for fungi. This study evaluates and compares a pad prepared using a dusting cloth with Rodac contact plates and humidified swabs for detecting mycological contamination, and concludes that the new method is superior and cheaper

An information architecture for validating courseware

Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessary to identify the implicit and explicit information needed for validation. In this paper, we identify this information and formally define an information architecture to model courseware validation information explicitly. This promotes tool-support for courseware validation and its interoperability with the courseware specifications

Systems validation: application to statistical programs

BACKGROUND: In 2003, the United States Food and Drug Administration (FDA) released a guidance document on the scope of "Part 11" enforcement. In this guidance document, the FDA indicates an expectation of a risk-based approach to determining which systems should undergo validation. Since statistical programs manage and manipulate raw data, their implementation should be critically reviewed to determine whether or not they should undergo validation. However, the concepts of validation are not often discussed in biostatistics curriculum. DISCUSSION: This paper summarizes a "Plan, Do, Say" approach to validation that can be incorporated into statistical training so that biostatisticians can understand and implement validation principles in their research. SUMMARY: Validation is a process that requires dedicated attention. The process of validation can be easily understood in the context of the scientific method

Validation of suply chain integration scales and the effect that size, level of vertical integration, industry and country have on their value

Academic literature would appear to indicate that supply chain integration is a major factor in explaining the performance of companies. The results are nevertheless inconclusive. Certain authors put forward the idea that the vast range of results obtained are due, amongst other things, to the fact that there is no exactness to the group of scales used, no-one has yet published an analysis of the measurement models nor clear benchmarks. In this paper, we present the theoretical definition of four supply chain integration scales (clients, suppliers, external and internal) and the convergent and discriminant validity of a measurement instrument based on a list of items taken from earlier papers. We also propose a benchmark to interpret the scales by percentiles, using a diverse international sampling broken down into sub-samples based on sector, type of company, size of company and degree of vertical integration.Ministerio de Ciencia e Innovación DPI2010-18243Ministerio de Educación y Ciencia DPI2006-0553