This study aims to evaluate the effectiveness of the Monarch Butterfly Biosphere Reserve (MBBR) in preventing forest degradation and land-use changes within communal lands in the context of limited public consultation and the transformation of communal forest governance. We analysed forest-cover changes over 50 years using a multi-temporal approach, integrating aerial photographs, orthophotographs and satellite imagery. We obtained contextual knowledge through our long-term research engagement with the region and interviews conducted during participatory fieldwork. We analysed land-use changes in a watershed within the MBBR in Mexico before and after its designation as a protected area. Despite the reserve’s protected status, nearly half of the study area experienced forest-cover changes. Surprisingly, the most intense deforestation occurred after conservation decrees, as some communities engaged in pre-emptive forest clearing in response to anticipated restrictions. However, in later periods, forest recovery – driven by payment for environmental services, natural regeneration and community participation – began to outpace degradation. Nonetheless, the fir forest that is essential for monarch butterfly habitat was reduced by 43.3%, with illegal logging being one of the leading causes. This study highlights the importance of community involvement when establishing protected areas, as it can help reduce environmental impacts and ensure conservation success.

Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical techniques, such as abstract interpretation, are not immune to bugs. Ensuring the correctness and reliability of software analyzers is critical if they are to be inserted in production compilers and development environments. While compiler validation has seen notable success, formal validation of static analysis tools remains relatively unexplored. In this paper we present checkification, a simple, automatic method for testing static analyzers. Broadly, it consists in checking, over a suite of benchmarks, that the properties inferred statically are satisfied dynamically. The main advantage of our approach lies in its simplicity, which stems directly from framing it within the Ciao assertion-based validation framework, and its blended static/dynamic assertion checking approach. We demonstrate that in this setting, the analysis can be tested with little effort by combining the following components already present in the framework: 1) the static analyzer, which outputs its results as the original program source with assertions interspersed; 2) the assertion run-time checking mechanism, which instruments a program to ensure that no assertion is violated at run time; 3) the random test case generator, which generates random test cases satisfying the properties present in assertion preconditions; and 4) the unit-test framework, which executes those test cases. We have applied our approach to the CiaoPP static analyzer, resulting in the identification of many bugs with reasonable overhead. Most of these bugs have been either fixed or confirmed, helping us detect a range of errors not only related to analysis soundness but also within other aspects of the framework.

Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy, non-failure, cost, etc. This has motivated significant work on developing abstract domains to improve the precision and performance of sharing analyses. Much of this work has centered around the family of set-sharing domains, because of the high precision they offer. However, this comes at a price: their scalability to a wide set of realistic programs remains challenging and this hinders their wider adoption. In this work, rather than defining new sharing abstract domains, we focus instead on developing techniques which can be incorporated in the analyzers to address aspects that are known to affect the efficiency of these domains, such as the number of variables, without affecting precision. These techniques are inspired in others used in the context of compiler optimizations, such as expression reassociation and variable trimming. We present several such techniques and provide an extensive experimental evaluation of over 1100 program modules taken from both production code and classical benchmarks. This includes the Spectector cache analyzer, the s(CASP) system, the libraries of the Ciao system, the LPdoc documenter, the PLAI analyzer itself, etc. The experimental results are quite encouraging: we have obtained significant speedups, and, more importantly, the number of modules that require a timeout was cut in half. As a result, many more programs can be analyzed precisely in reasonable times.

We introduce a versatile high-repetition-rate solid tape target system suitable for relativistic laser-plasma driven secondary sources. We demonstrate the operation and stability monitoring based on a petawatt laser focused at 1 Hz. Experiments were carried out at the VEGA-3 laser system of the Centro de Láseres Pulsados facility where results for different tape materials and thicknesses are presented. Experimental proton spectra were recorded by a Thomson parabola spectrometer and a time-of-flight detector. In addition, non-invasive detectors, such as a target charging monitor and ionization chamber detectors, were tested as metrology for the stability of the source. Degradation of the proton signal at high-repetition-rate operation was observed and it was solved by online optimization of the relative focus position of the target and laser beam parameters. We report the use of the tape target for bursts of 1000 shots at 1 Hz with mean cut-off energies of about 10 MeV in optimized interaction conditions.

