170 research outputs found
Entrepreneurship and rural family identity:Understanding portfolio development in a family farm business
Empirical correlation of triggered activity and spatial and temporal re-entrant substrates with arrhythmogenicity in a murine model for Jervell and Lange-Nielsen syndrome
KCNE1 encodes the β-subunit of the slow component of the delayed rectifier K+ current. The Jervell and Lange-Nielsen syndrome is characterized by sensorineural deafness, prolonged QT intervals, and ventricular arrhythmogenicity. Loss-of-function mutations in KCNE1 are implicated in the JLN2 subtype. We recorded left ventricular epicardial and endocardial monophasic action potentials (MAPs) in intact, Langendorff-perfused mouse hearts. KCNE1−/− but not wild-type (WT) hearts showed not only triggered activity and spontaneous ventricular tachycardia (VT), but also VT provoked by programmed electrical stimulation. The presence or absence of VT was related to the following set of criteria for re-entrant excitation for the first time in KCNE1−/− hearts: Quantification of APD90, the MAP duration at 90% repolarization, demonstrated alterations in (1) the difference, ∆APD90, between endocardial and epicardial APD90 and (2) critical intervals for local re-excitation, given by differences between APD90 and ventricular effective refractory period, reflecting spatial re-entrant substrate. Temporal re-entrant substrate was reflected in (3) increased APD90 alternans, through a range of pacing rates, and (4) steeper epicardial and endocardial APD90 restitution curves determined with a dynamic pacing protocol. (5) Nicorandil (20 µM) rescued spontaneous and provoked arrhythmogenic phenomena in KCNE1−/− hearts. WTs remained nonarrhythmogenic. Nicorandil correspondingly restored parameters representing re-entrant criteria in KCNE1−/− hearts toward values found in untreated WTs. It shifted such values in WT hearts in similar directions. Together, these findings directly implicate triggered electrical activity and spatial and temporal re-entrant mechanisms in the arrhythmogenesis observed in KCNE1−/− hearts
Scandinavian society for the study of diabetes Abstracts Seventh Meeting
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46039/1/125_2005_Article_BF01219478.pd
On Relating Theories: Proof-Theoretical Reduction
The notion of proof-theoretical or finitistic reduction of one theory to another has a long tradition. Feferman and Sieg (Buchholz et al., Iterated inductive definitions and subsystems of analysis. Springer, Berlin, 1981, Chap. 1) and Feferman in (J Symbol Logic 53:364–384, 1988) made first steps to delineate it in more formal terms. The first goal of this paper is to corroborate their view that this notion has the greatest explanatory reach and is superior to others, especially in the context of foundational theories, i.e., theories devised for the purpose of formalizing and presenting various chunks of mathematics.
A second goal is to address a certain puzzlement that was expressed in Feferman’s title of his Clermont-Ferrand lectures at the Logic Colloquium 1994: “How is it that finitary proof theory became infinitary?” Hilbert’s aim was to use proof theory as a tool in his finitary consistency program to eliminate the actual infinite in mathematics from proofs of real statements. Beginning in the 1950s, however, proof theory began to employ infinitary methods. Infinitary rules and concepts, such as ordinals, entered the stage.
In general, the more that such infinitary methods were employed, the farther did proof theory depart from its initial aims and methods, and the closer did it come instead to ongoing developments in recursion theory, particularly as generalized to admissible sets; in both one makes use of analogues of regular cardinals, as well as “large” cardinals (inaccessible, Mahlo, etc.). (Feferman 1994).
The current paper aims to explain how these infinitary tools, despite appearances to the contrary, can be formalized in an intuitionistic theory that is finitistically reducible to (actually Π02
-conservative over) intuitionistic first order arithmetic, also known as Heyting arithmetic. Thus we have a beautiful example of Hilbert’s program at work, exemplifying the Hilbertian goal of moving from the ideal to the real by eliminating ideal elements
Obesity and selected co-morbidities in an urban Palestinian population
Epidemiology
HF,Abdul-Rahim:
,Holmboe-Ottesen G:
J,Jervell:
E,Bjertness
- …