Labelled Tableaux For Non-Normal Modal Logics

In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of non-normal modal logic, such as monotonic and regular, in a uniform and modular way

Extracellular interface between APP and Nicastrin regulates Aβ length and response to γ-secretase modulators

γ‐Secretase complexes (GSECs) are multimeric membrane proteases involved in a variety of physiological processes and linked to Alzheimer's disease (AD). Presenilin (PSEN, catalytic subunit), Nicastrin (NCT), Presenilin Enhancer 2 (PEN‐2), and Anterior Pharynx Defective 1 (APH1) are the essential subunits of GSECs. Mutations in PSEN and the Amyloid Precursor Protein (APP) cause early‐onset AD. GSECs successively cut APP to generate amyloid‐β (Aβ) peptides of various lengths. AD‐causing mutations destabilize GSEC‐APP/Aβ_{n} interactions and thus enhance the production of longer Aβs, which elicit neurotoxic events underlying pathogenesis. Here, we investigated the molecular strategies that anchor GSEC and APP/Aβ_{n} during the sequential proteolysis. Our studies reveal that a direct interaction between NCT ectodomain and APP_{C99} influences the stability of GSEC‐Aβn assemblies and thereby modulates Aβ length. The data suggest a potential link between single‐nucleotide variants in NCSTN and AD risk. Furthermore, our work indicates that an extracellular interface between the protease (NCT, PSEN) and the substrate (APP) represents the target for compounds (GSMs) modulating Aβ length. Our findings may guide future rationale‐based drug discovery efforts

Export-deficient monoubiquitinated PEX5 triggers peroxisome removal in SV40 large T antigen-transformed mouse embryonic fibroblasts

Peroxisomes are ubiquitous cell organelles essential for human health. To maintain a healthy cellular environment, dysfunctional and superfluous peroxisomes need to be selectively removed. Although emerging evidence suggests that peroxisomes are mainly degraded by pexophagy, little is known about the triggers and molecular mechanisms underlying this process in mammalian cells. In this study, we show that PEX5 proteins fused to a bulky C-terminal tag trigger peroxisome degradation in SV40 large T antigen-transformed mouse embryonic fibroblasts. In addition, we provide evidence that this process is autophagy-dependent and requires monoubiquitination of the N-terminal cysteine residue that marks PEX5 for recycling. As our findings also demonstrate that the addition of a bulky tag to the C terminus of PEX5 does not interfere with PEX5 monoubiquitination but strongly inhibits its export from the peroxisomal membrane, we hypothesize that such a tag mimics a cargo protein that cannot be released from PEX5, thus keeping monoubiquitinated PEX5 at the membrane for a sufficiently long time to be recognized by the autophagic machinery. This in turn suggests that monoubiquitination of the N-terminal cysteine of peroxisomeassociated PEX5 not only functions to recycle the peroxin back to the cytosol, but also serves as a quality control mechanism to eliminate peroxisomes with a defective protein import machinery.This work was supported by grants from the ’Fonds voor Wetenschappelijk Onderzoek-Vlaanderen (Onderzoeksprojecten G.0754.09 and G095315N)’ (to MF and PVV), the KU Leuven (OT/09/045, OT/14/100, and DBOF/10/059) (to MF and PVV), and by FEDER funds through the Operational Competi-tiveness Program, COMPETE, and by national funds through FCT, Fundação para a Ciência e a Tecnologia, under the projects FCOMP-01–0124-FEDER-019731 (PTDC/BIA-BCM/118577/2010) and FCOMP-01–0124-FEDER-022718 (PEst-C/SAU/LA0002/2011) (to JEA). MN was supported by a FLOF fellow-ship from the Department of Cellular and Molecular Medicine (KU Leuven). TF was supported by Fundação para a Ciência e aTecnologia, Programa Operacional Potencial Humano do QREN, and Fundo Social Europeu

Mitochondrial fission factor (MFF) is a critical regulator of peroxisome maturation

