1,073 research outputs found

    Towards Physical Hybrid Systems

    Full text link
    Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

    Multi-level evidence of an allelic hierarchy of USH2A variants in hearing, auditory processing and speech/language outcomes.

    Get PDF
    Language development builds upon a complex network of interacting subservient systems. It therefore follows that variations in, and subclinical disruptions of, these systems may have secondary effects on emergent language. In this paper, we consider the relationship between genetic variants, hearing, auditory processing and language development. We employ whole genome sequencing in a discovery family to target association and gene x environment interaction analyses in two large population cohorts; the Avon Longitudinal Study of Parents and Children (ALSPAC) and UK10K. These investigations indicate that USH2A variants are associated with altered low-frequency sound perception which, in turn, increases the risk of developmental language disorder. We further show that Ush2a heterozygote mice have low-level hearing impairments, persistent higher-order acoustic processing deficits and altered vocalizations. These findings provide new insights into the complexity of genetic mechanisms serving language development and disorders and the relationships between developmental auditory and neural systems

    Formation of Supermassive Black Holes

    Full text link
    Evidence shows that massive black holes reside in most local galaxies. Studies have also established a number of relations between the MBH mass and properties of the host galaxy such as bulge mass and velocity dispersion. These results suggest that central MBHs, while much less massive than the host (~ 0.1%), are linked to the evolution of galactic structure. In hierarchical cosmologies, a single big galaxy today can be traced back to the stage when it was split up in hundreds of smaller components. Did MBH seeds form with the same efficiency in small proto-galaxies, or did their formation had to await the buildup of substantial galaxies with deeper potential wells? I briefly review here some of the physical processes that are conducive to the evolution of the massive black hole population. I will discuss black hole formation processes for `seed' black holes that are likely to place at early cosmic epochs, and possible observational tests of these scenarios.Comment: To appear in The Astronomy and Astrophysics Review. The final publication is available at http://www.springerlink.co

    Interleukin-6 gene (IL-6): a possible role in brain morphology in the healthy adult brain

    Get PDF
    Background: Cytokines such as interleukin 6 (IL-6) have been implicated in dual functions in neuropsychiatric disorders. Little is known about the genetic predisposition to neurodegenerative and neuroproliferative properties of cytokine genes. In this study the potential dual role of several IL-6 polymorphisms in brain morphology is investigated. Methodology: In a large sample of healthy individuals (N = 303), associations between genetic variants of IL-6 (rs1800795; rs1800796, rs2069833, rs2069840) and brain volume (gray matter volume) were analyzed using voxel-based morphometry (VBM). Selection of single nucleotide polymorphisms (SNPs) followed a tagging SNP approach (e.g., Stampa algorigthm), yielding a capture 97.08% of the variation in the IL-6 gene using four tagging SNPs. Principal findings/results: In a whole-brain analysis, the polymorphism rs1800795 (−174 C/G) showed a strong main effect of genotype (43 CC vs. 150 CG vs. 100 GG; x = 24, y = −10, z = −15; F(2,286) = 8.54, puncorrected = 0.0002; pAlphaSim-corrected = 0.002; cluster size k = 577) within the right hippocampus head. Homozygous carriers of the G-allele had significantly larger hippocampus gray matter volumes compared to heterozygous subjects. None of the other investigated SNPs showed a significant association with grey matter volume in whole-brain analyses. Conclusions/significance: These findings suggest a possible neuroprotective role of the G-allele of the SNP rs1800795 on hippocampal volumes. Studies on the role of this SNP in psychiatric populations and especially in those with an affected hippocampus (e.g., by maltreatment, stress) are warranted.Bernhard T Baune, Carsten Konrad, Dominik Grotegerd, Thomas Suslow, Eva Birosova, Patricia Ohrmann, Jochen Bauer, Volker Arolt, Walter Heindel, Katharina Domschke, Sonja Schöning, Astrid V Rauch, Christina Uhlmann, Harald Kugel and Udo Dannlowsk

    The Formation and Evolution of the First Massive Black Holes

    Full text link
    The first massive astrophysical black holes likely formed at high redshifts (z>10) at the centers of low mass (~10^6 Msun) dark matter concentrations. These black holes grow by mergers and gas accretion, evolve into the population of bright quasars observed at lower redshifts, and eventually leave the supermassive black hole remnants that are ubiquitous at the centers of galaxies in the nearby universe. The astrophysical processes responsible for the formation of the earliest seed black holes are poorly understood. The purpose of this review is threefold: (1) to describe theoretical expectations for the formation and growth of the earliest black holes within the general paradigm of hierarchical cold dark matter cosmologies, (2) to summarize several relevant recent observations that have implications for the formation of the earliest black holes, and (3) to look into the future and assess the power of forthcoming observations to probe the physics of the first active galactic nuclei.Comment: 39 pages, review for "Supermassive Black Holes in the Distant Universe", Ed. A. J. Barger, Kluwer Academic Publisher

    The Formation of the First Massive Black Holes

    Full text link
    Supermassive black holes (SMBHs) are common in local galactic nuclei, and SMBHs as massive as several billion solar masses already exist at redshift z=6. These earliest SMBHs may grow by the combination of radiation-pressure-limited accretion and mergers of stellar-mass seed BHs, left behind by the first generation of metal-free stars, or may be formed by more rapid direct collapse of gas in rare special environments where dense gas can accumulate without first fragmenting into stars. This chapter offers a review of these two competing scenarios, as well as some more exotic alternative ideas. It also briefly discusses how the different models may be distinguished in the future by observations with JWST, (e)LISA and other instruments.Comment: 47 pages with 306 references; this review is a chapter in "The First Galaxies - Theoretical Predictions and Observational Clues", Springer Astrophysics and Space Science Library, Eds. T. Wiklind, V. Bromm & B. Mobasher, in pres

    Recent Advances in Our Understanding of the Role of Meltwater in the Greenland Ice Sheet System

    Get PDF
    Nienow, Sole and Cowton’s Greenland research has been supported by a number of UK NERC research grants (NER/O/S/2003/00620; NE/F021399/1; NE/H024964/1; NE/K015249/1; NE/K014609/1) and Slater has been supported by a NERC PhD studentshipPurpose of the review:  This review discusses the role that meltwater plays within the Greenland ice sheet system. The ice sheet’s hydrology is important because it affects mass balance through its impact on meltwater runoff processes and ice dynamics. The review considers recent advances in our understanding of the storage and routing of water through the supraglacial, englacial, and subglacial components of the system and their implications for the ice sheet Recent findings:   There have been dramatic increases in surface meltwater generation and runoff since the early 1990s, both due to increased air temperatures and decreasing surface albedo. Processes in the subglacial drainage system have similarities to valley glaciers and in a warming climate, the efficiency of meltwater routing to the ice sheet margin is likely to increase. The behaviour of the subglacial drainage system appears to limit the impact of increased surface melt on annual rates of ice motion, in sections of the ice sheet that terminate on land, while the large volumes of meltwater routed subglacially deliver significant volumes of sediment and nutrients to downstream ecosystems. Summary:  Considerable advances have been made recently in our understanding of Greenland ice sheet hydrology and its wider influences. Nevertheless, critical gaps persist both in our understanding of hydrology-dynamics coupling, notably at tidewater glaciers, and in runoff processes which ensure that projecting Greenland’s future mass balance remains challenging.Publisher PDFPeer reviewe

    The Oldest Case of Decapitation in the New World (Lapa do Santo, East-Central Brazil)

    Get PDF
    We present here evidence for an early Holocene case of decapitation in the New World (Burial 26), found in the rock shelter of Lapa do Santo in 2007. Lapa do Santo is an archaeological site located in the Lagoa Santa karst in east-central Brazil with evidence of human occupation dating as far back as 11.7-12.7 cal kyBP (95.4% interval). An ultra-filtered AMS age determination on a fragment of the sphenoid provided an age range of 9.1-9.4 cal kyBP (95.4% interval) for Burial 26. The interment was composed of an articulated cranium, mandible and first six cervical vertebrae. Cut marks with a v-shaped profile were observed in the mandible and sixth cervical vertebra. The right hand was amputated and laid over the left side of the face with distal phalanges pointing to the chin and the left hand was amputated and laid over the right side of the face with distal phalanges pointing to the forehead. Strontium analysis comparing Burial 26's isotopic signature to other specimens from Lapa do Santo suggests this was a local member of the group. Therefore, we suggest a ritualized decapitation instead of trophy-taking, testifying for the sophistication of mortuary rituals among hunter-gatherers in the Americas during the early Archaic period. In the apparent absence of wealth goods or elaborated architecture, Lapa do Santo's inhabitants seemed to use the human body to express their cosmological principles regarding death

    Chemical composition and enzymatic digestibility of sugarcane clones selected for varied lignin content

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The recalcitrance of lignocellulosic materials is a major limitation for their conversion into fermentable sugars. Lignin depletion in new cultivars or transgenic plants has been identified as a way to diminish this recalcitrance. In this study, we assessed the success of a sugarcane breeding program in selecting sugarcane plants with low lignin content, and report the chemical composition and agronomic characteristics of eleven experimental hybrids and two reference samples. The enzymatic digestion of untreated and chemically delignified samples was evaluated to advance the performance of the sugarcane residue (bagasse) in cellulosic-ethanol production processes.</p> <p>Results</p> <p>The ranges for the percentages of glucan, hemicellulose, lignin, and extractive (based on oven-dry biomass) of the experimental hybrids and reference samples were 38% to 43%, 25% to 32%, 17% to 24%, and 1.6% to 7.5%, respectively. The samples with the smallest amounts of lignin did not produce the largest amounts of total polysaccharides. Instead, a variable increase in the mass of a number of components, including extractives, seemed to compensate for the reduction in lignin content. Hydroxycinnamic acids accounted for a significant part of the aromatic compounds in the samples, with <it>p</it>-coumaric acid predominating, whereas ferulic acid was present only in low amounts. Hydroxycinnamic acids with ester linkage to the hemicelluloses varied from 2.3% to 3.6%. The percentage of total hydroxycinnamic acids (including the fraction linked to lignin through ether linkages) varied from 5.0% to 9.2%, and correlated to some extent with the lignin content. These clones released up to 31% of glucose after 72 hours of digestion with commercial cellulases, whereas chemically delignified samples led to cellulose conversion values of more than 80%. However, plants with lower lignin content required less delignification to reach higher efficiencies of cellulose conversion during the enzymatic treatment.</p> <p>Conclusion</p> <p>Some of the experimental sugarcane hybrids did have the combined characteristics of high biomass and high sucrose production with low lignin content. Conversion of glucan to glucose by commercial cellulases was increased in the samples with low lignin content. Chemical delignification further increased the cellulose conversion to values of more than 80%. Thus, plants with lower lignin content required less delignification to reach higher efficiencies of cellulose conversion during the enzymatic treatment.</p
    corecore