Multi-party computation with omnipresent adversary

Secure multi-party computation (MPC) protocols enable a set of n mutually distrusting participants P 1, ..., P n , each with their own private input x i , to compute a function Y = F(x 1, ..., x n ), such that at the end of the protocol, all participants learn the correct value of Y, while secrecy of the private inputs is maintained. Classical results in the unconditionally secure MPC indicate that in the presence of an active adversary, every function can be computed if and only if the number of corrupted participants, t a , is smaller than n/3. Relaxing the requirement of perfect secrecy and utilizing broadcast channels, one can improve this bound to t a  < n/2. All existing MPC protocols assume that uncorrupted participants are truly honest, i.e., they are not even curious in learning other participant secret inputs. Based on this assumption, some MPC protocols are designed in such a way that after elimination of all misbehaving participants, the remaining ones learn all information in the system. This is not consistent with maintaining privacy of the participant inputs. Furthermore, an improvement of the classical results given by Fitzi, Hirt, and Maurer indicates that in addition to t a actively corrupted participants, the adversary may simultaneously corrupt some participants passively. This is in contrast to the assumption that participants who are not corrupted by an active adversary are truly honest. This paper examines the privacy of MPC protocols, and introduces the notion of an omnipresent adversary, which cannot be eliminated from the protocol. The omnipresent adversary can be either a passive, an active or a mixed one. We assume that up to a minority of participants who are not corrupted by an active adversary can be corrupted passively, with the restriction that at any time, the number of corrupted participants does not exceed a predetermined threshold. We will also show that the existence of a t-resilient protocol for a group of n participants, implies the existence of a t’-private protocol for a group of n′ participants. That is, the elimination of misbehaving participants from a t-resilient protocol leads to the decomposition of the protocol. Our adversary model stipulates that a MPC protocol never operates with a set of truly honest participants (which is a more realistic scenario). Therefore, privacy of all participants who properly follow the protocol will be maintained. We present a novel disqualification protocol to avoid a loss of privacy of participants who properly follow the protocol.

A more efficient and effective heuristic algorithm for the MapReduce placement problem in cloud computing

The placement of the mappers and reducers on the machines directly affects the performance and cost of the MapReduce computation in cloud computing. From the computational point of view, the mappers/reducers placement problem is a generalization of the classical bin packing problem, which is NP-complete. Thus, in this paper we propose a new heuristic algorithm for the mappers/reducers placement problem in cloud computing and evaluate it by comparing with other several heuristics on solution quality and computation time by solving a set of test problems with various characteristics. The computational results show that our heuristic algorithm is much more efficient than the other heuristics. Also, we verify the effectiveness of our heuristic algorithm by comparing the mapper/reducer placement for a benchmark problem generated by our heuristic algorithm with a conventional mapper/reducer placement. The comparison results show that the computation using our mapper/reducer placement is much cheaper while still satisfying the computation deadline.

A new grouping genetic algorithm for the MapReduce placement problem in cloud computing

MapReduce is a computation model for processing large data sets in parallel on large clusters of machines, in a reliable, fault-tolerant manner. A MapReduce computation is broken down into a number of map tasks and reduce tasks, which are performed by so called mappers and reducers, respectively. The placement of the mappers and reducers on the machines directly affects the performance and cost of the MapReduce computation. From the computational point of view, the mappers/reducers placement problem is a generation of the classical bin packing problem, which is NPcomplete. Thus, in this paper we propose a new grouping genetic algorithm for the mappers/reducers placement problem in cloud computing. Compared with the original one, our grouping genetic algorithm uses an innovative coding scheme and also eliminates the inversion operator which is an essential operator in the original grouping genetic algorithm. The new grouping genetic algorithm is evaluated by experiments and the experimental results show that it is much more efficient than four popular algorithms for the problem, including the original grouping genetic algorithm.

Two-scale computational modelling of unsaturated flow in soils exhibiting small scale heterogeneities

