Satisfiability of constraint specifications on XML documents

Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.Peer ReviewedPostprint (author's final draft

Irregular solution thermodynamics of wood pulp in the superbase ionic liquid [m-TBDH][AcO]

Knowledge of solution thermodynamics is fundamental for solution control and solvent selection processes. Herein, experimentally determined thermodynamic quantities for solutions of wood pulp (hardwood dissolving pulp, i.e. cellulose) in [m-TBDH][AcO] are presented. Model-free activities (a(i,j)) and associated mass fraction (w(i,j)) activity coefficients (omega(i,j)), are determined to quantify inherent solution non-ideality. Access to the Gibbs energy of mixing, G(mix), in combination with associated partial molar thermodynamic quantities, reveal strong enthalpically favourable (exothermic) interactions due to solvent-j and solute-i contact-encounters. Onset of an entropy driven phase instability appears at increased temperatures as excess entropic contributions dominate solvation character of the irregular solutions formed.Peer reviewe

Genetic and environmental transactions underlying the associationbetween physical fitness/physical exercise and body composition

We examined mean effects and variance moderating effects of measures of physical activity and fitness on six measures of adiposity and their reciprocal effects in a subsample of the population-representative Danish Twin Registry. Consistent with prior studies, higher levels of physical activity suppressed variance in adiposity, but this study provided further insight. Variance suppression appeared to have both genetic and environmental pathways. Some mean effects appeared due to reciprocal influences of environmental circumstances differing among families but not between co-twins, suggesting these reciprocal effects are uniform. Some variance moderating effects also appeared due to biases in individual measures of adiposity, as well as to differences and inaccuracies in measures of physical activity. This suggests a need to avoid reliance on single measures of both physical activity and adiposity in attempting to understand the pathways involved in their linkages, and constraint in interpreting results if only single measures are available. Future research indications include identifying which physical activity-related environmental circumstances have relatively uniform effects on adiposity in everyone, and which should be individually tailored to maximize motivation to continue involvement.</p

Physical activity, smoking, and genetic predisposition to obesity in people from Pakistan:the PROMIS study

Background: Multiple genetic variants have been reliably associated with obesity-related traits in Europeans, but little is known about their associations and interactions with lifestyle factors in South Asians. Methods: In 16,157 Pakistani adults (8232 controls; 7925 diagnosed with myocardial infarction [MI]) enrolled in the PROMIS Study, we tested whether: a) BMI-associated loci, individually or in aggregate (as a genetic risk score - GRS), are associated with BMI; b) physical activity and smoking modify the association of these loci with BMI. Analyses were adjusted for age, age(2), sex, MI (yes/no), and population substructure. Results: Of 95 SNPs studied here, 73 showed directionally consistent effects on BMI as reported in Europeans. Each additional BMI-raising allele of the GRS was associated with 0.04 (SE = 0.01) kg/m(2) higher BMI (P = 4.5 x 10(-14)). We observed nominal evidence of interactions of CLIP1 rs11583200 (P-interaction = 0.014), CADM2 rs13078960 (P-interaction = 0.037) and GALNT10 rs7715256 (P-interaction = 0.048) with physical activity, and PTBP2 rs11165643 (P-interaction = 0.045), HIP1 rs1167827 (P-interaction = 0.015), C6orf106 rs205262 (P-interaction = 0.032) and GRID1 rs7899106 (P-interaction = 0.043) with smoking on BMI. Conclusions: Most BMI-associated loci have directionally consistent effects on BMI in Pakistanis and Europeans. There were suggestive interactions of established BMI-related SNPs with smoking or physical activity

Interaction between FTO gene variants and lifestyle factors on metabolic traits in an Asian Indian population

Background Lifestyle factors such as diet and physical activity have been shown to modify the association between fat mass and obesity–associated (FTO) gene variants and metabolic traits in several populations; however, there are no gene-lifestyle interaction studies, to date, among Asian Indians living in India. In this study, we examined whether dietary factors and physical activity modified the association between two FTO single nucleotide polymorphisms (rs8050136 and rs11076023) (SNPs) and obesity traits and type 2 diabetes (T2D). Methods The study included 734 unrelated T2D and 884 normal glucose-tolerant (NGT) participants randomly selected from the urban component of the Chennai Urban Rural Epidemiology Study (CURES). Dietary intakes were assessed using a validated interviewer administered semi-quantitative food frequency questionnaire (FFQ). Physical activity was based upon the self-report. Interaction analyses were performed by including the interaction terms in the linear/logistic regression model. Results There was a significant interaction between SNP rs8050136 and carbohydrate intake (% energy) (Pinteraction = 0.04), where the ‘A’ allele carriers had 2.46 times increased risk of obesity than those with ‘CC’ genotype (P = 3.0 × 10−5) among individuals in the highest tertile of carbohydrate intake (% energy, 71 %). A significant interaction was also observed between SNP rs11076023 and dietary fibre intake (Pinteraction = 0.0008), where individuals with AA genotype who are in the 3rd tertile of dietary fibre intake had 1.62 cm lower waist circumference than those with ‘T’ allele carriers (P = 0.02). Furthermore, among those who were physically inactive, the ‘A’ allele carriers of the SNP rs8050136 had 1.89 times increased risk of obesity than those with ‘CC’ genotype (P = 4.0 × 10−5). Conclusions This is the first study to provide evidence for a gene-diet and gene-physical activity interaction on obesity and T2D in an Asian Indian population. Our findings suggest that the association between FTO SNPs and obesity might be influenced by carbohydrate and dietary fibre intake and physical inactivity. Further understanding of how FTO gene influences obesity and T2D through dietary and exercise interventions is warranted to advance the development of behavioral intervention and personalised lifestyle strategies, which could reduce the risk of metabolic diseases in this Asian Indian population

