OBJECTIVE To evaluate siMS score and siMS risk score, novel continuous metabolic syndrome scores as methods for quantification of metabolic status and risk. MATERIALS AND METHODS Developed siMS score was calculated using formula: siMS score = 2*Waist/Height + Gly/5.6 + Tg/1.7 + TAsystolic/130-HDL/1.02 or 1.28 (for male or female subjects, respectively). siMS risk score was calculated using fo...

Time-of-flight secondary ion mass spectrometry (TOF-SIMS) emerges as a promising tool to identify the ions (small molecules) indicative of disease states from the surface of patient tissues. In TOF-SIMS analysis, an enhanced ionization of surface molecules is critical to increase the number of detected ions. Several methods have been developed to enhance ionization capability. However, how thes...

Objective: We developed a simple non-invasive I-123-N-isopropyl-p-iodoamphetamine (123I-IMP) quantification method by analyzing chest RI-angiography and single photon emission computed tomography (SPECT) images based on the microsphere model (SIMS method). Theoretically, the SIMS method could be changed to the simple non-invasive ARG (SIARG) method by modifying the integrated washout ratio (WR)...

3E. L. Post, J. Symb. Logic, 12, 1-11, 1947. 4In the sense of Post, the word problem for Z is reducible to that for sp (2:). 5 W. Magnus, Math. Annalen, 106, 295-307, 1932. 6 DanaScott, abstract, J. Symb. Logic, 21, 111-112, 1956. 7Marshall Hall, J. Symb. Logic, 14, 115-118, 1949. 8 G. Higman, B. H. Neumann, and H. Neumann, J. London Math. Soc., 24, 247-254, 1949. 9 As defined, UG, Part I, p. 2...

We consider the subgroup lpGk,1 of length preserving elements of the Thompson-Higman group Gk,1 and we show that all elements of Gk,1 have a unique lpGk,1 · Fk,1 factorization. This applies to the Thompson-Higman group Tk,1 as well. We show that lpGk,1 is a “diagonal” direct limit of finite symmetric groups, and that lpTk,1 is a k ∞ Prüfer group. We find an infinite generating set of lpGk,1 whi...

The current implementation of situation interpretation metrics (SIMs) in context-based reasoning (CxBR) simulations makes it difficult to effectively and efficiently characterize situations in the simulation. While previous work in the field has dealt to a certain extent with SIMs, the primary focus of such work has been in other areas. Thus, while the current implementation of SIMs is function...