Logics for belief functions on MV-algebras

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism. © 2012 Elsevier Inc. All rights reserved.

Illumination invariant facial recognition using a piecewise-constant lighting model

In this paper we demonstrate a simple and novel illumination model that can be used for illumination invariant facial recognition. This model requires no prior knowledge of the illumination conditions and can be used when there is only a single training image per-person. The proposed illumination model separates the effects of illumination over a small area of the face into two components; an additive component modelling the mean illumination and a multiplicative component, modelling the variance within the facial area. Illumination invariant facial recognition is performed in a piecewise manner, by splitting the face image into blocks, then normalizing the illumination within each block based on the new lighting model. The assumptions underlying this novel lighting model have been verified on the YaleB face database. We show that magnitude 2D Fourier features can be used as robust facial descriptors within the new lighting model. Using only a single training image per-person, our new method achieves high (in most cases 100%) identification accuracy on the YaleB, extended YaleB and CMU-PIE face databases.

Extracting Query Interfaces Based on Form Structures and Semantic Similarity

Web databases are now pervasive. Such a database can be accessed via its query interface (usually HTML query form) only. Extracting Web query interfaces is a critical step in data integration across multiple Web databases, which creates a formal representation of a query form by extracting a set of query conditions in it. This paper presents a novel approach to extracting Web query interfaces. In this approach, a generic set of query condition rules are created to define query conditions that are semantically equivalent to SQL search conditions. Query condition rules represent the semantic roles that labels and form elements play in query conditions, and how they are hierarchically grouped into constructs of query conditions. To group labels and form elements in a query form, we explore both their structural proximity in the hierarchy of structures in the query form, which is captured by a tree of nested tags in the HTML codes of the form, and their semantic similarity, which is captured by various short texts used in labels, form elements and their properties. We have implemented the proposed approach and our experimental results show that the approach is highly effective.

Autonomic management of non-functional concerns in distributed & parallel application programming

An approach to the management of non-functional concerns in massively parallel and/or distributed architectures that marries parallel programming patterns with autonomic computing is presented. The necessity and suitability of the adoption of autonomic techniques are evidenced. Issues arising in the implementation of autonomic managers taking care of multiple concerns and of coordination among hierarchies of such autonomic managers are discussed. Experimental results are presented that demonstrate the feasibility of the approach.

Vascular Endothelial Cell Growth–Activated XBP1 Splicing in Endothelial Cells Is Crucial for Angiogenesis

BACKGROUND - : Vascular endothelial cell growth factor plays a pivotal role in angiogenesis via regulating endothelial cell proliferation. The X-box binding protein 1 (XBP1) is believed to be a signal transducer in the endoplasmic reticulum stress response. It is unknown whether there is crosstalk between vascular endothelial cell growth factor signaling and XBP1 pathway. 

METHODS AND RESULTS - : We found that vascular endothelial cell growth factor induced the kinase insert domain receptor internalization and interaction through C-terminal domain with the unspliced XBP1 and the inositol requiring enzyme 1 α in the endoplasmic reticulum, leading to inositol requiring enzyme 1 α phosphorylation and XBP1 mRNA splicing, which was abolished by siRNA-mediated knockdown of kinase insert domain receptor. Spliced XBP1 regulated endothelial cell proliferation in a PI3K/Akt/GSK3β/β- catenin/E2F2-dependent manner and modulated the cell size increase in a PI3K/Akt/GSK3β/β-catenin/E2F2-independent manner. Knockdown of XBP1 or inositol requiring enzyme 1 α decreased endothelial cell proliferation via suppression of Akt/GSK3β phosphorylation, β-catenin nuclear translocation, and E2F2 expression. Endothelial cell-specific knockout of XBP1 (XBP1ecko) in mice retarded the retinal vasculogenesis in the first 2 postnatal weeks and impaired the angiogenesis triggered by ischemia. Reconstitution of XBP1 by Ad-XBP1s gene transfer significantly improved angiogenesis in ischemic tissue in XBP1ecko mice. Transplantation of bone marrow from wild-type o XBP1ecko mice could also slightly improve the foot blood reperfusion in ischemic XBP1ecko mice. 

CONCLUSIONS - : These results suggest that XBP1 can function via growth factor signaling pathways to regulate endothelial proliferation and angiogenesis. 

Automatic dimensional reduction and meshing of stiffened thin-wall structures

The creation of idealised, dimensionally reduced meshes for preliminary design and optimisation remains a time-consuming, manual task. A dimensionally reduced model is ideal for assessing design changes through modification of element properties without the need to create a new geometry or mesh. In this paper, a novel approach for automating the creation of mixed dimensional meshes is presented. The input to the process is a solid model which has been decomposed into a non-manifold assembly of smaller volumes with different meshing significance. Associativity between the original solid model and the dimensionally reduced equivalent is maintained. The approach is validated by means of a free-free modal analysis on an output mesh of a gas turbine engine component of industrial complexity. Extensions and enhancements to this work are also discussed.

Patterns of use of natural health products by Ontario seniors

A random dialing telephone survey of 1,071 60+ year-olds in 4 Ontario communities identified 553 (52%) users of natural health products. Mean age was 72 yrs (min-max:60-95); 76% were female. The most frequently reported natural health products were: echinacea (27%), glucosamine (26%), garlic (20%), ginkgo biloba (10%), St. John's wort (5%), ginseng (5%), flax seed oil (3%), evening primrose oil (2%), devil's claw (2%), saw palmetto (2%). Natural source vitamin use was reported by 24% of users, and 6% reporting using herbal teas. 51% of users used 2 or more herbal products and 8% used 5 or more products. 19% of herbal users also used a conventional prescription drug to manage the same health problem as the herbal product. The reported range of monthly expenditures for these products varied from a few cents (grew their own) to $288 (CAN). Thirty-five percent of users did not know the price of at least one of their natural products. Of the 75% of respondents willing to disclose their annual household income ($CAN), 20 had an income of $46,000. The widespread use and potential for significant expenditure of limited resources would suggest that more study is required into the efficacy, safety and value of these products.

Temperature and water potential relations of tropical Trametes and other wood-decay fungi from the indigenous forests of Zimbabwe

Three isolates each, of nine different Trametes and five other wood inhabiting basidiomycetes, were collected from the indigenous forests of Zimbabwe, and the impact of temperature (20-60 degrees C), osmotic and matric potential (-0.5 to - 8.0 MPa), and their interactions on in vitro growth compared. Generally, there was no significant difference between growth of isolates of the same species in relation to temperature. Temperature relationships of the species studied correlated well with their geographic distributions. Species occurring in hot, dry regions tolerated a wide temperature range, with some showing unusually high thermotolerance (55 degrees, T. socotrana, T. cingulata and T. cervina). There were significant intra-strain differences for individual species in relation to solute potential on glycerol-modified media. Generally, growth of ail species was better on glycerol- and KCl-modified osmotic media than on a metrically-modified medium (PEG 8000) at 25, 30 and 37 degrees. The limits for growth on the osmotic media were significantly wider than matric medium, being - 4.5 to - 5.0 and - 2.5 to - 4.5 MPa, respectively. An Irpex sp. grew at lower water potentials than all other species, with good growth at - 7.0 MPa. This study suggests that the capacity of these fungi for effective growth over a range of temperatures, osmotic and matric potentials contributes to their rapid wood decay capacities in tropical climates.

Deployment on GPUs of an application in computational atomic physics

This paper describes the deployment on GPUs of PROP, a program of the 2DRMP suite which models electron collisions with H-like atoms and ions. Because performance on GPUs is better in single precision than in double precision, the numerical stability of the PROP program in single precision has been studied. The numerical quality of PROP results computed in single precision and their impact on the next program of the 2DRMP suite has been analyzed. Successive versions of the PROP program on GPUs have been developed in order to improve its performance. Particular attention has been paid to the optimization of data transfers and of linear algebra operations. Performance obtained on several architectures (including NVIDIA Fermi) are presented.