Novel silica stabilization method for the analysis of fine nanocrystals using coherent X-ray diffraction imaging

High-energy X-ray Bragg coherent diffraction imaging (BCDI) is a well established synchrotron-based technique used to quantitatively reconstruct the three-dimensional morphology and strain distribution in nanocrystals. The BCDI technique has become a powerful analytical tool for quantitative investigations of nanocrystals, nanotubes, nanorods and more recently biological systems. BCDI has however typically failed for fine nanocrystals in sub-100 nm size regimes – a size routinely achievable by chemical synthesis – despite the spatial resolution of the BCDI technique being 20–30 nm. The limitations of this technique arise from the movement of nanocrystals under illumination by the highly coherent beam, which prevents full diffraction data sets from being acquired. A solution is provided here to overcome this problem and extend the size limit of the BCDI technique, through the design of a novel stabilization method by embedding the fine nanocrystals into a silica matrix. Chemically synthesized FePt nanocrystals of maximum dimension 20 nm and AuPd nanocrystals in the size range 60–65 nm were investigated with BCDI measurement at beamline 34-ID-C of the APS, Argonne National Laboratory. Novel experimental methodologies to elucidate the presence of strain in fine nanocrystals are a necessary pre-requisite in order to better understand strain profiles in engineered nanocrystals for novel device development

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Interference coloration as an anti-predator defence

Interference coloration, in which the perceived colour varies predictably with the angle of illumination or observation, is extremely widespread across animal groups. However, despite considerable advances in our understanding of the mechanistic basis of interference coloration in animals, we still have a poor understanding of its function. Here, I show, using avian predators hunting dynamic virtual prey, that the presence of interference coloration can significantly reduce a predator's attack success. Predators required more pecks to successfully catch interference-coloured prey compared with otherwise identical prey items that lacked interference coloration, and attacks against prey with interference colours were less accurate, suggesting that changes in colour or brightness caused by prey movement hindered a predator's ability to pinpoint their exact location. The pronounced antipredator benefits of interference coloration may explain why it has evolved independently so many times. © 2015 The Author(s) Published by the Royal Society. All rights reserved

Black Holes in Quasi-topological Gravity

We construct a new gravitational action which includes cubic curvature interactions and which provides a useful toy model for the holographic study of a three parameter family of four- and higher-dimensional CFT's. We also investigate the black hole solutions of this new gravity theory. Further we examine the equations of motion of quasi-topological gravity. While the full equations in a general background are fourth-order in derivatives, we show that the linearized equations describing gravitons propagating in the AdS vacua match precisely the second-order equations of Einstein gravity.Comment: 33 pages, 4 figures; two references adde

Partiality and Container Monads

We investigate monads of partiality in Martin-Löf type theory, following Moggi’s general monad-based method for modelling effectful computations. These monads are often called lifting monads and appear in category theory with different but related definitions. In this paper, we unveil the relationship between containers and lifting monads. We show that the lifting monads usually employed in type theory can be specified in terms of containers. Moreover, we give a precise characterization of containers whose interpretations carry a lifting monad structure. We show that these conditions are tightly connected with Rosolini’s notion of dominance. We provide several examples, putting particular emphasis on Capretta’s delay monad and its quotiented variant, the non-termination monad

Testing and comparing two self-care-related instruments among older Chinese adults