Unsaturated water flow in soil is commonly modelled using Richards’ equation, which requires the hydraulic properties of the soil (e.g., porosity, hydraulic conductivity, etc.) to be characterised. Naturally occurring soils, however, are heterogeneous in nature, that is, they are composed of a number of interwoven homogeneous soils each with their own set of hydraulic properties. When the length scale of these soil heterogeneities is small, numerical solution of Richards’ equation is computationally impractical due to the immense effort and refinement required to mesh the actual heterogeneous geometry. A classic way forward is to use a macroscopic model, where the heterogeneous medium is replaced with a fictitious homogeneous medium, which attempts to give the average flow behaviour at the macroscopic scale (i.e., at a scale much larger than the scale of the heterogeneities). Using the homogenisation theory, a macroscopic equation can be derived that takes the form of Richards’ equation with effective parameters. A disadvantage of the macroscopic approach, however, is that it fails in cases when the assumption of local equilibrium does not hold. This limitation has seen the introduction of two-scale models that include at each point in the macroscopic domain an additional flow equation at the scale of the heterogeneities (microscopic scale). This report outlines a well-known two-scale model and contributes to the literature a number of important advances in its numerical implementation. These include the use of an unstructured control volume finite element method and image-based meshing techniques, that allow for irregular micro-scale geometries to be treated, and the use of an exponential time integration scheme that permits both scales to be resolved simultaneously in a completely coupled manner. Numerical comparisons against a classical macroscopic model confirm that only the two-scale model correctly captures the important features of the flow for a range of parameter values.

Mapping a candidate gene (MdMYB10) for red flesh and foliage colour in apple

BACKGROUND Integrating plant genomics and classical breeding is a challenge for both plant breeders and molecular biologists. Marker-assisted selection (MAS) is a tool that can be used to accelerate the development of novel apple varieties such as cultivars that have fruit with anthocyanin through to the core. In addition, determining the inheritance of novel alleles, such as the one responsible for red flesh, adds to our understanding of allelic variation. Our goal was to map candidate anthocyanin biosynthetic and regulatory genes in a population segregating for the red flesh phenotypes. RESULTS We have identified the Rni locus, a major genetic determinant of the red foliage and red colour in the core of apple fruit. In a population segregating for the red flesh and foliage phenotype we have determined the inheritance of the Rni locus and DNA polymorphisms of candidate anthocyanin biosynthetic and regulatory genes. Simple Sequence Repeats (SSRs) and Single Nucleotide Polymorphisms (SNPs) in the candidate genes were also located on an apple genetic map. We have shown that the MdMYB10 gene co-segregates with the Rni locus and is on Linkage Group (LG) 09 of the apple genome. CONCLUSION We have performed candidate gene mapping in a fruit tree crop and have provided genetic evidence that red colouration in the fruit core as well as red foliage are both controlled by a single locus named Rni. We have shown that the transcription factor MdMYB10 may be the gene underlying Rni as there were no recombinants between the marker for this gene and the red phenotype in a population of 516 individuals. Associating markers derived from candidate genes with a desirable phenotypic trait has demonstrated the application of genomic tools in a breeding programme of a horticultural crop species.

Creativity management : the new challenge for BPM

Besides classical criteria such as cost and overall organizational efficiency, an organization’s ability to being creative and to innovate is of increasing importance in markets that are overwhelmed with commodity products and services. Business Process Management (BPM) as an approach to model, analyze, and improve business processes has been successfully applied not only to enhance performance and reduce cost but also to facilitate business imperatives such as risk management and knowledge management. Can BPM also facilitate the management of creativity? We can find many examples where enterprises unintentionally reduced or even killed creativity and innovation for the sake of control, performance, and cost reduction. Based on the experiences we have made within case studies with organizations from the creative industries (film industry, visual effects production, etc.,) we believe that BPM can be a facilitator providing the glue between creativity management and well-established business principles. In this article we introduce the notions of creativity-intensive processes and pockets of creativity as new BPM concepts. We further propose a set of exemplary strategies that enable process owners and process managers to achieve creativity without sacrificing creativity. Our aim is to set the baseline for further discussions on what we call creativity-oriented BPM.

Red colouration in apple fruit is due to the activity of the MYB transcription factor, MdMYB10

Anthocyanin concentration is an important determinant of the colour of many fruits. In apple (Malus x domestica), centuries of breeding have produced numerous varieties in which levels of anthocyanin pigment vary widely and change in response to environmental and developmental stimuli. The apple fruit cortex is usually colourless, although germplasm does exist where the cortex is highly pigmented due to the accumulation of either anthocyanins or carotenoids. From studies in a diverse array of plant species, it is apparent that anthocyanin biosynthesis is controlled at the level of transcription. Here we report the transcript levels of the anthocyanin biosynthetic genes in a red-fleshed apple compared with a white-fleshed cultivar. We also describe an apple MYB transcription factor, MdMYB10, that is similar in sequence to known anthocyanin regulators in other species. We further show that this transcription factor can induce anthocyanin accumulation in both heterologous and homologous systems, generating pigmented patches in transient assays in tobacco leaves and highly pigmented apple plants following stable transformation with constitutively expressed MdMYB10. Efficient induction of anthocyanin biosynthesis in transient assays by MdMYB10 was dependent on the co-expression of two distinct bHLH proteins from apple, MdbHLH3 and MdbHLH33. The strong correlation between the expression of MdMYB10 and apple anthocyanin levels during fruit development suggests that this transcription factor is responsible for controlling anthocyanin biosynthesis in apple fruit; in the red-fleshed cultivar and in the skin of other varieties, there is an induction of MdMYB10 expression concurrent with colour formation during development. Characterization of MdMYB10 has implications for the development of new varieties through classical breeding or a biotechnological approach.

