Results 151 to 160 of about 10,140 (309)
Decidability of DPDA equivalence
, 2008 A proof of decidability of equivalence between deterministic pushdown automata is presented using a mixture of methods developed in concurrency and language theory.
Colin Stirling
core
The VHL tumor suppressor at the crossroad of protein folding, aggregation, and cancer
Molecular Oncology, EarlyView.Mutations, environmental stress, and chaperone dysfunction can destabilize pVHL, promoting its conversion from the native folded state into amyloid‐like assemblies. This transition may contribute to protein storage, cell dormancy, survival, and drug resistance.
Lara Abad +2 more
wiley +1 more source
Molecular Oncology, EarlyView.High‐risk bladder cancer is typically treated with Bacillus Calmette‐Guérin (BCG), but 30–40% of patients relapse. No FDA‐ or CE‐approved biomarkers currently predict or prognosticate BCG failure. We systematically reviewed the literature and identified 72 eligible studies, revealing several promising biomarkers associated with BCG treatment response ...
Rui Ribeiro‐Pereira +7 more
wiley +1 more source
A Decidability Result for a Second Order Process Logic
, 1978 We prove the decidability of the validity problem for a rather general language for talking about computations. As corollaries of our result, we obtain some decidability results of Pratt, Constable, Fischer-Ladner, and Pnueli and also a new decidability ...
Parikh, Rohit
core
Molecular Oncology, EarlyView.In head and neck squamous cell carcinoma (HNSCC) p53 and p63 exert opposite roles on the transcription regulation of the lncRNA NEAT1. Under basal conditions, p53 levels are low and p63 represses NEAT1 expression. Upon genotoxic stress, p53 is rapidly induced, displacing p63 from the NEAT1 promoter leading to NEAT1 transcriptional activation and ...
Sara De Domenico +5 more
wiley +1 more source
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
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong +3 more
wiley +1 more source
Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells
FEBS Open Bio, EarlyView.To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai +8 more
wiley +1 more source