Crystallization of a Mos1 transposase-inverted-repeat DNA complex: biochemical and preliminary crystallographic analyses

A complex formed between Mos1 transposase and its inverted-repeat DNA has been crystallized. The crystals diffract to 3.25 Å resolution and exhibit monoclinic (P2(1)) symmetry, with unit-cell parameters a = 120.8, b = 85.1, c = 131.6 Å, β = 99.3°. The X-ray diffraction data display noncrystallographic twofold symmetry and characteristic dsDNA diffraction at ∼3.3 Å. Biochemical analyses confirmed the presence of DNA and full-length protein in the crystals. The relationship between the axis of noncrystallographic symmetry, the unit-cell axes and the DNA diffraction pattern are discussed. The data are consistent with the previously proposed model of the paired-ends complex containing a dimer of the transposase

Mining State-Based Models from Proof Corpora

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones.Comment: To Appear at Conferences on Intelligent Computer Mathematics 201

Demonstration of the anthelmintic potency of marimastat in the Heligmosomoides polygyrus rodent model

In the course of a structure based drug discovery program the known anticancer candidate marimastat was uncovered as a potent inhibitor of an enzyme in nematode cuticle biogenesis. It was shown to kill Caenorhabditis elegans, and the sheep parasites Haemonchus contortus and Teladorsagia circumcinta via an entirely novel nematode-specific pathway, specifically by inhibiting cuticle-remodelling enzymes that the parasites require for the developmentally essential moulting process. This discovery prompted an investigation of the compound's effect on Heligmosomoides polygyrus parasites in a mouse model of helminth infection. Mice were administered the drug via oral gavage daily from day of infection for a period of 2 wk. A second group received the drug via intra-peritoneal implantation of an osmotic minipump for 4 wk. Control groups were administered identical volumes of water by oral gavage in both cases. Counts of H. polygyrus faecal egg and larval load showed that marimastat effected a consistent and significant reduction in egg laying, and a consistent but minor reduction in adult worm load when administered every day, starting on the first day of infection. However, the drug failed to have any significant effect on egg counts or worm burdens when administered to mice with established infections. Therefore, marimastat does not appear to show promise as an anthelmintic in gastrointestinal nematode infections, although other metalloproteases such as batimastat may prove more effective

Design of nucleotide-mimetic and non-nucleotide inhibitors of the translation initiation factor eIF4E: Synthesis, structural and functional characterisation.

Eukaryotic translation initiation factor 4E (eIF4E) is considered as the corner stone in the cap-dependent translation initiation machinery. Its role is to recruit mRNA to the ribosome through recognition of the 5'-terminal mRNA cap structure (m7GpppN, where G is guanosine, N is any nucleotide). eIF4E is implicated in cell transformation, tumourigenesis, and angiogenesis by facilitating translation of oncogenic mRNAs; it is thus regarded as an attractive anticancer drug target. We have used two approaches to design cap-binding inhibitors of eIF4E by modifying the N7-substituent of m7GMP and replacing the phosphate group with isosteres such as squaramides, sulfonamides, and tetrazoles, as well as by structure-based virtual screening aimed at identifying non-nucleotide cap-binding antagonists. Phosphomimetic nucleotide derivatives and highly ranking virtual hits were evaluated in a series of in vitro and cell-based assays to identify the first non-nucleotide eIF4E cap-binding inhibitor with activities in cell-based assays, N-[(5,6-dihydro-6-oxo-1,3-dioxolo[4,5-g]quinolin-7-yl)methyl]-N'-(2-methyl-propyl)-N-(phenyl-methyl)thiourea (14), including down-regulation of oncogenic proteins and suppression of RNA incorporation into polysomes. Although we did not observe cellular activity with any of our modified m7GMP phosphate isostere compounds, we obtained X-ray crystallography structures of three such compounds in complex with eIF4E, 5'-deoxy-5'-(1,2-dioxo-3-hydroxycyclobut-3-en-4-yl)amino-N7-methyl-guanosine (4a), N7-3-chlorobenzyl-5'-deoxy-5'-(1,2-dioxo-3-hydroxy-cyclobut-3-en-4-yl)amino-guanosine (4f), and N7-benzyl-5'-deoxy-5'-(trifluoromethyl-sulfamoyl)guanosine (7a). Collectively, the data we present on structure-based design of eIF4E cap-binding inhibitors should facilitate the optimisation of such compounds as potential anticancer agents

