Learn More
Computer simulations were used to study the role of resistive couplings on flat-wave action potential propagation through a thin sheet of ventricular tissue. Unlike simulations using continuous or periodic structures, this unique electrical model includes random size cells with random spaced longitudinal and lateral connections to simulate the physiologic(More)
Theoretical simulations have suggested that interstitial potential (Vis) during action potential propagation affects measurements of the transmembrane action potential in bathed ventricular muscle. To evaluate the Vis experimentally, we obtained Vis and intracellular action potential (Vic) recordings at various depths in paced guinea pig papillary muscles(More)
English Bulldogs are the most common breed to have pulmonic stenosis. Previous studies showed that this congenital heart abnormality in Bulldogs frequently is caused by a circumpulmonary left coronary artery originating from a single right coronary artery. Fetal anasarca also occurs often in Bulldogs and might represent congestive heart failure, but the(More)
It is shown how the LISP iterative primitives PROG, SETQ, GO, and RETURN may be introduced into the Boyer-Moore method for automatically verifying Pure LISP programs. This is done by extending some of the previously described heuristics for dealing with recursive functions. The resulting verification procedure uses structural induction to handle both(More)
  • 1