Formal and model driven design of the bright light therapy system Luxamet

Seasonal depression seriously diminishes the quality of life for many patients. To improve their condition, we propose LUXAMET, a bright light therapy system. This system has the potential to relieve patients from some of the symptoms caused by seasonal depression. The system was designed with a formal and model driven design methodology. This methodology enabled us to minimize systemic hazards, like blinding patients with an unhealthy dose of light. This was achieved by controlling race conditions and memory leaks, during design time. We prove that the system specification is deadlock as well as livelock free and there are no invariant violations. These proofs, together with the similarity between specification model and implementation code, make us confident that the implemented system is a reliable tool which can help patients during seasonal depression

Coxiella burnetii Phagocytosis Is Regulated by GTPases of the Rho Family and the RhoA Effectors mDia1 and ROCK

The GTPases belonging to the Rho family control the actin cytoskeleton rearrangements needed for particle internalization during phagocytosis. ROCK and mDia1 are downstream effectors of RhoA, a GTPase involved in that process. Coxiella burnetii, the etiologic agent of Q fever, is internalized by the host´s cells in an actin-dependent manner. Nevertheless, the molecular mechanism involved in this process has been poorly characterized. This work analyzes the role of different GTPases of the Rho family and some downstream effectors in the internalization of C. burnetii by phagocytic and non-phagocytic cells. The internalization of C. burnetii into HeLa and RAW cells was significantly inhibited when the cells were treated with Clostridium difficile Toxin B which irreversibly inactivates members of the Rho family. In addition, the internalization was reduced in HeLa cells that overexpressed the dominant negative mutants of RhoA, Rac1 or Cdc42 or that were knocked down for the Rho GTPases. The pharmacological inhibition or the knocking down of ROCK diminished bacterium internalization. Moreover, C. burnetii was less efficiently internalized in HeLa cells overexpressing mDia1-N1, a dominant negative mutant of mDia1, while the overexpression of the constitutively active mutant mDia1-ΔN3 increased bacteria uptake. Interestingly, when HeLa and RAW cells were infected, RhoA, Rac1 and mDia1 were recruited to membrane cell fractions. Our results suggest that the GTPases of the Rho family play an important role in C. burnetii phagocytosis in both HeLa and RAW cells. Additionally, we present evidence that ROCK and mDia1, which are downstream effectors of RhoA, are involved in that processFil: Salinas Ojeda, Romina Paola. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Ortiz Flores, Rodolfo Matias. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Distel, Jesús Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Aguilera, Milton Osmar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Colombo, Maria Isabel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; ArgentinaFil: Beron, Walter. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos. Universidad Nacional de Cuyo. Facultad de Cienicas Médicas. Instituto de Histología y Embriología de Mendoza Dr. Mario H. Burgos; Argentin

Mechanochemical basis of protein degradation by a double-ring AAA+ machine

