Pages that link to "Item:Q2986971"
From MaRDI portal
The following pages link to Compositionality results for cardiac cell dynamics (Q2986971):
Displaying 5 items.
- Representation of multiple cellular phenotypes within tissue-level simulations of cardiac electrophysiology (Q670609) (← links)
- Complex patterns of subcellular cardiac alternans (Q2317055) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)