Results 81 to 90 of about 828,996 (313)

An upstream open reading frame regulates expression of the mitochondrial protein Slm35 and mitophagy flux

open access: yesFEBS Letters, EarlyView.
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

Selection of Components in Compositional Verification of Safety Properties

open access: yes, 2009
This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification.
Shi, Jinjian
core  

The Study of Indoor and Field Trials on 2×8 MIMO Architecture in TD-LTE Network

open access: yesInternational Journal of Antennas and Propagation, 2013
With the development of mobile internet service, long-term evolution (LTE) system was proposed in the third generation partnership project (3GPP) to provide higher data rates and frequency efficiency.
Xiang Zhang   +5 more
doaj   +1 more source

Structural instability impairs function of the UDP‐xylose synthase 1 Ile181Asn variant associated with short‐stature genetic syndrome in humans

open access: yesFEBS Letters, EarlyView.
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li   +2 more
wiley   +1 more source

Workshop Report: IAEA Safeguards and the Irreversibility of Nuclear Disarmament

open access: yesJournal for Peace and Nuclear Disarmament
This article presents the discussion and conclusions from a workshop hosted by the Verification Research, Training and Information Centre (VERTIC) in February 2023.
Hailey Wingo
doaj   +1 more source

Hazards of Verification [PDF]

open access: yes, 2009
Great progress has been made in software verification. One has only to look, for example, at the growth in power of SAT and its widening class of applications to realize that concerns early on that verification was fundamentally intractable and that it would remain a largely manual activity were mistaken.
openaire   +1 more source

Verification of Patterns

open access: yesCoRR, 2020
189 pages, 100 figures, 12 ...
openaire   +2 more sources

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

open access: yesFEBS 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

Data protection preliminary verification translation: Italy

open access: yes, 2014
Requested by Fineco Bank S.p.A.
Data protection preliminary verification translation:, Italy
core   +4 more sources

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

open access: yesFEBS 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

Home - About - Disclaimer - Privacy