Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes [PDF]
We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterminism.We provide two different interpretations for PML by considering ...
Bernardo, Marco +2 more
core +2 more sources
PML and PML-like exonucleases restrict retrotransposons in jawed vertebrates
ABSTRACTWe have uncovered a novel role for the promyelocytic leukemia (PML) gene and novel PML-like DEDDh exonucleases in the maintenance of genome stability through the restriction of LINE-1 (L1) retrotransposition in jawed vertebrates. Although the PML tumour suppressor protein in mammals is SUMOylated and forms nuclear bodies, we found that the ...
Sabateeshan Mathavarajah +12 more
openaire +2 more sources
Simplified Estimation of Economic Seismic Risk for Buildings [PDF]
A seismic risk assessment is often performed on behalf of a buyer of commercial buildings in seismically active regions. One outcome of the assessment is that a probable maximum loss (PML) is computed.
Beck, James L. +2 more
core +1 more source
Pemodelan Awal Ground Penetrating Radar dengan Metode Discontinuous Galerkin dan PML Berenger
This paper discusses the development of Discontinuous Galerkin method, which has both linear shape function and weight function, for modeling Ground Penetrating Radar (GPR) in heterogeneous media.
Pranowo
doaj +1 more source
Requirement of PML SUMO interacting motif for RNF4- or arsenic trioxide-induced degradation of nuclear PML isoforms. [PDF]
PML, the organizer of nuclear bodies (NBs), is expressed in several isoforms designated PMLI to VII which differ in their C-terminal region due to alternative splicing of a single gene.
Mohamed Ali Maroui +5 more
doaj +1 more source
A chemogenomic screening identifies CK2 as a target for pro-senescence therapy in PTEN-deficient tumours [PDF]
Enhancement of cellular senescence in tumours triggers a stable cell growth arrest and activation of an antitumour immune response that can be exploited for cancer therapy.
Alajati, Abdullah +25 more
core +1 more source
ABSTRACT Chimeric antigen receptor (CAR) T‐cell therapy has been investigated in neurological diseases, encompassing both central nervous system malignancies and autoimmune disorders, thereby extending its application beyond hematological cancers.
Omar Alqaisi +5 more
wiley +1 more source
Preparation of LaB6 Powders via Calciothermic Reduction using Mechanochemistry and Acid Leaching
This study reports a room temperature mechanochemical route for the synthesis of LaB6 powders originated from related metal oxide powders as La2O3 and B2O3.
Duygu Ağaoğulları +3 more
doaj +1 more source
The Role of Promyelocytic Leukemia Nuclear Bodies During HPV Infection
Promyelocytic leukemia (PML) nuclear bodies (NBs) are highly dynamic subnuclear structures. Their name giving major component, PML protein, is essential for their formation.
Lucile G. Guion +3 more
doaj +1 more source
An Approximate PML Applied to Cylindrical and Spherical Coordinate Sectors [PDF]
This letter proposes an approximate perfectly matched layer (PML) that is applicable to cylindrical and spherical coordinate sectors. The proposed PML is based on complex coordinate stretching, which enables the truncation of finite-difference time ...
Yoshiaki Ando
core +2 more sources

