Foundations of reasoning with uncertainty via real-valued logics.

Interest in logics with some notion of real-valued truths has existed since at least Boole and has been increasing in AI due to the emergence of neuro-symbolic approaches, though often their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of such systems. We introduce a rich class of multidimensional sentences, with a sound and complete axiomatization that can be parameterized to cover many real-valued logics, including all the common fuzzy logics, and extend these to weighted versions, and to the case where the truth values are probabilities. Our multidimensional sentences form a very rich class. Each of our multidimensional sentences describes a set of possible truth values for a collection of formulas of the real-valued logic, including which combinations of truth values are possible. Our completeness result is strong, in the sense that it allows us to derive exactly what information can be inferred about the combinations of truth values of a collection of formulas given information about the combinations of truth values of a finite number of other collections of formulas. We give a decision procedure based on linear programming for deciding, for certain real-valued logics and under certain natural assumptions, whether a set of our sentences logically implies another of our sentences. The generality of this work, compared to many previous works on special cases, may provide insights for both existing and new real-valued logics whose inference properties have never been characterized. This work may also provide insights into the reasoning capabilities of deep learning models.

PTEN Regulates PI(3,4)P2 Signaling Downstream of Class I PI3K.

The PI3K signaling pathway regulates cell growth and movement and is heavily mutated in cancer. Class I PI3Ks synthesize the lipid messenger PI(3,4,5)P3. PI(3,4,5)P3 can be dephosphorylated by 3- or 5-phosphatases, the latter producing PI(3,4)P2. The PTEN tumor suppressor is thought to function primarily as a PI(3,4,5)P3 3-phosphatase, limiting activation of this pathway. Here we show that PTEN also functions as a PI(3,4)P2 3-phosphatase, both in vitro and in vivo. PTEN is a major PI(3,4)P2 phosphatase in Mcf10a cytosol, and loss of PTEN and INPP4B, a known PI(3,4)P2 4-phosphatase, leads to synergistic accumulation of PI(3,4)P2, which correlated with increased invadopodia in epidermal growth factor (EGF)-stimulated cells. PTEN deletion increased PI(3,4)P2 levels in a mouse model of prostate cancer, and it inversely correlated with PI(3,4)P2 levels across several EGF-stimulated prostate and breast cancer lines. These results point to a role for PI(3,4)P2 in the phenotype caused by loss-of-function mutations or deletions in PTEN.

Fructose-1,6-bisphosphate and aldolase mediate glucose sensing by AMPK.

The major energy source for most cells is glucose, from which ATP is generated via glycolysis and/or oxidative metabolism. Glucose deprivation activates AMP-activated protein kinase (AMPK), but it is unclear whether this activation occurs solely via changes in AMP or ADP, the classical activators of AMPK. Here, we describe an AMP/ADP-independent mechanism that triggers AMPK activation by sensing the absence of fructose-1,6-bisphosphate (FBP), with AMPK being progressively activated as extracellular glucose and intracellular FBP decrease. When unoccupied by FBP, aldolases promote the formation of a lysosomal complex containing at least v-ATPase, ragulator, axin, liver kinase B1 (LKB1) and AMPK, which has previously been shown to be required for AMPK activation. Knockdown of aldolases activates AMPK even in cells with abundant glucose, whereas the catalysis-defective D34S aldolase mutant, which still binds FBP, blocks AMPK activation. Cell-free reconstitution assays show that addition of FBP disrupts the association of axin and LKB1 with v-ATPase and ragulator. Importantly, in some cell types AMP/ATP and ADP/ATP ratios remain unchanged during acute glucose starvation, and intact AMP-binding sites on AMPK are not required for AMPK activation. These results establish that aldolase, as well as being a glycolytic enzyme, is a sensor of glucose availability that regulates AMPK.

Livestreaming Can Augment the Observation of Veterinary Post-mortem Examinations.

