FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395749546> ?p ?o ?g. }

• W2395749546 endingPage "189" @default.
• W2395749546 startingPage "165" @default.
• W2395749546 abstract "Probabilistic model checking is an automated method for verifying the correctness and performance of probabilistic models. Property specifications are expressed in probabilistic temporal logic, denoting, for example, the probability of a given event, the probability of its occurrence within a given time interval, or expected number of times it has occurred in a time period. This chapter focuses on the application of probabilistic model checking to biological systems modelled as continuous-time Markov chains, illustrating the usefulness of these techniques through relevant case studies performed with the probabilistic model checker PRISM. We begin with an introduction to discrete-time Markov chains and the corresponding model checking algorithms. Then continuous-time Markov chain models are defined, together with the logic CSL (Continuous Stochastic Logic), and an overview of model checking for CSL is given, which proceeds mainly by reduction to discrete-time Markov chains. The techniques are illustrated with examples of biochemical reaction networks, which are verified against quantitative temporal properties. Next a biological case study analysing the Fibroblast Growth Factor (FGF) molecular signalling pathway is summarised, highlighting how probabilistic model checking can assist in scientific discovery. Finally, we consider DNA computation, and specifically the DSD formalism (DNA Strand Displacement), and show how errors can be detected in DNA gate designs, analogous to model checking for digital circuits." @default.
• W2395749546 created "2016-06-24" @default.
• W2395749546 creator A5012131505 @default.
• W2395749546 creator A5081710233 @default.
• W2395749546 date "2014-01-01" @default.
• W2395749546 modified "2023-09-23" @default.
• W2395749546 title "Probabilistic Model Checking for Biology" @default.
• W2395749546 cites W1498432697 @default.
• W2395749546 cites W1516256348 @default.
• W2395749546 cites W1569730733 @default.
• W2395749546 cites W1621944155 @default.
• W2395749546 cites W1652394668 @default.
• W2395749546 cites W1862398452 @default.
• W2395749546 cites W1983083379 @default.
• W2395749546 cites W2000804241 @default.
• W2395749546 cites W2005615084 @default.
• W2395749546 cites W2005998857 @default.
• W2395749546 cites W2007072455 @default.
• W2395749546 cites W2050630660 @default.
• W2395749546 cites W2059505795 @default.
• W2395749546 cites W2107510282 @default.
• W2395749546 cites W2118039525 @default.
• W2395749546 cites W2118835619 @default.
• W2395749546 cites W2121061285 @default.
• W2395749546 cites W2138153242 @default.
• W2395749546 cites W2141478443 @default.
• W2395749546 cites W2141881497 @default.
• W2395749546 cites W2143955972 @default.
• W2395749546 cites W2155418451 @default.
• W2395749546 cites W2157062252 @default.
• W2395749546 cites W2158313010 @default.
• W2395749546 cites W2162943184 @default.
• W2395749546 cites W2165161585 @default.
• W2395749546 cites W2202738889 @default.
• W2395749546 cites W2962738471 @default.
• W2395749546 cites W3182208082 @default.
• W2395749546 cites W64403321 @default.
• W2395749546 cites W93312097 @default.
• W2395749546 cites W1601373402 @default.
• W2395749546 doi "https://doi.org/10.3233/978-1-61499-385-8-165" @default.
• W2395749546 hasPublicationYear "2014" @default.
• W2395749546 type Work @default.
• W2395749546 sameAs 2395749546 @default.
• W2395749546 citedByCount "6" @default.
• W2395749546 countsByYear W23957495462015 @default.
• W2395749546 countsByYear W23957495462019 @default.
• W2395749546 countsByYear W23957495462020 @default.
• W2395749546 crossrefType "journal-article" @default.
• W2395749546 hasAuthorship W2395749546A5012131505 @default.
• W2395749546 hasAuthorship W2395749546A5081710233 @default.
• W2395749546 hasConcept C110251889 @default.
• W2395749546 hasConcept C11413529 @default.
• W2395749546 hasConcept C119857082 @default.
• W2395749546 hasConcept C154945302 @default.
• W2395749546 hasConcept C163836022 @default.
• W2395749546 hasConcept C24404364 @default.
• W2395749546 hasConcept C25016198 @default.
• W2395749546 hasConcept C41008148 @default.
• W2395749546 hasConcept C49937458 @default.
• W2395749546 hasConcept C52063229 @default.
• W2395749546 hasConcept C55439883 @default.
• W2395749546 hasConcept C80444323 @default.
• W2395749546 hasConcept C98763669 @default.
• W2395749546 hasConceptScore W2395749546C110251889 @default.
• W2395749546 hasConceptScore W2395749546C11413529 @default.
• W2395749546 hasConceptScore W2395749546C119857082 @default.
• W2395749546 hasConceptScore W2395749546C154945302 @default.
• W2395749546 hasConceptScore W2395749546C163836022 @default.
• W2395749546 hasConceptScore W2395749546C24404364 @default.
• W2395749546 hasConceptScore W2395749546C25016198 @default.
• W2395749546 hasConceptScore W2395749546C41008148 @default.
• W2395749546 hasConceptScore W2395749546C49937458 @default.
• W2395749546 hasConceptScore W2395749546C52063229 @default.
• W2395749546 hasConceptScore W2395749546C55439883 @default.
• W2395749546 hasConceptScore W2395749546C80444323 @default.
• W2395749546 hasConceptScore W2395749546C98763669 @default.
• W2395749546 hasLocation W23957495461 @default.
• W2395749546 hasOpenAccess W2395749546 @default.
• W2395749546 hasPrimaryLocation W23957495461 @default.
• W2395749546 hasRelatedWork W1505738311 @default.
• W2395749546 hasRelatedWork W1516256348 @default.
• W2395749546 hasRelatedWork W1518865745 @default.
• W2395749546 hasRelatedWork W1585873980 @default.
• W2395749546 hasRelatedWork W1754956050 @default.
• W2395749546 hasRelatedWork W1862398452 @default.
• W2395749546 hasRelatedWork W1898184382 @default.
• W2395749546 hasRelatedWork W1990476699 @default.
• W2395749546 hasRelatedWork W2000804241 @default.
• W2395749546 hasRelatedWork W2078233736 @default.
• W2395749546 hasRelatedWork W2098395449 @default.
• W2395749546 hasRelatedWork W2118039525 @default.
• W2395749546 hasRelatedWork W2135706240 @default.
• W2395749546 hasRelatedWork W2145002677 @default.
• W2395749546 hasRelatedWork W2171920512 @default.
• W2395749546 hasRelatedWork W2759442141 @default.
• W2395749546 hasRelatedWork W2801048870 @default.
• W2395749546 hasRelatedWork W2803993242 @default.
• W2395749546 hasRelatedWork W2962738471 @default.

• next