The unusual kinetics of lactate dehydrogenase of Schistosoma mansoni and their role in the rapid metabolic switch after penetration of the mammalian host

Lactate dehydrogenase (LDH) from Schistosoma mansoni has peculiar properties for a eukaryotic LDH. Schistosomal LDH (SmLDH) isolated from schistosomes, and the recombinantly expressed protein, are strongly inhibited by ATP, which is neutralized by fructose-1,6-bisphosphate (FBP). In the conserved FBP/anion binding site we identified two residues in SmLDH (Val187 and Tyr190) that differ from the conserved residues in LDHs of other eukaryotes, but are identical to conserved residues in FBP-sensitive prokaryotic LDHs. Three-dimensional (3D) models were generated to compare the structure of SmLDH with other LDHs. These models indicated that residues Val187, and especially Tyr190, play a crucial role in the interaction of FBP with the anion pocket of SmLDH. These 3D models of SmLDH are also consistent with a competitive model of SmLDH inhibition in which ATP (inhibitor) and FBP (activator) compete for binding in a well-defined anion pocket. The model of bound ATP predicts a distortion of the nearby key catalytic residue His195, resulting in enzyme inhibition. To investigate a possible physiological role of this allosteric regulation of LDH in schistosomes we made a kinetic model in which the allosteric regulation of the glycolytic enzymes can be varied. The model showed that inhibition of LDH by ATP prevents fermentation to lactate in the free-living stages in water and ensures complete oxidation via the Krebs cycle of the endogenous glycogen reserves. This mechanism of allosteric inhibition by ATP prevents the untimely depletion of these glycogen reserves, the only fuel of the free-living cercariae. Neutralization by FBP of this ATP inhibition of LDH prevents accumulation of glycolytic intermediates when S. mansoni schistosomula are confronted with the sudden large increase in glucose availability upon penetration of the final host. It appears that the LDH of S. mansoni is special and well suited to deal with the variations in glucose availability the parasite encounters during its life cycle.</p

Design of nucleotide-mimetic and non-nucleotide inhibitors of the translation initiation factor eIF4E: Synthesis, structural and functional characterisation.

Eukaryotic translation initiation factor 4E (eIF4E) is considered as the corner stone in the cap-dependent translation initiation machinery. Its role is to recruit mRNA to the ribosome through recognition of the 5'-terminal mRNA cap structure (m7GpppN, where G is guanosine, N is any nucleotide). eIF4E is implicated in cell transformation, tumourigenesis, and angiogenesis by facilitating translation of oncogenic mRNAs; it is thus regarded as an attractive anticancer drug target. We have used two approaches to design cap-binding inhibitors of eIF4E by modifying the N7-substituent of m7GMP and replacing the phosphate group with isosteres such as squaramides, sulfonamides, and tetrazoles, as well as by structure-based virtual screening aimed at identifying non-nucleotide cap-binding antagonists. Phosphomimetic nucleotide derivatives and highly ranking virtual hits were evaluated in a series of in vitro and cell-based assays to identify the first non-nucleotide eIF4E cap-binding inhibitor with activities in cell-based assays, N-[(5,6-dihydro-6-oxo-1,3-dioxolo[4,5-g]quinolin-7-yl)methyl]-N'-(2-methyl-propyl)-N-(phenyl-methyl)thiourea (14), including down-regulation of oncogenic proteins and suppression of RNA incorporation into polysomes. Although we did not observe cellular activity with any of our modified m7GMP phosphate isostere compounds, we obtained X-ray crystallography structures of three such compounds in complex with eIF4E, 5'-deoxy-5'-(1,2-dioxo-3-hydroxycyclobut-3-en-4-yl)amino-N7-methyl-guanosine (4a), N7-3-chlorobenzyl-5'-deoxy-5'-(1,2-dioxo-3-hydroxy-cyclobut-3-en-4-yl)amino-guanosine (4f), and N7-benzyl-5'-deoxy-5'-(trifluoromethyl-sulfamoyl)guanosine (7a). Collectively, the data we present on structure-based design of eIF4E cap-binding inhibitors should facilitate the optimisation of such compounds as potential anticancer agents

