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

The retinal and perceived locus of fixation in the human visual system

Due to the dramatic difference in spatial resolution between the central fovea and the surrounding retinal regions, accurate fixation on important objects is critical for humans. It is known that the preferred retinal location (PRL) for fixation of healthy human observers rarely coincides with the retinal location with the highest cone density. It is not currently known, however, whether the PRL is consistent within an observer or is subject to fluctuations and, moreover, whether observers' subjective fixation location coincides with the PRL. We studied whether the PRL changes between days. We used an adaptive optics scanning laser ophthalmoscope to project a Maltese cross fixation target on an observer's retina and continuously imaged the exact retinal location of the target. We found that observers consistently use the same PRL across days, regardless of how much the PRL is displaced from the cone density peak location. We then showed observers small stimuli near the visual field location on which they fixated, and the observers judged whether or not the stimuli appeared in fixation. Observers' precision in this task approached that of fixation itself. Observers based their judgment on both the visual scene coordinates and the retinal location of the stimuli. We conclude that the PRL in a normally functioning visual system is fixed, and observers use it as a reference point in judging stimulus locations.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

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

Level of Fatty Acid Binding Protein 5 (FABP5) Is Increased in Sputum of Allergic Asthmatics and Links to Airway Remodeling and Inflammation

FABP5 may contribute to the airway remodeling and inflammation in asthma by fine-tuning the levels of CysLTs, which induce VEGF production.</p

Evaluation of the applicability of the Immuno-solid-phase allergen chip (ISAC) assay in atopic patients in Singapore

BACKGROUND/OBJECTIVE: Molecular-based allergy diagnostics are gaining popularity in clinical practice. Our aim was to evaluate their role in the tropics, given the inherent genetic and environmental differences. METHODS: We recruited subjects with history of atopy and collected data on demographics and atopic symptoms using validated questionnaires. Subjects underwent a series of skin prick tests (SPT). Serum total and specific IgE levels were measured using ImmunoCAP FEIA and ImmunoCAP ISAC®, respectively. We describe their pattern of sensitization and agreement between test methods. RESULTS: A total of 135 subjects were recruited; mean ± SD age of 31.18 ± 12.72 years, 52.7% female. Allergic rhinitis (AR) was the most prevalent clinical manifestation of atopy (70.7%), followed by atopic dermatitis (AD) (50.5%) and asthma (26.2%). Polysensitization was seen in 51.1% of subjects by both SPT and ISAC. House dust mites (HDM) were the dominant allergen, with sensitization in 67.8% and 62% of subjects on SPT and ISAC, respectively. A group of subjects with monosensitization to B. tropicalis was identified. HDM sensitization was strongly associated with AR, while AD and asthma were not associated with sensitization to any allergen. Agreement between SPT and ISAC was mostly suboptimal. Greatest agreement was documented for the measurement of HDM sensitization with both methods (κ = 0.64). Sensitization to the bulk of the remaining allergens in the ISAC panel was infrequent. CONCLUSION: Multiplex methods should not be used as a screening tool, especially in a population with lower rates of polysensitization and a dominant sensitizing allergen. There may be a role in adjusting the antigen spectrum in the ISAC panel to regional differences. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s13601-015-0053-z) contains supplementary material, which is available to authorized users

Randomized controlled trials in de-implementation research : a systematic scoping review

Background: Healthcare costs are rising, and a substantial proportion of medical care is of little value. De-implementation of low-value practices is important for improving overall health outcomes and reducing costs. We aimed to identify and synthesize randomized controlled trials (RCTs) on de-implementation interventions and to provide guidance to improve future research. Methods: MEDLINE and Scopus up to May 24, 2021, for individual and cluster RCTs comparing de-implementation interventions to usual care, another intervention, or placebo. We applied independent duplicate assessment of eligibility, study characteristics, outcomes, intervention categories, implementation theories, and risk of bias. Results: Of the 227 eligible trials, 145 (64%) were cluster randomized trials (median 24 clusters; median follow-up time 305 days), and 82 (36%) were individually randomized trials (median follow-up time 274 days). Of the trials, 118 (52%) were published after 2010, 149 (66%) were conducted in a primary care setting, 163 (72%) aimed to reduce the use of drug treatment, 194 (85%) measured the total volume of care, and 64 (28%) low-value care use as outcomes. Of the trials, 48 (21%) described a theoretical basis for the intervention, and 40 (18%) had the study tailored by context-specific factors. Of the de-implementation interventions, 193 (85%) were targeted at physicians, 115 (51%) tested educational sessions, and 152 (67%) multicomponent interventions. Missing data led to high risk of bias in 137 (60%) trials, followed by baseline imbalances in 99 (44%), and deficiencies in allocation concealment in 56 (25%). Conclusions: De-implementation trials were mainly conducted in primary care and typically aimed to reduce low-value drug treatments. Limitations of current de-implementation research may have led to unreliable effect estimates and decreased clinical applicability of studied de-implementation strategies. We identified potential research gaps, including de-implementation in secondary and tertiary care settings, and interventions targeted at other than physicians. Future trials could be improved by favoring simpler intervention designs, better control of potential confounders, larger number of clusters in cluster trials, considering context-specific factors when planning the intervention (tailoring), and using a theoretical basis in intervention design. Registration: OSF Open Science Framework hk4b2.Peer reviewe