Efficient disjointness tests for private datasets

We present efficient protocols for private set disjointness tests. We start from an intuition of our protocols that applies Sylvester matrices. Unfortunately, this simple construction is insecure as it reveals information about the cardinality of the intersection. More specifically, it discloses its lower bound. By using the Lagrange interpolation we provide a protocol for the honest-but-curious case without revealing any additional information. Finally, we describe a protocol that is secure against malicious adversaries. The protocol applies a verification test to detect misbehaving participants. Both protocols require O(1) rounds of communication. Our protocols are more efficient than the previous protocols in terms of communication and computation overhead. Unlike previous protocols whose security relies on computational assumptions, our protocols provide information theoretic security. To our knowledge, our protocols are first ones that have been designed without a generic secure function evaluation. More importantly, they are the most efficient protocols for private disjointness tests for the malicious adversary case.

Molecular structural studies of the amorphous mineral pitticite Fe, AsO4, SO4, H2O

Some minerals are colloidal and show no X-ray diffraction patterns. Vibrational spectroscopy offers one of the few methods for the assessment of the structure of these types of mineral. Among this group of minerals is pitticite simply described as Fe, AsO4, SO4, H2O. The objective of this research is to determine the molecular structure of the mineral pitticite using vibrational spectroscopy. Raman microscopy offers a useful method for the analysis of such colloidal minerals. Raman and infrared bands are attributed to the , and water stretching vibrations. The Raman spectrum is dominated by a very intense sharp band at 983 cm−1 assigned to the symmetric stretching mode. A strong Raman band at 1041 cm−1 is observed and is assigned to the antisymmetric stretching mode. Low intensity Raman bands at 757 and 808 cm−1 may be assigned to the antisymmetric and symmetric stretching modes. Raman bands observed at 432 and 465 cm−1 are attributable to the doubly degenerate ν2(SO4)2- bending mode.

Causal behavioural profiles : efficient computation, applications, and evaluation

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets.

A molecular phylogeny of the checkered beetles and a description of Epiclininae a new subfamily (Coleoptera: Cleroidea: Cleridae)

We provide the first molecular phylogeny of the clerid lineage (Coleoptera: Cleridae, Thanerocleridae) within the superfamily Cleroidea to examine the two most recently-proposed hypotheses of higher-level classification. Phylogenetic relationships of checkered beetles were inferred from approximately ~5,000nt of both nuclear and mitochondrial rDNA (28S, 16S, and 12S) and the mitochondrial protein-coding gene COI. A worldwide sample of ~70 genera representing almost a quarter of generic diversity of the clerid lineage was included and phylogenies were reconstructed using Bayesian and Maximum Likelihood approaches. Results support the monophyly of many proposed subfamilies but were not entirely congruent with either current classification system. The subfamilial relationships within the Cleridae are resolved with support for three main lineages. Tillinae are supported as the sister group to all other subfamilies within the Cleridae, whereas Thaneroclerinae, Korynetinae and a new subfamily formally described here, Epiclininae subf. n, form a sister group to Clerinae + Hydnocerinae.

Molecular and structural basis of androgen receptor responses to dihydrotestosterone, medroxyprogesterone acetate and Δ4-tibolone

Medroxyprogesterone acetate (MPA) has widely been used in hormone replacement therapy (HRT), and is associated with an increased risk of breast cancer, possibly due to disruption of androgen receptor (AR) signaling. In contrast, the synthetic HRT Tibolone does not increase breast density, and is rapidly metabolized to estrogenic 3α-OH-tibolone and 3β-OH-tibolone, and a delta-4 isomer (Δ4-TIB) that has both androgenic and progestagenic properties. Here, we show that 5α-dihydrotestosterone (DHT) and Δ4-TIB, but not MPA, stabilize AR protein levels, initiate specific AR intramolecular interactions critical for AR transcriptional regulation, and increase proliferation of AR positive MDA-MB-453 breast cancer cells. Structural modeling and molecular dynamic simulation indicate that Δ4-TIB induces a more stable AR structure than does DHT, and MPA a less stable one. Microarray expression analyses confirms that the molecular actions of Δ4-TIB more closely resembles DHT in breast cancer cells than either ligand does to MPA.

Exercise alters the profile of phospholipid molecular species in rat skeletal muscle