This is the author accepted manuscript. The final version is available from Elsevier via the DOI in this recordData availability: The research data supporting this publication are provided within this paper and as supplementary information.Peroxisomes are highly dynamic subcellular compartments with important functions in lipid and ROS metabolism. Impaired peroxisomal function can lead to severe metabolic disorders with developmental defects and neurological abnormalities. Recently, a new group of disorders has been identified, characterised by defects in the membrane dynamics and division of peroxisomes rather than by loss of metabolic functions. However, the contribution of impaired peroxisome plasticity to the pathophysiology of those disorders is not well understood. Mitochondrial fission factor (MFF) is a key component of both the peroxisomal and mitochondrial division machinery. Patients with MFF deficiency present with developmental and neurological abnormalities. Peroxisomes (and mitochondria) in patient fibroblasts are highly elongated as a result of impaired organelle division. The majority of studies into MFF-deficiency have focused on mitochondrial dysfunction, but the contribution of peroxisomal alterations to the pathophysiology is largely unknown. Here, we show that MFF deficiency does not cause alterations to overall peroxisomal biochemical function. However, loss of MFF results in reduced import-competency of the peroxisomal compartment and leads to the accumulation of pre-peroxisomal membrane structures. We show that peroxisomes in MFF-deficient cells display alterations in peroxisomal redox state and intra-peroxisomal pH. Removal of elongated peroxisomes through induction of autophagic processes is not impaired. A mathematical model describing key processes involved in peroxisome dynamics sheds further light into the physical processes disturbed in MFF-deficient cells. The consequences of our findings for the pathophysiology of MFF-deficiency and related disorders with impaired peroxisome plasticity are discussed.Biotechnology & Biological Sciences Research Council (BBSRC)European Union Horizon 2020Research Foundation – FlandersGerman Research Foundation (DFG)Medical Faculty Mannheim (MEAMEDMA)Medical Research Council (MRC)Wellcome TrustKU LeuvenZellweger UKSidney Perry FoundationDevon Educational Trus

Alzheimer's-Causing Mutations Shift Aβ Length by Destabilizing γ-Secretase-Aβn Interactions

Alzheimer's disease (AD)-linked mutations in Presenilins (PSEN) and the amyloid precursor protein (APP) lead to production of longer amyloidogenic Aβ peptides. The shift in Aβ length is fundamental to the disease; however, the underlying mechanism remains elusive. Here, we show that substrate shortening progressively destabilizes the consecutive enzyme-substrate (E-S) complexes that characterize the sequential γ-secretase processing of APP. Remarkably, pathogenic PSEN or APP mutations further destabilize labile E-S complexes and thereby promote generation of longer Aβ peptides. Similarly, destabilization of wild-type E-S complexes by temperature, compounds, or detergent promotes release of amyloidogenic Aβ. In contrast, E-Aβn stabilizers increase γ-secretase processivity. Our work presents a unifying model for how PSEN or APP mutations enhance amyloidogenic Aβ production, suggests that environmental factors may increase AD risk, and provides the theoretical basis for the development of γ-secretase/substrate stabilizing compounds for the prevention of AD

The peroxisomal protein import machinery displays a preference for monomeric substrates

Peroxisomal matrix proteins are synthesized on cytosolic ribosomes and transported by the shuttling receptor PEX5 to the peroxisomal membrane docking/translocation machinery, where they are translocated into the organelle matrix. Under certain experimental conditions this protein import machinery has the remarkable capacity to accept already oligomerized proteins, a property that has heavily influenced current models on the mechanism of peroxisomal protein import. However, whether or not oligomeric proteins are really the best and most frequent clients of this machinery remain unclear. In this work, we present three lines of evidence suggesting that the peroxisomal import machinery displays a preference for monomeric proteins. First, in agreement with previous findings on catalase, we show that PEX5 binds newly synthesized (monomeric) acyl-CoA oxidase 1 (ACOX1) and urate oxidase (UOX), potently inhibiting their oligomerization. Second, in vitro import experiments suggest that monomeric ACOX1 and UOX are better peroxisomal import substrates than the corresponding oligomeric forms. Finally, we provide data strongly suggesting that although ACOX1 lacking a peroxisomal targeting signal can be imported into peroxisomes when co-expressed with ACOX1 containing its targeting signal, this import pathway is inefficient

Paradoxical action of penicillin G on Staphylococcus aureus: a time study of the effect of a zonal antibiotic concentration gradient on bacterial growth

