Results 91 to 100 of about 333,009 (323)
Trajectory Codes for Flash Memory [PDF]
, 2010 Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the stored data changes its value with certain patterns.
Anxiao Jiang +5 more
core +5 more sources
Molecular Oncology, EarlyView.The 5th edition of the European Code Against Cancer (ECAC5) contains 14 recommendations on cancer prevention. Here, we update the cancer prevention recommendations regarding the use of hormone replacement therapy (HRT), which is positioned as recommendation number 13 of the ECAC5.
Mangesh A. Thorat +18 more
wiley +1 more source
Controlled Fuzzy Parallel Rewriting [PDF]
, 1996 We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzzy analogue of the derivation-controlled iteration grammar.
Asveld, Peter R.J.
core +4 more sources
Transforming cycle rewriting into string rewriting
, 2015 RTA 2015 : 26th International Conference on Rewriting Techniques and Applications, June 29-July 1, 2015, Warsaw ...
Sabel, David, Zantema, Hans
openaire +4 more sources
Molecular Oncology, EarlyView.We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto +8 more
wiley +1 more source
Effective therapeutic targeting of CTNNB1‐mutant hepatoblastoma with WNTinib
Molecular Oncology, EarlyView.WNTinib, a Wnt/CTNNB1 inhibitor, was tested in hepatoblastoma (HB) experimental models. It delayed tumor growth and improved survival in CTNNB1‐mutant in vivo models. In organoids, WNTinib outperformed cisplatin and showed enhanced efficacy in combination therapy, supporting its potential as a targeted treatment for CTNNB1‐mutated HB.
Ugne Balaseviciute +17 more
wiley +1 more source
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters [PDF]
, 2005 A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C.
Hills, Mark +2 more
core
Architectural specification, exploration and simulation through rewriting-logic
Revista Colombiana de Computación, 2002 In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description
Mauricio Ayala Rincón +4 more
doaj
Molecular Oncology, EarlyView.The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola +12 more
wiley +1 more source
Rewriting Modulo SMT and Open System Analysis [PDF]
, 2018 Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e ...
Rocha, Camilo
core