Declarative Choreographies and Liveness

Part 1: Full PapersInternational audienceWe provide the first formal model for declarative choreographies, which is able to express general omega-regular liveness properties. We use the Dynamic Condition Response (DCR) graphs notation for both choreographies and end-points. We define end-point projection as a restriction of DCR graphs and derive the condition for end-point projectability from the causal relationships of the graph. We illustrate the results with a running example of a Buyer-Seller-Shipper protocol. All the examples are available for simulation in the online DCR workbench at http://dcr.tools/forte19

Incidence and risk factors for thoracic spine pain in the working population: the French pays de la loire study

OBJECTIVE: To examine the incidence and risk factors for incident thoracic spine pain (TSP) in workers representative of a French region\u27s working population. METHODS: In this prospective study, 3,710 workers were assessed in 2002-2005, and 2,332 (62.9%) of them were reassessed in 2007-2010. TSP was assessed by a self-administered Nordic questionnaire at baseline and at followup. At baseline, all participants completed a self-administered questionnaire on personal factors and work exposure. A total of 1,886 subjects (1,124 men and 762 women) without TSP at baseline were eligible for analysis. Associations between incident TSP and risk factors at baseline were analyzed by multivariate logistic regression. RESULTS: The incidence rate of TSP was 5.2 (95% confidence interval [95% CI] 3.9-6.6) per 100 men and 10.0 (95% CI 7.8-12.1) per 100 women. TSP was often associated with low back pain and neck pain. TSP in men was associated with age (odds ratios [ORs] ranging from 2.6 [95% CI 0.95-7.1] at 30-39 years to 6.0 [95% CI 2.1-17.3] at ≥50 years), being tall (OR 2.2 [95% CI 1.2-3.9]), frequent/sustained trunk bending (OR 3.0 [95% CI 1.5-6.1]), lack of recovery period or change in the task (OR 2.0 [95% CI 1.2-3.6]), and driving vehicles (OR 2.8 [95% CI 1.4-5.5]). Being overweight or obese was associated with lower risk (OR 0.5 [95% CI 0.3-0.96]). TSP in women was associated with high perceived physical workload (OR 1.9 [95% CI 1.1-3.3]), after adjustment for confounding variables. CONCLUSION: The risk model of TSP combined personal and work-related organizational and physical factors. Trunk bending appeared to be a strong independent predictor of TSP in this working population

Mutations in FKBP10 can cause a severe form of isolated Osteogenesis imperfecta

<p>Abstract</p> <p>Background</p> <p>Mutations in the <it>FKBP10 </it>gene were first described in patients with Osteogenesis imperfecta type III. Two follow up reports found <it>FKBP10 </it>mutations to be associated with Bruck syndrome type 1, a rare disorder characterized by congenital contractures and bone fragility. This raised the question if the patients in the first report indeed had isolated Osteogenesis imperfecta or if Bruck syndrome would have been the better diagnosis.</p> <p>Methods</p> <p>The patients described here are affected by severe autosomal recessive Osteogenesis imperfecta without contractures.</p> <p>Results</p> <p>Homozygosity mapping identified <it>FKBP10 </it>as a candidate gene, and sequencing revealed a base pair exchange that causes a C-terminal premature stop codon in this gene.</p> <p>Conclusions</p> <p>Our study demonstrates that <it>FKBP10 </it>mutations not only cause Bruck syndrome or Osteogenesis imperfecta type III but can result in a severe type of isolated Osteogenesis imperfecta type IV with prenatal onset. Furthermore, it adds dentinogenesis imperfecta to the spectrum of clinical symptoms associated with <it>FKBP10 </it>mutations.</p

Genetic Variants in TGF-β Pathway Are Associated with Ovarian Cancer Risk

The transforming growth factor-β (TGF-β) signaling pathway is involved in a diverse array of cellular processes responsible for tumorigenesis. In this case-control study, we applied a pathway-based approach to evaluate single-nucleotide polymorphisms (SNPs) in the TGF-β signaling pathway as predictors of ovarian cancer risk. We systematically genotyped 218 SNPs from 21 genes in the TGF-β signaling pathway in 417 ovarian cancer cases and 417 matched control subjects. We analyzed the associations of these SNPs with ovarian cancer risk, performed haplotype analysis and identified potential cumulative effects of genetic variants. We also performed analysis to identify higher-order gene-gene interactions influencing ovarian cancer risk. Individual SNP analysis showed that the most significant SNP was SMAD6: rs4147407, with an adjusted odds ratio (OR) of 1.60 (95% confidence interval [CI], 1.14–2.24, P = 0.0066). Cumulative genotype analysis of 13 SNPs with significant main effects exhibited a clear dose-response trend of escalating risk with increasing number of unfavorable genotypes. In gene-based analysis, SMAD6 was identified as the most significant gene associated with ovarian cancer risk. Haplotype analysis further revealed that two haplotype blocks within SMAD6 were significantly associated with decreased ovarian cancer risk, as compared to the most common haplotype. Gene-gene interaction analysis further categorized the study population into subgroups with different ovarian cancer risk. Our findings suggest that genetic variants in the TGF-β signaling pathway are associated with ovarian cancer risk and may facilitate the identification of high-risk subgroups in the general population