We have determined the effect of two exercise-training intensities on the phospholipid profile of both glycolytic and oxidative muscle fibers of female Sprague-Dawley rats using electrospray-ionization mass spectrometry. Animals were randomly divided into three training groups: control, which performed no exercise training; low-intensity (8 m/min) treadmill running; or high-intensity (28 m/min) treadmill running. All exercise-trained rats ran 1,000 m/session for 4 days/wk for 4 wk and were killed 48 h after the last training bout. Exercise training was found to produce no novel phospholipid species but was associated with significant alterations in the relative abundance of a number of phospholipid molecular species. These changes were more prominent in glycolytic (white vastus lateralis) than in oxidative (red vastus lateralis) muscle fibers. The largest observed change was a decrease of ∼20% in the abundance of 1-stearoyl-2-docosahexaenoyl-phosphatidylethanolamine [PE(18:0/22:6); P < 0.001] ions in both the low- and high-intensity training regimes in glycolytic fibers. Increases in the abundance of 1-oleoyl-2-linoleoyl phopshatidic acid [PA(18:1/18:2); P < 0.001] and 1-alkenylpalmitoyl-2-linoleoyl phosphatidylethanolamine [plasmenyl PE (16:0/18:2); P < 0.005] ions were also observed for both training regimes in glycolytic fibers. We conclude that exercise training results in a remodeling of phospholipids in rat skeletal muscle. Even though little is known about the physiological or pathophysiological role of specific phospholipid molecular species in skeletal muscle, it is likely that this remodeling will have an impact on a range of cellular functions.

Quantitative stem-loop RT-PCR for detection of microRNAs

Plant microRNAs (miRNAs) are a class of endogenous small RNAs that are essential for plant development and survival. They arise from larger precursor RNAs with a characteristic hairpin structure and regulate gene activity by targeting mRNA transcripts for cleavage or translational repression. Efficient and reliable detection and quantification of miRNA expression has become an essential step in understanding their specific roles. The expression levels of miRNAs can vary dramatically between samples and they often escape detection by conventional technologies such as cloning, northern hybridization and microarray analysis. The stem-loop RT-PCR method described here is designed to detect and quantify mature miRNAs in a fast, specific, accurate and reliable manner. First, a miRNA-specific stem-loop RT primer is hybridized to the miRNA and then reverse transcribed. Next, the RT product is amplified and monitored in real time using a miRNA-specific forward primer and the universal reverse primer. This method enables miRNA expression profiling from as little as 10 pg of total RNA and is suitable for high-throughput miRNA expression analysis.

qRT-PCR of Small RNAs

Plant small RNAs are a class of 19- to 25-nucleotide (nt) RNA molecules that are essential for genome stability, development and differentiation, disease, cellular communication, signaling, and adaptive responses to biotic and abiotic stress. Small RNAs comprise two major RNA classes, short interfering RNAs (siRNAs) and microRNAs (miRNAs). Efficient and reliable detection and quantification of small RNA expression has become an essential step in understanding their roles in specific cells and tissues. Here we provide protocols for the detection of miRNAs by stem-loop RT-PCR. This method enables fast and reliable miRNA expression profiling from as little as 20 pg of total RNA extracted from plant tissue and is suitable for high-throughput miRNA expression analysis. In addition, this method can be used to detect other classes of small RNAs, provided the sequence is known and their GC contents are similar to those specific for miRNAs.

Cumulenic and heterocumulenic anions : potential interstellar species?

A recent theoretical investigation by Terzieva & Herbst of linear carbon chains, C-n where n greater than or equal to 6, in the interstellar medium has shown that these species can undergo efficient radiative association to form the corresponding anions. An experimental study by Barckholtz, Snow & Bierbaum of these anions has demonstrated that they do not react efficiently with molecular hydrogen, leading to the possibility of detectable abundances of cumulene-type anions in dense interstellar and circumstellar environments. Here we present a series of electronic structure calculations which examine possible anionic candidates for detection in these media, namely the anion analogues of the previously identified interstellar cumulenes CnH and Cn-1CH2 and heterocumulenes CnO (where n = 2-10). The extraordinary electron affinities calculated for these molecules suggest that efficient radiative electron attachment could occur, and the large dipole moments of these simple (generally) linear molecules point to the possibility of detection by radio astronomy.

Molecular sliding filament model for muscular contraction based on multiscale investigation

A multiscale approach that bridges the biophysics of the actin molecules at nanoscale and the biomechanics of actin filament at microscale level is developed and used to evaluate the mechanical performances of actin filament bundles. In order to investigate the contractile properties of skeletal muscle which is induced by the protein motor of myosin, a molecular model is proposed in the prediction of the dynamic behaviors of skeletal muscle based on classic sliding filament model. Randomly distributed myosin motors are applied on a 2.2 μm long sarcomere, whose principal components include actin and myosin filaments. It can be found that, the more myosin motors on the sarcomere, the faster the sarcomere contracts. The result demonstrates that the sarcomere shortening speed cannot increase infinitely by the modulation of myosin, thus providing insight into the self-protective properties of skeletal muscles. This molecular filament sliding model provides a theoretical way to evaluate the properties of skeletal muscles, and contributes to the understandings of the molecular mechanisms in the physiological phenomenon of muscular contraction.

Molecular and cellular analysis of basement membrane invasion by human breast cancer cells in Matrigel-based in vitro assays

