A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories

We propose behavioral specification theories for most equivalences in the linear-time--branching-time spectrum. Almost all previous work on specification theories focuses on bisimilarity, but there is a clear interest in specification theories for other preorders and equivalences. We show that specification theories for preorders cannot exist and develop a general scheme which allows us to define behavioral specification theories, based on disjunctive modal transition systems, for most equivalences in the linear-time--branching-time spectrum

Tularemia in Alaska, 1938 - 2010

Tularemia is a serious, potentially life threatening zoonotic disease. The causative agent, Francisella tularensis, is ubiquitous in the Northern hemisphere, including Alaska, where it was first isolated from a rabbit tick (Haemophysalis leporis-palustris) in 1938. Since then, F. tularensis has been isolated from wildlife and humans throughout the state. Serologic surveys have found measurable antibodies with prevalence ranging from < 1% to 50% and 4% to 18% for selected populations of wildlife species and humans, respectively. We reviewed and summarized known literature on tularemia surveillance in Alaska and summarized the epidemiological information on human cases reported to public health officials. Additionally, available F. tularensis isolates from Alaska were analyzed using canonical SNPs and a multi-locus variable-number tandem repeats (VNTR) analysis (MLVA) system. The results show that both F. t. tularensis and F. t. holarctica are present in Alaska and that subtype A.I, the most virulent type, is responsible for most recently reported human clinical cases in the state

Fine-scale Identification of the Most Likely Source of a Human Plague Infection

We describe an analytic approach to provide fine-scale discrimination among multiple infection source hypotheses. This approach uses mutation-rate data for rapidly evolving multiple locus variable-number tandem repeat loci in probabilistic models to identify the most likely source. We illustrate the utility of this approach using data from a North American human plague investigation

The wave and tidal resource of Scotland

As the marine renewable energy industry evolves, in parallel with an increase in the quantity of available data and improvements in validated numerical simulations, it is occasionally appropriate to re-assess the wave and tidal resource of a region. This is particularly true for Scotland - a leading nation that the international community monitors for developments in the marine renewable energy industry, and which has witnessed much progress in the sector over the last decade. With 7 leased wave and 17 leased tidal sites, Scotland is well poised to generate significant levels of electricity from its abundant natural marine resources. In this state-of-the-art review of Scotland's wave and tidal resource, we examine the theoretical and technical resource, and provide an overview of commercial progress. We also discuss issues that affect future development of the marine energy seascape in Scotland, applicable to other regions of the world, including the potential for developing lower energy sites, and grid connectivity

Monitoring soil biodiversity in nature reserves in England - a role for metabarcoding

Tullgren extracts of soil mesofauna are proving challenging to identify using trained volunteers. Could metabarcoding be a rapid, cost-effective approach for monitoring soil mesofauna and characterising their communities

Joint analysis of species and genetic variation to quantify the role of dispersal and environmental constraints in community turnover

Spatial turnover of biological communities is determined by both dispersal and environmental constraints. However, we lack quantitative predictions about how these factors interact and influence turnover across genealogical scales. In this study, we have implemented a predictive framework based on approximate Bayesian computation (ABC) to quantify the signature of dispersal and environmental constraints in community turnover. First, we simulated the distribution of haplotypes, intra‐specific lineages and species in biological communities under different strengths of dispersal and environmental constraints. Our simulations show that spatial turnover rate is invariant across genealogical scales when dispersal limitation determines the species ranges. However, when environmental constraint limits species ranges, spatial turnover rates vary across genealogical scales. These simulations were used in an ABC framework to quantify the role of dispersal and environmental constraints in 16 empirical biological communities sampled from local to continental scales, including several groups of insects (both aquatic and terrestrial), molluscs and bats. In seven datasets, the observed genealogical invariance of spatial turnover, assessed with distance–decay curves, suggests a dispersal‐limited scenario. In the remaining datasets, the variance in distance–decay curves across genealogical scales was best explained by various combinations of dispersal and environmental constraints. Our study illustrates how modelling spatial turnover at multiple genealogical scales (species and intraspecific lineages) provides relevant insights into the relative role of dispersal and environmental constraints in community turnover.Agencia Estatal de Investigación | Ref. CGL2016-76637-PAgencia Estatal de Investigación | Ref. PID2020-112935GB-I00Agencia Estatal de Investigación | Ref. PGC2018- 099363-B-I00Ministerio de Economía y Competitividad | Ref. RYC-2015-18241Xunta de Galici

