The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

For two given $\omega$-terms $\alpha$ and $\beta$, the word problem for $\omega$-terms over a variety $\boldsymbol{\mathrm{V}}$ asks whether $\alpha=\beta$ in all monoids in $\boldsymbol{\mathrm{V}}$. We show that the word problem for $\omega$-terms over each level of the Trotter-Weil Hierarchy is decidable. More precisely, for every fixed variety in the Trotter-Weil Hierarchy, our approach yields an algorithm in nondeterministic logarithmic space (NL). In addition, we provide deterministic polynomial time algorithms which are more efficient than straightforward translations of the NL-algorithms. As an application of our results, we show that separability by the so-called corners of the Trotter-Weil Hierarchy is witnessed by $\omega$-terms (this property is also known as $\omega$-reducibility). In particular, the separation problem for the corners of the Trotter-Weil Hierarchy is decidable

Genetical genomics: spotlight on QTL hotspots

No abstract available

Anatomy and origin of authochthonous late Pleistocene forced regression deposits, east Coromandel inner shelf, New Zealand: implications for the development and definition of the regressive systems tract

High-resolution seismic reflection data from the east Coromandel coast, New Zealand, provide details of the sequence stratigraphy beneath an autochthonous, wave dominated inner shelf margin during the late Quaternary (0-140 ka). Since c. 1 Ma, the shelf has experienced limited subsidence and fluvial sediment input, producing a depositional regime characterised by extensive reworking of coastal and shelf sediments during glacio-eustatic sea-level fluctuations. It appears that only one complete fifth-order (c. 100 000 yr) depositional sequence is preserved beneath the inner shelf, the late Pleistocene Waihi Sequence, suggesting any earlier Quaternary sequences were mainly cannibalised into successively younger sequences. The predominantly Holocene-age Whangamata Sequence is also evident in seismic data and modern coastal deposits, and represents an incomplete depositional sequence in its early stages of formation. A prominent aspect of the sequence stratigraphy off parts of the east Coromandel coast is the presence of forced regressive deposits (FRDs) within the regressive systems tract (RST) of the late Pleistocene Waihi Sequence. The FRDs are interpreted to represent regressive barrier-shoreface sands that were sourced from erosion and onshore reworking of underlying Pleistocene sediments during the period of slow falling sea level from isotope stages 5 to 2 (c. 112-18 ka). The RST is volumetrically the most significant depositional component of the Waihi Sequence; the regressive deposits form a 15-20 m thick, sharp-based, tabular seismic unit that downsteps and progrades continuously across the inner shelf. The sequence boundary for the Waihi Sequence is placed at the most prominent, regionally correlative, and chronostratigraphically significant surface, namely an erosional unconformity characterised in many areas by large incised valleys that was generated above the RST. This unconformity is interpreted as a surface of maximum subaerial erosion generated during the last glacial lowstand (c. 18 ka). Although the base of the RST is associated with a prominent regressive surface of erosion, this is not used as the sequence boundary as it is highly diachronous and difficult to identify and correlate where FRDs are not developed. The previous highstand deposits are limited to subaerial barrier deposits preserved behind several modern Holocene barriers along the coast, while the transgressive systems tract is preserved locally as incised-valley fill deposits beneath the regressive surface of erosion at the base of the RST. Many documented late Pleistocene RSTs have been actively sourced from fluvial systems feeding the shelf and building basinward-thickening, often stacked wedges of FRDs, for which the name allochthonous FRDs is suggested. The Waihi Sequence RST is unusual in that it appears to have been sourced predominantly from reworking of underlying shelf sediments, and thus represents an autochthonous FRD. Autochthonous FRDs are also present on the Forster-Tuncurry shelf in southeast Australia, and may be a common feature in other shelf settings with low subsidence and low sediment supply rates, provided shelf gradients are not too steep, and an underlying source of unconsolidated shelf sediments is available to source FRDs. The preservation potential of such autochthonous FRDs in ancient deposits is probably low given that they are likely to be cannibalised during subsequent sea-level falls

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

A benefit of pure functional programming is that it encourages equational reasoning. However, the Haskell language has lacked direct tool support for such reasoning. Consequently, reasoning about Haskell programs is either performed manually, or in another language that does provide tool support (e.g. Agda or Coq). HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline. This paper describes HERMIT’s recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations, and mechanising textbook equational reasoning

Modular reorganization of the global network of gene regulatory interactions during perinatal human brain development.