Objectives The study aimed to test and compare the reliability and validity, including sensitivity and specificity of the two self-care-related instruments, the Self-care Ability Scale for the Elderly (SASE), and the Appraisal of Self-care Agency Scale-Revised (ASAS-R), among older adults in the Chinese context. Methods A cross-sectional design was used to conduct this study. The sample consisted of 1152 older adults. Data were collected by a questionnaire including the Chinese version of SASE (SASE-CHI), the Chinese version of ASAS-R (ASAS-R-CHI) and the Exercise of Self-Care Agency scale (ESCA). Homogeneity and stability, content, construct and concurrent validity, and sensitivity and specificity were assessed. Results The Cronbach's alpha (α) of SASE-CHI was 0.89, the item-to-total correlations ranged from r = 0.15 to r = 0.81, and the test-retest correlation coefficient (intra-class correlation coefficient, ICC) was 0.99 (95% CI, 0.99±1.00; P<0.001). The Cronbach's α of ASAS-R-CHI was 0.78, the item-to-total correlations ranged from r = 0.20 to r = 0.65, and the test-retest ICC was 0.95 (95% CI, 0.92±0.96; P<0.001). The content validity index (CVI) of SASE-CHI and ASAS-R-CHI was 0.96 and 0.97, respectively. The findings of exploratory and confirmatory factor analyses (EFA and CFA) confirmed a good construct validity of SASE-CHI and ASAS-R-CHI. The Pearson's rank correlation coefficients, as a measure of concurrent validity, between total score of SASE-CHI and ESCA and ASAS-R-CHI and ESCA were assessed to 0.65 (P<0.001) and 0.62 (P<0.001), respectively. Regarding ESCA as the criterion, the area under the receiver operator characteristic (ROC) curve for the cut-point of SASE-CHI and ASAS-R-CHI were 0.93 (95% CI, 0.91±0.94) and 0.83 (95% CI, 0.80±0.86), respectively. Conclusion There is no significant difference between the two instruments. Each has its own characteristics, but SASE-CHI is more suitable for older adults. The key point is that the users can choose the most appropriate scale according to the specific situation.publishedVersionNivå

Thermodynamics of a class of non-asymptotically flat black holes in Einstein-Maxwell-Dilaton theory

We analyse in detail the thermodynamics in the canonical and grand canonical ensembles of a class of non-asymptotically flat black holes of the Einstein-(anti) Maxwell-(anti) Dilaton theory in 4D with spherical symmetry. We present the first law of thermodynamics, the thermodynamic analysis of the system through the geometrothermodynamics methods, Weinhold, Ruppeiner, Liu-Lu-Luo-Shao and the most common, that made by the specific heat. The geometric methods show a curvature scalar identically zero, which is incompatible with the results of the analysis made by the non null specific heat, which shows that the system is thermodynamically interacting, does not possess extreme case nor phase transition. We also analyse the local and global stability of the thermodynamic system, and obtain a local and global stability for the normal case for 0<\gamma<1 and for other values of \gamma, an unstable system. The solution where \gamma=0 separates the class of locally and globally stable solutions from the unstable ones.Comment: 18 pages, version accepted for publication in General Relativity and Gravitatio

Effects of Thyroxine Exposure on Osteogenesis in Mouse Calvarial Pre-Osteoblasts

The incidence of craniosynostosis is one in every 1,800-2500 births. The gene-environment model proposes that if a genetic predisposition is coupled with environmental exposures, the effects can be multiplicative resulting in severely abnormal phenotypes. At present, very little is known about the role of gene-environment interactions in modulating craniosynostosis phenotypes, but prior evidence suggests a role for endocrine factors. Here we provide a report of the effects of thyroid hormone exposure on murine calvaria cells. Murine derived calvaria cells were exposed to critical doses of pharmaceutical thyroxine and analyzed after 3 and 7 days of treatment. Endpoint assays were designed to determine the effects of the hormone exposure on markers of osteogenesis and included, proliferation assay, quantitative ALP activity assay, targeted qPCR for mRNA expression of Runx2, Alp, Ocn, and Twist1, genechip array for 28,853 targets, and targeted osteogenic microarray with qPCR confirmations. Exposure to thyroxine stimulated the cells to express ALP in a dose dependent manner. There were no patterns of difference observed for proliferation. Targeted RNA expression data confirmed expression increases for Alp and Ocn at 7 days in culture. The genechip array suggests substantive expression differences for 46 gene targets and the targeted osteogenesis microarray indicated 23 targets with substantive differences. 11 gene targets were chosen for qPCR confirmation because of their known association with bone or craniosynostosis (Col2a1, Dmp1, Fgf1, 2, Igf1, Mmp9, Phex, Tnf, Htra1, Por, and Dcn). We confirmed substantive increases in mRNA for Phex, FGF1, 2, Tnf, Dmp1, Htra1, Por, Igf1 and Mmp9, and substantive decreases for Dcn. It appears thyroid hormone may exert its effects through increasing osteogenesis. Targets isolated suggest a possible interaction for those gene products associated with calvarial suture growth and homeostasis as well as craniosynostosis. © 2013 Cray et al