Tetrazole as a Replacement of the Electrophilic Group in Characteristic Prolyl Oligopeptidase Inhibitors

4-Phenylbutanoyl-aminoacyl-2(S)-tetrazolylpyrrolidines were studied as prolyl oligopeptidase inhibitors. The compounds were more potent than expected from the assumption that the tetrazole would also here be a bioisostere of the carboxylic acid group and the corresponding carboxylic acids are at their best only weak inhibitors. The aminoacyl groups L-prolyl and L-alanyl gave potent inhibitors with IC50 values of 12 and 129 nM, respectively. This was in line with typical prolyl oligopeptidase inhibitors; however, we did observe a difference with N-methyl-L-alanyl, which gave potent inhibitors in typical prolyl oligopeptidase inhibitors but not in our novel compound series. Furthermore, all studied 4-phenylbutanoyl-aminoacyl-2(S)-tetrazolylpyrrolidines decreased alpha-synuclein dimerization at the concentration of 10 mu M, also when they were only weak inhibitors of the proteolytic activity of the enzyme with an IC50 value of 205 mu M. Molecular docking studies revealed that the compounds are likely to bind differently to the enzyme compared to typical prolyl oligopeptidase inhibitors represented in this study by 4-phenylbutanoyl-aminoacyl-2(S)-cyanopyrrolidines.Peer reviewe

Sustainability of cellulose dissolution and regeneration in 1,5-diazabicyclo[4.3.0]non-5-enium acetate : a batch simulation of the IONCELL-F process

The recyclability of 1,5-diazabicyclo[4.3.0] non-5-enium acetate ([DBNH][OAc]), as a direct dissolution solvent for cellulose, was evaluated during laboratory scale recycling trials. The main objective was to simulate the conditions of a spinning bath from a Lyocell-type air-gap spinning process, called the IONCELL-F process. The saline solution was then concentrated, recycled and reused as many times as possible before cellulose dissolution was no longer possible. The chemical compositions of the ionic liquid and pulp were recorded throughout the experiments. The results of the experiments showed that [DBNH][OAc] can be recycled from aqueous media with an average recovery rate of 95.6 wt% using basic laboratory equipment, without any further process intensification or optimisation. The recycling of the ionic liquid did not change the chemical composition or degree of polymerisation of the recovered pulp but the colour of the regenerated pulps gradually darkened as the recycling times increased. The ionic liquid was found to hydrolyse 6.0-13.6 mol% per cycle, under these conditions. The build-up of the hydrolysis product, 3-( aminopropyl)-2-pyrrolidonium acetate, killed the dissolution feature at between 30.6-45.6 wt% hydrolysis product. The enzymatic digestibility of the regenerated pulp samples was studied with both a monocomponent endoglucanase and a cellulase mixture. The amount of residual [DBNH][OAc] in the regenerated pulps was determined, by both NMR and capillary electrophoresis. Although hydrolysis of the ionic liquid occurs, this study clearly shows potential for industrial application, with appropriate process equipment and recycling conditions.Peer reviewe

Ionic liquids at electrified interfaces

Until recently, “room-temperature” (<100–150 °C) liquid-state electrochemistry was mostly electrochemistry of diluted electrolytes(1)–(4) where dissolved salt ions were surrounded by a considerable amount of solvent molecules. Highly concentrated liquid electrolytes were mostly considered in the narrow (albeit important) niche of high-temperature electrochemistry of molten inorganic salts(5-9) and in the even narrower niche of “first-generation” room temperature ionic liquids, RTILs (such as chloro-aluminates and alkylammonium nitrates).(10-14) The situation has changed dramatically in the 2000s after the discovery of new moisture- and temperature-stable RTILs.(15, 16) These days, the “later generation” RTILs attracted wide attention within the electrochemical community.(17-31) Indeed, RTILs, as a class of compounds, possess a unique combination of properties (high charge density, electrochemical stability, low/negligible volatility, tunable polarity, etc.) that make them very attractive substances from fundamental and application points of view.(32-38) Most importantly, they can mix with each other in “cocktails” of one’s choice to acquire the desired properties (e.g., wider temperature range of the liquid phase(39, 40)) and can serve as almost “universal” solvents.(37, 41, 42) It is worth noting here one of the advantages of RTILs as compared to their high-temperature molten salt (HTMS)(43) “sister-systems”.(44) In RTILs the dissolved molecules are not imbedded in a harsh high temperature environment which could be destructive for many classes of fragile (organic) molecules

Genome-wide meta-analysis of 241,258 adults accounting for smoking behaviour identifies novel loci for obesity traits

Few genome-wide association studies (GWAS) account for environmental exposures, like smoking, potentially impacting the overall trait variance when investigating the genetic contribution to obesity-related traits. Here, we use GWAS data from 51,080 current smokers and 190,178 nonsmokers (87% European descent) to identify loci influencing BMI and central adiposity, measured as waist circumference and waist-to-hip ratio both adjusted for BMI. We identify 23 novel genetic loci, and 9 loci with convincing evidence of gene-smoking interaction (GxSMK) on obesity-related traits. We show consistent direction of effect for all identified loci and significance for 18 novel and for 5 interaction loci in an independent study sample. These loci highlight novel biological functions, including response to oxidative stress, addictive behaviour, and regulatory functions emphasizing the importance of accounting for environment in genetic analyses. Our results suggest that tobacco smoking may alter the genetic susceptibility to overall adiposity and body fat distribution.Peer reviewe