Evolutionarily divergent DUF4465 domains have a common vitamin B12‐binding function
FEBS Open Bio, EarlyView.We show that DUF4465 family proteins, widespread across bacteria from gut microbiomes, hydrothermal vents, and soil, share a common vitamin B12‐binding function. These augmented β‐jellyroll proteins bind vitamin B12 via extended loops. Our findings establish sequence‐diverse DUF4465 proteins as a widespread class of B12‐binding proteins, highlighting ...
Charlea Clarke +4 more
wiley +1 more source
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised [PDF]
, 2023 Ian Shillito +3 more
openalex +1 more source
Systemic dysregulation of apolipoproteins in amyotrophic lateral sclerosis serum
FEBS Open Bio, EarlyView.Amyotrophic lateral sclerosis (ALS) is a fatal disease that damages motor neurons. This study found that people with ALS show significant changes in blood fats and the proteins that carry them. Several apolipoproteins were higher, lipid balances were altered, and normal protein–lipid relationships were disrupted.
Finula I. Isik +6 more
wiley +1 more source
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
Bulletin of the Section of LogicA unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj +1 more source
Cut Elimination with ξ-Functionality
, 2008 In [1] Andrews proved cut-elimination for a sequent calculus G for elementary type theory (Corollary 4.11 there). In particular, Andrews proved provability in G is equivalent to provability in a Hilbert-style calculus T (where admissibility of cut is ...
Michael Kohlhase +2 more
core
Medicaid Cuts and Attempts to Eliminate Insurance Coverage for Diabetes Needs Threaten the Lives of Our Patients [PDF]
, 2003 Francine Kaufman
openalex +1 more source
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI [PDF]
, 2020 Richard Zach
openalex +1 more source
FEBS Open Bio, EarlyView.Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane +11 more
wiley +1 more source
The Cut-Elimination Theorem for Differential Nets with Promotion
, 2009 Michele Pagani
openalex +2 more sources
Understanding the hardening syndrome of potato (Solanum tuberosum L.) tuber tissue to eliminate textural defects in fresh and fresh-peeled/cut products [PDF]
, 2002 Ilan Shomer +3 more
openalex +1 more source