The killing rate of a zonal concentration gradient of penicillin G on S. aureus was studied by using a previously described triple layer technique, enzymatic inactivation of the antibiotic, and an automatic image analyzer. This gradient determines a target image, whose center is the reservoir of antibiotic (constituted by a paper disk containing 100 U of penicillin G) and whose successive concentric zones are: a zone of slow bactericidal activity (corresponding to high levels of penicillin G), a zone of maximal bactericidal activity (corresponding to optimal levels of penicillin G), and a zone of overgrowth situated in front of the antibiotic wave.SCOPUS: ar.jinfo:eu-repo/semantics/publishe

Metal-enhanced fluorescence: effect of surface coating

Metal Enhanced Fluorescence (MEF), a phenomenon arising when a fluorophore is in closed proximity to a metallic structure such as metallic films or nanostructures, is seen as a way to increase the amount of reactive oxygen species produced by the irradiation of the protoporphyrin IX (PpIX), a photosensitizer commonly used in photodynamic therapy. Here, we show a study of the distance-dependent of MEF by applying multiple layers of polyelectrolyte (PE) on silver nanoparticles (AgNPs) to progressively increase the distance between AgNPs and PpIX, covalently bond to the last polyelectrolyte layer as well as exploring the use of AgNPs of different sizes ranging from 40 to 100 nm. Up to four fold increase of PpIX fluorescence was observed when this photosensitizing agent is bounded onto 100 nm sized Ag NPs. The effective corresponding distance between AgNPs and PpIX is three layers of PE. © ? 2014 SPIE.M. Lismont, A. François, L. Dreesen, T. M. Monr

Growth Curves, Microscopic Morphology, and Subcultures of Beta-Lactamase-Positive and -Negative Haemophilus influenzae Under the Influence of Ampicillin and Cefamandole

In contrast to the results obtained with ampicillin, the minimum inhibitory concentrations of cefamandole against Haemophilus influenzae were within the same range (0.5 to 1.5 μg/ml) whether or not the strains were beta-lactamase producers. The minimum bactericidal concentrations were somewhat higher for beta-lactamase-positive strains (6.4 μg/ml) than for negative strains (1.2 μg/ml). In a culture with high initial microbial density, monitored by recording optical densities, the addition of 10 μg of cefamandole per ml brought about rapid lysis of a beta-lactamase-negative strain. Observation of a beta-lactamase-positive strain revealed, in the early part of the growth curve, absence of lysis and an increase of biomass similar to that observed in a drug-free control curve. In contrast to the results obtained with ampicillin, the culture consisted uniformly of spherical forms, probably in the process of division, which were capable of generating colonies. When the microbial density exposed to cefamandole was increased still further, persistent bacillary forms were observed, and after 24 h hydrolysis had eliminated every trace of microbiologically active cefamandole

Activity of Ten Cephalosporins on Biomass of Methicillin-Susceptible and -Resistant Staphylococcus aureus

The growth curves automatically recorded and printed during the action of 10 cephalosporins on methicillin-susceptible and methicillin-resistant Staphylococcus aureus showed the following. (i) The biomass of methicillin-susceptible S. aureus exposed to the cephalosporins increased before lysis occurred (inoculum, 10(6) colony-forming units per ml). Lysis was more rapid with cephalothin and cephaloridine, whose minimal inhibitory concentrations were lowest. (ii) The same biomass increase followed by lysis occurred with methicillin-resistant S. aureus, and the speed of lysis was not different from those of cephalothin (without any regrowth), cefoxitin (with regrowth of a few strains), and cephaloridine (regrowth of all strains), with methicillin-susceptible strains. A 2-log increase of inoculum (10(8) colony-forming units per ml) did not modify significantly the speed of lysis with cephalothin, cephaloridine, and cefoxitin, but regrowth sometimes occurred. The early transitory lysis caused by cephaloridine, cephalothin, cefamandole, and cefoxitin was not suppressed by preincubation with 32 μg of methicillin per ml, but regrowth occurred more frequently. No lysis could be observed with cefazolin, cefotaxime, cephalexin, cephradine, cefuroxime, and cefaclor unless high concentrations were achieved. (iii) From a practical point of view, the early response of the growth curve (4 h) could not determine in every case whether a strain of S. aureus was resistant or susceptible to cephalosporin. A further study of the growth curve (18 of 24 h) was necessary for this purpose. Results obtained after a few hours with automated systems should be interpreted with great caution