Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514014274> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1514014274 endingPage "63" @default.
- W1514014274 startingPage "48" @default.
- W1514014274 abstract "Temporal logics and model-checking techniques have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction in both qualitative and quantitative models. In this paper, we propose a finite time horizon model-checking algorithm for the existential fragment of LTL with numerical constraints over the reals, with the ability to compute the range of values of the real variables occurring in a formula that makes it true in a model. We illustrate this approach for the analysis of biological data time series, provide a set of biologically relevant patterns of formulas, and evaluate them on models of the cell cycle control and MAPK signal transduction.KeywordsModel CheckTemporal LogicReaction RuleSimulation TraceValidity DomainThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1514014274 created "2016-06-24" @default.
- W1514014274 creator A5000983836 @default.
- W1514014274 creator A5013710352 @default.
- W1514014274 date "2007-08-31" @default.
- W1514014274 modified "2023-10-11" @default.
- W1514014274 title "On the Analysis of Numerical Data Time Series in Temporal Logic" @default.
- W1514014274 cites W1481023906 @default.
- W1514014274 cites W1525246288 @default.
- W1514014274 cites W1532361198 @default.
- W1514014274 cites W1599416730 @default.
- W1514014274 cites W1986649132 @default.
- W1514014274 cites W2001661334 @default.
- W1514014274 cites W2037689113 @default.
- W1514014274 cites W2066322491 @default.
- W1514014274 cites W2106190666 @default.
- W1514014274 cites W2118835619 @default.
- W1514014274 cites W2119510512 @default.
- W1514014274 cites W2121149194 @default.
- W1514014274 cites W2153208554 @default.
- W1514014274 cites W2884866879 @default.
- W1514014274 cites W2913004508 @default.
- W1514014274 cites W4249610466 @default.
- W1514014274 doi "https://doi.org/10.1007/978-3-540-75140-3_4" @default.
- W1514014274 hasPublicationYear "2007" @default.
- W1514014274 type Work @default.
- W1514014274 sameAs 1514014274 @default.
- W1514014274 citedByCount "23" @default.
- W1514014274 countsByYear W15140142742012 @default.
- W1514014274 countsByYear W15140142742013 @default.
- W1514014274 countsByYear W15140142742014 @default.
- W1514014274 countsByYear W15140142742016 @default.
- W1514014274 countsByYear W15140142742018 @default.
- W1514014274 countsByYear W15140142742020 @default.
- W1514014274 crossrefType "book-chapter" @default.
- W1514014274 hasAuthorship W1514014274A5000983836 @default.
- W1514014274 hasAuthorship W1514014274A5013710352 @default.
- W1514014274 hasBestOaLocation W15140142742 @default.
- W1514014274 hasConcept C110251889 @default.
- W1514014274 hasConcept C111919701 @default.
- W1514014274 hasConcept C11413529 @default.
- W1514014274 hasConcept C119857082 @default.
- W1514014274 hasConcept C143724316 @default.
- W1514014274 hasConcept C151406439 @default.
- W1514014274 hasConcept C151730666 @default.
- W1514014274 hasConcept C159985019 @default.
- W1514014274 hasConcept C177264268 @default.
- W1514014274 hasConcept C192562407 @default.
- W1514014274 hasConcept C198008173 @default.
- W1514014274 hasConcept C199360897 @default.
- W1514014274 hasConcept C201797286 @default.
- W1514014274 hasConcept C204323151 @default.
- W1514014274 hasConcept C25016198 @default.
- W1514014274 hasConcept C41008148 @default.
- W1514014274 hasConcept C54355233 @default.
- W1514014274 hasConcept C80444323 @default.
- W1514014274 hasConcept C86803240 @default.
- W1514014274 hasConcept C98045186 @default.
- W1514014274 hasConceptScore W1514014274C110251889 @default.
- W1514014274 hasConceptScore W1514014274C111919701 @default.
- W1514014274 hasConceptScore W1514014274C11413529 @default.
- W1514014274 hasConceptScore W1514014274C119857082 @default.
- W1514014274 hasConceptScore W1514014274C143724316 @default.
- W1514014274 hasConceptScore W1514014274C151406439 @default.
- W1514014274 hasConceptScore W1514014274C151730666 @default.
- W1514014274 hasConceptScore W1514014274C159985019 @default.
- W1514014274 hasConceptScore W1514014274C177264268 @default.
- W1514014274 hasConceptScore W1514014274C192562407 @default.
- W1514014274 hasConceptScore W1514014274C198008173 @default.
- W1514014274 hasConceptScore W1514014274C199360897 @default.
- W1514014274 hasConceptScore W1514014274C201797286 @default.
- W1514014274 hasConceptScore W1514014274C204323151 @default.
- W1514014274 hasConceptScore W1514014274C25016198 @default.
- W1514014274 hasConceptScore W1514014274C41008148 @default.
- W1514014274 hasConceptScore W1514014274C54355233 @default.
- W1514014274 hasConceptScore W1514014274C80444323 @default.
- W1514014274 hasConceptScore W1514014274C86803240 @default.
- W1514014274 hasConceptScore W1514014274C98045186 @default.
- W1514014274 hasLocation W15140142741 @default.
- W1514014274 hasLocation W15140142742 @default.
- W1514014274 hasOpenAccess W1514014274 @default.
- W1514014274 hasPrimaryLocation W15140142741 @default.
- W1514014274 hasRelatedWork W1031601050 @default.
- W1514014274 hasRelatedWork W2040233837 @default.
- W1514014274 hasRelatedWork W2103740034 @default.
- W1514014274 hasRelatedWork W2119610731 @default.
- W1514014274 hasRelatedWork W2356566217 @default.
- W1514014274 hasRelatedWork W2808633434 @default.
- W1514014274 hasRelatedWork W2931443989 @default.
- W1514014274 hasRelatedWork W3005864166 @default.
- W1514014274 hasRelatedWork W4214723139 @default.
- W1514014274 hasRelatedWork W4240265263 @default.
- W1514014274 isParatext "false" @default.
- W1514014274 isRetracted "false" @default.
- W1514014274 magId "1514014274" @default.
- W1514014274 workType "book-chapter" @default.