Results 121 to 130 of about 1,069,887 (282)
FEBS Open Bio, EarlyView.KDAC6 has been associated with cell motility and actin structures, but specific domain contributions are not established. The two catalytic domains have differential effects on motility and F‐actin regulation, affecting cortical F‐actin density, motility, stress fibers, and cell spreading.
Taylor V. Joseph +7 more
wiley +1 more source
Identification of (20R)‐protopanaxadiol from Panax ginseng as a novel anti‐SARS‐CoV‐2 compound
FEBS Open Bio, EarlyView.We established a noninfectious BAC‐based SARS‐CoV‐2 replicon that enables antiviral screening under BSL‐2 conditions. Using this platform, we screened 373 food‐derived compounds and identified (20R)‐protopanaxadiol from Panax ginseng as a novel inhibitor of SARS‐CoV‐2 RNA replication, highlighting the value of safe replicon systems for antiviral ...
Midori Takeda +4 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
FEBS Open Bio, EarlyView.Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
In silico and in vitro exploration of a tyrosinase for biocatalytic production of catechols
FEBS Open Bio, EarlyView.Tyrosinase from Ralstonia pseudosolanacearum is a promising biocatalyst for producing valuable catechols from monophenol substrates. This tyrosinase is uniquely suited to this due to its high monophenolase : diphenolase ratio. We combined in silico docking and in vivo kinetic characterisation of this tyrosinase with 11 industrially relevant monophenols,
James Britton +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen +5 more
wiley +1 more source
Mechanising cut-elimination for display logic [PDF]
, 2001 We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our implementation generalises easily to handle other display
Dawson, Jeremy, Gore, Rajeev
core
Direct and indirect loop equations in lattice Yang-Mills theory
Journal of High Energy PhysicsThe dynamics of Wilson loops are governed by an infinite set of Schwinger-Dyson equations and trace relations. In the context of the lattice positivity bootstrap, a central challenge is determining a dynamically independent basis of these operators ...
Xizhe Liu, Gang Yang
doaj +1 more source
Protocol for quantifying miRNA trafficking across the endosomal membrane
FEBS Open Bio, EarlyView.An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh +2 more
wiley +1 more source