Results 61 to 70 of about 21,705,734 (300)
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]
, 2018 October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core
KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer
Molecular Oncology, EarlyView.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
Historia y Memoria, 2015 During the period of Colombian conservative hegemony, “El Buen Pastor” prison, in Bogotá, provides an illustration of penitentiary politics, as well as the formal and informal mechanisms of social control at the time, gathered in a single institution. In
July Andrea García Amézquita
doaj +1 more source
Trust and Formal Control in interorganizational Relationships [PDF]
There is a tendency to see trust and control by formal agreements as substitutes. According to transaction cost economics trust is unreliable, and some form of control is needed to reduce hazards of opportunism. According to others, high trust allows for
Klein Woolthuis, R., Nooteboom, B.
core
Molecular Oncology, EarlyView.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
Master Servant Relationships in the Eastern Cape: the 1820 Settlement
African Studies Quarterly, 2021 This article is about the rebellious behavior of the servant class and the consequent threat it posed to the established social order in the 1820 settlement.
Amina Marzouk Chouchene
doaj
Molecular Oncology, EarlyView.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
Experience report on designing and developing control components using formal methods
, 2012 This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum.
Osaiweran, A.A.H. +5 more
core +1 more source
Molecular Oncology, EarlyView.The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington +10 more
wiley +1 more source
A justiça de menores portuguesa na viragem do século xxi: uma expressão da cultura do controlo?
e-cadernos ces, 2013 The article relies on the culture of control theoretical assumptions to analyse the impact of neoliberal social policies on Portuguese youth justice. At the turn of the 21st century, Portuguese youth justice was subjected to significant structural and ...
Joana Maduro
doaj +1 more source