Opening the AC-Unification Race

This note reports about the implementation of AC-unification algorithms, based on the variable-abstraction method of Stickel and on the constant-abstraction method of Livesey, Siekmann, and Herold. We give a set of 105 benchmark examples and compare execution times for implementations of the two approaches. This documents for other researchers what we consider to be the state-of-the-art performance for elementary AC-unification problems

Acquisition of a Unique Onshore/Offshore Geophysical and Geochemical Dataset in the Northern Malawi (Nyasa) Rift

The Study of Extension and maGmatism in Malawi aNd Tanzania (SEGMeNT) project acquired a comprehensive suite of geophysical and geochemical datasets across the northern Malawi (Nyasa) rift in the East Africa rift system. Onshore/offshore active and passive seismic data, long‐period and wideband magnetotelluric data, continuous Global Positioning System data, and geochemical samples were acquired between 2012 and 2016. This combination of data is intended to elucidate the sedimentary, crustal, and upper‐mantle architecture of the rift, patterns of active deformation, and the origin and age of rift‐related magmatism. A unique component of our program was the acquisition of seismic data in Lake Malawi, including seismic reflection, onshore/offshore wide‐angle seismic reflection/refraction, and broadband seismic data from lake‐bottom seismometers, a towed streamer, and a large towed air‐gun source

A proposal for a CT driven classification of left colon acute diverticulitis

Computed tomography (CT) imaging is the most appropriate diagnostic tool to confirm suspected left colonic diverticulitis. However, the utility of CT imaging goes beyond accurate diagnosis of diverticulitis; the grade of severity on CT imaging may drive treatment planning of patients presenting with acute diverticulitis. The appropriate management of left colon acute diverticulitis remains still debated because of the vast spectrum of clinical presentations and different approaches to treatment proposed. The authors present a new simple classification system based on both CT scan results driving decisions making management of acute diverticulitis that may be universally accepted for day to day practice

Large-scale mass wasting in the western Indian Ocean constrains onset of East African rifting

Faulting and earthquakes occur extensively along the flanks of the East African Rift System, including an offshore branch in the western Indian Ocean, resulting in remobilization of sediment in the form of landslides. To date, constraints on the occurrence of submarine landslides at margin scale are lacking, leaving unanswered a link between rifting and slope instability. Here, we show the first overview of landslide deposits in the post-Eocene stratigraphy of the Tanzania margin and we present the discovery of one of the biggest landslides on Earth: the Mafia mega-slide. The emplacement of multiple landslides, including the Mafia mega-slide, during the early-mid Miocene is coeval with cratonic rifting in Tanzania, indicating that plateau uplift and rifting in East Africa triggered large and potentially tsunamigenic landslides likely through earthquake activity and enhanced sediment supply. This study is a first step to evaluate the risk associated with submarine landslides in the region

SV2 Mediates Entry of Tetanus Neurotoxin into Central Neurons

Tetanus neurotoxin causes the disease tetanus, which is characterized by rigid paralysis. The toxin acts by inhibiting the release of neurotransmitters from inhibitory neurons in the spinal cord that innervate motor neurons and is unique among the clostridial neurotoxins due to its ability to shuttle from the periphery to the central nervous system. Tetanus neurotoxin is thought to interact with a high affinity receptor complex that is composed of lipid and protein components; however, the identity of the protein receptor remains elusive. In the current study, we demonstrate that toxin binding, to dissociated hippocampal and spinal cord neurons, is greatly enhanced by driving synaptic vesicle exocytosis. Moreover, tetanus neurotoxin entry and subsequent cleavage of synaptobrevin II, the substrate for this toxin, was also dependent on synaptic vesicle recycling. Next, we identified the potential synaptic vesicle binding protein for the toxin and found that it corresponded to SV2; tetanus neurotoxin was unable to cleave synaptobrevin II in SV2 knockout neurons. Toxin entry into knockout neurons was rescued by infecting with viruses that express SV2A or SV2B. Tetanus toxin elicited the hyper excitability in dissociated spinal cord neurons - due to preferential loss of inhibitory transmission - that is characteristic of the disease. Surprisingly, in dissociated cortical cultures, low concentrations of the toxin preferentially acted on excitatory neurons. Further examination of the distribution of SV2A and SV2B in both spinal cord and cortical neurons revealed that SV2B is to a large extent localized to excitatory terminals, while SV2A is localized to inhibitory terminals. Therefore, the distinct effects of tetanus toxin on cortical and spinal cord neurons are not due to differential expression of SV2 isoforms. In summary, the findings reported here indicate that SV2A and SV2B mediate binding and entry of tetanus neurotoxin into central neurons