In vitro analyses of basement membrane invasiveness employing Matrigel (a murine tumor extract rich in basement membrane components) have been performed on human breast cancer model systems. Constitutive invasiveness of different human breast cancer (HBC) cell lines has been examined as well as regulation by steroid hormones, growth factors, and oncogenes. Carcinoma cells exhibiting a mesenchymal-like phenotype (vimentin expression, lack of cell border associated uvomorulin) show dramatically increased motility, invasiveness, and metastatic potential in nude mice. These findings support the hypothesis that epithelial to mesenchymal transition (EMT)-like events may be instrumental in the metastatic progression of human breast cancer. The MCF-7 subline MCF-7ADR appears to have undergone such a transition. The importance of such a transition may be reflected in the emergence of vimentin expression as an indicator of poor prognosis in HBC. Matrix degradation and laminin recognition are highlighted as potential targets for antimetastatic therapy, and analyses of laminin attachment and the matrix metalloproteinase (MMP) family in HBC cell lines are summarized. Matrigel-based assays have proved useful in the study of the molecular mechanisms of basement membrane invasiveness, their regulation in HBC cells, and their potential as targets for antimetastatic therapy.

Hormonal carcinogenesis in breast cancer : cellular and molecular studies of malignant progression

We have established and characterized a series of variant cell lines in which to identify the critical factors associated with E2-induced malignant progression, and the acquisition to tamoxifen resistance in human breast cancer. Sublines of the hormone-dependent MCF-7 cell line (MCF7/MIII and MCF7/LCC1) form stable, invasive, estrogen independent tumors in the mammary fat pads of ovariectomized athymic nude mice. These cells retain expression of both estrogen (ER) and progesterone receptors (PGR), but retain sensitivity to each of the major structural classes of antiestrogens. The tamoxifen-resistant MCF7/LCC2 cells retain sensitivity to the inhibitory effects of the steroidal antiestrogen ICI 182780. By comparing the parental hormone-dependent and variant hormone-independent cells, we have demonstrated an altered expression of some estrogen regulated genes (PGR, pS2, cathepsin D) in the hormone-independent variants. Other genes remain normally estrogen regulated (ER, laminin receptor, EGF-receptor). These data strongly implicate the altered regulation of a specific subset or network of estrogen regulated genes in the malignant progression of human breast cancer. Some of the primary response genes in this network may exhibit dose-response and induction kinetics similar to pS2, which is constitutively upregulated in the MCF7/MIII, MCF7/LCC1 and MCF7/LCC2 cells.

Paracrine interactions between LNCaP prostate cancer cells and bioengineered bone in 3D in vitro culture reflect molecular changes during bone metastasis

As microenvironmental factors such as three-dimensionality and cell–matrix interactions are increasingly being acknowledged by cancer biologists, more complex 3D in vitro models are being developed to study tumorigenesis and cancer progression. To better understand the pathophysiology of bone metastasis, we have established and validated a 3D indirect co-culture model to investigate the paracrine interactions between prostate cancer (PCa) cells and human osteoblasts. Co-culture of the human PCa, LNCaP cells embedded within polyethylene glycol hydrogels with human osteoblasts in the form of a tissue engineered bone construct (TEB), resulted in reduced proliferation of LNCaP cells. LNCaP cells in both monoculture and co-culture were responsive to the androgen analog, R1881, as indicated by an increase in the expression (mRNA and/or protein induction) of androgen-regulated genes including prostate specific antigen and fatty acid synthase. Microarray gene expression analysis further revealed an up-regulation of bone markers and other genes associated with skeletal and vasculature development and a significant activation of transforming growth factor β1 downstream genes in LNCaP cells after co-culture with TEB. LNCaP cells co-cultured with TEB also unexpectedly showed similar changes in classical androgen-responsive genes under androgen-deprived conditions not seen in LNCaP monocultures. The molecular changes of LNCaP cells after co-culturing with TEBs suggest that osteoblasts exert a paracrine effect that may promote osteomimicry and modulate the expression of androgen-responsive genes in LNCaP cells. Taken together, we have presented a novel 3D in vitro model that allows the study of cellular and molecular changes occurring in PCa cells and osteoblasts that are relevant to metastatic colonization of bone. This unique in vitro model could also facilitate cancer biologists to dissect specific biological hypotheses via extensive genomic or proteomic assessments to further our understanding of the PCa-bone crosstalk.

Formation of neutral molecules of potential stellar interest by neutralisation of negative ions in a mass spectrometer - The application of experiment and molecular modelling in concert

This paper is a modified version of a lecture which describes the synthesis, structure and reactivity of some neutral molecules of stellar significance. The neutrals are formed in the collision cell of a mass spectrometer following vertical Franck-Condon one electron oxidation of anions of known bond connectivity. Neutrals are characterised by conversion to positive ions and by extensive theoretical studies at the CCSD(T)/aug-cc-pVDZ//B3LYP/6-31G(d) level of theory. Four systems are considered in detail, viz (i) the formation of linear C-4 and its conversion to the rhombus C-4, (ii) linear C-5 and the atom scrambling of this system when energised, (iii) the stable cumulene oxide CCCCCO, and (iv) the elusive species O2C-CO. This paper is not intended to be a review of interstellar chemistry: examples are selected from our own work in this area. (C) 2002 Elsevier Science Inc. All rights reserved.