Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288627372> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4288627372 abstract "There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its inability to scale limits its applicability in practice. This chapter addresses the scalability problem by presenting a state-space approximation method to remove unlikely states resulting in a reduced, finite state representation of the infinite-state continuous-time Markov chain that is amenable to probabilistic model checking. The proposed method is evaluated on a design of a genetic toggle switch. Comparisons with another state-of-art tool demonstrates both accuracy and efficiency of the presented method." @default.
- W4288627372 created "2022-07-30" @default.
- W4288627372 creator A5014529986 @default.
- W4288627372 creator A5045839676 @default.
- W4288627372 creator A5047908665 @default.
- W4288627372 creator A5078190119 @default.
- W4288627372 creator A5091218208 @default.
- W4288627372 date "2019-01-21" @default.
- W4288627372 modified "2023-10-14" @default.
- W4288627372 title "Approximation Techniques for Stochastic Analysis of Biological Systems" @default.
- W4288627372 doi "https://doi.org/10.48550/arxiv.1901.07857" @default.
- W4288627372 hasPublicationYear "2019" @default.
- W4288627372 type Work @default.
- W4288627372 citedByCount "0" @default.
- W4288627372 crossrefType "posted-content" @default.
- W4288627372 hasAuthorship W4288627372A5014529986 @default.
- W4288627372 hasAuthorship W4288627372A5045839676 @default.
- W4288627372 hasAuthorship W4288627372A5047908665 @default.
- W4288627372 hasAuthorship W4288627372A5078190119 @default.
- W4288627372 hasAuthorship W4288627372A5091218208 @default.
- W4288627372 hasBestOaLocation W42886273721 @default.
- W4288627372 hasConcept C105795698 @default.
- W4288627372 hasConcept C110251889 @default.
- W4288627372 hasConcept C111919701 @default.
- W4288627372 hasConcept C11413529 @default.
- W4288627372 hasConcept C119857082 @default.
- W4288627372 hasConcept C126255220 @default.
- W4288627372 hasConcept C154945302 @default.
- W4288627372 hasConcept C159886148 @default.
- W4288627372 hasConcept C17744445 @default.
- W4288627372 hasConcept C199539241 @default.
- W4288627372 hasConcept C24404364 @default.
- W4288627372 hasConcept C2776359362 @default.
- W4288627372 hasConcept C33923547 @default.
- W4288627372 hasConcept C41008148 @default.
- W4288627372 hasConcept C48044578 @default.
- W4288627372 hasConcept C48103436 @default.
- W4288627372 hasConcept C49937458 @default.
- W4288627372 hasConcept C52063229 @default.
- W4288627372 hasConcept C72434380 @default.
- W4288627372 hasConcept C77088390 @default.
- W4288627372 hasConcept C80444323 @default.
- W4288627372 hasConcept C94625758 @default.
- W4288627372 hasConcept C98045186 @default.
- W4288627372 hasConcept C98763669 @default.
- W4288627372 hasConceptScore W4288627372C105795698 @default.
- W4288627372 hasConceptScore W4288627372C110251889 @default.
- W4288627372 hasConceptScore W4288627372C111919701 @default.
- W4288627372 hasConceptScore W4288627372C11413529 @default.
- W4288627372 hasConceptScore W4288627372C119857082 @default.
- W4288627372 hasConceptScore W4288627372C126255220 @default.
- W4288627372 hasConceptScore W4288627372C154945302 @default.
- W4288627372 hasConceptScore W4288627372C159886148 @default.
- W4288627372 hasConceptScore W4288627372C17744445 @default.
- W4288627372 hasConceptScore W4288627372C199539241 @default.
- W4288627372 hasConceptScore W4288627372C24404364 @default.
- W4288627372 hasConceptScore W4288627372C2776359362 @default.
- W4288627372 hasConceptScore W4288627372C33923547 @default.
- W4288627372 hasConceptScore W4288627372C41008148 @default.
- W4288627372 hasConceptScore W4288627372C48044578 @default.
- W4288627372 hasConceptScore W4288627372C48103436 @default.
- W4288627372 hasConceptScore W4288627372C49937458 @default.
- W4288627372 hasConceptScore W4288627372C52063229 @default.
- W4288627372 hasConceptScore W4288627372C72434380 @default.
- W4288627372 hasConceptScore W4288627372C77088390 @default.
- W4288627372 hasConceptScore W4288627372C80444323 @default.
- W4288627372 hasConceptScore W4288627372C94625758 @default.
- W4288627372 hasConceptScore W4288627372C98045186 @default.
- W4288627372 hasConceptScore W4288627372C98763669 @default.
- W4288627372 hasLocation W42886273721 @default.
- W4288627372 hasLocation W42886273722 @default.
- W4288627372 hasLocation W42886273723 @default.
- W4288627372 hasOpenAccess W4288627372 @default.
- W4288627372 hasPrimaryLocation W42886273721 @default.
- W4288627372 hasRelatedWork W1497573972 @default.
- W4288627372 hasRelatedWork W1523289856 @default.
- W4288627372 hasRelatedWork W1762969849 @default.
- W4288627372 hasRelatedWork W2087152645 @default.
- W4288627372 hasRelatedWork W2380536301 @default.
- W4288627372 hasRelatedWork W2395749546 @default.
- W4288627372 hasRelatedWork W2403555318 @default.
- W4288627372 hasRelatedWork W2734341768 @default.
- W4288627372 hasRelatedWork W2958569282 @default.
- W4288627372 hasRelatedWork W925418074 @default.
- W4288627372 isParatext "false" @default.
- W4288627372 isRetracted "false" @default.
- W4288627372 workType "article" @default.