An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

The COMT Val158 Met polymorphism as an associated risk factor for Alzheimer disease and mild cognitive impairment in APOE 4 carriers

Background: The aim of this study is to examine the influence of the catechol-O-methyltranferase (COMT) gene (polymorphism Val158 Met) as a risk factor for Alzheimer's disease (AD) and mild cognitive impairment of amnesic type (MCI), and its synergistic effect with the apolipoprotein E gene (APOE). A total of 223 MCI patients, 345 AD and 253 healthy controls were analyzed. Clinical criteria and neuropsychological tests were used to establish diagnostic groups. The DNA Bank of the University of the Basque Country (UPV-EHU) (Spain) determined COMT Val158 Met and APOE genotypes using real time polymerase chain reaction (rtPCR) and polymerase chain reaction (PCR), and restriction fragment length polymorphism (RFLPs), respectively. Multinomial logistic regression models were used to determine the risk of AD and MCI. Results: Neither COMT alleles nor genotypes were independent risk factors for AD or MCI. The high activity genotypes (GG and AG) showed a synergistic effect with APOE epsilon 4 allele, increasing the risk of AD (OR = 5.96, 95% CI 2.74-12.94, p < 0.001 and OR = 6.71, 95% CI 3.36-13.41, p < 0.001 respectivily). In AD patients this effect was greater in women. In MCI patients such as synergistic effect was only found between AG and APOE epsilon 4 allele (OR = 3.21 95% CI 1.56-6.63, p = 0.02) and was greater in men (OR = 5.88 95% CI 1.69-20.42, p < 0.01). Conclusion: COMT (Val158 Met) polymorphism is not an independent risk factor for AD or MCI, but shows a synergistic effect with APOE epsilon 4 allele that proves greater in women with AD.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Evaluation of wheat or corn dried distillers' grains with solubles on performance and carcass characteristics of feedlot steers

[EN]A study was conducted on crossbred steers (n=275; 376±924 kg) to evaluate performance and carcass quality of cattle fed wheat or corn dried distillers’ grains with solubles (DDGS). The control ration contained 86.6% rolled barley grain, 5.7% supplement and 7.7% barley silage (DM basis). The four treatments included replacement of barley grain at 20 or 40% of the diet (DM basis) with wheat or corn DDGS. Steers were slaughtered at a common end weight of 645 kg with 100 steers randomly (n=20 per treatment) selected for determination of the retail yield of sub-primal boneless boxed beef (SPBBB). Data were analyzed as a completely randomized design using pen as the experimental unit. Feeding increasing levels of wheat DDGS led to a quadratic increase in dry matter intake (DMI) (P<0.01), whereas increasing levels of corn DDGS led to a quadratic decrease in DMI (P=0.01). Average daily gain was not influenced (P=0.13) by feeding wheat or corn DDGS, but cattle fed corn DDGS exhibited a quadratic increase (P=0.01) in gain:feed. As a result, a quadratic increase (P<0.01) in calculated NEg of the diet was observed as corn DDGS levels increased. A linear decrease (P=0.04) in days on feed (169, 166 and 154 d) was noted when increasing levels of wheat DDGS (0, 20 and 40%) were fed. Dressing percentage increased in a linear fashion with wheat DDGS (P<0.01) inclusion level and in a quadratic fashion (P=0.01) as corn DDGS inclusion level increased although other carcass traits were not affected (P=0.10) by treatment. The results indicate that replacement of barley grain with corn or wheat DDGS up to 40% of the diet (DM) can lead to superior performance (improved gain:feed or reduced days on feed, respectively) with no detrimental effect on quality grade or carcass SPBBB yield.

Systematic studies on 3d-3d and 3d-4f multimetallic complexes with interesting magnetic and/or luminescent properties

324 p.