Matches in SemOpenAlex for { <https://semopenalex.org/work/W2238640389> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2238640389 endingPage "12" @default.
- W2238640389 startingPage "8" @default.
- W2238640389 abstract "The main difficulty when modelling gene networks is the identification of the parameters that govern the dynamics. Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role similar to programs in the classical Hoare logic. We firstly remind the discrete modelling for genetic networks defined by Rene Thomas. Then, we define the Hoare/Dijkstra method extended to gene networks, that extracts the weakest precondition on parameter values." @default.
- W2238640389 created "2016-06-24" @default.
- W2238640389 creator A5008022222 @default.
- W2238640389 creator A5061510685 @default.
- W2238640389 creator A5067996234 @default.
- W2238640389 date "2015-01-01" @default.
- W2238640389 modified "2023-10-03" @default.
- W2238640389 title "A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network" @default.
- W2238640389 cites W2065782501 @default.
- W2238640389 cites W2153624566 @default.
- W2238640389 doi "https://doi.org/10.1007/978-3-319-23401-4_2" @default.
- W2238640389 hasPublicationYear "2015" @default.
- W2238640389 type Work @default.
- W2238640389 sameAs 2238640389 @default.
- W2238640389 citedByCount "0" @default.
- W2238640389 crossrefType "book-chapter" @default.
- W2238640389 hasAuthorship W2238640389A5008022222 @default.
- W2238640389 hasAuthorship W2238640389A5061510685 @default.
- W2238640389 hasAuthorship W2238640389A5067996234 @default.
- W2238640389 hasConcept C104949639 @default.
- W2238640389 hasConcept C199360897 @default.
- W2238640389 hasConcept C41008148 @default.
- W2238640389 hasConcept C55439883 @default.
- W2238640389 hasConcept C80444323 @default.
- W2238640389 hasConceptScore W2238640389C104949639 @default.
- W2238640389 hasConceptScore W2238640389C199360897 @default.
- W2238640389 hasConceptScore W2238640389C41008148 @default.
- W2238640389 hasConceptScore W2238640389C55439883 @default.
- W2238640389 hasConceptScore W2238640389C80444323 @default.
- W2238640389 hasLocation W22386403891 @default.
- W2238640389 hasLocation W22386403892 @default.
- W2238640389 hasOpenAccess W2238640389 @default.
- W2238640389 hasPrimaryLocation W22386403891 @default.
- W2238640389 hasRelatedWork W2104078272 @default.
- W2238640389 hasRelatedWork W2112962394 @default.
- W2238640389 hasRelatedWork W2118300983 @default.
- W2238640389 hasRelatedWork W2166247150 @default.
- W2238640389 hasRelatedWork W2226137800 @default.
- W2238640389 hasRelatedWork W2382501300 @default.
- W2238640389 hasRelatedWork W3137189469 @default.
- W2238640389 hasRelatedWork W3162240892 @default.
- W2238640389 hasRelatedWork W4235530921 @default.
- W2238640389 hasRelatedWork W4243252198 @default.
- W2238640389 isParatext "false" @default.
- W2238640389 isRetracted "false" @default.
- W2238640389 magId "2238640389" @default.
- W2238640389 workType "book-chapter" @default.