Results 91 to 100 of about 354,417 (335)
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Automated program verification is a difficult problem. It is undecidable even for transition systems over Linear Integer Arithmetic (LIA). Extending the transition system with theory of Arrays, further complicates the problem by requiring inference and reasoning with universally quantified formulas.
Arie Gurfinkel +2 more
openaire +2 more sources
This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
The interaction between relevant-set based operators and a topic–predicate dimension
Hungarian relevant-set based operators, such as universally quantified noun-phrases and the also-quantifier, signal a logico-pragmatic relation between their explicit meaning and a broader implicit set of relevant participants which property can be ...
Anna Szeteli, Gábor Alberti
doaj +1 more source
This paper is a logical defense of the essential rightness of the Scholastic theory of distribution, the theory of distributed and undistributed terms. This theory has been severely attacked by Peter Geach, who regards it as a blot on the history of logic. I, in fact, agree with Geach's criticisms themselves, but I wish to overturn his ultimate verdict.
openaire +3 more sources
Cell wall target fragment discovery using a low‐cost, minimal fragment library
LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
Some Yoruba quantifier words and semantic interpretation
This paper examines the need to look at quantifiers from semantic perspectives unconnected with logical, existential, or universal claims. The focus here is on the quantifier 'many' in Yoruba.
Nike S. Lawal
doaj +1 more source
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Some Yoruba quantifier words and semantic interpretation a critique
This work takes a close look at the Yoruba quantifiers, pUpQ, QpQ, and QpQ1QpQ 'many', and concludes that, contrary to Lawal's [1986] claim, it is difficult to differentiate semantically between them.
L. O. Adewole
doaj +1 more source
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source

