The Computational Complexity of Dominance and Consistency in CP-Nets

We investigate the computational complexity of testing dominance and consistency in CP-nets. Previously, the complexity of dominance has been determined for restricted classes in which the dependency graph of the CP-net is acyclic. However, there are preferences of interest that define cyclic dependency graphs; these are modeled with general CP-nets. In our main results, we show here that both dominance and consistency for general CP-nets are PSPACE-complete. We then consider the concept of strong dominance, dominance equivalence and dominance incomparability, and several notions of optimality, and identify the complexity of the corresponding decision problems. The reductions used in the proofs are from STRIPS planning, and thus reinforce the earlier established connections between both areas.

Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

A computational study of the mechanism of CO oxidation by a ceria supported surface rhodium oxide layer

A mechanism of CO oxidation by a thin surface oxide of Rh supported on ceria is proposed: CO is oxidized by the Rh-oxide film, which is subsequently reoxidized by a ceria surface O atom. The proposed mechanism is supported by in situ Raman spectroscopic investigations.

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.

AßPP over-expressing transgenic rat model of Alzheimer's disease utilizing the Tg2576 mouse protocol.

The current study examined behavioral and histological effects of amyloid-ß (Aß) protein precursor (AßPP) overexpression in transgenic (Tg) rats created using the same gene, mutation, and promoter as the Tg2576 mouse model of Alzheimer's disease (AD). Male Tg+ rats were bred with female wild-type rats to generate litters of hemizygous Tg+ and Tg- offspring. Tg+ rats and Tg- littermates were tested for memory deficits at 4, 8, and 12 months old using a water-maze procedure. There were no significant behavioral differences between Tg+ rats and Tg- littermates at 4 months old but there were significant differences at 8 and 12 months old, and in probe trials at 8 and 12 months old, the Tg+ rats spent significantly less time and covered less distance in the platform zone. Under acquisition of a fixed-consecutive number schedule at 3 months old, Tg- littermates demonstrated a longer latency to learning the response rule than Tg+ rats; while this might seem paradoxical, it is consistent with the role of overexpression of AßPP in learning. Histological analyses revealed activated astrocytes in brains of Tg+ rats but not Tg- littermates at 6 months old, and thioflavin-S positive staining in the hippocampus and cortex of 17-month old Tg+ rats but not Tg- littermates. Quantification of Aß load in the brain at 22 months indicated high levels of Aß38, Aß40, and Aß42 in the Tg+ rats. These data suggest this model might provide a valuable resource for AD research.

Comparison of dynamics of wildtype and V94M human UDP-galactose 4-epimerase-A computational perspective on severe epimerase-deficiency galactosemia

UDP-galactose 4'-epimerase (GALE) catalyzes the interconversion of UDP-galactose and UDP-glucose, an important step in galactose catabolism. Type III galactosemia, an inherited metabolic disease, is associated with mutations in human GALE. The V94M mutation has been associated with a very severe form of type III galactosemia. While a variety of structural and biochemical studies have been reported that elucidate differences between the wildtype and this mutant form of human GALE, little is known about the dynamics of the protein and how mutations influence structure and function. We performed molecular dynamics simulations on the wildtype and V94M enzyme in different states of substrate and cofactor binding. In the mutant, the average distance between the substrate and both a key catalytic residue (Tyr157) and the enzyme-bound NAD(+) cofactor and the active site dynamics are altered making substrate binding slightly less stable. However, overall stability or dynamics of the protein is not altered. This is consistent with experimental findings that the impact is largely on the turnover number (kcat), with less substantial effects on Km. Active site fluctuations were found to be correlated in enzyme with substrate bound to just one of the subunits in the homodimer suggesting inter-subunit communication. Greater active site loop mobility in human GALE compared to the equivalent loop in Escherichia coli GALE explains why the former can catalyze the interconversion of UDP-N-acetylgalactosamine and UDP-N-acetylglucosamine while the bacterial enzyme cannot. This work illuminates molecular mechanisms of disease and may inform the design of small molecule therapies for type III galactosemia.

Experimental and Computational Approach Investigating Burst Fracture Augmentation Using PMMA and Calcium Phosphate Cements

The aim of the study was to use a computational and experimental approach to evaluate, compare and predict the ability of calcium phosphate (CaP) and poly (methyl methacrylate) (PMMA) augmentation cements to restore mechanical stability to traumatically fractured vertebrae, following a vertebroplasty procedure. Traumatic fractures (n = 17) were generated in a series of porcine vertebrae using a drop-weight method. The fractured vertebrae were imaged using μCT and tested under axial compression. Twelve of the fractured vertebrae were randomly selected to undergo a vertebroplasty procedure using either a PMMA (n = 6) or a CaP cement variation (n = 6). The specimens were imaged using μCT and re-tested. Finite element models of the fractured and augmented vertebrae were generated from the μCT data and used to compare the effect of fracture void fill with augmented specimen stiffness. Significant increases (p <0.05) in failure load were found for both of the augmented specimen groups compared to the fractured group. The experimental and computational results indicated that neither the CaP cement nor PMMA cement could completely restore the vertebral mechanical behavior to the intact level. The effectiveness of the procedure appeared to be more influenced by the volume of fracture filled rather than by the mechanical properties of the cement itself.

Anthrax Lethal Factor as an Immune Target in Humans and Transgenic Mice and the Impact of HLA Polymorphism on CD4+ T Cell Immunity

Bacillus anthracis produces a binary toxin composed of protective antigen (PA) and one of two subunits, lethal factor (LF) or edema factor (EF). Most studies have concentrated on induction of toxin-specific antibodies as the correlate of protective immunity, in contrast to which understanding of cellular immunity to these toxins and its impact on infection is limited. We characterized CD4+ T cell immunity to LF in a panel of humanized HLA-DR and DQ transgenic mice and in naturally exposed patients. As the variation in antigen presentation governed by HLA polymorphism has a major impact on protective immunity to specific epitopes, we examined relative binding affinities of LF peptides to purified HLA class II molecules, identifying those regions likely to be of broad applicability to human immune studies through their ability to bind multiple alleles. Transgenics differing only in their expression of human HLA class II alleles showed a marked hierarchy of immunity to LF. Immunogenicity in HLA transgenics was primarily restricted to epitopes from domains II and IV of LF and promiscuous, dominant epitopes, common to all HLA types, were identified in domain II. The relevance of this model was further demonstrated by the fact that a number of the immunodominant epitopes identified in mice were recognized by T cells from humans previously infected with cutaneous anthrax and from vaccinated individuals. The ability of the identified epitopes to confer protective immunity was demonstrated by lethal anthrax challenge of HLA transgenic mice immunized with a peptide subunit vaccine comprising the immunodominant epitopes that we identified.