Results 111 to 120 of about 25,005,250 (309)
KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan +16 more
wiley +1 more source
Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis [PDF]
Cimiano P, Hotho A, Staab S. Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis. Karlsruhe: Universität Karlsruhe, Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB ...
Staab, Steffen +2 more
core
A formal actor-based model for streaming the future
\u3cp\u3eAsynchronous Actor-based programming has gained increasing attention as a model of concurrency and distribution. The Abstract Behavioral Specification (ABS) language is an actor-based programming language that has been developed for both the ...
Azadbakht, Keyvan +5 more
core +1 more source
To address the shortcomings of existing authentication schemes in vehicle networks, which commonly suffer from key escrow issues, as well as the lack of consideration for lightweight deployment and secure rapid authentication of compute-constrained ...
ZHENG Lu, FENG Tao, SU Chunhua
doaj
Formal Analysis of the Security Protocol with Timestamp Using SPIN. [PDF]
Xiao M +4 more
europepmc +1 more source
The BRST analysis of the Stückelberg formalism
The Stuckelberg formalism can be regarded as a field-enlarging transformation that introduces an additional gauge symmetry to the considered model. We define and calculate the appropriate BRST charge. The physical state condition, demanding that a physical state is to be annihilated by the BRST charge, is shown to be equivalent to the Stuckelberg ...
Kogerles, R., Sładkowski, Jan
openaire +4 more sources
RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner +14 more
wiley +1 more source
Terrorist threat assessment with formal concept analysis. [PDF]
The National Police Service Agency of the Netherlands developed a model to classify (potential) jihadists in four sequential phases of radicalism. The goal of the model is to signal the potential jihadist as early as possible to prevent him or her to ...
Morsing, Shanti +4 more
core
A formal analysis method for composition protocol based on model checking. [PDF]
Xiao M +4 more
europepmc +1 more source
This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source

