A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Approximate Bisimulations for Sodium Channel Dynamics
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
The technical basis for this result is the construction of an approximate bisimulation between the HH and IMW channel models, both of which are input-controlled (voltage in this case) continuous-time Markov ...
(3) Exploring the sensitivity of the overall IMW model to the HH-type sodium-channel approximation. ...
Conclusions and Future Work We constructed a two-state Hodgkin-Huxley-type model M H that can replace the 13-state continuous-time MDP model M I for sodium-channel dynamics, in the context of the IMW cardiac-cell ...
doi:10.1007/978-3-642-33636-2_16
fatcat:azmuhgvzqncpxcjqbun3stzc5q
Model-order reduction of ion channel dynamics using approximate bisimulation
2015
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(IMW) 67-variable cardiac myocycte model, it is possible to replace the detailed 13-state probabilistic model of the sodium channel dynamics with a much simpler Hodgkin-Huxley (HH)-like two-state model ...
The basis of our results is the construction of an approximate bisimulation between the HH-type abstraction and the corresponding detailed ion channel model, both of which are input-controlled (voltage ...
Consider the 13-state model for sodium-channel dynamics shown in Fig. 3 . ...
doi:10.1016/j.tcs.2014.03.018
fatcat:yot5xlpl7raszohwr6xthgfxky
Compositionality results for cardiac cell dynamics
2014
Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We show that this substitution of (approximately) equals for equals is safe in the sense that the approximation error between sodium-channel models does not get amplified by the feedback-loop context in ...
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 ...
This substitution of (approximately) equals for equals is "safe" in the sense that, despite the feedback nature of the composition of the sodium-channel component and the rest of the IMW model, the approximation ...
doi:10.1145/2562059.2562138
dblp:conf/hybrid/IslamMGSG14
fatcat:5gefsiizzzgkzazgqfkttr6rxe
Specification, construction, and exact reduction of state transition system models of biochemical processes
2012
Journal of Chemical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The application of the method to biochemical reaction systems is illustrated by models describing a hypothetical ion-channel at several levels of complexity. ...
Here, we describe methods for the high-level specification of a system using hypergraphs, for the automated generation of a state-level model from a high-level model, and for the exact reduction of a state-level ...
Dependency graphs for the rate constants associated with the binding of Na + to a β subunit in the four component Na + sodium channel complex model. ...
doi:10.1063/1.4758074
pmid:23083149
pmcid:PMC3487925
fatcat:7yhkxkr2qndifer62hsa7zease
Models and emerging trends of concurrent constraint programming
2013
Constraints
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We also describe the current efforts to endow CCP with bisimulation reasoning techniques as standardly done in process calculi. Section 7 concludes the paper. ...
In Section 6 we describe the elegant denotational semantics for CCP based on closure operators and the program analysis techniques developed for the language. ...
We thank the anonymous reviewers for their detailed comments that helped us to improve this paper. Special thanks to Jorge A. Perez for his careful remarks and suggestions. ...
doi:10.1007/s10601-013-9145-3
fatcat:7mx6xnyfcjad7musa373vockne
From Biochemistry to Stochastic Processes
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This study also permits to reuse, in nanoκ, the theories and tools already developed for process calculi. ...
Our implementation complies with the stochastic behaviors of systems, thus allowing one to use nanoκ as an intelligible front-end for a process-oriented simulator. ...
Our correctness notion corresponds to the subcase of the strong stochastic bisimulation [3] where the bisimulation relation is a bijection. ...
doi:10.1016/j.entcs.2009.10.011
fatcat:33tq6kcdifaankofvoy25pb6hy
Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111) Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121) Computational Models of Cultural Behavior for Human-Agent Interaction (Dagstuhl Seminar 14131) Interaction and Collective Movement Processing (Dagstuhl Seminar 14132) Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The motivation for this seminar was to showcase recent progress in these different areas with the goal of working towards a common basis of understanding, which should help to facilitate future synergies ...
This yields both an implicit characterization of polynomial time in terms of ordinary differential equations, and a completeness result on the reachability problems for the corresponding class. ...
in which these sodium-channel models are placed. ...
fatcat:k3cugkqpf5btlba2hklfxyujdq