Type-based allocation analysis for co-recursion in lazy functional languages

This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this system against an instrumented variant of Launch-bury’s semantics for lazy evaluation which serves as a formal cost model.Our soundness proof requires an intermediate semantics employing indi-rections. Our proof of correspondence between these semantics that weprovide is thus a crucial part of this work.The analysis has been implemented as an automatic inference system.We demonstrate its effectiveness using several example programs thatpreviously could not be automatically analysed.Postprin

Exposure assessment of severe acute respiratory syndrome coronavirus 2 and norovirus genogroup I/genogroup II in aerosols generated by a municipal wastewater treatment plant

The presence of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) in wastewater and its potential as an airborne transmission source require extensive investigation, particularly in wastewater treatment plants (WWTPs), where few studies have been conducted. The aim of this study was to investigate the presence of SARS-CoV-2 and norovirus (NoV) RNA in wastewater and air samples collected from a municipal WWTP. In addition, the study assessed the potential risk of viral exposure among WWTP employees. In both the summer and winter campaigns of this study, SARS-CoV-2 and NoV RNA were quantified in wastewater/sludge samples other than effluent. Viral RNA was not detected in any of the air samples collected. The exposure risk assessment with the SARS-CoV-2 RNA concentrations in the influent pumping station of this study shows a lower risk than the calculation with the historical data provided by AquaVall, but both show a low-to-medium exposure risk for the WWTP workers. The sensitivity analysis shows that the result of the model is strongly influenced by the SARS-CoV-2 RNA quantification in the wastewater. This study underscores the need for extensive investigations into the presence and viability of SARS-CoV-2 in wastewater, especially as a potential airborne transmission source within WWTPs. © 2024 The Author(s). CLEAN – Soil, Air, Water published by Wiley-VCH GmbH.This work was funded by the Marie Skłodowska-Curie Actions Postdoctoral Fellowship (project PLASMARISE – 101151154). This work was performed with financial support from the Regional Government of Castilla y León and the FEDER program (Projects CLU 2017-09, CL-EI-2021-07, UIC315, and VA266P20). This work was funded by Fundação para a Ciência e a Tecnologia (FCT, Portugal), through the strategic projects UIDB/04292/2020 (https://doi.org/10.54499/UIDB/04292/2020) and UIDP/04292/2020 (https://doi.org/10.54499/UIDP/04292/2020) granted to MARE—Marine and Environmental Sciences Centre, and the project LA/P/0069/2020 (https://doi.org/10.54499/LA/P/0069/2020) granted to the Associate Laboratory ARNET—Aquatic Research Network. Agua de Valladolid E.P.E.L (AquaVall) is also gratefully acknowledged for providing the samples and preliminary dat

No silver bullet for digital soil mapping: country-specific soil organic carbon estimates across Latin America.

Country-specific soil organic carbon (SOC) estimates are the baseline for the Global SOC Map of the Global Soil Partnership (GSOCmap-GSP). This endeavor is key to explaining the uncertainty of global SOC estimates but requires harmonizing heterogeneous datasets and building country-specific capacities for digital soil mapping (DSM).We identified country-specific predictors for SOC and tested the performance of five predictive algorithms for mapping SOC across Latin America. The algorithms included support vector machines (SVMs), random forest (RF), kernel-weighted nearest neighbors (KK), partial least squares regression (PL), and regression kriging based on stepwise multiple linear models (RK). Country-specific training data and SOC predictors (5 x 5 km pixel resolution) were obtained from ISRIC - World Soil Information. Temperature, soil type, vegetation indices, and topographic constraints were the best predictors for SOC, but country-specific predictors and their respective weights varied across Latin America. We compared a large diversity of country-specific datasets and models, and were able to explain SOC variability in a range between ~ 1 and ~ 60 %, with no universal predictive algorithm among countries. A regional (n = 11 268 SOC estimates) ensemble of these five algorithms was able to explain ~ 39% of SOC variability from repeated 5-fold cross-validation.We report a combined SOC stock of 77.8 +- 43.6 Pg (uncertainty represented by the full conditional response of independent model residuals) across Latin America. SOC stocks were higher in tropical forests (30 +- 16.5 Pg) and croplands (13 +- 8.1 Pg). Country-specific and regional ensembles revealed spatial discrepancies across geopolitical borders, higher elevations, and coastal plains, but provided similar regional stocks (77.8 +- 42.2 and 76.8 +- 45.1 Pg, respectively). These results are conservative compared to global estimates (e.g., SoilGrids250m 185.8 Pg, the Harmonized World Soil Database 138.4 Pg, or the GSOCmap-GSP 99.7 Pg). Countries with large area (i.e., Brazil, Bolivia, Mexico, Peru) and large spatial SOC heterogeneity had lower SOC stocks per unit area and larger uncertainty in their predictions. We highlight that expert opinion is needed to set boundary prediction limits to avoid unrealistically high modeling estimates. For maximizing explained variance while minimizing prediction bias, the selection of predictive algorithms for SOC mapping should consider density of available data and variability of country-specific environmental gradients. This study highlights the large degree of spatial uncertainty in SOC estimates across Latin America. We provide a framework for improving country-specific mapping efforts and reducing current discrepancy of global, regional, and country-specific SOC estimates

Habitat quality affects the condition of Luciobarbus sclateri in the Guadiamar River (SW Iberian Peninsula): Effects of disturbances by the toxic spill of the Aznalcóllar mine

This study analyzes the somatic condition of southern Iberian barbel Luciobarbus sclateri (Günther, 1868) in the Guadiamar River (SW Iberian Peninsula). This river was seriously affected by a toxic spill of about 4 million cubic meters of acidic water and 2 million cubic meters of mud rich in heavy metals. Once the spill removal works concluded, sites affected and unaffected by the accident were sampled to study its effects on the fish fauna. The ecological variables registered were related to water quality, physical state of reaches, ecological quality, resources exploited by fish, and potential intra-specific interactions. From an initial 15 ecological variables, seasonal water flow and pH explained most of the variation in barbel condition. This study shows that the Guadiamar River, 56 months after the accident, is still undergoing a recovery process where, beyond ecological variables, proximity to the affected area is the most influential factor for fish condition. © 2012 Springer Science+Business Media B.V

Sodium lauryl ether sulfate (SLES) degradation by nitrate-reducing bacteria

The online version of this article (doi:10.1007/s00253-017-8212-x) contains supplementary material, which is available to authorized users.The surfactant sodium lauryl ether sulfate (SLES) is widely used in the composition of detergents and frequently ends up in wastewater treatment plants (WWTPs). While aerobic SLES degradation is well studied, little is known about the fate of this compound in anoxic environments, such as denitrification tanks of WWTPs, nor about the bacteria involved in the anoxic biodegradation. Here, we used SLES as sole carbon and energy source, at concentrations ranging from 50 to 1000 mg L1, to enrich and isolate nitrate-reducing bacteria from activated sludge of a WWTP with the anaerobic-anoxic-oxic (A2/O) concept. In the 50 mg L1 enrichment, Comamonas (50%), Pseudomonas (24%), and Alicycliphilus (12%) were present at higher relative abundance, while Pseudomonas (53%) became dominant in the 1000 mg L1 enrichment. Aeromonas hydrophila strain S7, Pseudomonas stutzeri strain S8, and Pseudomonas nitroreducens strain S11 were isolated from the enriched cultures. Under denitrifying conditions, strains S8 and S11 degraded 500 mg L1 SLES in less than 1 day, while strain S7 required more than 6 days. Strains S8 and S11 also showed a remarkable resistance to SLES, being able to grow and reduce nitrate with SLES concentrations up to 40 g L1. Strain S11 turned out to be the best anoxic SLES degrader, degrading up to 41% of 500 mg L1. The comparison between SLES anoxic and oxic degradation by strain S11 revealed differences in SLES cleavage, degradation, and sulfate accumulation; both ester and ether cleavage were probably employed in SLES anoxic degradation by strain S11.This research was supported by the Spanish Ministry of Education and Science (contract project CTQ2007-64324 and 447 CONSOLIDER-CSD 2007-00055). The Regional Government of Castilla y Leon (Ref. GR76) is also gratefully acknowledged. MRD is supported by the WIMEK graduate school (project BAdaptive capacity and functionality of multi-trophic aquatic ecosystems^). AJMS is supported by the Gravitation grant (project 024.002.002) of the Netherlands Ministry of Education, Culture and Science and the Netherlands Science Foundation (NWO). AJMS and AJC are supported by an European ResearchCouncil (ERC) Grant (Project 323009).Thisstudywassupported by the Portuguese Foundation for Science and Technology (FCT) under the scope of the strategic funding of UID/BIO/04469/2013 unit and COMPETE 2020 (POCI-01-0145-FEDER-006684) and BioTecNorte operation (NORTE-01-0145-FEDER-000004) funded by the European Regional Development Fund under the scope of Norte2020 - Programa Operacional Regional do Norte. This study was alsosupportedbythePortugueseFoundationforScienceandTechnology (FCT) under the scope of the Project RECI/BBB-EBI/0179/2012 (FCOMP-01-0124-FEDER-027462). Joana Alves from University of Minho (Portugal) is acknowledged for support with the molecular techniques.info:eu-repo/semantics/publishedVersio

Diagnosis and outcome of acute respiratory failure in immunocompromised patients after bronchoscopy

Objective: We wished to explore the use, diagnostic capability and outcomes of bronchoscopy added to noninvasive testing in immunocompromised patients. In this setting, an inability to identify the cause of acute hypoxaemic respiratory failure is associated with worse outcome. Every effort should be made to obtain a diagnosis, either with noninvasive testing alone or combined with bronchoscopy. However, our understanding of the risks and benefits of bronchoscopy remains uncertain. Patients and methods: This was a pre-planned secondary analysis of Efraim, a prospective, multinational, observational study of 1611 immunocompromised patients with acute respiratory failure admitted to the intensive care unit (ICU). We compared patients with noninvasive testing only to those who had also received bronchoscopy by bivariate analysis and after propensity score matching. Results: Bronchoscopy was performed in 618 (39%) patients who were more likely to have haematological malignancy and a higher severity of illness score. Bronchoscopy alone achieved a diagnosis in 165 patients (27% adjusted diagnostic yield). Bronchoscopy resulted in a management change in 236 patients (38% therapeutic yield). Bronchoscopy was associated with worsening of respiratory status in 69 (11%) patients. Bronchoscopy was associated with higher ICU (40% versus 28%; p<0.0001) and hospital mortality (49% versus 41%; p=0.003). The overall rate of undiagnosed causes was 13%. After propensity score matching, bronchoscopy remained associated with increased risk of hospital mortality (OR 1.41, 95% CI 1.08-1.81). Conclusions: Bronchoscopy was associated with improved diagnosis and changes in management, but also increased hospital mortality. Balancing risk and benefit in individualised cases should be investigated further

Metal Bioavailability in the Sava River Water

Metals present one of the major contamination problems for freshwater systems, such as the Sava River, due to their high toxicity, persistence, and tendency to accumulate in sediment and living organisms. The comprehensive assessment of the metal bioavailability in the Sava River encompassed the analyses of dissolved and DGT-labile metal species of nine metals (Cd, Co, Cr, Cu, Fe, Mn, Ni, Pb, and Zn) in the river water, as well as the evaluation of the accumulation of five metals (Cd, Cu, Fe, Mn, and Zn) in three organs (liver, gills, and gastrointestinal tissue) of the bioindicator organism, fish species European chub (Squalius cephalus L.).This survey was conducted mainly during the year 2006, in two sampling campaigns, in April/May and September, as periods representative for chub spawning and post-spawning. Additionally, metal concentrations were determined in the intestinal parasites acanthocephalans, which are known for their high affinity for metal accumulation. Metallothionein concentrations were also determined in three chub organs, as a commonly applied biomarker of metal exposure. Based on the metal concentrations in the river water, the Sava River was defined as weakly contaminated and mainly comparable with unpolluted rivers, which enabled the analyses of physiological variability of metal and metallothionein concentrations in the chub organs, as well as the establishment of their constitutive levels

Meta-omics approaches to understand and improve wastewater treatment systems

Biological treatment of wastewaters depends on microbial processes, usually carried out by mixed microbial communities. Environmental and operational factors can affect microorganisms and/or impact microbial community function, and this has repercussion in bioreactor performance. Novel high-throughput molecular methods (metagenomics, metatranscriptomics, metaproteomics, metabolomics) are providing detailed knowledge on the microorganisms governing wastewater treatment systems and on their metabolic capabilities. The genomes of uncultured microbes with key roles in wastewater treatment plants (WWTP), such as the polyphosphate-accumulating microorganism Candidatus Accumulibacter phosphatis, the nitrite oxidizer Candidatus Nitrospira defluvii or the anammox bacterium Candidatus Kuenenia stuttgartiensis are now available through metagenomic studies. Metagenomics allows to genetically characterize full-scale WWTP and provides information on the lifestyles and physiology of key microorganisms for wastewater treatment. Integrating metagenomic data of microorganisms with metatranscriptomic, metaproteomic and metabolomic information provides a better understanding of the microbial responses to perturbations or environmental variations. Data integration may allow the creation of predictive behavior models of wastewater ecosystems, which could help in an improved exploitation of microbial processes. This review discusses the impact of meta-omic approaches on the understanding of wastewater treatment processes, and the implications of these methods for the optimization and design of wastewater treatment bioreactors.Research was supported by the Spanish Ministry of Education and Science (Contract Project CTQ2007-64324 and CONSOLIDER-CSD 2007-00055) and the Regional Government of Castilla y Leon (Ref. VA038A07). Research of AJMS is supported by the European Research Council (Grant 323009