The Centrosomal Kinase Plk1 Localizes to the Transition Zone of Primary Cilia and Induces Phosphorylation of Nephrocystin-1

Polo-like kinase (Plk1) plays a central role in regulating the cell cycle. Plk1-mediated phosphorylation is essential for centrosome maturation, and for numerous mitotic events. Although Plk1 localizes to multiple subcellular sites, a major site of action is the centrosomes, which supports mitotic functions in control of bipolar spindle formation. In G0 or G1 untransformed cells, the centriolar core of the centrosome differentiates into the basal body of the primary cilium. Primary cilia are antenna-like sensory organelles dynamically regulated during the cell cycle. Whether Plk1 has a role in ciliary biology has never been studied. Nephrocystin-1 (NPHP1) is a ciliary protein; loss of NPHP1 in humans causes nephronophthisis (NPH), an autosomal-recessive cystic kidney disease. We here demonstrate that Plk1 colocalizes with nephrocystin-1 to the transition zone of primary cilia in epithelial cells. Plk1 co-immunoprecipitates with NPHP1, suggesting it is part of the nephrocystin protein complex. We identified a candidate Plk1 phosphorylation motif (D/E-X-S/T-φ-X-D/E) in nephrocystin-1, and demonstrated in vitro that Plk1 phosphorylates the nephrocystin N-terminus, which includes the specific PLK1 phosphorylation motif. Further, induced disassembly of primary cilia rapidly evoked Plk1 kinase activity, while small molecule inhibition of Plk1 activity or RNAi-mediated downregulation of Plk1 limited the first and second phase of ciliary disassembly. These data identify Plk1 as a novel transition zone signaling protein, suggest a function of Plk1 in cilia dynamics, and link Plk1 to the pathogenesis of NPH and potentially other cystic kidney diseases

Precision and accuracy of single-molecule FRET measurements - a multi-laboratory benchmark study

Single-molecule Förster resonance energy transfer (smFRET) is increasingly being used to determine distances, structures, and dynamics of biomolecules in vitro and in vivo. However, generalized protocols and FRET standards to ensure the reproducibility and accuracy of measurements of FRET efficiencies are currently lacking. Here we report the results of a comparative blind study in which 20 labs determined the FRET efficiencies (E) of several dye-labeled DNA duplexes. Using a unified, straightforward method, we obtained FRET efficiencies with s.d. between ±0.02 and ±0.05. We suggest experimental and computational procedures for converting FRET efficiencies into accurate distances, and discuss potential uncertainties in the experiment and the modeling. Our quantitative assessment of the reproducibility of intensity-based smFRET measurements and a unified correction procedure represents an important step toward the validation of distance networks, with the ultimate aim of achieving reliable structural models of biomolecular systems by smFRET-based hybrid methods

Structure and function of mammalian cilia

In the past half century, beginning with electron microscopic studies of 9 + 2 motile and 9 + 0 primary cilia, novel insights have been obtained regarding the structure and function of mammalian cilia. All cilia can now be viewed as sensory cellular antennae that coordinate a large number of cellular signaling pathways, sometimes coupling the signaling to ciliary motility or alternatively to cell division and differentiation. This view has had unanticipated consequences for our understanding of developmental processes and human disease

Different Transcriptional Control of Metabolism and Extracellular Matrix in Visceral and Subcutaneous Fat of Obese and Rimonabant Treated Mice

BACKGROUND: The visceral (VAT) and subcutaneous (SCAT) adipose tissues play different roles in physiology and obesity. The molecular mechanisms underlying their expansion in obesity and following body weight reduction are poorly defined. METHODOLOGY: C57Bl/6 mice fed a high fat diet (HFD) for 6 months developed low, medium, or high body weight as compared to normal chow fed mice. Mice from each groups were then treated with the cannabinoid receptor 1 antagonist rimonabant or vehicle for 24 days to normalize their body weight. Transcriptomic data for visceral and subcutaneous adipose tissues from each group of mice were obtained and analyzed to identify: i) genes regulated by HFD irrespective of body weight, ii) genes whose expression correlated with body weight, iii) the biological processes activated in each tissue using gene set enrichment analysis (GSEA), iv) the transcriptional programs affected by rimonabant. PRINCIPAL FINDINGS: In VAT, "metabolic" genes encoding enzymes for lipid and steroid biosynthesis and glucose catabolism were down-regulated irrespective of body weight whereas "structure" genes controlling cell architecture and tissue remodeling had expression levels correlated with body weight. In SCAT, the identified "metabolic" and "structure" genes were mostly different from those identified in VAT and were regulated irrespective of body weight. GSEA indicated active adipogenesis in both tissues but a more prominent involvement of tissue stroma in VAT than in SCAT. Rimonabant treatment normalized most gene expression but further reduced oxidative phosphorylation gene expression in SCAT but not in VAT. CONCLUSION: VAT and SCAT show strikingly different gene expression programs in response to high fat diet and rimonabant treatment. Our results may lead to identification of therapeutic targets acting on specific fat depots to control obesity