Results 1 to 10 of about 21,783,342 (212)
Probabilistic model checking of cancer metabolism [PDF]
Scientific Reports, 2022 Cancer cell metabolism is often deregulated as a result of adaption to meeting energy and biosynthesis demands of rapid growth or direct mutation of key metabolic enzymes.
Meir D. Friedenberg +4 more
doaj +2 more sources
Model-checking ecological state-transition graphs. [PDF]
PLoS Computational Biology, 2022 Model-checking is a methodology developed in computer science to automatically assess the dynamics of discrete systems, by checking if a system modelled as a state-transition graph satisfies a dynamical property written as a temporal logic formula.
Colin Thomas +3 more
doaj +2 more sources
Model checking in multiple imputation: an overview and case study. [PDF]
Emerg Themes Epidemiol, 2017 BackgroundMultiple imputation has become very popular as a general-purpose method for handling missing data. The validity of multiple-imputation-based analyses relies on the use of an appropriate model to impute the missing values. Despite the widespread
Nguyen CD, Carlin JB, Lee KJ.
europepmc +2 more sources
Symbolic model checking quantum circuits in Maude [PDF]
PeerJ Computer ScienceThis article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation.
Canh Minh Do, Kazuhiro Ogata
doaj +3 more sources
Twin-width I: tractable FO model checking [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2020 Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices.
Édouard Bonnet +3 more
semanticscholar +1 more source
Causality-based Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program.
Bernd Finkbeiner, Andrey Kupriyanov
doaj +1 more source
On-the-fly Probabilistic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and local approaches in which, given a state s in M, the procedure determines
Diego Latella +2 more
doaj +1 more source
Model-Checking Process Equivalences [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal ...
Martin Lange +2 more
doaj +1 more source
Model Checking Probabilistic Pushdown Automata [PDF]
Logical Methods in Computer Science, 2006 We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that
Javier Esparza +2 more
doaj +1 more source
Model Checking Social Network Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the ...
Raúl Pardo, Gerardo Schneider
doaj +1 more source