Results 61 to 70 of about 31,656 (296)

Rewriting Interpolants

Electronic Notes in Theoretical Computer Science, 2008
AbstractWe give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting techniques, and does not require the use of combination methods. The interpolant is constructed in such a way that it reflects the structure of the rewrite proof.
Christopher S. Lynch, Yuefeng Tang
openaire   +2 more sources

Multidimensional OMICs reveal ARID1A orchestrated control of DNA damage, splicing, and cell cycle in normal‐like and malignant urothelial cells

Molecular Oncology, EarlyView.
Loss of the frequently mutated chromatin remodeler ARID1A, a subunit of the SWI/SNF cBAF complex, results in less open chromatin, alternative splicing, and the failure to stop cells from progressing through the cell cycle after DNA damage in bladder (cancer) cells. Created in BioRender. Epigenetic regulators, such as the SWI/SNF complex, with important
Rebecca M. Schlösser, Florian Krumbach, Eyleen Corrales, Geoffroy Andrieux, Christian Preisinger, Franziska Liss, Alexandra Golzmann, Melanie Boerries, Kerstin Becker, Ruth Knüchel, Stefan Garczyk, Bernhard Lüscher   +11 more
wiley   +1 more source

Lazy Rewriting and Context-Sensitive Rewriting

Electronic Notes in Theoretical Computer Science, 2002
AbstractLazy rewriting (LR) is intended to improve the termination behavior of TRSs. This is attempted by restricting reductions for selected arguments of functions. Similarly, context-sensitive rewriting (CSR) forbids any reduction on those arguments. We show that LR and CSR coincide under certain conditions.
openaire   +2 more sources

Tonic signaling of the B‐cell antigen‐specific receptor is a common functional hallmark in chronic lymphocytic leukemia cell phosphoproteomes at early disease stages

Molecular Oncology, EarlyView.
B‐cell chronic lymphocytic leukemia (B‐CLL) and monoclonal B‐cell lymphocytosis (MBL) show altered proteomes and phosphoproteomes, analyzed using mass spectrometry, protein microarrays, and western blotting. Identifying 2970 proteins and 316 phosphoproteins, including 55 novel phosphopeptides, we reveal BCR and NF‐kβ/STAT3 signaling in disease ...
Paula Díez, Pablo Juanes‐Velasco, Marina L. García‐Vaquero, Conrad Droste, Alicia Landeira‐Viñuela, Miguel Alcoceba, Helena Fidalgo‐Gómez, Sara Misiego‐Herrero, Almudena Navarro‐Bailón, Mónica Baile, José M. Bastida, Jose Manuel Sanchez‐Santos, Rafael Góngora, Julia Almeida, Marcos Gonzalez‐Diaz, Alberto Orfao, Javier De Las Rivas, Manuel Fuentes   +17 more
wiley   +1 more source

Die spore van Raka: oor herskrywing en kanonisering (Deel 1)

Tydskrif vir Letterkunde, 2017
Every literary system possesses a canon with the classical canon as the most stable and simultaneously the one with the most restrictive access. Writers and texts can only maintain their position within the canon through continuous rewriting: critical ...
H. P. Van Coller, A. Van Jaarsveld
doaj  

Dose‐dependent induction of epithelial‐mesenchymal transition in 3D melanoma models by non‐thermal plasma treatment

Molecular Oncology, EarlyView.
Non‐thermal plasma treatment of melanoma cells induced epithelial‐mesenchymal transition (EMT) in a dose‐dependent fashion. This report highlights the critical need to further investigate potential adverse effects of non‐thermal plasma for cancer therapy and to optimize treatment parameters for clinical translation. Despite the promising results of non‐
Eline Biscop, Edgar Cardenas De La Hoz, Hanne Verswyvel, Joey De Backer, Ho Wa Lau, Angela Privat‐Maldonado, Wim Vanden Berghe, Steve Vanlanduit, Evelien Smits, Annemie Bogaerts, Abraham Lin   +10 more
wiley   +1 more source

Rewriting Strategies and Strategic Rewrite Programs [PDF]

, 2015
This survey aims at providing unified definitions of strategies, strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified.
openaire   +3 more sources

The critical role of DNA damage‐inducible transcript 4 (DDIT4) in stemness character of leukemia cells and leukemia initiation

Molecular Oncology, EarlyView.
Stemness properties, including quiescence, self‐renewal, and chemoresistance, are closely associated with leukemia relapse. Here, we demonstrate that DNA damage‐inducible transcript 4 (DDIT4) is induced in the hypoxic bone marrow niche and is essential for maintaining the stemness of AML1‐ETO9a leukemia cells.
Yishuang Li, Zhijie Cao, Haiyan Xing, Zhenya Xue, Wenbing Liu, Jiayuan Chen, Yihan Mei, Runxia Gu, Hui Wei, Shaowei Qiu, Min Wang, Qing Rao, Jianxiang Wang   +12 more
wiley   +1 more source

Olaparib synergy screen reveals Exemestane induces replication stress in triple‐negative breast cancer

Molecular Oncology, EarlyView.
Screening 166 FDA‐approved anticancer drugs identifies the aromatase inhibitor Exemestane as a synergistic partner of PARP inhibitor Olaparib in BRCA‐proficient triple‐negative breast cancer. Exemestane induces ROS‐mediated replication stress, enhancing DNA damage and apoptosis alongside Olaparib.
Nur Aininie Yusoh, Liping Su, Suet Lin Chia, Xiaohe Tian, Haslina Ahmad, Martin R. Gill   +5 more
wiley   +1 more source

On the Possibility and Plurality of Worlds: from The Strange Case of Dr Jekyll and Mr Hyde to Le Crime étrange de Mr Hyde

Sillages Critiques, 2004
When an academic and Stevenson specialist writes a first novel meant as a rewriting of The Strange Case of Dr Jekyll and Mr Hyde, he tries to justify, with a hindsight, how he came to bridge the gap between his research and his post-modern Victorian ...
Jean-Pierre Naugrette
doaj   +1 more source