Results 31 to 40 of about 108,835 (244)
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
, 2015 We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented, e ...
Fiedor, Tomas +3 more
core +1 more source
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source
An Analysis of Publication Venues for Automatic Differentiation Research [PDF]
, 2014 We present the results of our analysis of publication venues for papers on automatic differentiation (AD), covering academic journals and conference proceedings.
Baydin, Atilim Gunes +1 more
core +1 more source
World Journal of Advanced Research and Reviews, 2023 Personalized mental health therapy has gained increasing attention as advancements in artificial intelligence (AI) enable tailored treatment strategies based on individual cognitive and emotional profiles. Neuro-symbolic AI, a hybrid approach combining symbolic reasoning and neural networks, offers a promising solution for bridging cognitive science ...
openaire +1 more source
Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin
Molecular Oncology, EarlyView.Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon +4 more
wiley +1 more source
TarTar: A Timed Automata Repair Tool
, 2020 We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model.
AE Dalsgaard +8 more
core +1 more source
A Swiss Pocket Knife for Computability [PDF]
, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Jones, Neil D.
core +3 more sources
Journal of Physics: Conference Series, 2020 Abstract The purpose of this study was to determine the differences in the effectiveness of the computer-based “color mixing maze games” to stimulate symbolic thinking for the development of learning science in early childhood in the new era of industry 4.0. 23 samples in one kindergarten in Surabaya were used for this study consisted of
Roudlotul Islamiyah +2 more
openaire +1 more source
Molecular Oncology, EarlyView.This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns +10 more
wiley +1 more source