A decade of plague in Mahajanga, Madagascar: insights into the global maritime spread of pandemic plague

A cluster of human plague cases occurred in the seaport city of Mahajanga, Madagascar, from 1991 to 1999 following 62 years with no evidence of plague, which offered insights into plague pathogen dynamics in an urban environment. We analyzed a set of 44 Mahajanga isolates from this 9-year outbreak, as well as an additional 218 Malagasy isolates from the highland foci. We sequenced the genomes of four Mahajanga strains, performed whole-genome sequence single-nucleotide polymorphism (SNP) discovery on those strains, screened the discovered SNPs, and performed a high-resolution 43-locus multilocus variable-number tandem-repeat analysis of the isolate panel. Twenty-two new SNPs were identified and defined a new phylogenetic lineage among the Malagasy isolates. Phylogeographic analysis suggests that the Mahajanga lineage likely originated in the Ambositra district in the highlands, spread throughout the northern central highlands, and was then introduced into and became transiently established in Mahajanga. Although multiple transfers between the central highlands and Mahajanga occurred, there was a locally differentiating and dominant subpopulation that was primarily responsible for the 1991-to-1999 Mahajanga outbreaks. Phylotemporal analysis of this Mahajanga subpopulation revealed a cycling pattern of diversity generation and loss that occurred during and after each outbreak. This pattern is consistent with severe interseasonal genetic bottlenecks along with large seasonal population expansions. The ultimate extinction of plague pathogens in Mahajanga suggests that, in this environment, the plague pathogen niche is tenuous at best. However, the temporary large pathogen population expansion provides the means for plague pathogens to disperse and become ecologically established in more suitable nonurban environments. Maritime spread of plague led to the global dissemination of this disease and affected the course of human history. Multiple historical plague waves resulted in massive human mortalities in three classical plague pandemics: Justinian (6th and 7th centuries), Middle Ages (14th to 17th centuries), and third (mid-1800s to the present). Key to these events was the pathogen’s entry into new lands by “plague ships” via seaport cities. Although initial disease outbreaks in ports were common, they were almost never sustained for long and plague pathogens survived only if they could become established in ecologically suitable habitats. Although plague pathogens’ ability to invade port cities has been essential for intercontinental spread, these regions have not proven to be a suitable long-term niche. The disease dynamics in port cities such as Mahajanga are thus critical to plague pathogen amplification and dispersal into new suitable ecological niches for the observed global long-term maintenance of plague pathogens

Male-female communication triggers calcium signatures during fertilization in Arabidopsis

Cell-cell communication and interaction is critical during fertilization and triggers free cytosolic calcium ([Ca2+](cyto)) as a key signal for egg activation and a polyspermy block in animal oocytes. Fertilization in flowering plants is more complex, involving interaction of a pollen tube with egg adjoining synergid cells, culminating in release of two sperm cells and their fusion with the egg and central cell, respectively. Here, we report the occurrence and role of [Ca2+](cyto) signals during the entire double fertilization process in Arabidopsis. [Ca2+](cyto) oscillations are initiated in synergid cells after physical contact with the pollen tube apex. In egg and central cells, a short [Ca2+](cyto) transient is associated with pollen tube burst and sperm cell arrival. A second extended [Ca2+](cyto) transient solely in the egg cell is correlated with successful fertilization. Thus, each female cell type involved in double fertilization displays a characteristic [Ca2+](cyto) signature differing by timing and behaviour from [Ca2+](cyto) waves reported in mammals

Male-female communication triggers calcium signatures during fertilization in Arabidopsis

Cell-cell communication and interaction is critical during fertilization and triggers free cytosolic calcium ([Ca2+](cyto)) as a key signal for egg activation and a polyspermy block in animal oocytes. Fertilization in flowering plants is more complex, involving interaction of a pollen tube with egg adjoining synergid cells, culminating in release of two sperm cells and their fusion with the egg and central cell, respectively. Here, we report the occurrence and role of [Ca2+](cyto) signals during the entire double fertilization process in Arabidopsis. [Ca2+](cyto) oscillations are initiated in synergid cells after physical contact with the pollen tube apex. In egg and central cells, a short [Ca2+](cyto) transient is associated with pollen tube burst and sperm cell arrival. A second extended [Ca2+](cyto) transient solely in the egg cell is correlated with successful fertilization. Thus, each female cell type involved in double fertilization displays a characteristic [Ca2+](cyto) signature differing by timing and behaviour from [Ca2+](cyto) waves reported in mammals