We investigate the computational content of the axiom of determinacy (AD) in the setting of classical arithmetic in all finite types with the principle of dependent choices (DC). By employing the notion of realizability interpretation for arithmetic given by Berardi, Bezem and Coquand (1998), we interpret the negative translation of AD. Consequently, the combination of the negative translation ...

BACKGROUND Congestive heart failure (CHF) downregulates atrial transient outward (I(to)), slow delayed rectifier (I(Ks)), and L-type Ca(2+) (I(Ca,L)) currents and upregulates Na(+)-Ca(2+) exchange current (I(NCX)) (ionic remodeling) and causes atrial fibrosis (structural remodeling). The relative importance of ionic versus structural remodeling in CHF-related atrial fibrillation (AF) is controv...

A lab-scale ensiling study was carried out to investigate the fermentation quality of water hyacinth (WH) supplemented with molasses, rice bran, as an absorbent, and an inoculant in the form of fermented vegetable juice and their combinations. After wilting the water hyacinths for 7 h to a dry matter (DM) content of 240 to 250 g/kg, the following treatments were applied: i) Control (C), WH only...

BACKGROUND Atrial fibrillation (AF) and congestive heart failure (CHF) produce discrete forms of atrial ionic remodeling. The in vivo effects of atrial tachycardia (AT) remodeling are altered by CHF. This study evaluated underlying mechanisms at the level of ionic remodeling. METHODS AND RESULTS We studied 4 groups of dogs: (1) unpaced controls (CTLs); (2) CHF caused by 2-week ventricular tac...

RATIONALE Repolarization alternans (RA) are associated with arrhythmogenesis. Animal studies have revealed potential mechanisms, but human-focused studies are needed. RA generation and frequency dependence may be determined by cell-to-cell variability in protein expression, which is regulated by genetic and external factors. OBJECTIVE To characterize in vivo RA in human and to investigate in ...

Salomonsson, Max, and William J. Arendshorst. Calcium recruitment in renal vasculature: NE effects on blood flow and cytosolic calcium concentration. Am. J. Physiol. 276 (Renal Physiol. 45): F700–F710, 1999.—This study provides new information about the relative importance of Ca21 mobilization and entry in the renal vascular response to adrenoceptor activation. We measured renal blood flow (RBF...

OBJECTIVE Heart failure is associated with reduced function of sarcoplasmic reticulum (SR) Ca2+-ATPase (SERCA2a) but increased function of sarcolemmal Na+/Ca2+ exchanger (NCX), leading to decreased SR Ca2+ content and loss of frequency-potentiation of contractile force. We reported that SERCA2a-overexpression in transgenic rat hearts (TG) results in improved contractility. However, it was not c...

The VCA domain of the neuronal Wiskott-Aldrich syndrome protein (N-WASP) is a potent activator of the Arp2/3 complex, a 240 kDa heteroheptameric actin-nucleating assembly. We used site-directed spin labeling of N-WASP peptides in conjunction with methyl-TROSY spectra of the intact, selectively labeled Arp2/3 complex to identify regions of the VCA that are proximal to the ARPC3 subunit of the as...