Results 51 to 60 of about 171,654 (251)

Formal Verification of STPA with Model Checking

Scientific Journal of Gdynia Maritime University, 2023
As technology advances, hardware-centric systems are rapidly moving towards software-centric ones, and their complexity is rapidly increasing. In particular, systems directly related to safety require thorough verification.
Ryeonggu Kwon, Gihwon Kwon
doaj   +1 more source

Detection of circulating tumor DNA in colorectal cancer patients using a methylation‐specific droplet digital PCR multiplex

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, Louise Raunkilde, Jan Lindebjerg, Mads Malik Aagaard, Christina Therkildsen, Jakob Kleif, Lars Henrik Jensen, Torben Frøstrup Hansen, Rikke Fredslund Andersen   +8 more
wiley   +1 more source

Model Checking CSL for Markov Population Models [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous-time Markov chain.
David Spieler, Ernst Moritz Hahn, Lijun Zhang   +2 more
doaj   +1 more source

Model Checking Usage Policies [PDF]

Mathematical Structures in Computer Science, 2009
We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity. We show that usage automata are expressive enough to model policies of real-world applications.
BARTOLETTI, MASSIMO, DEGANO, PIERPAOLO, FERRARI, GIAN-LUIGI, ZUNINO, ROBERTO   +3 more
openaire   +7 more sources

Monitoring of circulating tumor DNA allows early detection of disease relapse in patients with operable breast cancer

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, Marie Austdal, Oddmund Nordgård, Gunnar Mellgren, Satu Oltedal, Marie L. Austbø, Ylva H. Vignes, Thomas Helland, Kristin Jonsdottir, Tone H. Lende, Emilius A. M. Janssen, Bjørnar Gilje, Kjersti Tjensvoll, PBCB study group, Gunnar Mellgren, Tone Hoel Lende, Anette Heie, Kristin Viste, Anita Røyneberg Alvheim, Emiel AM Janssen, Kristin Jonsdottir, Ann Cathrine Kroksveen, Thomas Helland, Einar Gudlaugsson, Oddmund Nordgård, Satu Oltedal, Kristin Løge Aanestad, Jan Terje Kvaløy, Kirsten Lode, Kari Britt Hagen, Marie Austdal, Ylva H. Vignes, Siri Tungland Sola, Nina Egeland Amundsen, Finn Magnus Eliassen, Emeritus Ernst A Lien   +35 more
wiley   +1 more source

Teaching Model Checking to Undergraduates

Studia Universitatis Babes-Bolyai: Series Informatica, 2010
The way program verification is taught in our faculty is firstly described. One of the verification methods is model checking, shortly presented to the students in one lecture. One laboratory project consists in using the SPIN tool.
Andreea Vescan, Militon Frentiu
doaj  

Learning Markov Decision Processes for Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen   +5 more
doaj   +1 more source

Model Checking Interactor Specifications [PDF]

Automated Software Engineering, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Campos JC, Harrison MD
openaire   +3 more sources

LINC01116, a hypoxia‐lncRNA marker of pathological lymphangiogenesis and poor prognosis in lung adenocarcinoma

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, Rafael Lopes Goncalves, Marin Truchi, Caroline Lacoux, Célia Scribe, Hugo Cadis, Laetitia Guardini, Sophie Bekisz, Marius Ilié, Paul Hofman, Georges Vassaux, Bernard Mari, Roger Rezzonico   +12 more
wiley   +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, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source