FRINK Linked Data Fragments server

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

• W2134272947 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's 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.
• W2134272947 created "2016-06-24" @default.
• W2134272947 creator A5046318185 @default.
• W2134272947 creator A5047011809 @default.
• W2134272947 creator A5058973098 @default.
• W2134272947 creator A5069263468 @default.
• W2134272947 creator A5080555605 @default.
• W2134272947 creator A5091695783 @default.
• W2134272947 date "2015-01-01" @default.
• W2134272947 modified "2023-10-18" @default.
• W2134272947 title "Model Checking Gene Regulatory Networks" @default.
• W2134272947 cites W1485333286 @default.
• W2134272947 cites W1569248486 @default.
• W2134272947 cites W1583869287 @default.
• W2134272947 cites W1645305843 @default.
• W2134272947 cites W1966021826 @default.
• W2134272947 cites W1982849299 @default.
• W2134272947 cites W1986397618 @default.
• W2134272947 cites W2073103611 @default.
• W2134272947 cites W2083034544 @default.
• W2134272947 cites W2092008396 @default.
• W2134272947 cites W2111857816 @default.
• W2134272947 cites W2120158030 @default.
• W2134272947 cites W2121061285 @default.
• W2134272947 cites W2130414563 @default.
• W2134272947 cites W2134759932 @default.
• W2134272947 cites W2167155713 @default.
• W2134272947 cites W2168569373 @default.
• W2134272947 cites W3122143681 @default.
• W2134272947 doi "https://doi.org/10.1007/978-3-662-46681-0_47" @default.
• W2134272947 hasPublicationYear "2015" @default.
• W2134272947 type Work @default.
• W2134272947 sameAs 2134272947 @default.
• W2134272947 citedByCount "13" @default.
• W2134272947 countsByYear W21342729472016 @default.
• W2134272947 countsByYear W21342729472017 @default.
• W2134272947 countsByYear W21342729472019 @default.
• W2134272947 countsByYear W21342729472020 @default.
• W2134272947 crossrefType "book-chapter" @default.
• W2134272947 hasAuthorship W2134272947A5046318185 @default.
• W2134272947 hasAuthorship W2134272947A5047011809 @default.
• W2134272947 hasAuthorship W2134272947A5058973098 @default.
• W2134272947 hasAuthorship W2134272947A5069263468 @default.
• W2134272947 hasAuthorship W2134272947A5080555605 @default.
• W2134272947 hasAuthorship W2134272947A5091695783 @default.
• W2134272947 hasBestOaLocation W21342729471 @default.
• W2134272947 hasConcept C104317684 @default.
• W2134272947 hasConcept C110251889 @default.
• W2134272947 hasConcept C111472728 @default.
• W2134272947 hasConcept C11413529 @default.
• W2134272947 hasConcept C126255220 @default.
• W2134272947 hasConcept C134306372 @default.
• W2134272947 hasConcept C138885662 @default.
• W2134272947 hasConcept C150194340 @default.
• W2134272947 hasConcept C176147130 @default.
• W2134272947 hasConcept C177264268 @default.
• W2134272947 hasConcept C185592680 @default.
• W2134272947 hasConcept C189950617 @default.
• W2134272947 hasConcept C199360897 @default.
• W2134272947 hasConcept C33923547 @default.
• W2134272947 hasConcept C34388435 @default.
• W2134272947 hasConcept C41008148 @default.
• W2134272947 hasConcept C48044578 @default.
• W2134272947 hasConcept C55493867 @default.
• W2134272947 hasConcept C63479239 @default.
• W2134272947 hasConcept C67339327 @default.
• W2134272947 hasConcept C77088390 @default.
• W2134272947 hasConcept C78458016 @default.
• W2134272947 hasConcept C80444323 @default.
• W2134272947 hasConcept C86803240 @default.
• W2134272947 hasConceptScore W2134272947C104317684 @default.
• W2134272947 hasConceptScore W2134272947C110251889 @default.
• W2134272947 hasConceptScore W2134272947C111472728 @default.
• W2134272947 hasConceptScore W2134272947C11413529 @default.
• W2134272947 hasConceptScore W2134272947C126255220 @default.
• W2134272947 hasConceptScore W2134272947C134306372 @default.
• W2134272947 hasConceptScore W2134272947C138885662 @default.
• W2134272947 hasConceptScore W2134272947C150194340 @default.
• W2134272947 hasConceptScore W2134272947C176147130 @default.
• W2134272947 hasConceptScore W2134272947C177264268 @default.
• W2134272947 hasConceptScore W2134272947C185592680 @default.
• W2134272947 hasConceptScore W2134272947C189950617 @default.
• W2134272947 hasConceptScore W2134272947C199360897 @default.
• W2134272947 hasConceptScore W2134272947C33923547 @default.
• W2134272947 hasConceptScore W2134272947C34388435 @default.
• W2134272947 hasConceptScore W2134272947C41008148 @default.
• W2134272947 hasConceptScore W2134272947C48044578 @default.
• W2134272947 hasConceptScore W2134272947C55493867 @default.
• W2134272947 hasConceptScore W2134272947C63479239 @default.
• W2134272947 hasConceptScore W2134272947C67339327 @default.
• W2134272947 hasConceptScore W2134272947C77088390 @default.
• W2134272947 hasConceptScore W2134272947C78458016 @default.
• W2134272947 hasConceptScore W2134272947C80444323 @default.
• W2134272947 hasConceptScore W2134272947C86803240 @default.
• W2134272947 hasLocation W21342729471 @default.
• W2134272947 hasLocation W21342729472 @default.
• W2134272947 hasLocation W21342729473 @default.
• W2134272947 hasOpenAccess W2134272947 @default.
• W2134272947 hasPrimaryLocation W21342729471 @default.
• W2134272947 hasRelatedWork W1480909796 @default.

• next