Results 131 to 140 of about 25,005,250 (309)
Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer
Molecular Oncology, EarlyView.Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas +16 more
wiley +1 more source
Using formal concept analysis for the verification of process-data matrices in conceptual domain models. [PDF]
One of the first steps in a software engineering process is the elaboration of the conceptual domain model. In this paper, we investigate how Formal Concept Analysis can be used to formally underpin the construction of a conceptual domain model.
Dedene, Guido +3 more
core
Security analysis of the RSSP-II protocol and a novel security enhancement approach
网络与信息安全学报The railway signal safety protocol-Ⅱ (RSSP-Ⅱ), as the core security communication protocol of China’s train control system (CTCS-3), played a crucial role in ensuring the security and reliability of train communication.
FENG Tao +3 more
doaj
Molecular Oncology, EarlyView.Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche +10 more
wiley +1 more source
Molecular Oncology, EarlyView.This study integrates publicly available transcriptomic datasets to identify molecular signatures associated with response to neoadjuvant chemoradiotherapy in locally advanced rectal cancer. By analyzing a combination of multiple cohorts with bioinformatics approaches, we reveal biological pathways and immune‐related features that may improve ...
Aleksandra Stanojevic +10 more
wiley +1 more source
FORTEST: Formal methods and testing [PDF]
, 2002 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP +5 more
core +2 more sources
How to gerrymander: A formal analysis
Public Choice, 1998 The paper presents an effort to incorporate geographic and other possible exogenous constraints that might be imposed on districting into an optimal partisan gerrymandering scheme. We consider an optimal districting scheme for a party which maximizes the number of districts that it will, in expectation, win, given arbitrary distributions of voters and ...
openaire +3 more sources
Molecular Oncology, EarlyView.This study identifies ARHGAP5, in addition to the frequently mutated ARHGAP35, as significantly mutated in endometrial cancer. Mutations in both genes co‐occur and are associated with their correlated downregulation. Functional CRISPR studies show that both paralogs regulate similar pathways, including actin cytoskeleton organization.
Mathilde Pinault +12 more
wiley +1 more source
Formal Analysis of Concurrent Java Systems [PDF]
, 2000 Java threads are synchronised through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java's primitives have only been presented in natural language ? this paper remedies this with a simple and formal CSP model.
Welch, Peter H., Martin, Jeremy M. R.
core
Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach
Tongxin xuebao, 2012 Follow with the methodology of reverse engineering,an exploratory modeling and analysis of security of the typical Kremer-Markowitch multi-party non-repudiation protocol were carried out with a novel method named extended-CSP approach which had been ...
Zhi-geng HAN, Geng CHEN, Jun-zhou LUO
doaj