Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034691810> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2034691810 abstract "By appealing to the small-gain theorem of one of the authors (Girard), we show that the 13-variable sodium-channel component of the 67-variable IMW cardiac-cell model (Iyer-Mazhari-Winslow) can be replaced by an approximately bi-similar, 2-variable HH-type (Hodgkin-Huxley) abstraction. We show that this substitution of (approximately) equals for equals is safe in the sense that the approximation error between sodium-channel models is not amplified by the feedback-loop context in which it is placed. To prove this feedback-compositionality result, we exhibit quadratic-polynomial, exponentially decaying bisimulation functions between the IMW and HH-type sodium channels, and also for the IMW-based context in which these sodium-channel models are placed. These functions allow us to quantify the overall error introduced by the sodium-channel abstraction and subsequent substitution in the IMW model. To automate computation of the bisimulation functions, we employ the SOSTOOLS optimization toolbox. Our experimental results validate our analytical findings. To the best of our knowledge, this is the first application of δ-bisimilar, feedback-assisting, compositional reasoning in biological systems." @default.
- W2034691810 created "2016-06-24" @default.
- W2034691810 creator A5034362557 @default.
- W2034691810 creator A5039202410 @default.
- W2034691810 creator A5071591703 @default.
- W2034691810 creator A5081751699 @default.
- W2034691810 creator A5089178693 @default.
- W2034691810 date "2014-04-15" @default.
- W2034691810 modified "2023-09-24" @default.
- W2034691810 title "Compositionality results for cardiac cell dynamics" @default.
- W2034691810 cites W1559033975 @default.
- W2034691810 cites W1974668957 @default.
- W2034691810 cites W1985940938 @default.
- W2034691810 cites W1990316940 @default.
- W2034691810 cites W2083227084 @default.
- W2034691810 cites W2085949935 @default.
- W2034691810 cites W2106190666 @default.
- W2034691810 cites W2113256684 @default.
- W2034691810 cites W2135648313 @default.
- W2034691810 cites W2138519564 @default.
- W2034691810 cites W2143176619 @default.
- W2034691810 cites W2158712198 @default.
- W2034691810 doi "https://doi.org/10.1145/2562059.2562138" @default.
- W2034691810 hasPublicationYear "2014" @default.
- W2034691810 type Work @default.
- W2034691810 sameAs 2034691810 @default.
- W2034691810 citedByCount "15" @default.
- W2034691810 countsByYear W20346918102014 @default.
- W2034691810 countsByYear W20346918102015 @default.
- W2034691810 countsByYear W20346918102016 @default.
- W2034691810 countsByYear W20346918102017 @default.
- W2034691810 countsByYear W20346918102020 @default.
- W2034691810 crossrefType "proceedings-article" @default.
- W2034691810 hasAuthorship W2034691810A5034362557 @default.
- W2034691810 hasAuthorship W2034691810A5039202410 @default.
- W2034691810 hasAuthorship W2034691810A5071591703 @default.
- W2034691810 hasAuthorship W2034691810A5081751699 @default.
- W2034691810 hasAuthorship W2034691810A5089178693 @default.
- W2034691810 hasBestOaLocation W20346918104 @default.
- W2034691810 hasConcept C121375916 @default.
- W2034691810 hasConcept C145912823 @default.
- W2034691810 hasConcept C154945302 @default.
- W2034691810 hasConcept C15744967 @default.
- W2034691810 hasConcept C19417346 @default.
- W2034691810 hasConcept C41008148 @default.
- W2034691810 hasConceptScore W2034691810C121375916 @default.
- W2034691810 hasConceptScore W2034691810C145912823 @default.
- W2034691810 hasConceptScore W2034691810C154945302 @default.
- W2034691810 hasConceptScore W2034691810C15744967 @default.
- W2034691810 hasConceptScore W2034691810C19417346 @default.
- W2034691810 hasConceptScore W2034691810C41008148 @default.
- W2034691810 hasFunder F4320337387 @default.
- W2034691810 hasFunder F4320338279 @default.
- W2034691810 hasLocation W20346918101 @default.
- W2034691810 hasLocation W20346918102 @default.
- W2034691810 hasLocation W20346918103 @default.
- W2034691810 hasLocation W20346918104 @default.
- W2034691810 hasOpenAccess W2034691810 @default.
- W2034691810 hasPrimaryLocation W20346918101 @default.
- W2034691810 hasRelatedWork W1526190050 @default.
- W2034691810 hasRelatedWork W2010490241 @default.
- W2034691810 hasRelatedWork W2477397717 @default.
- W2034691810 hasRelatedWork W2748952813 @default.
- W2034691810 hasRelatedWork W2899084033 @default.
- W2034691810 hasRelatedWork W3095531775 @default.
- W2034691810 hasRelatedWork W3192500523 @default.
- W2034691810 hasRelatedWork W4251923961 @default.
- W2034691810 hasRelatedWork W4287025733 @default.
- W2034691810 hasRelatedWork W2500457737 @default.
- W2034691810 isParatext "false" @default.
- W2034691810 isRetracted "false" @default.
- W2034691810 magId "2034691810" @default.
- W2034691810 workType "article" @default.