Despite the remarkable development of the theory of termination of rewriting, its application to high-level programming languages is far from being optimal. This is due to the need for features such as conditional equations and rules, types and subtypes, (possibly programmable) strategies for controlling the execution, matching modulo axioms, and so on, that are used in many programs and tend t...

The reduction of the tetrazolium salt 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyl tetrazolium bromide (MTT) to a blue formazan product is widely used for assaying cell survival and proliferation. The reduction reaction is catalyzed by dehydrogenases localized in the mitochondria of viable cells. As part of an analysis of the ability of glutathione S-transferase (GST) enzymes to protect cells from...

We present a cost effective strategy for the creation of a mid-size fine-grained dependency treebank of surfaceand deep-syntactic structures as defined in the Meaning-Text Theory for Spanish. The strategy starts from a small seed dependency corpus, the AnCora corpus, whose annotation is considerably more coarse-grained than our target annotation. We show that this discrepancy can be bridged lar...

IEEE is divided into 10 Regions. One of them, Region 9 (R9), comprises Central and South America. The presence the Microwave Theory Technology Society (MTT-S) in R9 modest (less than 1% our membership), which has plenty room to increase. That reason why this year, significant effort been put understanding facilitating an exchange experiences with Chapters so that we can better serve those count...

4G will not facilitate the design of cell phones. Compared to today's 3G, future 4G multistandard, multi-band cellular phones have to cover an increasing number of wireless standards. These standards include GSM, CDMA, WCDMA, 3GPP LTE/4G, WIMAX and even MIMO WIMAX AND MIMO LTE/4G at up to 25 frequency bands, and includes connectivity systems like WLAN and Bluetooth, and support navigation syste...

In this study, a new method called the pixel basis functional radionuclide imaging (PBFRI) algorithm based on the appended curve deconvolution technique, in order to be able to increase the medical diagnostic capability of a conventional gamma camera, is presented together with the clinical results. In the PBFRI method, retention function of each pixel is obtained from the renograms and cardiac...

BACKGROUND AND PURPOSE Perfusion and angiographic imaging using intravenous contrast application to evaluate stroke patients is now technically feasible by flat detector CT performed by the angiographic system. The aim of this pilot study was to show the feasibility and qualitative comparability of a novel flat detector CT dynamic perfusion and angiographic imaging protocol in comparison with a...

The aim of the study was to assess the relationship between systolic blood pressure during maximal treadmill test (SBP9mtt)) and flow-mediated vasodilation (FMD). Abnormal rise of SBP(mtt) is the phenomenon more frequent in hypertensive persons but it could be found in normotensive subjects too. 199 subjects referred to treadmill test were enrolled in the study. Four groups were formed: hyperte...