Computation Tree Logic with Deadlock Detection

We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled transition systems to Kripke structures, while lifting the totality restriction on the latter. They characterised it as divergence sensitive branching bisimulation equivalence. We find that this equivalence fails to be a congruence for interleaving parallel composition. The reason is that the proposed application of CTL-X to non-total Kripke structures lacks the expressiveness to cope with deadlock properties that are important in the context of parallel composition. We propose an extension of CTL-X, or an alternative treatment of non-totality, that fills this hiatus. The equivalence induced by our extension is characterised as branching bisimulation equivalence with explicit divergence, which is, moreover, shown to be the coarsest congruence contained in divergence sensitive branching bisimulation equivalence

Unpacking sustainabilities in diverse transition contexts: solar photovoltaic and urban mobility experiments in India and Thailand

It is generally accepted that the concept of sustainability is not straightforward, but is subject to ongoing ambiguities, uncertainties and contestations. Yet literature on sustainability transitions has so far only engaged in limited ways with the resulting tough questions around what sustainability means, to whom and in which contexts. This paper makes a contribution to this debate by unpacking sustainability in India and Thailand in the context of solar photovoltaic and urban mobility experimentation. Building on a database of sustainability experiments and multicriteria mapping techniques applied in two workshops, the paper concludes that sustainability transition scholarship and associated governance strategies must engage with such questions in at least three important ways. First, there is a need for extreme caution in assuming any objective status for the sustainability of innovations, and for greater reflection on the normative implications of case study choices. Second, sustainability transition scholarship and governance must engage more with the unpacking of uncertainties and diverse possible socio-technical configurations even within (apparently) singular technological fields. Third, sustainability transition scholarship must be more explicit and reflective about the specific geographical contexts within which the sustainability of experimentation is addressed

Biodiversity of shallow subtidal, under-rock invertebrates in Europe's first marine reserve: effects of physical factors and scientific sampling

