Some considerations on the compile-time analysis of constraint logic programs

This paper discusses some issues which arise in the dataflow analysis of constraint logic programming (CLP) languages. The basic technique applied is that of abstract interpretation. First, some types of optimizations possible in a number of CLP systems (including efficient parallelization) are presented and the information that has to be obtained at compile-time in order to be able to implement such optimizations is considered. Two approaches are then proposed and discussed for obtaining this information for a CLP program: one based on an analysis of a CLP metainterpreter using standard Prolog analysis tools, and a second one based on direct analysis of the CLP program. For the second approach an abstract domain which approximates groundness (also referred to as "definiteness") information (i.e. constraint to a single valué) and the related abstraction functions are presented.

Assessment for English language education on the programs at the Agricultural Engineering School of Madrid

The convergence process among European academic degrees pursues the exchange of graduate students and the adaptation of university programs to social demand. Within the framework of the European Higher Education, European universities will need to be more competitive not only by increasing or maintaining the student enrolment, but also in their academic performance. Thus, the reinforcing of English language education within the University Programs might play an important role to reach these objectives. In this sense, a complete survey was accomplished at the Agricultural Egineering School of Madrid (ETSIA ) addressing issues such as: identification the needs for bilingual instruction at ETSIA, identification resources needed and interest and background in English language of students and professors (San José et al., 2013). The conclusions and recommendations to promote the bilingual instruction in the ETSIA, taking into account the approaches followed by other Spanish universities, are presented in this work.

Selection, training and validation process of a sensory panel for bread analysis: Influence of cultivar on the quality of breads made from common wheat and spelta wheat

A protocol of selection, training and validation of the members of the panel for bread sensory analysis is proposed to assess the influence of wheat cultivar on the sensory quality of bread. Three cultivars of bread wheat and two cultivars of spelt wheat organically-grown under the same edaphoclimatic conditions were milled and baked using the same milling and baking procedure. Through the use of triangle tests, differences were identified between the five breads. Significant differences were found between the spelt breads and those made with bread wheat for the attributes ?crumb cell homogeneity? and ?crumb elasticity?. Significant differences were also found for the odor and flavor attributes, with the bread made with ?Espelta Navarra? being the most complex, from a sensory point of view. Based on the results of this study, we propose that sensory properties should be considered as breeding criteria for future work on genetic improvement.

Influence of the training system on the agronomic behavior and grape composition of Albariño in Rías Baixas apellation

The aim of this study was to evaluate if early defoliation can be an alternative to bunch thinning in limiting yield and improving quality in grapes of the white cultivar Loureiro (Vitis vinifera L.), grafted onto 1103P. The field trial had been set up in a commercial vineyard in Vinhos Verdes Region (Northwest of Portugal, 41º 48? 53? N, 8º 24? 42? W). Treatments studied, performed five days before full bloom were: LR5 ? Leaf removal of the first five basal leaves, performed manually, LR8 ? Leave removal of the first eight basal leaves, LRM ? mechanical leaf removal and C ? the control, without defoliation. This paper reports the results of four years (2010-2013). The results presented a significant removal of main leaf area after defoliation principally in the most intensive treatment (LR8) but at harvest, the total leaf area had been compensated by lateral regrowth and no statistical differences between the treatments and the control were found. Early defoliation caused a decrease in fruit set and also a significant reduction in the diameter of the berry within the more severe defoliation treatments (LR5 and LR8). Yield factors were also significantly affected by the defoliation, causing a reduction of bunch weight and in 2013 a yield reduction in LR8 and LRM, and in 2010 in LR8. Conversely, LR5 presented a yield always similar to the control C. The reduction of cluster compactness and the substantial improvement of the microclimate at the cluster level significantly reduced bunch rot incidence in the defoliated modalities compared to control. No carry-over effects, along the four years trial were observed Early defoliation proved to be a canopy management technique that can have a strong impact in the final quality of grapes, reducing the compactness and lower the incidence and intensity of bunch rot, even if the reduction of yield observed in other papers had not been observed in all modalities.

Sources of selection bias in evaluating social programs: An interpretation of conventional measures and evidence on the effectiveness of matching as a program evaluation method

This paper decomposes the conventional measure of selection bias in observational studies into three components. The first two components are due to differences in the distributions of characteristics between participant and nonparticipant (comparison) group members: the first arises from differences in the supports, and the second from differences in densities over the region of common support. The third component arises from selection bias precisely defined. Using data from a recent social experiment, we find that the component due to selection bias, precisely defined, is smaller than the first two components. However, selection bias still represents a substantial fraction of the experimental impact estimate. The empirical performance of matching methods of program evaluation is also examined. We find that matching based on the propensity score eliminates some but not all of the measured selection bias, with the remaining bias still a substantial fraction of the estimated impact. We find that the support of the distribution of propensity scores for the comparison group is typically only a small portion of the support for the participant group. For values outside the common support, it is impossible to reliably estimate the effect of program participation using matching methods. If the impact of participation depends on the propensity score, as we find in our data, the failure of the common support condition severely limits matching compared with random assignment as an evaluation estimator.