Few studies have examined the psychometric properties of the Connor-Davidson Resilience Scale (CD-RISC) in a large adolescent community sample, finding a significant disparity. This study explores the psychometric properties of the CD-RISC among Spanish adolescents by means of exploratory factor analysis (EFA), Rasch analysis, and measurement invariance (MI) across sex, as well as internal consistency and criterion validity. The sample was comprised of 463 adolescents (231 girls), aged 12 to 18 years, who completed the CD-RISC and other measures on emotional status and quality of life. The EFA suggested that the CD-RISC structure presented a unidimensional model. Consequently, shorter unidimensional CD-RISC models observed in the literature were explored. Thus, the Campbell-Sills and Stein CD–RISC–10 showed the soundest psychometric properties, providing an adequate item fit and supporting MI and non-differential item functioning across sex. Item difficulty levels were biased toward low levels of resilience. Some items showed malfunctioning in lower response categories. With regard to reliability, categorical omega was. 82. Strong associations with health-related quality of life, major depressive disorder symptoms, and emotional symptoms were observed. A weak association was found between resilience and the male sex. Campbell-Sills and Stein’s CD–RISC–10 model emerges as the best to assess resilience among Spanish adolescents, as already reported in adults. Thus, independently of the developmental stage, the core of resilience may reside in the aspects of hardiness and persistence.

Current live-cell imaging techniques make possible the observation of live events and the acquisition of large datasets to characterize the different parameters of the visualized events. They provide new insights into the dynamics of biological processes with unprecedented spatial and temporal resolutions. Here we describe the implementation and application of a new tool called TrackAnalyzer, accessible from Fiji and ImageJ. Our tool allows running semi-automated single-particle tracking (SPT) and subsequent motion classification, as well as quantitative analysis of diffusion and intensity for selected tracks relying on the graphical user interface (GUI) for large sets of temporal images (X–Y–T or X–Y–C–T dimensions). TrackAnalyzer also allows 3D visualization of the results as overlays of either spots, cells or end-tracks over time, along with corresponding feature extraction and further classification according to user criteria. Our analysis workflow automates the following steps: (1) spot or cell detection and filtering, (2) construction of tracks, (3) track classification and analysis (diffusion and chemotaxis), and (4) detailed analysis and visualization of all the outputs along the pipeline. All these analyses are automated and can be run in batch mode for a set of similar acquisitions.

The role, functions and duties of teachers have dramatically changed with the COVID-19 pandemic. This sudden change has posed enormous challenges for schools, students and teachers. This article deals with the situation of music teaching in the Spanish province of Albacete (Castilla-La Mancha)1 in the first two terms of the course 2020–2021 through face-to-face lessons. A questionnaire, created on music teaching in elementary schools, was answered by 96 teachers, teaching an amount of 35,365 primary education pupils in Albacete. The results of this research show that the everyday teaching has experienced relevant changes, especially in instrumental practice.

Premature birth, bronchopulmonary dysplasia or restrictive nutrition in the first weeks of postnatal life may have repercussions on lung development and affect long-term lung function outcomes. This prospective observational study is based on a cohort of 313 very low birth weight (VLBW) neonates, born between 1 January 2008 and 1 December 2016. The daily intake of calories, protein, fat and carbohydrates during the first week of life and evidence of inadequate weight gain (Δwt) until week 36 of gestational age (GA) were recorded. FEV1, FEF25–75 %, forced vital capacity (FVC) and the FEV1/FVC ratio were determined. The relations between these parameters were determined by regression analysis. Spirometric parameters were obtained for 141 children with a mean age of 9 years (95 % CI 7, 11); 69 of them (48·9 %) had presented wheezing episodes on more than three occasions. In addition, 60 (42·5 %) had a history of bronchopulmonary dysplasia. Of these, n 40 (66·6 %) had a history of wheezing. Significant association between protein/energy intake in the first week of life and the lung function parameters analysed was observed. Poor Δwt to GA week 36 was significantly associated with decreased mean pulmonary flow. Inadequate protein/energy intake in the first week of life of VLBW newborns and poor Δwt to week 36 of GA is associated with a significant worsening of lung function parameters.