At Lough Hyne Marine Reserve in SW Ireland, shallow subtidal, under-rock biodiversity was investigated to assess (i) any deleterious effects of scientific sampling and (ii) quantitative baseline community patterns. Comparisons were made between 10 sites with annual rock-turning disturbance and 10 with multi-decadal (historical) disturbance. At each site, shallow subtidal rocks (N = 1289 total) were lifted, organisms recorded, and rocks replaced in their original position. Biodiversity indices were calculated to evaluate how diversity varied with location within the lough, frequency of sampling disturbance, degree of hypoxia/anoxia, dissolved oxygen (DO) concentration, and number of rocks turned. The richness of solitary invertebrates surveyed in situ averaged 21 taxa per site with significantly more in the South Basin (near the lough's connection to the ocean) than in the North Basin. The Shannon-Wiener Index did not differ significantly with variables investigated. However, evenness was higher at annually disturbed sites than at historical ones where anemones with algal symbionts often dominated. Several sites were hypoxic to anoxic under the shallow subtidal rocks. Cup corals were most abundant in the South Basin; DO was a crucial explanatory variable of these sensitive species. Solitary ascidians were most abundant at South-Basin annual sites with DO levels being a highly significant explanatory variable

No ‘silver bullet’:Multiple factors control population dynamics of european purple sea urchins in Lough Hyne marine reserve, Ireland

Two-decade-long monitoring studies at Europe\u27s first statutory marine reserve—Lough Hyne in SW Ireland—indicate that benthic communities are rapidly changing. Populations of the ecologically important purple urchin (Paracentrotus lividus) have fluctuated widely, most recently with a population boom in the late 1990s, followed by a mass mortality that persists to the present day. Eight general hypotheses have been proposed to account for the urchin decline including cold temperature limiting reproduction, ephemeral algal exudates disrupting urchin fertilization, low larval availability (due to over-harvesting and/or episodic recruitment), high mortality of settlers and juveniles due to hypoxia, hyperoxia, or predation (a trophic cascade hypothesis), and increased mortality due to pathogens (stress hypothesis). The cold-temperature and the trophic cascade hypotheses appear unlikely. The remaining hypotheses, however, all seem to play a role, to some degree, in driving the urchin decline. Ulvoid exudates, for example, significantly reduced urchin fertilization and few larvae were found in plankton tows (2012–2015), indicating low larval availability in summer. Whilst settling urchins regularly recruited under shallow-subtidal rocks until 2011, no settlers were found in these habitats from 2011 to 2014 or in field experiments (2012–2018) using various settlement substrata. Seawater quality was poor in shallow areas of the lough with extreme oxygen fluctuations (diel-cycling hypoxia), and 1-day experimental exposures to DO values < 1 mg L−1 were lethal to most juvenile urchins. Multiple increases of the predatory spiny starfish (Marthasterias glacialis) population in recent decades may also have contributed to the demise of the coexisting juvenile urchins. Finally, urchins of all sizes were seen suffering from dropped spines, tissue necrosis, or white-coloured infection, suggestive of stress-related pathogen mortality. There was a paucity of broken tests, indicating limited predation by large crustaceans; the large number of adult urchins ‘missing’ and few P. lividus tests on the north shore points to possible urchin removal by poachers and/or starfish predation. While these ecological, environmental, and anthropogenic processes occur on open coast rocky shores, many are exacerbated by the semi-enclosed nature of this fully marine sea lough due to its limited flushing. Multiple factors, including low larval availability and rapidly expanding starfish populations, coupled with degraded habitat quality (ephemeral algal mats and extreme oxygen fluctuations), indicate that the purple urchin populations will not recover without an improvement in the water quality of Lough Hyne Marine Reserve, the restocking of urchins, and protection from poaching

International Research Infrastructure Landscape 2019 : A European Perspective

The report is the final product of the RISCAPE project, funded by the European Commission H2020 programme

Metagenomics reveals sediment microbial community response to Deepwater Horizon oil spill

The Deepwater Horizon (DWH) oil spill in the spring of 2010 resulted in an input of ∼4.1 million barrels of oil to the Gulf of Mexico; >22% of this oil is unaccounted for, with unknown environmental consequences. Here we investigated the impact of oil deposition on microbial communities in surface sediments collected at 64 sites by targeted sequencing of 16S rRNA genes, shotgun metagenomic sequencing of 14 of these samples and mineralization experiments using (14)C-labeled model substrates. The 16S rRNA gene data indicated that the most heavily oil-impacted sediments were enriched in an uncultured Gammaproteobacterium and a Colwellia species, both of which were highly similar to sequences in the DWH deep-sea hydrocarbon plume. The primary drivers in structuring the microbial community were nitrogen and hydrocarbons. Annotation of unassembled metagenomic data revealed the most abundant hydrocarbon degradation pathway encoded genes involved in degrading aliphatic and simple aromatics via butane monooxygenase. The activity of key hydrocarbon degradation pathways by sediment microbes was confirmed by determining the mineralization of (14)C-labeled model substrates in the following order: propylene glycol, dodecane, toluene and phenanthrene. Further, analysis of metagenomic sequence data revealed an increase in abundance of genes involved in denitrification pathways in samples that exceeded the Environmental Protection Agency (EPA)'s benchmarks for polycyclic aromatic hydrocarbons (PAHs) compared with those that did not. Importantly, these data demonstrate that the indigenous sediment microbiota contributed an important ecosystem service for remediation of oil in the Gulf. However, PAHs were more recalcitrant to degradation, and their persistence could have deleterious impacts on the sediment ecosystem

International Research Infrastucture Landscape 2019: A European Perspective

The book 'International Research Infrastucture Landscape 2019: A European Perspective' provides the final report of the RISCAPE-project, supported by the European Commission's Horizon 2020-project. The RISCAPE-project aims to provide a systematic, focused, high-quality, comprehensive, consistent and peer-reviewed international landscape analysis report on the position and complementarities of the major European RIs in the international Research Infrastructure landscape.University of Turku has contributed with the domain report on international Energy Research Infrastructures, which forms chapter 6 of the final book.</p