Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300302617> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4300302617 abstract "The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs -an important problem of interest in evolutionary biology- more efficiently than the classical simulation method. We specify the property in linear temporal logics. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights." @default.
- W4300302617 created "2022-10-03" @default.
- W4300302617 creator A5046318185 @default.
- W4300302617 creator A5047011809 @default.
- W4300302617 creator A5051608688 @default.
- W4300302617 creator A5058973098 @default.
- W4300302617 creator A5080555605 @default.
- W4300302617 creator A5091695783 @default.
- W4300302617 date "2014-10-28" @default.
- W4300302617 modified "2023-10-18" @default.
- W4300302617 title "Model Checking Gene Regulatory Networks" @default.
- W4300302617 doi "https://doi.org/10.48550/arxiv.1410.7704" @default.
- W4300302617 hasPublicationYear "2014" @default.
- W4300302617 type Work @default.
- W4300302617 citedByCount "0" @default.
- W4300302617 crossrefType "posted-content" @default.
- W4300302617 hasAuthorship W4300302617A5046318185 @default.
- W4300302617 hasAuthorship W4300302617A5047011809 @default.
- W4300302617 hasAuthorship W4300302617A5051608688 @default.
- W4300302617 hasAuthorship W4300302617A5058973098 @default.
- W4300302617 hasAuthorship W4300302617A5080555605 @default.
- W4300302617 hasAuthorship W4300302617A5091695783 @default.
- W4300302617 hasBestOaLocation W43003026171 @default.
- W4300302617 hasConcept C104317684 @default.
- W4300302617 hasConcept C105795698 @default.
- W4300302617 hasConcept C110251889 @default.
- W4300302617 hasConcept C111472728 @default.
- W4300302617 hasConcept C11413529 @default.
- W4300302617 hasConcept C126255220 @default.
- W4300302617 hasConcept C134306372 @default.
- W4300302617 hasConcept C138885662 @default.
- W4300302617 hasConcept C150194340 @default.
- W4300302617 hasConcept C176147130 @default.
- W4300302617 hasConcept C177264268 @default.
- W4300302617 hasConcept C189950617 @default.
- W4300302617 hasConcept C199360897 @default.
- W4300302617 hasConcept C33923547 @default.
- W4300302617 hasConcept C34388435 @default.
- W4300302617 hasConcept C41008148 @default.
- W4300302617 hasConcept C48044578 @default.
- W4300302617 hasConcept C54355233 @default.
- W4300302617 hasConcept C63479239 @default.
- W4300302617 hasConcept C67339327 @default.
- W4300302617 hasConcept C73586568 @default.
- W4300302617 hasConcept C77088390 @default.
- W4300302617 hasConcept C80444323 @default.
- W4300302617 hasConcept C86803240 @default.
- W4300302617 hasConceptScore W4300302617C104317684 @default.
- W4300302617 hasConceptScore W4300302617C105795698 @default.
- W4300302617 hasConceptScore W4300302617C110251889 @default.
- W4300302617 hasConceptScore W4300302617C111472728 @default.
- W4300302617 hasConceptScore W4300302617C11413529 @default.
- W4300302617 hasConceptScore W4300302617C126255220 @default.
- W4300302617 hasConceptScore W4300302617C134306372 @default.
- W4300302617 hasConceptScore W4300302617C138885662 @default.
- W4300302617 hasConceptScore W4300302617C150194340 @default.
- W4300302617 hasConceptScore W4300302617C176147130 @default.
- W4300302617 hasConceptScore W4300302617C177264268 @default.
- W4300302617 hasConceptScore W4300302617C189950617 @default.
- W4300302617 hasConceptScore W4300302617C199360897 @default.
- W4300302617 hasConceptScore W4300302617C33923547 @default.
- W4300302617 hasConceptScore W4300302617C34388435 @default.
- W4300302617 hasConceptScore W4300302617C41008148 @default.
- W4300302617 hasConceptScore W4300302617C48044578 @default.
- W4300302617 hasConceptScore W4300302617C54355233 @default.
- W4300302617 hasConceptScore W4300302617C63479239 @default.
- W4300302617 hasConceptScore W4300302617C67339327 @default.
- W4300302617 hasConceptScore W4300302617C73586568 @default.
- W4300302617 hasConceptScore W4300302617C77088390 @default.
- W4300302617 hasConceptScore W4300302617C80444323 @default.
- W4300302617 hasConceptScore W4300302617C86803240 @default.
- W4300302617 hasLocation W43003026171 @default.
- W4300302617 hasLocation W43003026172 @default.
- W4300302617 hasLocation W43003026173 @default.
- W4300302617 hasOpenAccess W4300302617 @default.
- W4300302617 hasPrimaryLocation W43003026171 @default.
- W4300302617 hasRelatedWork W1973794311 @default.
- W4300302617 hasRelatedWork W1979594391 @default.
- W4300302617 hasRelatedWork W2003938058 @default.
- W4300302617 hasRelatedWork W2076180442 @default.
- W4300302617 hasRelatedWork W2338897273 @default.
- W4300302617 hasRelatedWork W2790994073 @default.
- W4300302617 hasRelatedWork W4295885746 @default.
- W4300302617 hasRelatedWork W4300463216 @default.
- W4300302617 hasRelatedWork W4367312628 @default.
- W4300302617 hasRelatedWork W4384398219 @default.
- W4300302617 isParatext "false" @default.
- W4300302617 isRetracted "false" @default.
- W4300302617 workType "article" @default.