Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953207132> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2953207132 abstract "We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulation identifies a partition where each equivalence class represents the exact sum of the concentrations of the species belonging to that class. Backward CRN bisimulation relates species that have the identical solutions at all time points when starting from the same initial conditions. Both notions can be checked using only CRN syntactical information, i.e., by inspection of the set of reactions. We provide a unified algorithm that computes the coarsest refinement up to our bisimulations in polynomial time. Further, we give algorithms to compute quotient CRNs induced by a bisimulation. As an application, we find significant reductions in a number of models of biological processes from the literature. In two cases we allow the analysis of benchmark models which would be otherwise intractable due to their memory requirements." @default.
- W2953207132 created "2019-06-27" @default.
- W2953207132 creator A5013220584 @default.
- W2953207132 creator A5023123658 @default.
- W2953207132 creator A5037431084 @default.
- W2953207132 creator A5090729724 @default.
- W2953207132 date "2015-07-01" @default.
- W2953207132 modified "2023-10-16" @default.
- W2953207132 title "Forward and Backward Bisimulations for Chemical Reaction Networks" @default.
- W2953207132 cites W1963619740 @default.
- W2953207132 cites W1976268573 @default.
- W2953207132 cites W2046451925 @default.
- W2953207132 cites W2050872582 @default.
- W2953207132 cites W2130414563 @default.
- W2953207132 hasPublicationYear "2015" @default.
- W2953207132 type Work @default.
- W2953207132 sameAs 2953207132 @default.
- W2953207132 citedByCount "3" @default.
- W2953207132 countsByYear W29532071322017 @default.
- W2953207132 countsByYear W29532071322021 @default.
- W2953207132 crossrefType "posted-content" @default.
- W2953207132 hasAuthorship W2953207132A5013220584 @default.
- W2953207132 hasAuthorship W2953207132A5023123658 @default.
- W2953207132 hasAuthorship W2953207132A5037431084 @default.
- W2953207132 hasAuthorship W2953207132A5090729724 @default.
- W2953207132 hasConcept C11413529 @default.
- W2953207132 hasConcept C114614502 @default.
- W2953207132 hasConcept C118615104 @default.
- W2953207132 hasConcept C13280743 @default.
- W2953207132 hasConcept C135315306 @default.
- W2953207132 hasConcept C154945302 @default.
- W2953207132 hasConcept C177264268 @default.
- W2953207132 hasConcept C185798385 @default.
- W2953207132 hasConcept C199360897 @default.
- W2953207132 hasConcept C199422724 @default.
- W2953207132 hasConcept C205649164 @default.
- W2953207132 hasConcept C2777044963 @default.
- W2953207132 hasConcept C2777212361 @default.
- W2953207132 hasConcept C2780069185 @default.
- W2953207132 hasConcept C311688 @default.
- W2953207132 hasConcept C33923547 @default.
- W2953207132 hasConcept C41008148 @default.
- W2953207132 hasConcept C42812 @default.
- W2953207132 hasConcept C80444323 @default.
- W2953207132 hasConceptScore W2953207132C11413529 @default.
- W2953207132 hasConceptScore W2953207132C114614502 @default.
- W2953207132 hasConceptScore W2953207132C118615104 @default.
- W2953207132 hasConceptScore W2953207132C13280743 @default.
- W2953207132 hasConceptScore W2953207132C135315306 @default.
- W2953207132 hasConceptScore W2953207132C154945302 @default.
- W2953207132 hasConceptScore W2953207132C177264268 @default.
- W2953207132 hasConceptScore W2953207132C185798385 @default.
- W2953207132 hasConceptScore W2953207132C199360897 @default.
- W2953207132 hasConceptScore W2953207132C199422724 @default.
- W2953207132 hasConceptScore W2953207132C205649164 @default.
- W2953207132 hasConceptScore W2953207132C2777044963 @default.
- W2953207132 hasConceptScore W2953207132C2777212361 @default.
- W2953207132 hasConceptScore W2953207132C2780069185 @default.
- W2953207132 hasConceptScore W2953207132C311688 @default.
- W2953207132 hasConceptScore W2953207132C33923547 @default.
- W2953207132 hasConceptScore W2953207132C41008148 @default.
- W2953207132 hasConceptScore W2953207132C42812 @default.
- W2953207132 hasConceptScore W2953207132C80444323 @default.
- W2953207132 hasLocation W29532071321 @default.
- W2953207132 hasOpenAccess W2953207132 @default.
- W2953207132 hasPrimaryLocation W29532071321 @default.
- W2953207132 hasRelatedWork W1505118248 @default.
- W2953207132 hasRelatedWork W1514174256 @default.
- W2953207132 hasRelatedWork W1976891319 @default.
- W2953207132 hasRelatedWork W1989459082 @default.
- W2953207132 hasRelatedWork W2082825062 @default.
- W2953207132 hasRelatedWork W2101036453 @default.
- W2953207132 hasRelatedWork W2126519460 @default.
- W2953207132 hasRelatedWork W2131439244 @default.
- W2953207132 hasRelatedWork W2136356641 @default.
- W2953207132 hasRelatedWork W2144159228 @default.
- W2953207132 hasRelatedWork W2156750819 @default.
- W2953207132 hasRelatedWork W2246540852 @default.
- W2953207132 hasRelatedWork W2294656289 @default.
- W2953207132 hasRelatedWork W2405468764 @default.
- W2953207132 hasRelatedWork W2460118833 @default.
- W2953207132 hasRelatedWork W2604162294 @default.
- W2953207132 hasRelatedWork W2888590666 @default.
- W2953207132 hasRelatedWork W2951524118 @default.
- W2953207132 hasRelatedWork W3138691203 @default.
- W2953207132 hasRelatedWork W3157611005 @default.
- W2953207132 isParatext "false" @default.
- W2953207132 isRetracted "false" @default.
- W2953207132 magId "2953207132" @default.
- W2953207132 workType "article" @default.