Results 91 to 100 of about 1,197,029 (323)
Molecular Oncology, EarlyView.Generation of two normal and tumour (cancerous) paired human cell lines using an established tissue culture technique and their characterisation is described. Cell lines were characterised at cellular, protein, chromosome and gene expression levels and for HPV status.
Simon Broad +12 more
wiley +1 more source
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
Optimization Procedures in Affine Model Checking
Моделирование и анализ информационных систем, 2011 Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic ...
N. O. Garanina
doaj
Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks [PDF]
Mehran University Research Journal of Engineering and Technology, 2012 In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system\'s properties based on the system\'s finite state model. For varying applications
Mohsin Memon +2 more
doaj
Conformant Planning via Symbolic Model Checking
, 2011 We tackle the problem of planning in nondeterministic domains, by presenting a new approach to conformant planning. Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal despite the nondeterminism of ...
Cimatti, A., Roveri, M.
core +1 more source
Molecular Oncology, EarlyView.Monitoring circulating tumor DNA (ctDNA) in patients with operable breast cancer can reveal disease relapse earlier than radiology in a subset of patients. The failure to detect ctDNA in some patients with recurrent disease suggests that ctDNA could serve as a supplement to other monitoring approaches.
Kristin Løge Aanestad +35 more
wiley +1 more source
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
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +1 more source
Molecular Oncology, EarlyView.The cancer problem is increasing globally with projections up to the year 2050 showing unfavourable outcomes in terms of incidence and cancer‐related deaths. The main challenges are prevention, improved therapeutics resulting in increased cure rates and enhanced health‐related quality of life.
Ulrik Ringborg +43 more
wiley +1 more source
Regular Model Checking Upside-Down: An Invariant-Based Approach [PDF]
Logical Methods in Computer ScienceRegular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet.
Javier Esparza +2 more
doaj +1 more source