Results 91 to 100 of about 129,657 (289)
The Descriptive Complexity of Subgraph Isomorphism without Numerics
, 2017 Let $F$ be a connected graph with $\ell$ vertices. The existence of a subgraph isomorphic to $F$ can be defined in first-order logic with quantifier depth no better than $\ell$, simply because no first-order formula of smaller quantifier depth can ...
Verbitsky, Oleg, Zhukovskii, Maksim
core +1 more source
Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions
FEBS Letters, EarlyView.We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva +10 more
wiley +1 more source
Fast Cut-Elimination using Proof Terms: An Empirical Study
, 2018 Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without ...
Ebner, Gabriel
core +2 more sources
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.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
FEBS Letters, EarlyView.Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson +7 more
wiley +1 more source
Superlative QP “Hyper-Raising” in dialectal Spanish: the role of dormant Edge Features
Borealis: An International Journal of Hispanic Linguistics, 2020 In this paper I deal with a particular relative-clause superlative construction attested in Spanish dialects like Canariense (Bosque & Brucart 1991) and Puerto Rican (Rohena-Madrazo 2007), among others.
Luis Ángel Sáez del Álamo
doaj +1 more source
FEBS Letters, EarlyView.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
On the contrast between Germanic and Romance negated quantifiers
Bucharest Working Papers in Linguistics, 2009 Universal quantifiers can be stranded in the manner described by Sportiche (1988), Giusti (1990) and Shlonsky (1991) in both the Romance and Germanic languages, but a negated universal quantifier can only be stranded in the Germanic languages.
Robert Cirillo
doaj
Shouldn't Quantificational Pluralism Accept the Generic Quantifier? [PDF]
حکمت و فلسفهIntroductionQuantificational pluralism is, more or less, the recognition of a plurality of distinct quantifiers in describing the ontological status of the world.
Mohammad Hosein Esfandiari
doaj +1 more source
FEBS Letters, EarlyView.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