Molecular machines containing double or single AAA+ rings power energy-dependent protein degradation and other critical cellular processes, including disaggregation and remodeling of macromolecular complexes. How the mechanical activities of double-ring and single-ring AAA+ enzymes differ is unknown. Using single-molecule optical trapping, we determine how the double-ring ​ClpA enzyme from Escherichia coli, in complex with the ​ClpP peptidase, mechanically degrades proteins. We demonstrate that ​ClpA unfolds some protein substrates substantially faster than does the single-ring ​ClpX enzyme, which also degrades substrates in collaboration with ​ClpP. We find that ​ClpA is a slower polypeptide translocase and that it moves in physical steps that are smaller and more regular than steps taken by ​ClpX. These direct measurements of protein unfolding and translocation define the core mechanochemical behavior of a double-ring AAA+ machine and provide insight into the degradation of proteins that unfold via metastable intermediates.Howard Hughes Medical InstituteNational Institutes of Health (U.S.) (Grant AI-16892

Mapping Differentiation under Mixed Culture Conditions Reveals a Tunable Continuum of T Cell Fates

Cell differentiation is typically directed by external signals that drive opposing regulatory pathways. Studying differentiation under polarizing conditions, with only one input signal provided, is limited in its ability to resolve the logic of interactions between opposing pathways. Dissection of this logic can be facilitated by mapping the system's response to mixtures of input signals, which are expected to occur in vivo, where cells are simultaneously exposed to various signals with potentially opposing effects. Here, we systematically map the response of naïve T cells to mixtures of signals driving differentiation into the Th1 and Th2 lineages. We characterize cell state at the single cell level by measuring levels of the two lineage-specific transcription factors (T-bet and GATA3) and two lineage characteristic cytokines (IFN-γ and IL-4) that are driven by these transcription regulators. We find a continuum of mixed phenotypes in which individual cells co-express the two lineage-specific master regulators at levels that gradually depend on levels of the two input signals. Using mathematical modeling we show that such tunable mixed phenotype arises if autoregulatory positive feedback loops in the gene network regulating this process are gradual and dominant over cross-pathway inhibition. We also find that expression of the lineage-specific cytokines follows two independent stochastic processes that are biased by expression levels of the master regulators. Thus, cytokine expression is highly heterogeneous under mixed conditions, with subpopulations of cells expressing only IFN-γ, only IL-4, both cytokines, or neither. The fraction of cells in each of these subpopulations changes gradually with input conditions, reproducing the continuous internal state at the cell population level. These results suggest a differentiation scheme in which cells reflect uncertainty through a continuously tuneable mixed phenotype combined with a biased stochastic decision rather than a binary phenotype with a deterministic decision

Including gaming disorder in the ICD-11: the need to do so from a clinical and public health perspective

The proposed introduction of gaming disorder (GD) in the 11th revision of the International Classification of Diseases (ICD-11) developed by the World Health Organization (WHO) has led to a lively debate over the past year. Besides the broad support for the decision in the academic press, a recent publication by van Rooij et al. (2018) repeated the criticism raised against the inclusion of GD in ICD-11 by Aarseth et al. (2017). We argue that this group of researchers fails to recognize the clinical and public health considerations, which support the WHO perspective. It is important to recognize a range of biases that may influence this debate; in particular, the gaming industry may wish to diminish its responsibility by claiming that GD is not a public health problem, a position which maybe supported by arguments from scholars based in media psychology, computer games research, communication science, and related disciplines. However, just as with any other disease or disorder in the ICD-11, the decision whether or not to include GD is based on clinical evidence and public health needs. Therefore, we reiterate our conclusion that including GD reflects the essence of the ICD and will facilitate treatment and prevention for those who need it

Oligoasthenoteratozoospermia and Infertility in Mice Deficient for miR-34b/c and miR-449 Loci

Male fertility requires the continuous production of high quality motile spermatozoa in abundance. Alterations in all three metrics cause oligoasthenoteratozoospermia, the leading cause of human sub/infertility. Post-mitotic spermatogenesis inclusive of several meiotic stages and spermiogenesis (terminal spermatozoa differentiation) are transcriptionally inert, indicating the potential importance for the post-transcriptional microRNA (miRNA) gene-silencing pathway therein. We found the expression of miRNA generating enzyme Dicer within spermatogenesis peaks in meiosis with critical functions in spermatogenesis. In an expression screen we identified two miRNA loci of the miR-34 family (miR-34b/c and miR-449) that are specifically and highly expressed in post-mitotic male germ cells. A reduction in several miRNAs inclusive of miR-34b/c in spermatozoa has been causally associated with reduced fertility in humans. We found that deletion of both miR34b/c and miR-449 loci resulted in oligoasthenoteratozoospermia in mice. MiR-34bc/449-deficiency impairs both meiosis and the final stages of spermatozoa maturation. Analysis of miR-34bc-/-;449-/- pachytene spermatocytes revealed a small cohort of genes deregulated that were highly enriched for miR-34 family target genes. Our results identify the miR-34 family as the first functionally important miRNAs for spermatogenesis whose deregulation is causal to oligoasthenoteratozoospermia and infertility

Germline CRISPR/Cas9-mediated gene editing prevents vision loss in a novel mousemodel of Aniridia.

Aniridia is a rare eye disorder, which is caused by mutations in the paired box 6 (PAX6) gene and results in vision loss due to the lack of a long-term vision-saving therapy. One potential approach to treating aniridia is targeted CRISPR-based genome editing. To enable the Pax6 small eye (Sey) mouse model of aniridia, which carries the same mutation found in patients, for preclinical testing of CRISPR-based therapeutic approaches, we endogenously tagged the Sey allele, allowing for the differential detection of protein from each allele. We optimized a correction strategy in vitro then tested it in vivo in the germline of our new mouse to validate the causality of the Sey mutation. The genomic manipulations were analyzed by PCR, as well as by Sanger and next-generation sequencing. The mice were studied by slit lamp imaging, immunohistochemistry, and western blot analyses. We successfully achieved both in vitro and in vivo germline correction of the Sey mutation, with the former resulting in an average 34.8% ± 4.6% SD correction, and the latter in restoration of 3xFLAG-tagged PAX6 expression and normal eyes. Hence, in this study we have created a novel mouse model for aniridia, demonstrated that germline correction of the Sey mutation alone rescues the mutant phenotype, and developed an allele-distinguishing CRISPR-based strategy for aniridia

A multicomponent intervention for the management of chronic pain in older adults: study protocol for a randomized controlled trial

Background: Studies have shown that physical interventions and psychological methods based on the cognitive behavioral approach are efficacious in alleviating pain and that combining both tends to yield more benefits than either intervention alone. In view of the aging population with chronic pain and the lack of evidence-based pain management programs locally, we developed a multicomponent intervention incorporating physical exercise and cognitive behavioral techniques and examined its long-term effects against treatment as usual (i.e., pain education) in older adults with chronic musculoskeletal pain in Hong Kong. Methods/design: We are conducting a double-blind, cluster-randomized controlled trial. A sample of 160 participants aged ≥ 60 years will be recruited from social centers or outpatient clinics and will be randomized on the basis of center/clinic to either the multicomponent intervention or the pain education program. Both interventions consist of ten weekly sessions of 90 minutes each. The primary outcome is pain intensity, and the secondary outcomes include pain interference, pain persistence, pain self-efficacy, pain coping, pain catastrophizing cognitions, health-related quality of life, depressive symptoms, and hip and knee muscle strength. All outcome measures will be collected at baseline, postintervention, and at 3 and 6 months follow-up. Intention-to-treat analysis will be performed using mixed-effects regression to see whether the multicomponent intervention alleviates pain intensity and associated outcomes over and above the effects of pain education (i.e., a treatment × time intervention effect). Discussion: Because the activities included in the multicomponent intervention were carefully selected for ready implementation by allied health professionals in general, the results of this study, if positive, will make available an efficacious, nonpharmacological pain management program that can be widely adopted in clinical and social service settings and will hence improve older people’s access to pain management services

Is the inflammasome a potential therapeutic target in renal disease?

The inflammasome is a large, multiprotein complex that drives proinflammatory cytokine production in response to infection and tissue injury. Pattern recognition receptors that are either membrane bound or cytoplasmic trigger inflammasome assembly. These receptors sense danger signals including damage-associated molecular patterns and pathogen-associated molecular patterns (DAMPS and PAMPS respectively). The best-characterized inflammasome is the NLRP3 inflammasome. On assembly of the NLRP3 inflammasome, post-translational processing and secretion of pro-inflammatory cytokines IL-1β and IL-18 occurs; in addition, cell death may be mediated via caspase-1. Intrinsic renal cells express components of the inflammasome pathway. This is most prominent in tubular epithelial cells and, to a lesser degree, in glomeruli. Several primary renal diseases and systemic diseases affecting the kidney are associated with NLRP3 inflammasome/IL-1β/IL-18 axis activation. Most of the disorders studied have been acute inflammatory diseases. The disease spectrum includes ureteric obstruction, ischaemia reperfusion injury, glomerulonephritis, sepsis, hypoxia, glycerol-induced renal failure, and crystal nephropathy. In addition to mediating renal disease, the IL-1/ IL-18 axis may also be responsible for development of CKD itself and its related complications, including vascular calcification and sepsis. Experimental models using genetic deletions and/or receptor antagonists/antiserum against the NLRP3 inflammasome pathway have shown decreased severity of disease. As such, the inflammasome is an attractive potential therapeutic target in a variety of renal diseases

Developments in the Photonic Theory of Fluorescence

Conventional fluorescence commonly arises when excited molecules relax to their ground electronic state, and most of the surplus energy dissipates in the form of photon emission. The consolidation and full development of theory based on this concept has paved the way for the discovery of several mechanistic variants that can come into play with the involvement of laser input – most notably the phenomenon of multiphoton-induced fluorescence. However, other effects can become apparent when off-resonant laser input is applied during the lifetime of the initial excited state. Examples include a recently identified scheme for laser-controlled fluorescence. Other systems of interest are those in which fluorescence is emitted from a set of two or more coupled nanoemitters. This chapter develops a quantum theoretical outlook to identify and describe these processes, leading to a discussion of potential applications ranging from all-optical switching to the generation of optical vortices