We adopt the following convention: a, b, r, s, x0, x are real numbers, f , g are partial functions from R to R, and X, Y are sets. The following propositions are true: (1) max(a, b) ­ min(a, b). (2) Let n be a natural number, R1, R2 be elements of R , and r1, r2 be real numbers. Then R1 a 〈r1〉 • R2 a 〈r2〉 = (R1 • R2) a 〈r1 · r2〉. (3) Let n be a natural number and R be an element of R. Suppose ∑...

The stoichiometric reactions of 8-(2,6-R1-4-R2-anilide)-5,6,7-trihydroquinoline (LH) with AlR3 (R = Me or Et) afforded the aluminum complexes LAlR2 (Al1–Al5,Al1: R1 = iPr, R2 = H, R = Me; Al2: R1 = Me, R2 = H, R = Me; Al3: R1 = H, R2 = H, R = Me; Al4: R1 = Me, R2 = Me, R = Me; Al5: R1 = Me, R2 = Me, R = Et) in high yields. All aluminum complexes were characterized by NMR spectroscopy and elemen...

BACKGROUND In critically ill patients intravascular volume status and pulmonary edema need to be quantified as soon as possible. Many critically ill patients undergo a computed tomography (CT)-scan of the thorax after admission to the intensive care unit (ICU). This study investigates whether CT-based estimation of cardiac preload and pulmonary hydration can accurately assess volume status and ...

Figure S1. Experimental proton T1 relaxation enhancements R1, measured with a 5 mM solution of ubiquitin in the presence of 4 mM Gd(DTPA-BMA), plotted versus the R1 values predicted by a relaxation model based on translational diffusion. The experimental R1 data are the same as in Figure 2a of the main text. The predicted R1 values were calculated using equation 48 of Ayant et al. (ref. 1), wit...

R1 and R2 are non-long-terminal repeat retrotransposable elements that insert into specific sequences of insect 28S ribosomal RNA genes. These elements have been extensively described in Drosophila melanogaster. To determine whether these elements have been horizontally or vertically transmitted, we characterized R1 and R2 elements from the seven other members of the melanogaster species subgro...

Recently, magnetic resonance properties of cerebral gray matter have been spatially mapped--in vivo--over the cortical surface. In one of the first neuroscientific applications of this approach, this study explores what can be learned about auditory cortex in living humans by mapping longitudinal relaxation rate (R1), a property related to myelin content. Gray matter R1 (and thickness) showed r...

BACKGROUND Corticotropin-releasing hormone (CRH) and CRH-related peptide are shown to modulate uterine contractility through two CRH receptor subtype, CRH-R1 and CRH-R2 during pregnancy. Through different signaling pathways, CRH-R1 maintains myometrial quiescence whereas CRH-R2 promotes smooth muscle contractility. We hypothesized that the expression of CRH receptors in myometrium might be chan...

Figure S1 (related to Figure 1). Biochemical and functional characterization of the purified IP 3 R1. (A) SDS-PAGE of the purified IP 3 R1 protein: Coomassie blue stained SDS-PAGE gel (left panel) and immunoblot with an IP 3 R1-specific antibody (right panel): lane 1 – molecular weight standards (kDa); lane 2 – ER microsomal membranes; lane 3 – the purified IP 3 R1. The band corresponding to th...

The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that the direct sum of two term rewriting systems is not terminating, even if these systems are both terminating. Keyword: Term rewriting system, termination Introduction A term rewriting system R is a set of rewriting rules M → N , where M and N are terms [1, 3, 5]. The di...