Results 61 to 70 of about 1,133,638 (315)
Counterexample-Preserving Reduction for Symbolic Model Checking
Journal of Applied Mathematics, 2014 The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In such reduction,
Wanwei Liu +5 more
doaj +1 more source
Inhibitor of DNA binding‐1 is a key regulator of cancer cell vasculogenic mimicry
Molecular Oncology, EarlyView.Elevated expression of transcriptional regulator inhibitor of DNA binding 1 (ID1) promoted cancer cell‐mediated vasculogenic mimicry (VM) through regulation of pro‐angiogenic and pro‐cancerous genes (e.g. VE‐cadherin (CDH5), TIE2, MMP9, DKK1). Higher ID1 expression also increased metastases to the lung and the liver.
Emma J. Thompson +11 more
wiley +1 more source
Model Checking Based Approach for Compliance Checking
Information Technology And Control, 2019 Process mining is the set of techniques to retrieve a process model starting from available logging data. The discovered process model has to be analyzed to verify it respects the defined properties, i.e., the so-called compliance checking. Our aim is to use a model checking based approach to verify compliance. First, we propose an
Martinelli F. +5 more
openaire +6 more sources
Consistency checking of UML business model
Technological and Economic Development of Economy, 2011 Unified modelling language (UML) is often used in practice for modelling business system (BS) by various aspects. UML model of business system consists of different aspect models and their usage for information system (IS) design is related with ...
Olegas Vasilecas +2 more
doaj +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 +2 more
doaj +1 more source
Molecular Oncology, EarlyView.The pan‐HDAC inhibitor belinostat increases the expression of the pro‐apoptotic proteins Bim, Puma, and Noxa and induces apoptosis in ovarian cancer cell lines and patient‐derived tumor organoids when used at high concentrations. Moreover, inhibiting the anti‐apoptotic proteins Bcl‐xL or Mcl‐1 sensitizes these preclinical models to the cytotoxic effect
Cécilia Thomine +10 more
wiley +1 more source
Abstraction in directed model checking [PDF]
, 2004 ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Edelkamp, Stefan +1 more
core
Enriched MU-Calculi Module Checking [PDF]
, 2008 The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) systems, with respect to Ctl and Ctl*. In this paper, we further investigate
Aniello Murano +3 more
core +2 more sources
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 +5 more
doaj +1 more source
Molecular Oncology, EarlyView.Non‐thermal plasma treatment of melanoma cells induced epithelial‐mesenchymal transition (EMT) in a dose‐dependent fashion. This report highlights the critical need to further investigate potential adverse effects of non‐thermal plasma for cancer therapy and to optimize treatment parameters for clinical translation. Despite the promising results of non‐
Eline Biscop +10 more
wiley +1 more source