Unsupervised home use of an overnight closed-loop system over 3-4 weeks: a pooled analysis of randomized controlled studies in adults and adolescents with type 1 diabetes.

AIMS: To compare overnight closed-loop and sensor-augmented pump therapy in patients with type 1 diabetes by combining data collected during free-living unsupervised randomized crossover home studies. METHODS: A total of 40 participants with type 1 diabetes, of whom 24 were adults [mean ± standard deviation (s.d.) age 43 ± 12 years and glycated haemoglobin (HbA1c) 8.0 ± 0.9%] and 16 were adolescents (mean ± s.d. age 15.6 ± 3.6 years and HbA1c 8.1 ± 0.8%), underwent two periods of sensor-augmented pump therapy in the home setting, in combination with or without an overnight closed-loop insulin delivery system that uses a model predictive control algorithm to direct insulin delivery. The order of the two interventions was random; each period lasted 4 weeks in adults and 3 weeks in adolescents. The primary outcome was time during which sensor glucose readings were in the target range of 3.9-8.0 mmol/l. RESULTS: The proportion of time when sensor glucose was in the target range (3.9-8.0 mmol/l) overnight (between 24:00 and 08:00 hours) was 18.5% greater during closed-loop insulin delivery than during sensor-augmented therapy (p < 0.001). Closed-loop therapy significantly reduced mean overnight glucose levels by 0.9 mmol/l (p < 0.001), with no difference in glycaemic variability, as measured by the standard deviation of sensor glucose. Time spent above the target range was reduced (p = 0.001), as was time spent in hypoglycaemia (<3.9 mmol/l; p = 0.014) during closed-loop therapy. Lower mean overnight glucose levels during closed-loop therapy were brought about by increased overnight insulin delivery (p < 0.001) without changes to the total daily delivery (p = 0.84). CONCLUSION: Overnight closed-loop insulin therapy at home in adults and adolescents with type 1 diabetes is feasible, showing improvements in glucose control and reducing the risk of nocturnal hypoglycaemia.Juvenile Diabetes Research Foundation (#22-2009-802) and Diabetes UK (BDA07/0003549) with additional support for the Artificial Pancreas work by National Institute of Diabetes and Digestive and Kidney Diseases (1R01DK085621), and National Institute for Health Research Cambridge Biomedical Research Centre. Abbott Diabetes Care supplied continuous glucose delivery devices and sensors and modified devices to facilitate real-time connectivity.This if the final version of the article. It was originally published by Wiley in Diabetes, Obesity and Metabolism at http://onlinelibrary.wiley.com/doi/10.1111/dom.12427/abstrac

The AIQ Meta-Testbed: Pragmatically Bridging Academic AI Testing and Industrial Q Needs

AI solutions seem to appear in any and all application domains. As AI becomes more pervasive, the importance of quality assurance increases. Unfortunately, there is no consensus on what artificial intelligence means and interpretations range from simple statistical analysis to sentient humanoid robots. On top of that, quality is a notoriously hard concept to pinpoint. What does this mean for AI quality? In this paper, we share our working definition and a pragmatic approach to address the corresponding quality assurance with a focus on testing. Finally, we present our ongoing work on establishing the AIQ Meta-Testbed.Comment: Accepted for publication in the Proc. of the Software Quality Days 2021, Vienna, Austri