BACKGROUND During early development of the nervous system, gene expression patterns are known to vary widely depending on the specific developmental trajectories of different structures. Observable changes in gene expression profiles throughout development are determined by an underlying network of precise regulatory interactions between individual genes. Elucidating the organizing principles that shape this gene regulatory network is one of the central goals of developmental biology. Whether the developmental programme is the result of a dynamic driven by a fixed architecture of regulatory interactions, or alternatively, the result of waves of regulatory reorganization is not known. RESULTS Here we contrast these two alternative models by examining existing expression data derived from the developing human brain in prenatal and postnatal stages. We reveal a sharp change in gene expression profiles at birth across brain areas. This sharp division between foetal and postnatal profiles is not the result of pronounced changes in level of expression of existing gene networks. Instead we demonstrate that the perinatal transition is marked by the widespread regulatory rearrangement within and across existing gene clusters, leading to the emergence of new functional groups. This rearrangement is itself organized into discrete blocks of genes, each targeted by a distinct set of transcriptional regulators and associated to specific biological functions. CONCLUSIONS Our results provide evidence of an acute modular reorganization of the regulatory architecture of the brain transcriptome occurring at birth, reflecting the reassembly of new functional associations required for the normal transition from prenatal to postnatal brain development

Parent-child bonding and attachment during pregnancy and early childhood following congenital heart disease diagnosis

Diagnosis and treatment of congenital heart disease (CHD) can present challenges to the developing parent-child relationship due to periods of infant hospitalisation and intensive medical care, parent-infant separations, child neurodevelopmental delay and feeding problems, and significant parent and child distress and trauma. Yet, the ways in which CHD may affect the parent-child relationship are not well-understood. We systematically reviewed the evidence on parental bonding, parent-child interaction, and child attachment following CHD diagnosis, according to a pre-registered protocol (CRD42019135687). Six electronic databases were searched for English-language studies comparing a cardiac sample (i.e., expectant parents or parents and their child aged 0-5 years with CHD) with a healthy comparison group on relational outcomes. Of 22 identified studies, most used parent-report measures (73%) and yielded mixed results for parental bonding and parent-child interaction quality. Observational results also varied, although most studies (4 of 6) found difficulties in parent-child interaction on one or more affective or behavioural domains (e.g., lower maternal sensitivity, lower infant responsiveness). Research on parental-fetal bonding, father-child relationships, and child attachment behaviour was lacking. Stronger evidence is needed to determine the nature, prevalence, and predictors of relational disruptions following CHD diagnosis, and to inform targeted screening, prevention, and early intervention programs for at-risk dyads

Characterization of a putative NsrR homologue in Streptomyces venezuelae reveals a new member of the Rrf2 superfamily

Members of the Rrf2 superfamily of transcription factors are widespread in bacteria but their functions are largely unexplored. The few that have been characterized in detail sense nitric oxide (NsrR), iron limitation (RirA), cysteine availability (CymR) and the iron sulfur (Fe-S) cluster status of the cell (IscR). In this study we combined ChIP-seq with in vitro biochemistry to characterize a putative NsrR homologue in the model organism Streptomyces venezuelae. ChIP seq analysis revealed that rather than regulating the nitrosative stress response like NsrR, Sven6563 binds to a different, much larger regulon of genes with a diverse range of functions, including a range of regulators, genes required for glutamine synthesis, NADH/NAD(P)H metabolism, as well as general DNA/RNA and amino acid/protein turn over. Our biochemical experiments further show that Sven6563 has a [2Fe-2S] cluster and that the switch between oxidized and reduced cluster controls its DNA binding activity in vitro. To our knowledge, both the sensing domain and the target gene regulon are novel for an Rrf2 protein, suggesting Sven6563 represents a new member of the Rrf2 superfamily. Given the redox sensitivity of its Fe-S cluster we have tentatively named the protein RsrR for Redox sensitive response Regulator

Evidence for thermal fatigue on Mars from rockfall patterns on impact crater slopes

Individual block falls are one of the currently active surface processes on Mars. Similarly to Earth, clasts detach from upslope outcrops roll or bounce downslope, leaving a track on the substratum (Fig. 1). The trails show that the rockfalls are recent, as aeolian processes would infill topographic lows over time. Using rover-track erasure rates, these tracks are likely <100 ka. On Earth, slope instability is usually caused by phase changes of H2O [1]. However, solar-induced thermal stress could also play a key-role in rock breakdown leading to rockfalls [2]. Although liquid water is not stable at the surface of Mars today, sub-surface water ice is known to be present from mid- to high-latitudes [3]. Water ice and CO2 seasonal frost on shadowed pole-facing slopes may exist at latitudes down to 30° [4] or less [5]. On the other hand, insolation-related thermal stress has been used to explain fracture orientation patterns in martian boulders observed by the Mars Exploration Rovers [6] and other studies suggest that it could cause rock breakdown on airless bodies [7]. Therefore, both phase transitions and solar-induced thermal stress are plausible mechanisms for rock breakdown and preconditioning slopes for rockfalls on modern Mars. In this study we analyze distribution of rockfalls on impact crater walls to assess whether one of these mechanisms could be involved in local rock breakdown