Results 101 to 110 of about 23,407,383 (367)
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
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models [PDF]
, 2014 We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a counter can be compared to constants using equality, inequality and modulo ...
Vester, Steen
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
Checking Interval Properties of Computations
, 2015 Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the ...
Molinari, A. +4 more
core +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
Classification and checking model of pedestrian crossing
Journal of Accessibility and Design for All, 2012 The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez +3 more
doaj +1 more source
Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma
Molecular Oncology, EarlyView.Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken +7 more
wiley +1 more source