Results 221 to 230 of about 15,159 (278)
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction
José Espírito Santo
openalex +2 more sources
Autophagosome marker, LC3, is released extracellularly via several distinct pathways
This study establishes a novel HiBiT‐tagging system for ultrasensitive detection of LC3, revealing multiple pathways for its extracellular secretion. It demonstrates that LC3 is released via both autophagy‐dependent and ‐independent mechanisms, including a novel route for nonlipidated LC3‐I.
Koki Saito +3 more
wiley +1 more source
A natural sequent calculus for Lewis logic of counterfactuals [PDF]
Nicola Olivetti, Gian Luca Pozzato
openalex
Analysis of Treacher Collins syndrome 4‐associated mutations in Schizosaccharomyces pombe
Fission yeast models carrying Treacher Collins syndrome type 4‐associated mutations reveal that impaired processivity of RNA polymerase I leads to defective rRNA transcription. This study highlights the essential role of a conserved arginine residue in Pol I elongation and provides mechanistic insight into the pathogenesis of ribosomopathies.
Kei Kawakami, Hiroaki Kato
wiley +1 more source
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic [PDF]
Amirhossein Akbar Tabatabai +2 more
openalex +1 more source
This research protocol outlines a workflow for nuclear magnetic resonance (NMR)‐based metabolomics in the agri‐food sector. Using two case studies—strawberry leaves (solid matrix) and wine (liquid matrix)—it details the procedures for sample preparation, data acquisition, and processing.
Andrea Fernández‐Veloso +4 more
wiley +1 more source