The poly-omics of ageing through individual-based metabolic modelling

Abstract Background Ageing can be classified in two different ways, chronological ageing and biological ageing. While chronological age is a measure of the time that has passed since birth, biological (also known as transcriptomic) ageing is defined by how time and the environment affect an individual in comparison to other individuals of the same chronological age. Recent research studies have shown that transcriptomic age is associated with certain genes, and that each of those genes has an effect size. Using these effect sizes we can calculate the transcriptomic age of an individual from their age-associated gene expression levels. The limitation of this approach is that it does not consider how these changes in gene expression affect the metabolism of individuals and hence their observable cellular phenotype. Results We propose a method based on poly-omic constraint-based models and machine learning in order to further the understanding of transcriptomic ageing. We use normalised CD4 T-cell gene expression data from peripheral blood mononuclear cells in 499 healthy individuals to create individual metabolic models. These models are then combined with a transcriptomic age predictor and chronological age to provide new insights into the differences between transcriptomic and chronological ageing. As a result, we propose a novel metabolic age predictor. Conclusions We show that our poly-omic predictors provide a more detailed analysis of transcriptomic ageing compared to gene-based approaches, and represent a basis for furthering our knowledge of the ageing mechanisms in human cells

Mitochondrial respiratory states and rate

As the knowledge base and importance of mitochondrial physiology to human health expands, the necessity for harmonizing the terminologyconcerning mitochondrial respiratory states and rates has become increasingly apparent. Thechemiosmotic theoryestablishes the mechanism of energy transformationandcoupling in oxidative phosphorylation. Theunifying concept of the protonmotive force providestheframeworkfordeveloping a consistent theoretical foundation ofmitochondrial physiology and bioenergetics.We followguidelines of the International Union of Pure and Applied Chemistry(IUPAC)onterminology inphysical chemistry, extended by considerationsofopen systems and thermodynamicsof irreversible processes.Theconcept-driven constructive terminology incorporates the meaning of each quantity and alignsconcepts and symbols withthe nomenclature of classicalbioenergetics. We endeavour to provide a balanced view ofmitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes.Uniform standards for evaluation of respiratory states and rates will ultimatelycontribute to reproducibility between laboratories and thussupport the development of databases of mitochondrial respiratory function in species, tissues, and cells.Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery

Mitochondrial physiology

As the knowledge base and importance of mitochondrial physiology to evolution, health and disease expands, the necessity for harmonizing the terminology concerning mitochondrial respiratory states and rates has become increasingly apparent. The chemiosmotic theory establishes the mechanism of energy transformation and coupling in oxidative phosphorylation. The unifying concept of the protonmotive force provides the framework for developing a consistent theoretical foundation of mitochondrial physiology and bioenergetics. We follow the latest SI guidelines and those of the International Union of Pure and Applied Chemistry (IUPAC) on terminology in physical chemistry, extended by considerations of open systems and thermodynamics of irreversible processes. The concept-driven constructive terminology incorporates the meaning of each quantity and aligns concepts and symbols with the nomenclature of classical bioenergetics. We endeavour to provide a balanced view of mitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes. Uniform standards for evaluation of respiratory states and rates will ultimately contribute to reproducibility between laboratories and thus support the development of data repositories of mitochondrial respiratory function in species, tissues, and cells. Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery