Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

TAZ Expression as a Prognostic Indicator in Colorectal Cancer

The Hippo pathway restricts the activity of transcriptional coactivators TAZ (WWTR1) and YAP. TAZ and YAP are reported to be overexpressed in various cancers, however, their prognostic significance in colorectal cancers remains unstudied. The expression levels of TAZ and YAP, and their downstream transcriptional targets, AXL and CTGF, were extracted from two independent colon cancer patient datasets available in the Gene Expression Omnibus database, totaling 522 patients. We found that mRNA expressions of both TAZ and YAP were positively correlated with those of AXL and CTGF (p<0.05). High level mRNA expression of TAZ, AXL or CTGF significantly correlated with shorter survival. Importantly, patients co-overexpressing all 3 genes had a significantly shorter survival time, and combinatorial expression of these 3 genes was an independent predictor for survival. The downstream target genes for TAZ-AXL-CTGF overexpression were identified by Java application MyStats. Interestingly, genes that are associated with colon cancer progression (ANTXR1, EFEMP2, SULF1, TAGLN, VCAN, ZEB1 and ZEB2) were upregulated in patients co-overexpressing TAZ-AXL-CTGF. This TAZ-AXL-CTGF gene expression signature (GES) was then applied to Connectivity Map to identify small molecules that could potentially be utilized to reverse this GES. Of the top 20 small molecules identified by connectivity map, amiloride (a potassium sparing diuretic,) and tretinoin (all-trans retinoic acid) have shown therapeutic promise in inhibition of colon cancer cell growth. Using MyStats, we found that low level expression of either ANO1 or SQLE were associated with a better prognosis in patients who co-overexpressed TAZ-AXL-CTGF, and that ANO1 was an independent predictor of survival together with TAZ-AXL-CTGF. Finally, we confirmed that TAZ regulates Axl, and plays an important role in clonogenicity and non-adherent growth in vitro and tumor formation in vivo. These data suggest that TAZ could be a therapeutic target for the treatment of colon cancer.

Lorentz TEM investigation of the switching behavior in artificial spin ice building blocks

Frustration – the inability to simultaneously satisfy all interactions – occurs in a wide range of systems including neural networks, water ice and magnetic systems. An example of the latter is the so called spin-ice in pyrochlore materials [1] which have attracted a lot of interest not least due to the emergence of magnetic monopole defects when the ‘ice rules’ governing the local ordering breaks down [2]. However it is not possible to directly measure the frustrated property – the direction of the magnetic moments – in such spin ice systems with current experimental techniques. This problem can be solved by instead studying artificial spin-ice systems where the molecular magnetic moments are replaced by nanoscale ferromagnetic islands [3-8]. Two different arrangements of the ferromagnetic islands have been shown to exhibit spin ice behaviour: a square lattice maintaining four moments at each vertex [3,8] and the Kagome lattice which has only three moments per vertex but equivalent interactions between them [4-7]. Magnetic monopole defects have been observed in both types of lattices [7-8]. One of the challenges when studying these artificial spin-ice systems is that it is difficult to arrive at the fully demagnetised ground-state [6-8].
Here we present a study of the switching behaviour of building blocks of the Kagome lattice influenced by the termination of the lattice. Ferromagnetic islands of nominal size 1000 nm by 100 nm were fabricated in five island blocks using electron-beam lithography and lift-off techniques of evaporated 18 nm Permalloy (Ni80Fe20) films. Each block consists of a central island with four arms terminated by a different number and placement of ‘injection pads’, see Figure 1. The islands are single domain and magnetised along their long axis. The structures were grown on a 50 nm thick electron transparent silicon nitride membrane to allow TEM observation, which was back-coated with a 5 nm film of Au to prevent charge build-up during the TEM experiments.
To study the switching behaviour the sample was subjected to a magnetic field strong enough to magnetise all the blocks in one direction, see Figure 1. Each block obeys the Kagome lattice ‘ice-rules’ of “2-in, 1-out” or “1-in, 2-out” in this fully magnetised state. Fresnel mode Lorentz TEM images of the sample were then recorded as a magnetic field of increasing magnitude was applied in the opposite direction. While the Fresnel mode is normally used to image magnetic domain structures [9] for these types of samples it is possible to deduce the direction of the magnetisation from the Lorentz contrast [5]. All images were recorded at the same over-focus judged to give good Lorentz contrast.
The magnetisation was found to switch at different magnitudes of the applied field for nominally identical blocks. However, trends could still be identified: all the blocks with any injection pads, regardless of placement and number, switched the direction of the magnetisation of their central island at significantly smaller magnitudes of the applied magnetic field than the blocks without injection pads. It can therefore be concluded that the addition of an injection pad lowers the energy barrier to switching the connected island, acting as a nucleation site for monopole defects. In these five island blocks the defects immediately propagate through to the other side, but in a larger lattice the monopoles could potentially become trapped at a vertex and observed [10].
References

[1] M J Harris et al, Phys Rev Lett 79 (1997) p.2554.
[2] C Castelnovo, R Moessner and S L Sondhi, Nature 451 (2008) p. 42.
[3] R F Wang et al, Nature 439 (2006) 303.
[4] M Tanaka et al, Phys Rev B 73 (2006) 052411.
[5] Y Qi, T Brintlinger and J Cumings, Phys Rev B 77 (2008) 094418.
[6] E Mengotti et al, Phys Rev B 78 (2008) 144402.
[7] S Ladak et al, Nature Phys 6 (2010) 359.
[8] C Phatak et al, Phys Rev B 83 (2011) 174431.
[9] J N Chapman, J Phys D 17 (1984) 623.
[10] The authors gratefully acknowledge funding from the EPSRC under grant number EP/D063329/1.

Evaluation of in Situ DGT Measurements for Predicting the Concentration of Cd in Chinese Field-Cultivated Rice: Impact of Soil Cd:Zn Ratios

DGT (diffusive gradients in thin-films) has been proposed as a tool for predicting Cd concentrations in rice grain, but there is a lack of authenticating data. To further explore the relationship between DGT measured Cd and concentrations in rice cultivated in challenging, metal degraded, field locations with different heavy metal pollutant sources, 77 paired soil and grain samples were collected in Southern China from industrial zones, a "cancer village" impacted by mining waste and an organic farm. In situ deployments of DGT in flooded paddy rice rhizospheres were compared with a laboratory DGT assay on dried and rewetted soil. Total soil concentrations were a very poor predictor of plant uptake. Laboratory and field deployed DGT assays and porewater measurements were linearly related to grain concentrations in all but the most contaminated samples where plant toxicity occurred. The laboratory DGT assay was the best predictor of grain Cd concentrations, accommodating differences in soil Cd, pollutant source, and Cd:Zn ratios. Field DGT measurements showed that Zn availability in the flooded rice rhizospheres was greatly diminished compared to that of Cd, resulting in very high Cd:Zn ratios (0.1) compared to commonly observed values (0.005). These results demonstrate the potential of the DGT technique to predict Cd concentrations in field cultivated rice and demonstrate its robustness in a range of environments. Although, field deployments provided important details about in situ element stoichiometry, due to the inherent heterogeneity of the rice rhizosphere soils, deployment of DGT in dried and homogenized soils offers the best possibility of a soil screening tool.

Rational screening low-cost counter electrodes for dye-sensitized solar cells

Dye-sensitized solar cells have attracted intense research attention owing to their ease of fabrication, cost-effectiveness and high efficiency in converting solar energy. Noble platinum is generally used as catalytic counter electrode for redox mediators in electrolyte solution. Unfortunately, platinum is expensive and non-sustainable for long-term applications. Therefore, researchers are facing with the challenge of developing low-cost and earth-abundant alternatives. So far, rational screening of non-platinum counter electrodes has been hamstrung by the lack of understanding about the electrocatalytic process of redox mediators on various counter electrodes. Here, using first-principle quantum chemical calculations, we studied the electrocatalytic process of redox mediators and predicted electrocatalytic activity of potential semiconductor counter electrodes. On the basis of theoretical predictions, we successfully used rust (alpha-Fe2O3) as a new counter electrode catalyst, which demonstrates promising electrocatalytic activity towards triiodide reduction at a rate comparable to platinum.

Oncogenic roles of PRL-3 in FLT3-ITD induced acute myeloid leukaemia

FLT3-ITD mutations are prevalent mutations in acute myeloid leukaemia (AML). PRL-3, a metastasis-associated phosphatase, is a downstream target of FLT3-ITD. This study investigates the regulation and function of PRL-3 in leukaemia cell lines and AML patients associated with FLT3-ITD mutations. PRL-3 expression is upregulated by the FLT3-STAT5 signalling pathway in leukaemia cells, leading an activation of AP-1 transcription factors via ERK and JNK pathways. PRL-3-depleted AML cells showed a significant decrease in cell growth. Clinically, high PRL-3 mRNA expression was associated with FLT3-ITD mutations in four independent AML datasets with 1158 patients. Multivariable Cox-regression analysis on our Cohort 1 with 221 patients identified PRL-3 as a novel prognostic marker independent of other clinical parameters. Kaplan-Meier analysis showed high PRL-3 mRNA expression was significantly associated with poorer survival among 491 patients with normal karyotype. Targeting PRL-3 reversed the oncogenic effects in FLT3-ITD AML models in vitro and in vivo. Herein, we suggest that PRL-3 could serve as a prognostic marker to predict poorer survival and as a promising novel therapeutic target for AML patients.

Metastasis-associated PRL-3 induces EGFR activation and addiction in cancer cells

Metastasis-associated phosphatase of regenerating liver-3 (PRL-3) has pleiotropic effects in driving cancer progression, yet the signaling mechanisms of PRL-3 are still not fully understood. Here, we provide evidence for PRL-3-induced hyperactivation of EGFR and its downstream signaling cascades in multiple human cancer cell lines. Mechanistically, PRL-3-induced activation of EGFR was attributed primarily to transcriptional downregulation of protein tyrosine phosphatase 1B (PTP1B), an inhibitory phosphatase for EGFR. Functionally, PRL-3-induced hyperactivation of EGFR correlated with increased cell growth, promigratory characteristics, and tumorigenicity. Moreover, PRL-3 induced cellular addiction to EGFR signaling, as evidenced by the pronounced reversion of these oncogenic attributes upon EGFR-specific inhibition. Of clinical significance, we verified elevated PRL-3 expression as a predictive marker for favorable therapeutic response in a heterogeneous colorectal cancer (CRC) patient cohort treated with the clinically approved anti-EGFR antibody cetuximab. The identification of PRL-3-driven EGFR hyperactivation and consequential addiction to EGFR signaling opens new avenues for inhibiting PRL-3-driven cancer progression. We propose that elevated PRL-3 expression is an important clinical predictive biomarker for favorable anti-EGFR cancer therapy.

Genome-wide meta-analysis identifies 11 new loci for anthropometric traits and provides insights into genetic architecture

Approaches exploiting trait distribution extremes may be used to identify loci associated with common traits, but it is unknown whether these loci are generalizable to the broader population. In a genome-wide search for loci associated with the upper versus the lower 5th percentiles of body mass index, height and waist-to-hip ratio, as well as clinical classes of obesity, including up to 263,407 individuals of European ancestry, we identified 4 new loci (IGFBP4, H6PD, RSRC1 and PPP2R2A) influencing height detected in the distribution tails and 7 new loci (HNF4G, RPTOR, GNAT2, MRPS33P4, ADCY9, HS6ST3 and ZZZ3) for clinical classes of obesity. Further, we find a large overlap in genetic structure and the distribution of variants between traits based on extremes and the general population and little etiological heterogeneity between obesity subgroups.

Topology synthesis of three-legged spherical parallel manipulators employing Lie group theory

Driven by the requirements of the bionic joint or tracking equipment for the spherical parallel manipulators (SPMs) with three rotational degrees-of-freedom (DoFs), this paper carries out the topology synthesis of a class of three-legged SPMs employing Lie group theory. In order to achieve the intersection of the displacement subgroups, the subgroup characteristics and operation principles are defined in this paper. Mainly drawing on the Lie group theory, the topology synthesis procedure of three-legged SPMs including four stages and two functional blocks is proposed, in which the assembly principles of three legs are defined. By introducing the circular track, a novel class of three-legged SPMs is synthesized, which is the important complement to the existing SPMs. Finally, four typical examples are given to demonstrate the finite displacements of the synthesized three-legged SPMs.

Power Scaling of Uplink Massive MIMO Systems with Arbitrary-Rank Channel Means

This paper investigates the uplink achievable rates of massive multiple-input multiple-output (MIMO) antenna systems in Ricean fading channels, using maximal-ratio combining (MRC) and zero-forcing (ZF) receivers, assuming perfect and imperfect channel state information (CSI). In contrast to previous relevant works, the fast fading MIMO channel matrix is assumed to have an arbitrary-rank deterministic component as well as a Rayleigh-distributed random component. We derive tractable expressions for the achievable uplink rate in the large-antenna limit, along with approximating results that hold for any finite number of antennas. Based on these analytical results, we obtain the scaling law that the users' transmit power should satisfy, while maintaining a desirable quality of service. In particular, it is found that regardless of the Ricean K-factor, in the case of perfect CSI, the approximations converge to the same constant value as the exact results, as the number of base station antennas, M, grows large, while the transmit power of each user can be scaled down proportionally to 1/M. If CSI is estimated with uncertainty, the same result holds true but only when the Ricean K-factor is non-zero. Otherwise, if the channel experiences Rayleigh fading, we can only cut the transmit power of each user proportionally to 1/√M. In addition, we show that with an increasing Ricean K-factor, the uplink rates will converge to fixed values for both MRC and ZF receivers.

Defining the role of common variation in the genomic and biological architecture of adult human height

Using genome-wide data from 253,288 individuals, we identified 697 variants at genome-wide significance that together explained one-fifth of the heritability for adult height. By testing different numbers of variants in independent studies, we show that the most strongly associated 1/42,000, 1/43,700 and 1/49,500 SNPs explained 1/421%, 1/424% and 1/429% of phenotypic variance. Furthermore, all common variants together captured 60% of heritability. The 697 variants clustered in 423 loci were enriched for genes, pathways and tissue types known to be involved in growth and together implicated genes and pathways not highlighted in earlier efforts, such as signaling by fibroblast growth factors, WNT/I 2-catenin and chondroitin sulfate-related genes. We identified several genes and pathways not previously connected with human skeletal growth, including mTOR, osteoglycin and binding of hyaluronic acid. Our results indicate a genetic architecture for human height that is characterized by a very large but finite number (thousands) of causal variants.

A role of autophagy in PTP4A3-driven cancer progression

Autophagy, a "self-eating" cellular process, has dual roles in promoting and suppressing tumor growth, depending on cellular context. PTP4A3/PRL-3, a plasma membrane and endosomal phosphatase, promotes multiple oncogenic processes including cell proliferation, invasion, and cancer metastasis. In this study, we demonstrate that PTP4A3 accumulates in autophagosomes upon inhibition of autophagic degradation. Expression of PTP4A3 enhances PIK3C3-BECN1-dependent autophagosome formation and accelerates LC3-I to LC3-II conversion in an ATG5-dependent manner. PTP4A3 overexpression also enhances the degradation of SQSTM1, a key autophagy substrate. These functions of PTP4A3 are dependent on its catalytic activity and prenylation-dependent membrane association. These results suggest that PTP4A3 functions to promote canonical autophagy flux. Unexpectedly, following autophagy activation, PTP4A3 serves as a novel autophagic substrate, thereby establishing a negative feedback-loop that may be required to fine-tune autophagy activity. Functionally, PTP4A3 utilizes the autophagy pathway to promote cell growth, concomitant with the activation of AKT. Clinically, from the largest ovarian cancer data set (GSE 9899, n = 285) available in GEO, high levels of expression of both PTP4A3 and autophagy genes significantly predict poor prognosis of ovarian cancer patients. These studies reveal a critical role of autophagy in PTP4A3-driven cancer progression, suggesting that autophagy could be a potential Achilles heel to block PTP4A3-mediated tumor progression in stratified patients with high expression of both PTP4A3 and autophagy genes.

New genetic loci link adipose and insulin biology to body fat distribution

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms.

Genetic studies of body mass index yield new insights for obesity biology

Obesity is heritable and predisposes to many diseases. To understand the genetic basis of obesity better, here we conduct a genome-wide association study and Metabochip meta-analysis of body mass index (BMI), a measure commonly used to define obesity and assess adiposity, in up to 339,224 individuals. This analysis identifies 97 BMI-associated loci (P < 5 × 10(-8)), 56 of which are novel. Five loci demonstrate clear evidence of several independent association signals, and many loci have significant effects on other metabolic phenotypes. The 97 loci account for ∼2.7% of BMI variation, and genome-wide estimates suggest that common variation accounts for >20% of BMI variation. Pathway analyses provide strong support for a role of the central nervous system in obesity susceptibility and implicate new genes and pathways, including those related to synaptic function, glutamate signalling, insulin secretion/action, energy metabolism, lipid biology and adipogenesis.