In [1] Akama, Berardi, Hayashi and Kohlenbach used a monotone modified realizability interpretation to establish the relative independence of Σ n+1-DNE from Π 0 n+1-LEM over HA, and hence the independence of Σ n+1-LEM from Π 0 n+1-LEM over HA, for all n ≥ 0. We show that the same relative independence results hold for these arithmetical principles over Kleene and Vesley’s system FIM of intuitio...

Based on the recently developed Finite Integration Method (FIM) for solving one-dimensional ordinary and partial differential equations, this paper extends the technique to higher dimensional partial differential equations. The main idea is to extend the first order finite integration matrices constructed by using either Ordinary Linear Approach (OLA) (uniform distribution of nodes) or Radial B...

OBJECTIVE To study the functional outcomes of patients with left ventricular assist devices (LVAD) who were receiving inpatient rehabilitation. DESIGN This is a retrospective cohort study of adults with an implanted LVAD admitted to an acute inpatient rehabilitation unit (IRU) over a 14-month period from March 2010 through May 2011. SETTING A tertiary care hospital. PATIENTS This study in...

OBJECTIVES Superficial femoral artery (SFA) involvement in Takayasu arteritis (TAK) has rarely been reported. The purpose of this study was to investigate the clinical characteristic and clinical outcomes of endovascular therapy in such patients. METHODS We analysed the data collected from 105 consecutive patients with TAK, who were diagnosed from January 2011 to December 2013. All patients u...

We tested the hypothesis that endothelium-dependent dilation in soleus muscle feed arteries (SFA) is impaired by aging due to attenuated nitric oxide (NO)-mediated vasodilation. SFA were isolated from young (4 mo) and old (24 mo) male Fischer 344 rats and cannulated with two glass micropipettes for examination of endothelium-dependent [flow or acetylcholine (ACh)] and endothelium-independent [s...

We consider the use of an arbitrary planar array for direction-ofarrival (DOA) estimation, with the commonly used Cramér-Rao Bound (CRB) as a performance measure. By taking advantage of the cosine structure of the array Fisher information matrix (FIM), the FIM is reformulated to be completely represented by three parameters which depend on the array geometry, leading to a new FIM expression tha...

The Functional Independence Measure (FIM) is one of the most widely used disability and dependence assessment instruments in rehabilitation medicine. As for other similar scales, the expression of results as a unique score raises an important question. Is it legitimate to consider the object being measured (functional independence) as a unidimensional entity? The answer is of major practical im...

Flow-induced dilation is thought to contribute to dilation of skeletal muscle arteries and arterioles during exercise hyperemia. We sought to determine whether rat soleus feed arteries (SFA) exhibit flow-induced dilation and to evaluate the potential contribution of flow-induced dilation of SFA to exercise hyperemia. Rat SFA were isolated and cannulated to allow pressure and intraluminal flow t...

BACKGROUND Endothelial dysfunction is a key factor in the development of atherosclerosis. Commonly, endothelial function is determined in the brachial artery, whereas patients with peripheral artery disease (PAD) present with lower limb atherosclerosis. We hypothesized that in PAD, a segmental or local association exists between endothelial dysfunction and atherosclerotic structural changes. ...