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...

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...