Results 81 to 90 of about 23,407,383 (367)
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 +2 more
doaj +1 more source
Molecular Oncology, EarlyView.A comprehensive genomic and proteomic analysis of cervical cancer revealed STK11 and STX3 as a potential biomarkers of chemoradiation resistance. Our study demonstrated EGFR as a therapeutic target, paving the way for precision strategies to overcome treatment failure and the DNA repair pathway as a critical mechanism of resistance.
Janani Sambath +13 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
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Kacprzak, M. +5 more
core
Truly On-The-Fly LTL Model Checking [PDF]
, 2005 We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B\"{u}chi automaton for the negation of the formula and the emptiness check.
Hammer, Moritz +2 more
core +6 more sources
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
YAP1::TFE3 mediates endothelial‐to‐mesenchymal plasticity in epithelioid hemangioendothelioma
Molecular Oncology, EarlyView.The YAP1::TFE3 fusion protein drives endothelial‐to‐mesenchymal transition (EndMT) plasticity, resulting in the loss of endothelial characteristics and gain of mesenchymal‐like properties, including resistance to anoikis, increased migratory capacity, and loss of contact growth inhibition in endothelial cells.
Ant Murphy +9 more
wiley +1 more source
Model Checking Dynamic-Epistemic Spatial Logic [PDF]
, 2006 In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core
Modeling hepatic fibrosis in TP53 knockout iPSC‐derived human liver organoids
Molecular Oncology, EarlyView.This study developed iPSC‐derived human liver organoids with TP53 gene knockout to model human liver fibrosis. These organoids showed elevated myofibroblast activation, early disease markers, and advanced fibrotic hallmarks. The use of profibrotic differentiation medium further amplified the fibrotic signature seen in the organoids.
Mustafa Karabicici +8 more
wiley +1 more source
Hardware Model Checking Algorithms and Techniques
AlgorithmsDigital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers.
Gianpiero Cabodi +3 more
doaj +1 more source