Results 71 to 80 of about 1,069,887 (282)
Elimination of Cucumber mosaic virus from gladiolus by meristem tip culture, thermotherapy and electrotherapy [PDF]
مجله بیوتکنولوژی کشاورزی, 2016 Flowers of Gladiolus sp. are among the top six flowers of export value and in Iran take the second place in the production of cut flowers. Cucumber mosaic virus is one of the most common viruses in gladiolus worldwide.
Sorraya Tourang +2 more
doaj +1 more source
FEBS Letters, EarlyView.Synechocystis strains deficient in succinate dehydrogenase (SDH) secrete more succinate than the WT under dark anaerobic conditions, supporting that SDH then primarily acts as SDH, not as a fumarate reductase. L‐aspartate oxidase (Laspo) from Synechocystis is functional under anaerobic conditions, reducing fumarate to succinate.
Kateryna Kukil +3 more
wiley +1 more source
A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma
FEBS Letters, EarlyView.Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos +9 more
wiley +1 more source
Cut free sequent calculus for logic S5n(ED)
Lietuvos Matematikos Rinkinys, 2010 Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and ...
Haroldas Giedra
doaj +1 more source
On the Herbrand content of LK [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first ...
Bahareh Afshari +2 more
doaj +1 more source
Smaller is better: nanobodies meet NMR
FEBS Letters, EarlyView.Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
A Simple Proof That Super-Consistency Implies Cut Elimination [PDF]
, 2023 We give a simple and direct proof that super-consistency implies the cut elimination property in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implies proof normalization.
Dowek, Gilles, Hermant, Olivier
core +1 more source
Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research
FEBS Letters, EarlyView.What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley +1 more source
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees [PDF]
Logical Methods in Computer Science, 2017 Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics, ie any categorical interpretation of the logic compatible with its cut ...
Marc Bagnol
doaj +1 more source
Inhibition of dipeptidyl peptidase 7 impairs lysophagy in LLOMe‐treated HepG2 cells
FEBS Letters, EarlyView.DPP7 inhibition delays ubiquitin‐dependent lysophagy by attenuating ubiquitin accumulation and the recruitment of SQSTM1 and LC3 to damaged lysosomes, resulting in delayed clearance of damaged lysosomes and impaired restoration of lysosomal homeostasis. Created using FigureLabs (Certificate ID: FL‐PUB‐20260922‐Z99XNX).
Na Yeon Park +8 more
wiley +1 more source