Results 101 to 110 of about 934,075 (313)
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
Formal Methods for a Digital Industry: Industrial Track at ISoLA 2022
, 2023 337339The industrial track at ISoLA 2022 provides a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can ...
Hungar, Hardi +3 more
core +1 more source
Molecular Oncology, EarlyView.BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source
Safety cases for the formal verification of automatically generated code
, 2010 Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains.
Basir, Nurlida
core
Informal care, labour force participation and unmet needs for formal care in the EU-27, Croatia and Turkey. ENEPRI Research Report No. 97, November 2011 [PDF]
, 2011 This study seeks to estimate the effects of problems in labour force participation and unmet needs for formal care on informal caregiving. Using information for 2007 from Eurobarometer 283/Wave 67.3 for the EU-27 and the two candidate countries, Turkey ...
Prieto, Cristina Vilaplana
core
FEBS Open Bio, EarlyView.14‐day casting‐induced immobilization reduced gastrocnemius muscle mass and increased non‐heme iron and ferritin heavy chain levels. Despite iron accumulation, transferrin receptor 1 and iron regulatory protein 2 were paradoxically upregulated. Lipid peroxidation was elevated without compensatory antioxidant responses.
Haruka Yokogawa +2 more
wiley +1 more source
, 2016 Small and medium-sized enterprises (SMEs) represent the backbone of the global economy and therefore are an integral part of the HRD research agenda.
Garavan, Thomas N., Nolan, Ciara T.
core +1 more source
Evolutionarily divergent DUF4465 domains have a common vitamin B12‐binding function
FEBS Open Bio, EarlyView.We show that DUF4465 family proteins, widespread across bacteria from gut microbiomes, hydrothermal vents, and soil, share a common vitamin B12‐binding function. These augmented β‐jellyroll proteins bind vitamin B12 via extended loops. Our findings establish sequence‐diverse DUF4465 proteins as a widespread class of B12‐binding proteins, highlighting ...
Charlea Clarke +4 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
Formal API Specification of the PikeOS Separation Kernel
, 2015 PikeOS is an industrial operating system for safety and security critical applications in, for example, avionics and automotive contexts. A consortium of several European partners from industry and academia works on the certification of PikeOS up to at ...
Nemouchi, Y. +12 more
core +1 more source