Stream Productivity by Outermost Termination

Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equations produces the intended stream in the limit. In this paper we show that productivity is equivalent to termination with respect to the balanced outermost strategy of a TRS obtained by adding an additional rule. For specifications not involving branching symbols balancedness is obtained for free, by which tools for proving outermost termination can be used to prove productivity fully automatically

Tracked to protect - Spatiotemporal dynamics of recreational boating in sensitive marine natural areas

In many coastal areas, high numbers of recreationists may exceed ecological capacities. Careful monitoring of visitor flows is a first prerequisite for coastal area management. We show how AIS ship data can be translated into interpretable information on recreational boats and investigate whether AIS can provide monitoring information when compared to nature conservation policy targets. In the Wadden Sea UNESCO World Heritage Site we used nearly 9 million data points to create spatiotemporal patterns for the 2018 recreation season. We combined this with shipping lanes and bathymetry data and compared the resulting patterns with nature protection regulations. Our results show that most of the traffic is concentrated around tidal channels. We also show that exceeding speed limits is not predominant behaviour, but the effect of speeding on birds and seals might be more severe than the data suggests. We mapped favourite tidal flat moor activities, and observed where this occurs in Marine Protected Areas. We conclude that AIS analysis can provide valuable recreational boating monitoring, relevant to sensitive coastal area management in the entire Dutch Wadden Sea for the full recreational season. Broader integration of AIS with radar data and ecological data can add to the power of using AIS

Maintaining natural and traditional cultural green infrastructures across Europe: learning from historic and current landscape transformations

CONTEXT: Maintaining functional green infrastructures (GIs) require evidence-based knowledge about historic and current states and trends of representative land cover types. OBJECTIVES: We address: (1) the long-term loss and transformation of potential natural forest vegetation; (2) the effects of site productivity on permanent forest loss and emergence of traditional cultural landscapes; (3) the current management intensity; and (4) the social-ecological contexts conducive to GI maintenance. METHODS: We selected 16 case study regions, each with a local hotspot landscape, ranging from intact forest landscapes, via contiguous and fragmented forest covers, to severe forest loss. Quantitative open access data were used to estimate (i) the historic change and (ii) transformation of land covers, and (iii) compare the forest canopy loss from 2000 to 2018. Qualitative narratives about each hotspot landscape were analysed for similarities (iv). RESULTS: While the potential natural forest vegetation cover in the 16 case study regions had a mean of 86%, historically it has been reduced to 34%. Higher site productivity coincided with transformation to non-forest land covers. The mean annual forest canopy loss for 2000–2018 ranged from 0.01 to 1.08%. The 16 case studies represented five distinct social-ecological contexts (1) radical transformation of landscapes, (2) abuse of protected area concepts, (3) ancient cultural landscapes (4) multi-functional forests, and (5) intensive even-aged forest management, of which 1 and 4 was most common. CONCLUSIONS: GIs encompass both forest naturalness and traditional cultural landscapes. Our review of Pan-European regions and landscapes revealed similarities in seemingly different contexts, which can support knowledge production and learning about how to sustain GIs

Update of the list of qualified presumption of safety (QPS) recommended microorganisms intentionally added to food or feed as notified to EFSA

The qualified presumption of safety (QPS) provides a generic pre-assessment of the safety ofmicroorganisms intended for use in the food or feed chains, to support the work of EFSA’s ScientificPanels. QPS assessment allows a fast track evaluation of strains belonging to QPS taxonomic units(TUs): species for bacteria, yeast, fungi, protists/microalgae and families for viruses. QPS TUs areassessed for their body of knowledge and safety. Safety concerns related to a QPS TU are reflected,when possible, as‘qualifications’, which should be tested at strain and/or product level. Based on thepossession of potentially harmful traits by some strains,filamentous fungi, bacteriophages, oomycetes,streptomycetes,Enterococcus faecium,Escherichia coliandClostridium butyricumare excluded fromthe QPS assessment.Between October 2019 and September 2022, 323 notifications of TUs werereceived, 217 related to feed additives, 54 to food enzymes, food additives andflavourings, 14 to plantprotection products and 38 to novel foods. The list of QPS-recommended TUs is reviewed every6 months following an extensive literature search strategy. Only sporadic infections with a few QPSstatus TUs in immunosuppressed individuals were identified and the assessment did not change theQPS status of these TUs. The QPS list has been updated in relation to the most recent taxonomicinsights and the qualifications were revised and streamlined. The qualification‘absence ofaminoglycoside production ability’was withdrawn forBacillus velezensis. Six new TUs received the QPSstatus:Bacillus paralicheniformiswith the qualification‘absence of toxigenic activity’and‘absence ofbacitracin production ability’;Bacillus circulanswith the qualifications for‘production purposes only’and‘absence of cytotoxic activity’;Haematococcus lacustris(synonymHaematococcus pluvialis) andOgataea polymorpha, both with the qualification‘for production purposes only’;Lactiplantibacillusargentoratensis;Geobacillus thermodenitrificanswith the qualification‘absence of toxigenic activity

