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.

Relative motions of Africa, Iberia and Europe during Alpine orogeny

A revised kinematic model for the motions of Africa and Iberia relative to Europe since the Middle Jurassic is presented in order to provide boundary conditions for Alpine-Mediterranean reconstructions. These motions were calculated using up-to-date kinematic data predominantly based on magnetic isochrons in the Atlantic Ocean and published by various authors during the last 15 years. It is shown that convergence of Africa with respect to Europe commenced during the Cretaceous Normal Superchron (CNS), between chrons MO and 34 (120-83 Ma). This motion was subjected to fluctuations in convergence rates characterised by two periods of relatively rapid convergence (during Late Cretaceous and Eocene-Oligocene times) that alternated with periods of slower convergence (during the Paleocene and since the Early Miocene). Distinct changes in plate kinematics are recognised in the motion of Iberia with respect to Europe, indicated by: (1) a Late Jurassic-Early Cretaceous left-lateral strike-slip motion; (2) Late Cretaceous convergence; (3) Paleocene quiescence; (4) a short period of right-lateral strike-slip motion; and (5) final Eocene-Oligocene convergence. Based on these results, it is speculated that a collisional episode in the Alpine orogeny at ca. 65 Ma resulted in a dramatic decrease in the relative plate motions and that a slower motion since the Early Miocene promoted extension in the Mediterranean back-arc basins. (C) 2002 Elsevier Science B.V. All rights reserved.

EDD, the human orthologue of the hyperplastic discs tumour suppressor gene, is amplified and overexpressed in cancer

EDD (E3 isolated by differential display), located at chromosome 8q22.3, is the human orthologue of the Drosophila melanogaster tumour suppressor gene 'hyperplastic discs' and encodes a HECT domain E3 ubiquitin protein-ligase. To investigate the possible involvement of EDD in human cancer, several cancers from diverse tissue sites were analysed for allelic gain or loss (allelic imbalance, AI) at the EDD locus using an EDD-specific microsatellite, CEDD, and other polymorphic microsatellites mapped in the vicinity of the 8q22.3 locus. Of 143 cancers studied, 38 had AI at CEDD (42% of 90 informative cases). In 14 of these cases, discrete regions of imbalance encompassing 8q22.3 were present, while the remainder had more extensive 8q aberrations. AI of CEDD was most frequent in ovarian cancer (22/47 informative cases, 47%), particularly in the serous subtype (16/22, 73%), but was rare in benign and borderline ovarian tumours. AI was also common in breast cancer (31%), hepatocellular carcinoma (46%), squamous cell carcinoma of the tongue (50%) and metastatic melanoma (18%). AI is likely to represent amplification of the EDD gene locus rather than loss of heterozygosity, as quantitative RT-PCR and immunohistochemistry showed that EDD mRNA and protein are frequently overexpressed in breast and ovarian cancers, while among breast cancer cell lines EDD overexpression and increased gene copy number were correlated. These results demonstrate that AI at the EDD locus is common in a diversity of carcinomas and that the EDD gene is frequently overexpressed in breast and ovarian cancer, implying a potential role in cancer progression.

Non-diagonal solutions of the reflection equation for the trigonometric A((1)) (n-1) vertex model

We obtain a class of non-diagonal solutions of the reflection equation for the trigonometric A(n-1)((1)) vertex model. The solutions can be expressed in terms of intertwinner matrix and its inverse, which intertwine two trigonometric R-matrices. In addition to a discrete (positive integer) parameter l, 1 less than or equal to l less than or equal to n, the solution contains n + 2 continuous boundary parameters.

Characterization of optically driven fluid stress fields with optical tweezers

We present a controlled stress microviscometer with applications to complex fluids. It generates and measures microscopic fluid velocity fields, based on dual beam optical tweezers. This allows an investigation of bulk viscous properties and local inhomogeneities at the probe particle surface. The accuracy of the method is demonstrated in water. In a complex fluid model (hyaluronic acid), we observe a strong deviation of the flow field from classical behavior. Knowledge of the deviation together with an optical torque measurement is used to determine the bulk viscosity. Furthermore, we model the observed deviation and derive microscopic parameters.

Quantum analysis of the nondegenerate optical parametric oscillator with injected signal

In this paper we study the nondegenerate optical parametric oscillator with injected signal, both analytically and numerically. We develop a perturbation approach which allows us to find approximate analytical solutions, starting from the full equations of motion in the positive-P representation. We demonstrate the regimes of validity of our approximations via comparison with the full stochastic results. We find that, with reasonably low levels of injected signal, the system allows for demonstrations of quantum entanglement and the Einstein-Podolsky-Rosen paradox. In contrast to the normal optical parametric oscillator operating below threshold, these features are demonstrated with relatively intense fields.

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.

Resonance fluorescence and Autler-Townes spectra of a two-level atom driven by two fields of equal frequencies

We study the effects of driving a two-level atom by two intense field modes that have equal frequencies but are otherwise distinguishable; the intensity of one mode is also assumed to be greater than that of the other. We calculate first the dressed states of the system, and then its resonance fluorescence and Autler-Townes absorption spectra. We find that the energy spectrum of the doubly dressed atom consists of a ladder of doublet continua. These continua manifest themselves in the fluorescence spectrum, where they produce continua at the positions of the Mellow sideband frequencies omega(L)+/-2 Omega of the strong field, and in the Autler-Townes absorption spectrum, which becomes a two-continuum doublet.

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.

Discrete and continuous models for dry masonry columns

The dynamic response of dry masonry columns can be approximated with finite-difference equations. Continuum models follow by replacing the difference quotients of the discrete model by corresponding differential expressions. The mathematically simplest of these models is a one-dimensional Cosserat theory. Within the presented homogenization context, the Cosserat theory is obtained by making ad hoc assumptions regarding the relative importance of certain terms in the differential expansions. The quality of approximation of the various theories is tested by comparison of the dispersion relations for bending waves with the dispersion relation of the discrete theory. All theories coincide with differences of less than 1% for wave-length-block-height (L/h) ratios bigger than 2 pi. The theory based on systematic differential approximation remains accurate up to L/h = 3 and then diverges rapidly. The Cosserat model becomes increasingly inaccurate for L/h < 2 pi. However, in contrast to the systematic approximation, the wave speed remains finite. In conclusion, considering its relative simplicity, the Cosserat model appears to be the natural starting point for the development of continuum models for blocky structures.

Calculating current densities and fields produced by shielded magnetic resonance imaging probes

A method is presented for computing the fields produced by radio frequency probes of the type used in magnetic resonance imaging. The effects of surrounding the probe with a shielding coil, intended to eliminate stray fields produced outside the probe, are included. An essential feature of these devices is the fact that the conducting rungs of the probe are of finite width relative to the coil radius, and it is therefore necessary to find the distribution of current within the conductors as part of the solution process. This is done here using a numerical method based on the inverse finite Hilbert transform, applied iteratively to the entire structure including its shielding coils. It is observed that the fields are influenced substantially by the width of the conducting rungs of the probe, since induced eddy currents within the rungs become more pronounced as their width is increased. The shield is also shown to have a significant effect on both the primary current density and the resultant fields. Quality factors are computed for these probes and compared with values measured experimentally.

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.