We add extensional equalities for the functional and product types to the typed -calculus with not only products and terminal object, but also sums and bounded recursion (a version of recursion that does not allow recursive calls of infinite length). We provide a confluent and strongly normalizing (thus decidable) rewriting system for the calculus, that stays confluent when allowing unbounded r...

background: the aim of this study was to detect prognostic factors in recurrent breast cancer metastasis. materials and methods: th is retrospective cohort study employed data from 996 breast cancer patients of isfahan seyed-o-shohada research center from 1998 to 2010. stratifi ed cox proportional hazards model, marginal approach, was used to evaluate the prognostic value of estrogen receptor, ...

This paper presents a method to allocate the transmission network costs to users based on nodal pricing approach by regulating the nodal prices from the marginal point to the new point. Transmission nodal pricing based on marginal prices is not able to produce enough revenue to recover the total transmission network costs. However, according to the previous studies in this context, this met...

We consider Gabor systems generated by a Gaussian function and prove certain classical results of Paley and Wiener on nonharmonic Fourier series of complex exponentials for the Gabor expansion‎. ‎In particular, we prove a version of Plancherel-Po ́lya theorem for entire functions with finite order of growth and use the Hadamard factorization theorem to study regularity‎, ‎exactness and deficienc...

Introduction: Clinical examination and even anatomical imaging may fail to identify primary site of malignancy in patients presenting with cervical nodal metastasis. 18F-Fluorodeoxyglucose Positron Emission Computed Tomography (18F-FDG PET-CT) is known to overcome the limitations of anatomic imaging. Methods: Sixty-three (63) patient...

conclusions echocardiography and 2d speckle tracking strain imaging shows improvements in left ventricular deformation indices in atrioventricular reentrant tachycardia (avrt) and atrioventricular nodal reentrant tachycardia (avnrt) patients for the mean systolic strain and strain rate at 24 hours and the three-month follow-up. in spite of the normal lvef, even during sinus rhythm, deformation ...

Introduction: The aim of the present study was to determine direct effects of NO modulation on protective electrophysiological properties of atrioventricular node (AV node) in the experimental model of AF in rabbit. Methods: Isolated perfused rabbit AV nodal preparations were used in two groups. In the first group (N=7), LNAME (50μM) was applied. In the second group (N=12), different concent...

in the maximum flow network interdiction problem, an attacker attempts to minimize the maximum flow by interdicting flow on the arcs of network. in this paper, our focus is on the nodal interdiction for network instead of the arc interdiction. two path inequalities for the node-only interdiction problem are represented. it has been proved that the integrality gap of relaxation of the maximum fl...