The creation of interactive livestreaming post-mortem examination sessions for veterinary students is described, including the technological and pedagogical issues that were considered and a detailed description of the solution developed. We used the Hero 7 Go Pro camera ( https://gopro.com/en/gb ) and livestreamed using Zoom ( https://explore.zoom.us/en/about/ ). We completed a thorough quantitative and qualitative analysis of the student perception of the value of the streaming platform and the sessions that were delivered to the second and third year students in the Bachelor of Veterinary Medicine and Surgery (BVMS) programme at the University of Glasgow. JISC Online surveys to BVMS2 and BVMS3 were central to the quantitative and qualitative analysis (MVLS Ethics reference 200,190,190).Students who responded to the survey found the material interesting, were able to interact effectively with the pathologists, enjoyed the "pathologists' eye" view that the system afforded, and enjoyed the ability to review and revise the video recording. The disadvantage some mentioned was not being in the appropriate professional space, i.e. the post-mortem facility, although a few students found this advantageous and suggested that this was a useful introduction to the post-mortem facility but without the cold/smell/noise to detract from their learning. In addition, a short explanation of additional uses of the Zoom Go Pro to teach BVMS4 and Veterinary Bioscience BSc Level 3 students and use for extracurricular student activities, e.g. Pathology Club, Student Chapter of the American Veterinary Medical Association at the University of Glasgow School of Veterinary Medicine, is given. The authors also consider other roles for the platform in the future, in particular the induction of students to the post-mortem facility environment.

The Activity of Red Nigerian Propolis and Some of Its Components against Trypanosoma brucei and Trypanosoma congolense.

Propolis is a resin that is gathered by bees from exudates produced by various plants. Its exact chemical composition depends on the plants available near the hive. Bees use propolis to coat the surfaces of the hive, where it acts as an anti-infective. Regardless of the chemical composition of propolis, it is always anti-protozoal, probably because protozoan parasites, particularly Lotmarium passim, are widespread in bee populations. The protozoa Trypanosoma brucei and T. congolense cause disease in humans and/or animals. The existing drugs for treating these diseases are old and resistance is an increasingly severe problem. The many types of propolis present a rich source of anti-trypanosomal compounds-from a material gathered by bees in an environmentally friendly way. In the current work, red Nigerian propolis from Rivers State, Nigeria was tested against T. brucei and T. congolense and found to be highly active (EC50 1.66 and 4.00 µg/mL, respectively). Four isoflavonoids, vestitol, neovestitol, 7-methylvestitol and medicarpin, were isolated from the propolis. The isolated compounds were also tested against T. brucei and T. congolense, and vestitol displayed the highest activity at 3.86 and 4.36 µg/mL, respectively. Activities against drug-resistant forms of T. brucei and T. congolense were similar to those against wild type.

The Antiprotozoal Activity of Papua New Guinea Propolis and Its Triterpenes.

Profiling a propolis sample from Papua New Guinea (PNG) using high-resolution mass spectrometry indicated that it contained several triterpenoids. Further fractionation by column chromatography and medium-pressure liquid chromatography (MPLC) followed by nuclear magnetic resonance spectroscopy (NMR) identified 12 triterpenoids. Five of these were obtained pure and the others as mixtures of two or three compounds. The compounds identified were: mangiferonic acid, ambonic acid, isomangiferolic acid, ambolic acid, 27-hydroxyisomangiferolic acid, cycloartenol, cycloeucalenol, 24-methylenecycloartenol, 20-hydroxybetulin, betulin, betulinic acid and madecassic acid. The fractions from the propolis and the purified compounds were tested in vitro against Crithidia fasciculata, Trypanosoma congolense, drug-resistant Trypanosoma congolense, Trypanosoma b. brucei and multidrug-resistant Trypanosoma b. brucei (B48). They were also assayed for their toxicity against U947 cells. The compounds and fractions displayed moderate to high activity against parasitic protozoa but only low cytotoxicity against the mammalian cells. The most active isolated compound, 20-hydroxybetulin, was found to be trypanostatic when different concentrations were tested against T. b. brucei growth.

AMPK activation induces mitophagy and promotes mitochondrial fission while activating TBK1 in a PINK1-Parkin independent manner.

Mitophagy is a key process regulating mitochondrial quality control. Several mechanisms have been proposed to regulate mitophagy, but these have mostly been studied using stably expressed non-native proteins in immortalized cell lines. In skeletal muscle, mitophagy and its molecular mechanisms require more thorough investigation. To measure mitophagy directly, we generated a stable skeletal muscle C2C12 cell line, expressing a mitophagy reporter construct (mCherry-green fluorescence protein-mtFIS1101-152 ). Here, we report that both carbonyl cyanide m-chlorophenyl hydrazone (CCCP) treatment and adenosine monophosphate activated protein kinase (AMPK) activation by 991 promote mitochondrial fission via phosphorylation of MFF and induce mitophagy by ~20%. Upon CCCP treatment, but not 991, ubiquitin phosphorylation, a read-out of PTEN-induced kinase 1 (PINK1) activity, and Parkin E3 ligase activity toward CDGSH iron sulfur domain 1 (CISD1) were increased. Although the PINK1-Parkin signaling pathway is active in response to CCCP treatment, we observed no change in markers of mitochondrial protein content. Interestingly, our data shows that TANK-binding kinase 1 (TBK1) phosphorylation is increased after both CCCP and 991 treatments, suggesting TBK1 activation to be independent of both PINK1 and Parkin. Finally, we confirmed in non-muscle cell lines that TBK1 phosphorylation occurs in the absence of PINK1 and is regulated by AMPK-dependent signaling. Thus, AMPK activation promotes mitophagy by enhancing mitochondrial fission (via MFF phosphorylation) and autophagosomal engulfment (via TBK1 activation) in a PINK1-Parkin independent manner.

Impact of metal ions on PCR inhibition and RT-PCR efficiency.

Inhibition of PCR by metal ions can pose a serious challenge in the process of forensic DNA analysis. Samples contaminated with various types of metal ions encountered at crime scenes include swabs from metal surfaces such as bullets, cartridge casings, weapons (including guns and knives), metal wires and surfaces as well as bone samples which contain calcium. The mechanism behind the impact of metal ions on DNA recovery, extraction and subsequent amplification is not fully understood. In this study, we assessed the inhibitory effects of commonly encountered metals on DNA amplification. Of the nine tested metals, zinc, tin, iron(II) and copper were shown to have the strongest inhibitory properties having IC50 values significantly below 1 mM. In the second part of the study, three commercially available DNA polymerases were tested for their susceptibility to metal inhibition. We found that KOD polymerase was the most resistant to metal inhibition when compared with Q5 and Taq polymerase. We also demonstrate how the calcium chelator ethylene glycol-bis(2-aminoethylether)-N,N,N',N'-tetraacetic acid (EGTA) can be used as an easy and non-destructive method of reversing calcium-induced inhibition of PCR reactions.

Niosome-encapsulated balanocarpol: compound isolation, characterisation, and cytotoxicity evaluation against human breast and ovarian cancer cell lines.

Natural products have been successfully used to treat various ailments since ancient times and currently several anticancer agents based on natural products are used as the main therapy to treat cancer patients, or as a complimentary treatment to chemotherapy or radiation. Balanocarpol, which is a promising natural product that has been isolated from Hopea dryobalanoides, has been studied as a potential anticancer agent but its application is limited due to its high toxicity, low water solubility, and poor bioavailability. Therefore, the aim of this study is to improve the characteristics of balanocarpol and increase its anticancer activity through its encapsulation in a bilayer structure of a lipid-based nanoparticle drug delivery system where the application of nanotechnology can help improve the limitations of balanocarpol. The compound was first extracted and isolated from H. dryobalanoides. Niosome nanoparticles composed of Span 80 (SP80) and cholesterol were formulated through an innovative microfluidic mixing method for the encapsulation and delivery of balanocarpol. The prepared particles were spherical, small, and uniform with an average particles size and polydispersity index ∼175 nm and 0.088, respectively. The encapsulation of balanocarpol into the SP80 niosomes resulted in an encapsulation efficiency of ∼40%. The niosomes formulation loaded with balanocarpol showed a superior anticancer effect over the free compound when tested in vitro on human ovarian carcinoma (A2780) and human breast carcinoma (ZR-75-1). This is the first study to report the use of SP80 niosomes for the successful encapsulation and delivery of balanocarpol into cancer cells.

Electronic Structure of a Graphene-like Artificial Crystal of NdNiO3.

Artificial complex-oxide heterostructures containing ultrathin buried layers grown along the pseudocubic [111] direction have been predicted to host a plethora of exotic quantum states arising from the graphene-like lattice geometry and the interplay between strong electronic correlations and band topology. To date, however, electronic-structural investigations of such atomic layers remain an immense challenge due to the shortcomings of conventional surface-sensitive probes with typical information depths of a few angstroms. Here, we use a combination of bulk-sensitive soft X-ray angle-resolved photoelectron spectroscopy (SX-ARPES), hard X-ray photoelectron spectroscopy (HAXPES), and state-of-the-art first-principles calculations to demonstrate a direct and robust method for extracting momentum-resolved and angle-integrated valence-band electronic structure of an ultrathin buckled graphene-like layer of NdNiO3 confined between two 4-unit cell-thick layers of insulating LaAlO3. The momentum-resolved dispersion of the buried Ni d states near the Fermi level obtained via SX-ARPES is in excellent agreement with the first-principles calculations and establishes the realization of an antiferro-orbital order in this artificial lattice. The HAXPES measurements reveal the presence of a valence-band bandgap of 265 meV. Our findings open a promising avenue for designing and investigating quantum states of matter with exotic order and topology in a few buried layers.

Sheep as Host Species for Zoonotic Babesia venatorum, United Kingdom.

Babesia venatorum is an increasingly prominent zoonotic parasite that predominantly infects wild deer. Our molecular examination of Babesia infecting mammals in the United Kingdom identified 18S sequences in domestic sheep isolates identical to zoonotic B. venatorum. Identification of this parasite in livestock raises concerns for public health and farming policy in Europe.

Isoform-specific AMPK association with TBC1D1 is reduced by a mutation associated with severe obesity.

AMP-activated protein kinase (AMPK) is a key regulator of cellular and systemic energy homeostasis which achieves this through the phosphorylation of a myriad of downstream targets. One target is TBC1D1 a Rab-GTPase-activating protein that regulates glucose uptake in muscle cells by integrating insulin signalling with that promoted by muscle contraction. Ser237 in TBC1D1 is a target for phosphorylation by AMPK, an event which may be important in regulating glucose uptake. Here, we show AMPK heterotrimers containing the α1, but not the α2, isoform of the catalytic subunit form an unusual and stable association with TBC1D1, but not its paralogue AS160. The interaction between the two proteins is direct, involves a dual interaction mechanism employing both phosphotyrosine-binding (PTB) domains of TBC1D1 and is increased by two different pharmacological activators of AMPK (AICAR and A769962). The interaction enhances the efficiency by which AMPK phosphorylates TBC1D1 on its key regulatory site, Ser237 Furthermore, the interaction is reduced by a naturally occurring R125W mutation in the PTB1 domain of TBC1D1, previously found to be associated with severe familial obesity in females, with a concomitant reduction in Ser237 phosphorylation. Our observations provide evidence for a functional difference between AMPK α-subunits and extend the repertoire of protein kinases that interact with substrates via stabilisation mechanisms that modify the efficacy of substrate phosphorylation.

Isolation of a Novel Flavanonol and an Alkylresorcinol with Highly Potent Anti-Trypanosomal Activity from Libyan propolis.

Twelve propolis samples from different parts of Libya were investigated for their phytochemical constituents. Ethanol extracts of the samples and some purified compounds were tested against Trypanosoma brucei, Plasmodium falciparum and against two helminth species, Trichinella spiralis and Caenorhabditis elegans, showing various degrees of activity. Fourteen compounds were isolated from the propolis samples, including a novel compound Taxifolin-3-acetyl-4'-methyl ether (4), a flavanonol derivative. The crude extracts showed moderate activity against T. spiralis and C. elegans, while the purified compounds had low activity against P. falciparum. Anti-trypanosomal activity (EC50 = 0.7 µg/mL) was exhibited by a fraction containing a cardol identified as bilobol (10) and this fraction had no effect on Human Foreskin Fibroblasts (HFF), even at 2.0 mg/mL, thus demonstrating excellent selectivity. A metabolomics study was used to explore the mechanism of action of the fraction and it revealed significant disturbances in trypanosomal phospholipid metabolism, especially the formation of choline phospholipids. We conclude that a potent and highly selective new trypanocide may be present in the fraction.

Strain-Engineered Oxygen Vacancies in CaMnO3 Thin Films.

We demonstrate a novel pathway to control and stabilize oxygen vacancies in complex transition-metal oxide thin films. Using atomic layer-by-layer pulsed laser deposition (PLD) from two separate targets, we synthesize high-quality single-crystalline CaMnO3 films with systematically varying oxygen vacancy defect formation energies as controlled by coherent tensile strain. The systematic increase of the oxygen vacancy content in CaMnO3 as a function of applied in-plane strain is observed and confirmed experimentally using high-resolution soft X-ray absorption spectroscopy (XAS) in conjunction with bulk-sensitive hard X-ray photoemission spectroscopy (HAXPES). The relevant defect states in the densities of states are identified and the vacancy content in the films quantified using the combination of first-principles theory and core-hole multiplet calculations with holistic fitting. Our findings open up a promising avenue for designing and controlling new ionically active properties and functionalities of complex transition-metal oxides via strain-induced oxygen-vacancy formation and ordering.

Magnetic Switching in Granular FePt Layers Promoted by Near-Field Laser Enhancement.

Light-matter interaction at the nanoscale in magnetic materials is a topic of intense research in view of potential applications in next-generation high-density magnetic recording. Laser-assisted switching provides a pathway for overcoming the material constraints of high-anisotropy and high-packing density media, though much about the dynamics of the switching process remains unexplored. We use ultrafast small-angle X-ray scattering at an X-ray free-electron laser to probe the magnetic switching dynamics of FePt nanoparticles embedded in a carbon matrix following excitation by an optical femtosecond laser pulse. We observe that the combination of laser excitation and applied static magnetic field, 1 order of magnitude smaller than the coercive field, can overcome the magnetic anisotropy barrier between "up" and "down" magnetization, enabling magnetization switching. This magnetic switching is found to be inhomogeneous throughout the material with some individual FePt nanoparticles neither switching nor demagnetizing. The origin of this behavior is identified as the near-field modification of the incident laser radiation around FePt nanoparticles. The fraction of not-switching nanoparticles is influenced by the heat flow between FePt and a heat-sink layer.

Antitrypanosomal Activity of a Novel Taccalonolide from the Tubers of Tacca leontopetaloides.

INTRODUCTION: Several taccalonolides with various bioactivities have been isolated from Tacca species but no studies to isolate taccalonolides with anti-trypanosomal activity from Tacca leontopetaloides have been reported. OBJECTIVES: To analyse extracts of the roots of Tacca leontopetaloides, purify the extracts by column chromatography and identify isolated compounds by spectroscopic methods. The compounds and fractions will be tested for antitrypanosomal activity in vitro against Trypanosoma brucei brucei. MATERIAL AND METHODS: Dried roots or tubers of Tacca leontopetaloides, chromatographic separation and spectroscopic identification. RESULTS: A novel taccalonolide A propanoate and some known taccalonolides were isolated and their structures were determined by NMR and mass spectrometry CONCLUSION: Several taccalonolides were isolated from Tacca leontopetaloides and were found to have in vitro antitrypanosomal activity against Trypanosoma brucei brucei and EC50 values for the isolated compounds were from 0.79 µg/mL. Copyright © 2016 John Wiley & Sons, Ltd.

Chemical characterisation of Nigerian red propolis and its biological activity against Trypanosoma Brucei.

INTRODUCTION: A previous study showed the unique character of Nigerian red propolis from Rivers State, Nigeria (RSN), with regards to chemical composition and activity against Trypanosoma brucei in comparison with other African propolis. OBJECTIVE: To carry out fractionation and biological testing of Nigerian propolis in order to isolate compounds with anti-trypanosomal activity. To compare the composition of the RSN propolis with the composition of Brazilian red propolis. METHODOLOGY: Profiling was carried out using HPLC-UV-ELSD and HPLC-Orbitrap-FTMS on extracts of two samples collected from RSN with data extraction using MZmine software. Isolation was carried out by normal phase and reversed phase MPLC. Elucidation of the compounds with a purity > 95% was performed by 1D/2D NMR HRMS and HRLC-MS(n) . RESULTS: Ten phenolic compounds were isolated or in the case of liquiritigenin partially purified. Data for nine of these correlated with literature reports of known compounds i.e. one isoflavanone, calycosin (1); two flavanones, liquiritigenin (2) and pinocembrin (5); an isoflavan, vestitol (3); a pterocarpan, medicarpin (4); two prenylflavanones, 8-prenylnaringenin (7) and 6-prenylnaringenin (8); and two geranyl flavonoids, propolin D (9) and macarangin (10). The tenth was elucidated as a previously undescribed dihydrobenzofuran (6). The isolated compounds were tested against Trypanosoma brucei and displayed moderate to high activity. Some of the compounds tested had similar activity against wild type T. brucei and two strains displaying pentamidine resistance. CONCLUSION: Nigerian propolis from RSN has some similarities with Brazilian red propolis. The propolis displayed anti-trypanosomal activity at a potentially useful level.

Broadband extreme ultraviolet probing of transient gratings in vanadium dioxide.

Nonlinear spectroscopy in the extreme ultraviolet (EUV) and soft x-ray spectral range offers the opportunity for element selective probing of ultrafast dynamics using core-valence transitions (Mukamel et al., Acc. Chem. Res. 42, 553 (2009)). We demonstrate a step on this path showing core-valence sensitivity in transient grating spectroscopy with EUV probing. We study the optically induced insulator-to-metal transition (IMT) of a VO(2) film with EUV diffraction from the optically excited sample. The VO(2) exhibits a change in the 3p-3d resonance of V accompanied by an acoustic response. Due to the broadband probing we are able to separate the two features.

Chromatographic and spectroscopic analysis of the components present in the phenanthridinium trypanocidal agent isometamidium.

The chromatographic isolation and characterisation of the four compounds present in the quaternary phenanthridine veterinary trypanocidal agent, isometamidium chloride hydrochloride (ISM), is reported. The isolated compounds were unambiguously characterised using spectroscopic (NMR, UV, IR and MS) methods as 3-amino-8-[3-(3-carbamimidoyl-phenyl)-triazenyl]-5-ethyl-6-phenylethidium (1a) and related isomers, 8-amino-3-[3-(3-carbamimidoyl-phenyl)-triazenyl]-5-ethyl-6-phenylethidium, 3,-8-diamino-7-[3-(3-carbamimidoyl-phenyl)-triazenyl]-5-ethyl-6-phenylethidium and 3,-8-bis[3-(3-carbamimidoyl-phenyl)-triazenyl]-5-ethyl-6-phenylethidium. During the course of this study, it was realised that the nature of the solvent used in the NMR study was critical as in DMSO-d6 the quaternary group in the compounds was reduced to dihydro forms (e.g. 2a).

New Sulphated Flavonoids from Wissadula periplocifolia (L.) C. Presl (Malvaceae).

Wissadula periplocifolia (L.) C. Presl (Malvaceae) is commonly used in Brazil to treat bee stings and as an antiseptic. The antioxidant properties of its extracts have been previously demonstrated, thus justifying a phytochemical investigation for its bioactive phenolic constituents. This has yielded five new sulphated flavonoids: 8-O-sulphate isoscutellarein (yannin) (1a); 4'-O-methyl-7-O-sulphate isoscutellarein (beltraonin) (1b); 7-O-sulphate acacetin (wissadulin) (2a); 4'-O-methyl-8-O-sulphate isoscutellarein (caicoine) (2b) and 3'-O-methyl-8-O-sulphate hypolaetin (pedroin) (3b) along with the known flavonoids 7,4'-di-O-methyl-8-O-sulphate isoscutellarein (4), acacetin, apigenin, isoscutellarein, 4'-O-methyl isoscutellarein, 7,4'-di-O-methylisoscutellarein, astragalin and tiliroside. The compounds were isolated by column chromatography and identified by NMR (¹H, (13)C, HMQC, HMBC and COSY) and LC-HRMS. A cell based assay was carried out to evaluate the preliminary cytotoxic properties of the flavonoids against UVW glioma and PC-3M prostate cancer cells as well as non-tumour cell lines. The obtained results showed that acacetin, tiliroside, a mixture of acacetin + apigenin and the sulphated flavonoids 2a + 2b exhibited inhibitory activity against at least one of the cell lines tested. Among the tested flavonoids acacetin and tiliroside showed lower IC50 values, presenting promising antitumor effects.