Dazhu Li

© 2015 American Chemical Society.Near-infrared dye-sensitized upconversion nanoparticles can broaden the absorption range and boost upconversion efficiency of UCNPs. Here, we achieved significantly enhanced upconversion luminescence in dye-sensitized core/active shell UCNPs via the doping of ytterbium ions in the UCNP shell, which bridged the energy transfer from the dye to the UCNP core. As a result, we synergized the two most practical upconversion booster effectors to amplify upconversion efficiency. We demonstrated two biomedical applications using these UCNPs. By using dye-sensitized core/active shell UCNP embedded poly polymer implantable systems, we successfully shifted the optogenetic neuron excitation window to a biocompatible and deep tissue penetrable 800 nm wavelength. Furthermore, UCNPs were water-solubilized with Pluronic F127 with high upconversion efficiency and can be imaged in a mouse model.

© 2015 Macmillan Publishers Limited All rights reserved. Genome-wide gene expression measurements have enabled comprehensive studies that integrate the changes of gene expression and phenotypic information to uncover their novel associations. Here we reported the association analysis between psychophysical phenotypes and genome-wide gene expression changes in human adaptation to one of the most extreme climates on Earth, the Antarctic Dome Argus. Dome A is the highest ice feature in Antarctica, and may be the coldest, driest and windiest location on earth. It is considered unapproachable due to its hostile environment. In 2007, a Chinese team of 17 male explorers made the expedition to Dome A for scientific investigation. Overall, 133 psychophysical phenotypes were recorded, and genome-wide gene expression profiles from the blood samples of the explorers were measured before their departure and upon their arrival at Dome A. We found that mood disturbances, including tension, depression, anger and fatigue, had a strong, positive, linear relationship with the level of a male sex hormone, testosterone, using the Pearson correlation coefficient analysis. We also demonstrated that significantly lowest-level Gene Ontology groups in changes of gene expression in blood cells with erythrocyte removal were consistent with the adaptation of the psychophysical characteristics. Interestingly, we discovered a list of genes that were strongly related to significant phenotypes using phenotype and gene expression PCC analysis. Importantly, among the 70 genes that were identified, most were significantly related to mood disturbances, where 42 genes have been reported in the literature mining, suggesting that the other 28 genes were likely novel genes involved in the mood disturbance mechanism. Taken together, our association analysis provides a reliable method to uncover novel genes and mechanisms related to phenotypes, although further studies are needed.

In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system of mereology by providing a new construction of the canonical model.

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner’s mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning and study its properties. Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory.

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework.