Evolutionary interplay between viruses and R‐loops
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
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
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]
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.
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
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
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
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
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]
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