Results 121 to 130 of about 21,287 (304)
, 2005 In order to verify semialgebraic programs, we automatize the Floyd/Naur/Hoare proof method. The main task is to automatically infer valid invariants and rank functions. First we express the program semantics in polynomial form.
Patrick Cousot
core +1 more source
Molecular Oncology, EarlyView.Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Decomposition of Total Factor Productivity Change in the U.S. Hog Industry, 1992-2004
There have been dramatic structural changes in the U.S. hog industry in the last two decades that have coincided with substantial increases in farm productivity.
Key, Nigel D. +2 more
core
Industry, Corporate and Segment Effects and Business Performance: A Non-Parametric Approach
, 2003 The literature investigating the degree to which firm performance is associated with industry or corporate factors has recently been subject to criticism on the grounds of both methodological shortcomings and incomplete interpretation of results.
Robert R. Wiggins +3 more
core +1 more source
Molecular Oncology, EarlyView.Radiotherapy (RT) response depends on the DNA repair capacity of tumor and host cells. We show that circulating tumor cell (CTC) counts and apoptosis rates before and after RT predict treatment response and outcome, which can be accessed via easily accessible liquid biopsy approaches. Created in BioRender. Wikman, H.
Yvonne Goy +10 more
wiley +1 more source
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
Have Milk Fat Preferences Shifted? Structural Analysis of New York Milk Consumption
Consumption of lowfat and skim milk has increased substantially over the past decade. This study investigates whether the change is due to price and expenditure effects or to a more fundamental preference change in milk demand.
Ueda, Takeshi, Frechette, Darren L.
core
Journal of Accounting and InvestmentResearch aims: This study aims to investigate the market reaction of post-IAS 41 implementation in Indonesia. IAS 41 Agriculture requires companies to measure biological assets at fair value, which will increase asset values and profit in the first year ...
Ersa Tri Wahyuni +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Pair‐wise comparison of the CellSearch and FETCH enrichment technologies for circulating tumor cells (CTCs) from metastatic breast, prostate, and small cell lung cancer patients shows an increased capture of CTCs using FETCH enrichment. The clinical implementation of circulating tumor cells (CTCs) as a predictive tool for therapy efficacy in the ...
Michiel Stevens +6 more
wiley +1 more source