Results 81 to 90 of about 5,727 (317)

Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10

FEBS Letters, EarlyView.
Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang, Satoshi Hashimoto, Sota Ito, Chisato Kikuguchi, Miho Hoshi, Kiyoshi Yamaguchi, Yoichi Furukawa, Toru Suzuki, Toshifumi Inada   +8 more
wiley   +1 more source

Peptide‐based ligand antagonists block a Vibrio cholerae adhesin

FEBS Letters, EarlyView.
The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang, Grace Du, Charity Yongo‐Luwawa, Angelina Lu, Brett Kinrade, Kim Munro, Karl E. Klose, William D. Lubell, Peter Davies, Shuaiqi Guo   +9 more
wiley   +1 more source

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Bulletin of the Section of Logic
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake   +7 more
doaj   +1 more source

A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points [PDF]

, 2023
Alexis Saurin
openalex   +1 more source

Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer

FEBS Letters, EarlyView.
Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani, Noemi E. Nwosu, Viktoria Gocke, Müge Kasanmascheff, Hannes Mutschler   +4 more
wiley   +1 more source

Proof Theory and Ordered Groups

, 2017
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups).
A Ciabattoni, A Ciabattoni, A Clay, BH Neumann, EC Weinberg, F Montagna, G Metcalfe, G Metcalfe, GB Dantzig, K Terui, L Fuchs, LH Smith, ME Anderson, N Galatos, P Jipsen, R Cignoli, S Burris, VM Kopytov, WC Holland, WC Holland, WC Holland   +20 more
core   +1 more source

Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing

FEBS Letters, EarlyView.
Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley   +1 more source

Substrate specificity of Burkholderia pseudomallei multidrug transporters is influenced by the hydrophilic patch in the substrate‐binding pocket

FEBS Letters, EarlyView.
Multidrug transporters BpeB and BpeF from the Gram‐negative pathogen Burkholderia pseudomallei have a hydrophilic patch in their substrate‐binding pocket. Drug susceptibility tests and growth curve analyses using an Escherichia coli recombinant expression system revealed that the hydrophilic patches of BpeB and BpeF are involved in the substrate ...
Ui Okada, Satoshi Murakami
wiley   +1 more source

Equality Reasoning in Sequent-Based Calculi [PDF]

, 2001
This chapter describes automated reasoning techniques for all main sequent-based methods of automated deduction, including the tableau method, the connection method, model elimination, and the inverse method. It illustrates main results and ideas on the tableau method and sometimes on the inverse method (as a typical backward and a typical forward ...
Degtyarev, Anatoli, Voronkov, Andrei
openaire   +2 more sources

Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions

FEBS Letters, EarlyView.
Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf, Nicholas F. Downing, Kaitlyn M. Mills, Samuel C. Metcalfe, Alexander E. Kritzer, Lindsey D. Mayo, Peter C. Hollenhorst   +6 more
wiley   +1 more source