Ozone-Induced Dissociation on a Modified Tandem Linear Ion-Trap : Observations of Different Reactivity for Isomeric Lipids

Ozone-induced dissociation (OzID) exploits the gas-phase reaction between mass-selected lipid ions and ozone vapor to determine the position(s) of unsaturation In this contribution, we describe the modification of a tandem linear ion-trap mass spectrometer specifically for OzID analyses wherein ozone vapor is supplied to the collision cell This instrumental configuration provides spatial separation between mass-selection, the ozonolysis reaction, and mass-analysis steps in the OzID process and thus delivers significant enhancements in speed and sensitivity (ca 30-fold) These improvements allow spectra revealing the double-bond position(s) within unsaturated lipids to be acquired within 1 s significantly enhancing the utility of OzID in high-throughput lipidomic protocols The stable ozone concentration afforded by this modified instrument also allows direct comparison of relative reactivity of isomeric lipids and reveals reactivity trends related to (1) double-bond position, (2) substitution position on the glycerol backbone, and (3) stereochemistry For cis- and trans-isomers, differences were also observed in the branching ratio of product ions arising from the gas-phase ozonolysis reaction, suggesting that relative ion abundances could be exploited as markers for double-bond geometry Additional activation energy applied to mass-selected lipid ions during injection into the collision cell (with ozone present) was found to yield spectra containing both OzID and classical-CID fragment ions This combination CID-OzID acquisition on an ostensibly simple monounsaturated phosphatidylcholine within a cow brain lipid extract provided evidence for up to four structurally distinct phospholipids differing in both double-bond position and sn-substitution U Am Soc Mass Spectrom 2010, 21, 1989-1999) (C) 2010 American Society for Mass Spectrometry

The organisation and expression of the genes encoding the mitochondrial glycine decarboxylase complex and serine hydroxymethyltransferase in pea (Pisum sativum)

Restriction fragment length polymorphisms have been used to determine the chromosomal location of the genes encoding the glycine decarboxylase complex (GDC) and serine hydroxymethyltransferase (SHMT) of pea leaf mitochondria. The genes encoding the H subunit of GDC and the genes encoding SHMT both show linkage to the classical group I marker i. In addition, the genes for the P protein of GDC show linkage to the classic group I marker a. The genes for the L and T proteins of GDC are linked to one another and are probably situated on the satellite of chromosome 7. The mRNAs encoding the five polypeptides that make up GDC and SHMT are strongly induced when dark-grown etiolated pea seedlings are placed in the light. Similarly, when mature plants are placed in the dark for 48 h, the levels of both GDC protein and SHMT mRNAs decline dramatically and then are induced strongly when these plants are returned to the light. During both treatments a similar pattern of mRNA induction is observed, with the mRNA encoding the P protein of GDC being the most rapidly induced and the mRNA for the H protein the slowest. Whereas during the greening of etiolated seedlings the polypeptides of GDC and SHMT show patterns of accumulation similar to those of the corresponding mRNAs, very little change in the level of the polypeptides is seen when mature plants are placed in the dark and then re-exposed to the light.

Port-Hamiltonian theory of motion control for marine craft

Port-Hamiltonian Systems (PHS) have a particular form that incorporates explicitly a function of the total energy in the system (energy function) and also other functions that describe structure of the system in terms of energy distribution. For PHS, the product of the input and output variables gives the rate of energy change. This type of systems have the property that under certain conditions on the energy function, the system is passive; and thus, stable. Therefore, if one can design a controller such that the closed-loop system retains - or takes - a PHS form, such closed-loop system will inherit the properties of passivity and stability. In this paper, the classical model of marine craft is put into a PHS form. It is shown that models used for positioning control do not have a PHS form due to a kinematic transformation, but a control design can be done such that the closed-loop system takes a PHS form. It is further shown how integral action can be added and how the PHS-form can be exploited to provide a procedure for control design that ensures passivity and thus stability.

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.

A mass spectrometry study of XCO+, X = Si, Ge : Is SiCO+ a main group carbonyl? Comments on the bonding in ground state SiCO and the Si,C,O (+) potential energy surface

