737 research outputs found
Recommended from our members
Performance-based building and innovation: Balancing client and industry needs
One reason for the interest in performance-based building is that it is commonly advocated as a powerful way of enhancing innovation performance by articulating building performance outcomes, and by offering relevant procurement actors the discretion to innovate to meet these performance requirements more effectively and/or efficiently. The paper argues that the current approach to performance-based building assumes that relevant actors have the capacity, ability and motivation to innovate from a business perspective. It is proposed that the prevailing conceptualization of PBB is too restrictive and should be broadened explicitly to accommodate the required business logic that must be in place before actors will innovate. The relevant performance-based building and innovation literature is synthesized to support the assertion. The paper concludes with an innovation-focused definition of performance-based building
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
Recommended from our members
ERK1/2 signaling dominates over RhoA signaling in regulating early changes in RNA expression induced by endothelin-1 in neonatal rat cardiomyocytes
Cardiomyocyte hypertrophy is associated with changes in gene expression. Extracellular signal-regulated kinases 1/2 (ERK1/2) and RhoA [activated by hypertrophic agonists (e.g. endothelin-1)] regulate gene expression and are implicated in the response, but their relative significance in regulating the cardiomyocyte transcriptome is unknown. Our aim was to establish the significance of ERK1/2 and/or RhoA in the early cardiomyocyte transcriptomic response to endothelin-1.Cardiomyocytes were exposed to endothelin-1 (1 h) with/without PD184352 (to inhibit ERK1/2) or C3 transferase (C3T, to inhibit RhoA). RNA expression was analyzed using microarrays and qPCR. ERK1/2 signaling positively regulated approximately 65% of the early gene expression response to ET-1 with a small (approximately 2%) negative effect, whereas RhoA signaling positively regulated approximately 10% of the early gene expression response to ET-1 with a greater (approximately 14%) negative contribution. Of RNAs non-responsive to endothelin-1, 66 or 448 were regulated by PD184352 or C3T, respectively, indicating that RhoA had a more significant effect on baseline RNA expression. mRNAs upregulated by endothelin-1 encoded a number of receptor ligands (e.g. Ereg, Areg, Hbegf) and transcription factors (e.g. Abra/Srf) that potentially propagate the response.ERK1/2 dominates over RhoA in the early transcriptomic response to endothelin-1. RhoA plays a major role in maintaining baseline RNA expression but, with upregulation of Abra/Srf by endothelin-1, RhoA may regulate changes in RNA expression over longer times. Our data identify ERK1/2 as a more significant node than RhoA in regulating the early stages of cardiomyocyte hypertrophy
Regulation of pituitary MT1 melatonin receptor expression by gonadotrophin-releasing hormone (GnRH) and early growth response factor-1 (Egr-1) : in vivo and in vitro studies
Copyright: © 2014 Bae et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Funding: This work was funded by the UK Biotechnology and Biological Sciences Research Council (BBSRC; grant BB/F020309/1; http://www.bbsrc.ac.uk/home/home.aspx). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD
Polyfunctional T cell responses in children in early stages of chronic Trypanosoma cruzi infection contrast with monofunctional responses of long-term infected adults
Background: Adults with chronic Trypanosoma cruzi exhibit a poorly functional T cell compartment, characterized by monofunctional (IFN-γ-only secreting) parasite-specific T cells and increased levels of terminally differentiated T cells. It is possible that persistent infection and/or sustained exposure to parasites antigens may lead to a progressive loss of function of the immune T cells. Methodology/Principal Findings: To test this hypothesis, the quality and magnitude of T. cruzi-specific T cell responses were evaluated in T. cruzi-infected children and compared with long-term T. cruzi-infected adults with no evidence of heart failure. The phenotype of CD4+ T cells was also assessed in T. cruzi-infected children and uninfected controls. Simultaneous secretion of IFN-γ and IL-2 measured by ELISPOT assays in response to T. cruzi antigens was prevalent among T. cruzi-infected children. Flow cytometric analysis of co-expression profiles of CD4+ T cells with the ability to produce IFN-γ, TNF-α, or to express the co-stimulatory molecule CD154 in response to T. cruzi showed polyfunctional T cell responses in most T. cruzi-infected children. Monofunctional T cell responses and an absence of CD4+TNF-α+-secreting T cells were observed in T. cruzi-infected adults. A relatively high degree of activation and differentiation of CD4+ T cells was evident in T. cruzi-infected children. Conclusions/Significance: Our observations are compatible with our initial hypothesis that persistent T. cruzi infection promotes eventual exhaustion of immune system, which might contribute to disease progression in long-term infected subjects.Fil: Albareda, María Cecilia. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: de Rissio, Ana María. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; ArgentinaFil: Tomas, Gonzalo. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; ArgentinaFil: Serjan, Alicia. Gobierno de la Ciudad de Buenos Aires. Hospital General de Agudos "Juan A. Fernández"; ArgentinaFil: Alvarez, María Gabriela. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Viotti, Rodolfo Jorge. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Fichera, Laura Edith. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Esteva, Mónica Inés. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; ArgentinaFil: Potente, Daniel Fernando. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Armenti, Alejandro. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Tarleton, Rick L.. University of Georgia; Estados UnidosFil: Laucella, Susana Adriana. Dirección Nacional de Instituto de Investigación. Administración Nacional de Laboratorio e Instituto de Salud. Instituto Nacional de Parasitología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
Towards quantum computing with single atoms and optical cavities on atom chips
We report on recent developments in the integration of optical
microresonators into atom chips and describe some fabrication and
implementation challenges. We also review theoretical proposals for quantum
computing with single atoms based on the observation of photons leaking through
the cavity mirrors. The use of measurements to generate entanglement can result
in simpler, more robust and scalable quantum computing architectures. Indeed,
we show that quantum computing with atom-cavity systems is feasible even in the
presence of relatively large spontaneous decay rates and finite photon detector
efficiencies.Comment: 14 pages, 6 figure
Methods for specifying the target difference in a randomised controlled trial : the Difference ELicitation in TriAls (DELTA) systematic review
Peer reviewedPublisher PD
Integrated information increases with fitness in the evolution of animats
One of the hallmarks of biological organisms is their ability to integrate
disparate information sources to optimize their behavior in complex
environments. How this capability can be quantified and related to the
functional complexity of an organism remains a challenging problem, in
particular since organismal functional complexity is not well-defined. We
present here several candidate measures that quantify information and
integration, and study their dependence on fitness as an artificial agent
("animat") evolves over thousands of generations to solve a navigation task in
a simple, simulated environment. We compare the ability of these measures to
predict high fitness with more conventional information-theoretic processing
measures. As the animat adapts by increasing its "fit" to the world,
information integration and processing increase commensurately along the
evolutionary line of descent. We suggest that the correlation of fitness with
information integration and with processing measures implies that high fitness
requires both information processing as well as integration, but that
information integration may be a better measure when the task requires memory.
A correlation of measures of information integration (but also information
processing) and fitness strongly suggests that these measures reflect the
functional complexity of the animat, and that such measures can be used to
quantify functional complexity even in the absence of fitness data.Comment: 27 pages, 8 figures, one supplementary figure. Three supplementary
video files available on request. Version commensurate with published text in
PLoS Comput. Bio
Metallothionein genes: no association with Crohn's disease in a New Zealand population
Metallothioneins (MTs) are excellent candidate genes for Inflammatory Bowel Disease (IBD) and have previously been shown to have altered expression in both animal and human studies of IBD. This is the first study to examine genetic variants within the MT genes and aims to determine whether such genetic variants have an important role in this disease. 28 tag SNPs in genes MT1 (subtypes A, B, E, F, G, H, M, X), MT2, MT3 and MT4 were selected for genotyping in a well-characterized New Zealand dataset consisting of 406 patients with Crohn's Disease and 638 controls. We did not find any evidence of association for MT genetic variation with CD. The lack of association indicates that genetic variants in the MT genes do not play a significant role in predisposing to CD in the New Zealand population
A teleofunctional account of evolutionary mismatch.
This is the final version of the article. It first appeared from Springer via http://dx.doi.org/10.1007/s10539-016-9527-1When the environment in which an organism lives deviates in some essential way from that to which it is adapted, this is described as "evolutionary mismatch," or "evolutionary novelty." The notion of mismatch plays an important role, explicitly or implicitly, in evolution-informed cognitive psychology, clinical psychology, and medicine. The evolutionary novelty of our contemporary environment is thought to have significant implications for our health and well-being. However, scientists have generally been working without a clear definition of mismatch. This paper defines mismatch as deviations in the environment that render biological traits unable, or impaired in their ability, to produce their selected effects (i.e., to perform their proper functions in Neander's sense). The machinery developed by Millikan in connection with her account of proper function, and with her related teleosemantic account of representation, is used to identify four major types, and several subtypes, of evolutionary mismatch. While the taxonomy offered here does not in itself resolve any scientific debates, the hope is that it can be used to better formulate empirical hypotheses concerning the effects of mismatch. To illustrate, it is used to show that the controversial hypothesis that general intelligence evolved as an adaptation to handle evolutionary novelty can, contra some critics, be formulated in a conceptually coherent way
- …