Results 91 to 100 of about 4,197,782 (360)

Evolutionary interplay between viruses and R‐loops

open access: yesFEBS Letters, EarlyView.
Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi   +4 more
wiley   +1 more source

Prevalence and associations of asteroid hyalosis: the Beijing Eye Study

open access: yesBMC Ophthalmology, 2022
Background To determine the prevalence and associations of asteroid hyalosis (AH) in a Chinese population-based cohort. Methods The retrospective, cross-sectional, population-based Beijing Eye Study 2011 included 3468 individuals with a mean age of 64.6 ±
Chuan Zhang   +5 more
doaj   +1 more source

Transforming opacity verification to nonblocking verification in modular systems

open access: yes, 2019
We consider the verification of current-state and K-step opacity for systems modeled as interacting non-deterministic finite-state automata. We describe a new methodology for compositional opacity verification that employs abstraction, in the form of a ...
Lafortune, Stephane, Mohajerani, Sahar
core   +1 more source

What did I really vote for? On the usability of verifiable e-voting schemes [PDF]

open access: yes, 2018
E-voting has been embraced by a number of countries, delivering benefits in terms of efficiency and accessibility. End-to-end verifiable e-voting schemes facilitate verification of the integrity of individual votes during the election process.
Kulyk, Oksana   +3 more
core   +1 more source

Biochemical Verification of Tobacco Use and Abstinence: 2019 Update.

open access: yesNicotine & Tobacco Research, 2019
BACKGROUND The changing prevalence and patterns of tobacco use, the advent of novel nicotine delivery devices, and the development of new biomarkers prompted an update of the 2002 Society for Research on Nicotine and Tobacco (SRNT) report on whether and ...
N. Benowitz   +8 more
semanticscholar   +1 more source

Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation

open access: yesFEBS Letters, EarlyView.
The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt   +8 more
wiley   +1 more source

Retrospective analysis of secondary enucleation for uveal melanoma after plaque radiotherapy

open access: yesBMC Ophthalmology, 2022
Background Uveal melanoma (UM) is the most common primary intraocular malignancy in adults. Plaque brachytherapy (PRT) is widely accepted as an effective globe-conserving treatment modality for UM.
Heng Wang   +6 more
doaj   +1 more source

Purification tags markedly affect self‐aggregation of CPEB3

open access: yesFEBS Letters, EarlyView.
Although recombinant proteins are used to study protein aggregation in vitro, uncleaved tags can interfere with accurate interpretation. Our findings demonstrate that His₆‐GFP and His₁₂ tags significantly affect liquid droplet and amyloid fibril formation in the intrinsically disordered region (IDR) of mouse cytoplasmic polyadenylation element‐binding ...
Harunobu Saito   +6 more
wiley   +1 more source

The African Nuclear-Weapon-Free Zone Treaty: A Reflection on the Role of Activism

open access: yesThe Thinker
It took 45 years between when the First Ordinary Session of the then Organisation of African Unity (OAU) [now the African Union] declared Africa a denuclearized zone in July 1964 and when the African Nuclear-Weapon-Free Zone Treaty (Treaty of Pelindaba)
Noël Stott
doaj   +1 more source

Procedure-modular specification and verification of temporal safety properties [PDF]

open access: yes, 2015
This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations.
Gurov, Dilian   +2 more
core   +3 more sources

Home - About - Disclaimer - Privacy