Update of the list of QPS-recommended biological agents intentionally added to food or feed as notified to EFSA 15: suitability of taxonomic units notified to EFSA until September 2021

The qualified presumption of safety (QPS) approach was developed to provide a generic pre-evaluation of the safety of biological agents. The QPS approach is based on an assessment of published data for each agent, with respect to its taxonomic identity, the body of relevant knowledge and safety concerns. Safety concerns are, where possible, confirmed at the species/strain or product level and reflected by ‘qualifications’. The QPS list was updated in relation to the revised taxonomy of the genus Bacillus, to synonyms of yeast species and for the qualifications ‘absence of resistance to antimycotics’ and ‘only for production purposes’. Lactobacillus cellobiosus has been reclassified as Limosilactobacillus fermentum. In the period covered by this statement, no new information was found that would change the status of previously recommended QPS taxonomic units (TU)s. Of the 70 microorganisms notified to EFSA, 64 were not evaluated: 11 filamentous fungi, one oomycete, one Clostridium butyricum, one Enterococcus faecium, five Escherichia coli, one Streptomyces sp., one Bacillus nakamurai and 43 TUs that already had a QPS status. Six notifications, corresponding to six TUs were evaluated: Paenibacillus lentus was reassessed because an update was requested for the current mandate. Enterococcus lactis synonym Enterococcus xinjiangensis, Aurantiochytrium mangrovei synonym Schizochytrium mangrovei, Schizochytrium aggregatum, Chlamydomonas reinhardtii synonym Chlamydomonas smithii and Haematococcus lacustris synonym Haematococcus pluvialis were assessed for the first time. The following TUs were not recommended for QPS status: P. lentus due to a limited body of knowledge, E. lactis synonym E. xinjiangensis due to potential safety concerns, A. mangrovei synonym S. mangrovei, S. aggregatum and C. reinhardtii synonym C. smithii, due to lack of a body of knowledge on its occurrence in the food and feed chain. H. lacustris synonym H. pluvialis is recommended for QPS status with the qualification ‘for production purposes only’

Natuurverkenning 2010-2040 : visies op de ontwikkeling van natuur en landschap

De Natuurverkenning verschijnt in een turbulente tijd waarin natuur en landschap sterk gepolitiseerd zijn. Met de verkenning wil het PBL een bijdrage leveren aan het structureren van het debat over de vernieuwing van het langetermijnbeleid en een impuls geven aan de politieke afwegingen. Nieuw is het gebruik van normatieve toekomstscenario’s als hulpmiddel om de achterliggende drijfveren voor natuurbeleid te verhelderen

Update of the list of QPS-recommended biological agents intentionally added to food or feed as notified to EFSA 12: suitability of taxonomic units notified to EFSA until March 2020

The qualified presumption of safety (QPS) was developed to provide a generic safety evaluation for biological agents to support EFSA's Scientific Panels. It is based on an assessment of the taxonomic identity, the body of knowledge, safety concerns and antimicrobial resistance. Safety concerns identified for a taxonomic unit (TU) are where possible to be confirmed at strain or product level, reflected by \u2018qualifications\u2019. No new information was found that would change the previously recommended QPS TUs of the 39 microorganisms notified to EFSA between October 2019 and March 2020, 33 were excluded, including five filamentous fungi, five Escherichia coli, two Enterococcus faecium, two Streptomyces spp. and 19 TUs already evaluated. Six TUs were evaluated. Akkermansia muciniphila was not recommended for QPS status due to safety concerns. Clostridium butyricum was not recommended because some strains contain pathogenicity factors. This TU was excluded for further QPS evaluation. Galdieria sulphuraria and Pseudomonas chlororaphis were also rejected due to a lack of body of knowledge. The QPS status of Corynebacterium ammoniagenes (with the qualification \u2018for production purposes only\u2019) and of Komagataella pastoris (with the qualification \u2018for enzyme production\u2019) was confirmed. In relation to the taxonomic revision of the Lactobacillus genus, previously designated Lactobacillus species will be reassigned to the new species and both the old and new names will be retained in the QPS list