Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313193640> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4313193640 endingPage "137" @default.
- W4313193640 startingPage "121" @default.
- W4313193640 abstract "Continuous time Markov chains are a common mathematical model for a range of natural and computer systems. An important part of constructing such models is fitting the model parameters based on some observed data or prior domain knowledge. In this paper we consider the problem of fitting model parameters with respect to a mix of quantitative data and data formulated as temporal logic formulae. Our approach works by defining a set of conditions that capture the dynamics inferred by the quantitative data. This allows for a straightforward way to combine the information from the quantitative and logically specified knowledge into one parameter inference problem via rejection sampling." @default.
- W4313193640 created "2023-01-06" @default.
- W4313193640 creator A5035860397 @default.
- W4313193640 creator A5079505489 @default.
- W4313193640 date "2022-01-01" @default.
- W4313193640 modified "2023-09-23" @default.
- W4313193640 title "Combining Quantitative Data with Logic-Based Specifications for Parameter Inference" @default.
- W4313193640 cites W1498125516 @default.
- W4313193640 cites W1547304883 @default.
- W4313193640 cites W172803389 @default.
- W4313193640 cites W1773627017 @default.
- W4313193640 cites W2092124742 @default.
- W4313193640 cites W2123610695 @default.
- W4313193640 cites W2152246075 @default.
- W4313193640 cites W2155418451 @default.
- W4313193640 cites W2404261600 @default.
- W4313193640 cites W2771927446 @default.
- W4313193640 cites W2889674659 @default.
- W4313193640 cites W2979249584 @default.
- W4313193640 cites W2989713382 @default.
- W4313193640 cites W3006534708 @default.
- W4313193640 cites W3134978222 @default.
- W4313193640 cites W77257248 @default.
- W4313193640 doi "https://doi.org/10.1007/978-3-031-16011-0_9" @default.
- W4313193640 hasPublicationYear "2022" @default.
- W4313193640 type Work @default.
- W4313193640 citedByCount "0" @default.
- W4313193640 crossrefType "book-chapter" @default.
- W4313193640 hasAuthorship W4313193640A5035860397 @default.
- W4313193640 hasAuthorship W4313193640A5079505489 @default.
- W4313193640 hasBestOaLocation W43131936402 @default.
- W4313193640 hasConcept C11413529 @default.
- W4313193640 hasConcept C119857082 @default.
- W4313193640 hasConcept C124101348 @default.
- W4313193640 hasConcept C134306372 @default.
- W4313193640 hasConcept C154945302 @default.
- W4313193640 hasConcept C159985019 @default.
- W4313193640 hasConcept C177264268 @default.
- W4313193640 hasConcept C192562407 @default.
- W4313193640 hasConcept C199360897 @default.
- W4313193640 hasConcept C204323151 @default.
- W4313193640 hasConcept C207685749 @default.
- W4313193640 hasConcept C2776214188 @default.
- W4313193640 hasConcept C33923547 @default.
- W4313193640 hasConcept C36503486 @default.
- W4313193640 hasConcept C3746660 @default.
- W4313193640 hasConcept C41008148 @default.
- W4313193640 hasConcept C80444323 @default.
- W4313193640 hasConcept C98763669 @default.
- W4313193640 hasConceptScore W4313193640C11413529 @default.
- W4313193640 hasConceptScore W4313193640C119857082 @default.
- W4313193640 hasConceptScore W4313193640C124101348 @default.
- W4313193640 hasConceptScore W4313193640C134306372 @default.
- W4313193640 hasConceptScore W4313193640C154945302 @default.
- W4313193640 hasConceptScore W4313193640C159985019 @default.
- W4313193640 hasConceptScore W4313193640C177264268 @default.
- W4313193640 hasConceptScore W4313193640C192562407 @default.
- W4313193640 hasConceptScore W4313193640C199360897 @default.
- W4313193640 hasConceptScore W4313193640C204323151 @default.
- W4313193640 hasConceptScore W4313193640C207685749 @default.
- W4313193640 hasConceptScore W4313193640C2776214188 @default.
- W4313193640 hasConceptScore W4313193640C33923547 @default.
- W4313193640 hasConceptScore W4313193640C36503486 @default.
- W4313193640 hasConceptScore W4313193640C3746660 @default.
- W4313193640 hasConceptScore W4313193640C41008148 @default.
- W4313193640 hasConceptScore W4313193640C80444323 @default.
- W4313193640 hasConceptScore W4313193640C98763669 @default.
- W4313193640 hasLocation W43131936401 @default.
- W4313193640 hasLocation W43131936402 @default.
- W4313193640 hasOpenAccess W4313193640 @default.
- W4313193640 hasPrimaryLocation W43131936401 @default.
- W4313193640 hasRelatedWork W1489441397 @default.
- W4313193640 hasRelatedWork W1658166031 @default.
- W4313193640 hasRelatedWork W1996934113 @default.
- W4313193640 hasRelatedWork W1997480541 @default.
- W4313193640 hasRelatedWork W2409826714 @default.
- W4313193640 hasRelatedWork W2738408724 @default.
- W4313193640 hasRelatedWork W2996025347 @default.
- W4313193640 hasRelatedWork W3163380912 @default.
- W4313193640 hasRelatedWork W4313681550 @default.
- W4313193640 hasRelatedWork W2713301663 @default.
- W4313193640 isParatext "false" @default.
- W4313193640 isRetracted "false" @default.
- W4313193640 workType "book-chapter" @default.