Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Proteomic analysis of normal and malignant prostate tissue to identify novel proteins lost in cancer

BACKGROUND. Alterations of important protein pathways, including loss of prostate secretory granules, and disruption of the prostatic secretory pathway have been identified as early events in malignancy. In this study, proteomics was used to map the differences in protein expression between normal and malignant prostate tissues and to identify and analyze differentially expressed proteins in human prostate tissue with particular regard to the proteins lost in malignancy. METHODS. Small quantities of normal and malignant prostate tissue were taken fresh from 34 radical prostatectomy cases. After histological examination, proteins were solubilized from selected tissues and separated using two-dimensional electrophoresis. Using image analysis, the proteome of normal and malignant tissues were mapped and differentially expressed proteins (present in normal and absent in malignant tissue) were identified and subsequently analyzed using peptide mass finger printing and N-terminal sequencing. Western blotting and immunohistochemistry were performed to examine expression profiles and tissue localization of candidate proteins. RESULTS. Comparison of protein maps of normal and malignant prostate were used to identify 20 proteins which were lost in malignant transformation, including prostate specific antigen (PSA), alpha-l antichymotrypsin (ACT), haptoglobin, and lactoylglutathione lyase. Three of the 20 had not previously been reported in human prostate tissue (Ubiquitin-like NEDD8, calponin, and a follistatin-related protein). Western blotting confirmed differences in the expression profiles of NEDD8 and calponin, and immunohistochemistry demonstrated differences in the cellular localization of these two proteins in normal and malignant prostate glands. CONCLUSIONS. The expression of NEDD8, calponin, and the follistatin-related protein in normal prostate tissues is a novel finding and the role of these important functional proteins in normal prostate and their loss or reduced expression in prostate malignancy warrants further investigations. (C) 2002 Wiley-Liss, Inc.

Normal and anomalous classification of category exemplars in schizophrenia

Background Schizophrenia has been associated with semantic memory impairment and previous studies report a difficulty in accessing semantic category exemplars (Moelter et al. 2005 Schizophr Res 78:209–217). The anterior temporal cortex (ATC) has been implicated in the representation of semantic knowledge (Rogers et al. 2004 Psychol Rev 111(1):205–235). We conducted a high-field (4T) fMRI study with the Category Judgment and Substitution Task (CJAST), an analogue of the Hayling test. We hypothesised that differential activation of the temporal lobe would be observed in schizophrenia patients versus controls. Methods Eight schizophrenia patients (7M : 1F) and eight matched controls performed the CJAST, involving a randomised series of 55 common nouns (from five semantic categories) across three conditions: semantic categorisation, anomalous categorisation and word reading. High-resolution 3D T1-weighted images and GE EPI with BOLD contrast and sparse temporal sampling were acquired on a 4T Bruker MedSpec system. Image processing and analyses were performed with SPM2. Results Differential activation in the left ATC was found for anomalous categorisation relative to category judgment, in patients versus controls. Conclusions We examined semantic memory deficits in schizophrenia using a novel fMRI task. Since the ATC corresponds to an area involved in accessing abstract semantic representations (Moelter et al. 2005), these results suggest schizophrenia patients utilise the same neural network as healthy controls, however it is compromised in the patients and the different ATC activity might be attributable to weakening of category-to-category associations.

Standard errors of fitted component means of normal mixtures

In this paper use consider the problem of providing standard errors of the component means in normal mixture models fitted to univariate or multivariate data by maximum likelihood via the EM algorithm. Two methods of estimation of the standard errors are considered: the standard information-based method and the computationally-intensive bootstrap method. They are compared empirically by their application to three real data sets and by a small-scale Monte Carlo experiment.

Modelling the distribution of stamp paper thickness via finite normal mixtures: The 1872 Hidalgo stamp issue of Mexico revisited

Izenman and Sommer (1988) used a non-parametric Kernel density estimation technique to fit a seven-component model to the paper thickness of the 1872 Hidalgo stamp issue of Mexico. They observed an apparent conflict when fitting a normal mixture model with three components with unequal variances. This conflict is examined further by investigating the most appropriate number of components when fitting a normal mixture of components with equal variances.

Growth hormone-binding protein in normal and pathologic gestation: Correlations with maternal diabetes and fetal growth

To date, measurements of GH-binding protein (GHBP) during human pregnancy have been carried out using;assays susceptible to interference by the elevated levels of human placental GH typical of late gestation. We recruited a large cohort of pregnant women (n = 140) for serial measurements of GHBP and used the ligand immunofunctional assay for GHBP. For normal gravidas, GHBP levels fell throughout gestation. Mean levels were 1.07 nmol/L (SE = 0.18) in the first trimester, 0.90 nmol/L (SE = 0.08) at 18-20 weeks, 0.73 nmol/L (SE = 0.05) at 28-30 weeks, and 0.62 nmol/L (SE = 0.06) at 36-38 weeks. GHBP levels in the first trimester correlated significantly with maternal body mass index (r = 0.58; P < 0.01). GHBP levels in pregnancies complicated by noninsulin-dependent diabetes mellitus (NIDDM) were substantially elevated at all gestational ages. The mean value in the first quarter (2.29 nmol/L) was more than double the normal mean (P < 0.01). In contrast, patients with insulin-dependent diabetes mellitus (IDDM) showed reduced GHBP concentrations at 36-38 weeks. The correlation between body mass index and GHBP is consistent with a metabolic role for GHBP during pregnancy, as is the dramatic elevation in GHBP observed in cases of NIDDM. At 36 weeks gestation, GHBP was significantly elevated (P < 0.01) in those women whose neonates had low birth weight (