Recent findings suggest that the distribution of protein intake throughout the day has an impact on various health outcomes in older adults, independently of the amount consumed. We evaluated the association between the distribution of dietary protein intake across meals and all-cause mortality in community-dwelling older adults. Data from 3225 older adults aged ≥ 60 years from the Seniors-ENRICA-1 cohort were examined. Habitual dietary protein consumption was collected in 2008–2010 and in 2012 through a validated diet history. Protein distribution across meals was calculated for each participant as the coefficient of variation (CV) of protein intake per meal, in sex-specific tertiles. Vital status was obtained from the National Death Index up to 30 January 2020. Cox proportional hazards regression was performed to determine the hazard ratios (HR) and their 95 % CI for the association between the distribution of daily protein intake across meals and all-cause mortality. Over a median follow-up of 10·6 years, 591 deaths occurred. After adjustment for potential confounders, the CV of total protein intake was not associated with all-cause mortality (HR and 95 % CI in the second and third tertile v. the lowest tertile: 0·94 (0·77, 1·15) and 0·88 (0·72, 1·08); Ptrend = 0·22). Similarly, the HR of all-cause mortality when comparing extreme tertiles of CV for types of protein were 0·89 (0·73, 1·10) for animal-protein intake and 1·02 (0·82, 1·25) for plant-protein intake. Dietary protein distribution across meals was not associated with all-cause mortality, regardless of protein source and amount, among older adults. Further studies should investigate whether this picture holds for specific causes of death.

The hibernation sites of the monarch butterfly (Danaus plexippus, L.) were discovered in central Mexico in 1975 and, following the decree of a protected area in 1986, processes of deforestation and forest degradation were triggered on the socially owned land in question. Further deterioration has occurred since the expansion and designation of the area as the Monarch Butterfly Biosphere Reserve in 2000. An innovative programme of economic incentives was established to compensate the affected properties in the core zone for curtailment of their forest use and to pay for environmental services; however, some of the agrarian communities were in disagreement with this programme. Orthophotographs from 1994 were compared with high-resolution satellite images from 2017 in order to determine forest-cover trends in the areas incentivized by Payment for Environmental Services to avoid deforestation and those areas that were not incentivized. The results show an overall recovery of 2% in forest area between 1994 and 2017, while a 5% increase in the deforested area is notable in the core zone. The findings indicate that, for the establishment of an effective protected area on social property lands, consensus must be achieved across all of the communities in order to avoid subsequent forest loss.

Palaeolithic representations can be approached from different perspectives. Studying the creative processes, we can glimpse the decisions that the Palaeolithic artists made and the actions they carried out to materialize an idea. Additionally, the combined study of both graphic and functional actions performed on an object provides a comprehensive approach and understanding of the evidence: in the first place, it allows us to hypothesize about the presence or absence of symbolic purpose of the representations; secondly, it makes the potential choice of eliminating such symbolism discernible for us. The monographic study of a Magdalenian pebble from Coímbre Cave (Asturias, Spain) engraved between 15,680 and 14,230 cal. bp shows that a mistake was made during the engraving process; subsequently an attempt was made to eliminate the representations, and finally the pebble was used as a hammerstone. This paper provides argumentation to reconstruct a complex biography of an object of Palaeolithic portable art, discussing intentional loss of symbolic value of both the decoration and the object and the latter's reuse (as raw material) for an economic or domestic purpose.