The cation\[Si,C,O](+) has been generated by 1) the electron ionisation (EI) of tetramethoxysilane and 2) chemical ionisation (CI) of a mixture of silane and carbon monoxide. Collisional activation (CA) experiments performed for mass-selected \[Si,C,O](+), generated by using both methods, indicate that the structure is not inserted OSiC+; however, a definitive structural assignment as Si+-CO, Si+-OC or some cyclic variant is impossible based on these results alone. Neutralisation-reionisation (+NR+) experiments for EI-generated \[Si,C,O](+) reveal a small peak corresponding to SiC+, but no detectable SiO+ signal, and thus establishes the existence of the Si+-CO isomer. CCSD(T)//B3LYP calculations employing a triple-zeta basis set have been used to explore the doublet and quartet potential-energy surfaces of the cation, as well as some important neutral states The results suggest that both Si+-CO and Si+ - OC isomers are feasible; however, the global minimum is (2)Pi SiCO+. Isomeric (2)Pi SiOC+ is 12.1 kcal mol(-1) less stable than (2)Pi SiCO+, and all quartet isomers are much higher in energy. The corresponding neutrals Si-CO and Si-OC are also feasible, but the lowest energy Si - OC isomer ((3)A") is bound by only 1.5 kcal mol(-1). We attribute most, if nor all, of the recovery signal in the +NR' experiment to SiCO+ survivor ions. The nature of the bonding in the lowest energy isomers of Si+ -(CO,OC) is interpreted with the aid of natural bond order analyses, and the ground stale bonding of SiCO+ is discussed in relation to classical analogues such as metal carbonyls and ketenes.

Ambiguity Acceptance Testing : A Comparison of the Ratio Test and Difference Test

Integer ambiguity resolution is an indispensable procedure for all high precision GNSS applications. The correctness of the estimated integer ambiguities is the key to achieving highly reliable positioning, but the solution cannot be validated with classical hypothesis testing methods. The integer aperture estimation theory unifies all existing ambiguity validation tests and provides a new prospective to review existing methods, which enables us to have a better understanding on the ambiguity validation problem. This contribution analyses two simple but efficient ambiguity validation test methods, ratio test and difference test, from three aspects: acceptance region, probability basis and numerical results. The major contribution of this paper can be summarized as: (1) The ratio test acceptance region is overlap of ellipsoids while the difference test acceptance region is overlap of half-spaces. (2) The probability basis of these two popular tests is firstly analyzed. The difference test is an approximation to optimal integer aperture, while the ratio test follows an exponential relationship in probability. (3) The limitations of the two tests are firstly identified. The two tests may under-evaluate the failure risk if the model is not strong enough or the float ambiguities fall in particular region. (4) Extensive numerical results are used to compare the performance of these two tests. The simulation results show the ratio test outperforms the difference test in some models while difference test performs better in other models. Particularly in the medium baseline kinematic model, the difference tests outperforms the ratio test, the superiority is independent on frequency number, observation noise, satellite geometry, while it depends on success rate and failure rate tolerance. Smaller failure rate leads to larger performance discrepancy.

Cadherins in the human placenta : epithelial-mesenchymal transition (EMT) and placental development

Colonisation of the maternal uterine wall by the trophoblast involves a series of alterations in the behaviour and morphology of trophoblast cells. Villous cytotrophoblast cells change from a well-organised coherently layered phenotype to one that is extravillous, acquiring a proliferative, migratory and invasive capacity, to facilitate fetal-maternal interaction. These changes are similar to those of other developmental processes falling under the umbrella of an epithelial-mesenchymal transition (EMT). Modulation of cell adhesion and cell polarity occurs through changes in cell-cell junctional molecules, such as the cadherins. The cadherins, particularly the classical cadherins (e.g. Epithelial-(E)-cadherin), and their link to adaptors called catenins at cell-cell contacts, are important for maintaining cell attachment and the layered phenotype of the villous cytotrophoblast. In contrast, reduced expression and re-organization of cadherins from these cell junctional regions promote a loosened connection between cells, coupled with reduced apico-basal polarity. Certain non-classical cadherins play an active role in cell migration processes. In addition to the classical cadherins, two other cadherins which have been reported in placental tissues are vascular endothelial (VE) cadherin and cadherin-11. Cadherin molecules are well placed to be key regulators of trophoblast cell behaviour, analogous to their role in other developmental EMTs. This review addresses cadherin expression and function in normal and diseased human placental tissues, especially in fetal growth restriction and pre-eclampsia where trophoblast invasion is reduced.