Liveness-Driven Random Program Generation

Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (computations whose result is never used). This leaves relatively little code to exercise a target compiler's more complex optimizations. To address this shortcoming, we introduce liveness-driven random program generation. In this approach the random program is constructed bottom-up, guided by a simultaneous structural data-flow analysis to ensure that the generator never generates dead code. The algorithm is implemented as a plugin for the Frama-C framework. We evaluate it in comparison to Csmith, the standard random C program generator. Our tool generates programs that compile to more machine code with a more complex instruction mix.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Monte Carlo Simulations of Metasomatic Enrichment in the Lithosphere and Implications for the Source of Alkaline Basalts

One hypothesis for the origin of alkaline lavas erupted on oceanic islands and in intracontinental settings is that they represent the melts of amphibole-rich veins in the lithosphere (or melts of their dehydrated equivalents if metasomatized lithosphere is recycled into the convecting mantle). Amphibole-rich veins are interpreted as cumulates produced by crystallization of low-degree melts of the underlying asthenosphere as they ascend through the lithosphere. We present the results of trace-element modelling of the formation and melting of veins formed in this way with the goal of testing this hypothesis and for predicting how variability in the formation and subsequent melting of such cumulates (and adjacent cryptically and modally metasomatized lithospheric peridotite) would be manifested in magmas generated by such a process. Because the high-pressure phase equilibria of hydrous near-solidus melts of garnet lherzolite are poorly constrained and given the likely high variability of the hypothesized accumulation and remelting processes, we used Monte Carlo techniques to estimate how uncertainties in the model parameters (e.g. the compositions of the asthenospheric sources, their trace-element contents, and their degree of melting; the modal proportions of crystallizing phases, including accessory phases, as the asthenospheric partial melts ascend and crystallize in the lithosphere; the amount of metasomatism of the peridotitic country rock; the degree of melting of the cumulates and the amount of melt derived from the metasomatized country rock) propagate through the process and manifest themselves as variability in the trace-element contents and radiogenic isotopic ratios of model vein compositions and erupted alkaline magma compositions. We then compare the results of the models with amphibole observed in lithospheric veins and with oceanic and continental alkaline magmas. While the trace-element patterns of the near-solidus peridotite melts, the initial anhydrous cumulate assemblage (clinopyroxene ± garnet ± olivine ± orthopyroxene), and the modelled coexisting liquids do not match the patterns observed in alkaline lavas, our calculations show that with further crystallization and the appearance of amphibole (and accessory minerals such as rutile, ilmenite, apatite, etc.) the calculated cumulate assemblages have trace-element patterns that closely match those observed in the veins and lavas. These calculated hydrous cumulate assemblages are highly enriched in incompatible trace elements and share many similarities with the trace-element patterns of alkaline basalts observed in oceanic or continental setting such as positive Nb/La, negative Ce/Pb, and similiar slopes of the rare earth elements. By varying the proportions of trapped liquid and thus simulating the cryptic and modal metasomatism observed in peridotite that surrounds these veins, we can model the variations in Ba/Nb, Ce/Pb, and Nb/U ratios that are observed in alkaline basalts. If the isotopic compositions of the initial low-degree peridotite melts are similar to the range observed in mid-ocean ridge basalt, our model calculations produce cumulates that would have isotopic compositions similar to those observed in most alkaline ocean island basalt (OIB) and continental magmas after ~0·15 Gyr. However, to produce alkaline basalts with HIMU isotopic compositions requires much longer residence times (i.e. 1–2 Gyr), consistent with subduction and recycling of metasomatized lithosphere through the mantle. EM magmas cannot readily be explained without appealing to other factors such as a heterogeneous asthenosphere. These modelling results support the interpretation proposed by various researchers that amphibole-bearing veins represent cumulates formed during the differentiation of a volatile-bearing low-degree peridotite melt and that these cumulates are significant components of the sources of alkaline OIB and continental magmas. The results of the forward models provide the potential for detailed tests of this class of hypotheses for the origin of alkaline magmas worldwide and for interpreting major and minor aspects of the geochemical variability of these magmas

Evidence for the generation of juvenile granitic crust during continental extension, Mineral Mountains Batholith, Utah

This is the published version. Copyright 1976 American Geophysical Union. All Rights Reserved.Field, chemical and isotopic data from the Miocene Mineral Mountains batholith in southwest Utah are consistent with the batholith being derived through differentiation of material recently separated from the lithospheric mantle, with little involvement of pre-Oligocene crust. The batholith ranges in composition and texture from diabase and gabbro to high-silica rhyolite and granite and is distinctly calcalkaline in nature. Field evidence for anatexis of intermediate-composition Oligocene crust and magma mixing suggest that fractional melting and mixing were important processes during the evolution of the batholith. Major oxide and rare earth element data for the batholith are consistent with chemical evolution of the magma system being controlled by fractionation of hornblende, plagioclase and sphene (all of which occur in restitic portions of Miocene migmatites exposed in the field area) during partial melting, and mixing between gabbro and granite. Isotopic data indicate a lithospheric mantle source for mafic rocks in the study area and, on the basis of field data and their similarity in isotopic composition, granitic rocks are interpreted to be derived indirectly from the same source during Basin and Range extension. Evolution of the granites is hypothesized to involve a series of partial melting steps, one of which is exposed in the batholith, which refine mantle-derived gabbros into high-silica rocks. Thus the Mineral Mountains batholith represents juvenile granitic material added to the crust during extension. This raises the possibility that extension may be an important granitic crust-forming event. Furthermore, this suggests that pure-shear igneous inflation of the crust by the mantle can be an important mechanism during extensional deformation. Data presented here indicate that fractional melting of young mafic crust may be an important process in the evolution of isotopically homogeneous intrusive suites which span a broad compositional range. Furthermore, the data support the idea that lithospheric mantle in the Great Basin region may be Proterozoic in age

Injury incidence in a Premier League youth soccer academy using the consensus statement: a prospective cohort study

Abstract Background There is an established risk of injury to young athletes exposed to high training loads. Identifying and monitoring injury risk is essential to aid prevention. The aim of this study was to use the consensus statement to determine the incidence and pattern of injury in 1 English Premier League soccer academy during 1 season. Methods A prospective cohort study included 181 elite academy soccer players during the 2012–2013 season. Players were divided into 5 age groups between 9 and 18 years. The number, type and incidence of injuries were recorded during matches and training. Incidence was calculated per 1000 hours of exposure. Results 127 injuries occurred during 29 346 hours of soccer exposure. 72% of injuries were non-contact related. Under (U)18 players sustained the highest number of match injuries. U12–14 players sustained the highest number of training injuries and injuries overall. U16 players sustained the highest number of severe injuries, and U18 players sustained the highest number of moderate injuries. U18 players sustained the highest number of injuries/1000 hours of training and overall. U15 players sustained the highest number of injuries/1000 hours of matches, the highest number of recurrent injuries and the highest incidence of recurrence. The most common injuries were muscle injuries in U15 and U18 players. The most common injury location was the anterior thigh, with the majority of these occurring in training. Conclusions Using the consensus statement, this study used a repeatable method to identify the injury profile of elite academy-level soccer players

The Idea of Social Life

This paper reclaims the idea that human society is a form of life, an idea once vibrant in the work of Toennies, Durkheim, Simmel, Le Bon, Kroeber, Freud, Bion, and Follett but moribund today. Despite current disparagements, this idea remains the only and best answer to our primary experience of society as vital feeling. The main obstacle to conceiving society as a life is linguistic; the logical form of life is incommensurate with the logical form of language. However, it is possible to extend our conceptual reach by appealing to alternative symbolisms more congenial to living form such as, and especially, art.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68336/2/10.1177_004839319502500201.pd

Terminology for Achilles tendon related disorders

The terminology of Achilles tendon pathology has become inconsistent and confusing throughout the years. For proper research, assessment and treatment, a uniform and clear terminology is necessary. A new terminology is proposed; the definitions hereof encompass the anatomic location, symptoms, clinical findings and histopathology. It comprises the following definitions: Mid-portion Achilles tendinopathy: a clinical syndrome characterized by a combination of pain, swelling and impaired performance. It includes, but is not limited to, the histopathological diagnosis of tendinosis. Achilles paratendinopathy: an acute or chronic inflammation and/or degeneration of the thin membrane around the Achilles tendon. There are clear distinctions between acute paratendinopathy and chronic paratendinopathy, both in symptoms as in histopathology. Insertional Achilles tendinopathy: located at the insertion of the Achilles tendon onto the calcaneus, bone spurs and calcifications in the tendon proper at the insertion site may exist. Retrocalcaneal bursitis: an inflammation of the bursa in the recess between the anterior inferior side of the Achilles tendon and the posterosuperior aspect of the calcaneus (retrocalcaneal recess). Superficial calcaneal bursitis: inflammation of the bursa located between a calcaneal prominence or the Achilles tendon and the skin. Finally, it is suggested that previous terms as Haglund’s disease; Haglund’s syndrome; Haglund’s deformity; pump bump (calcaneus altus; high prow heels; knobbly heels; cucumber heel), are no longer used

New genomic resources for switchgrass: a BAC library and comparative analysis of homoeologous genomic regions harboring bioenergy traits

<p>Abstract</p> <p>Background</p> <p>Switchgrass, a C4 species and a warm-season grass native to the prairies of North America, has been targeted for development into an herbaceous biomass fuel crop. Genetic improvement of switchgrass feedstock traits through marker-assisted breeding and biotechnology approaches calls for genomic tools development. Establishment of integrated physical and genetic maps for switchgrass will accelerate mapping of value added traits useful to breeding programs and to isolate important target genes using map based cloning. The reported polyploidy series in switchgrass ranges from diploid (2X = 18) to duodecaploid (12X = 108). Like in other large, repeat-rich plant genomes, this genomic complexity will hinder whole genome sequencing efforts. An extensive physical map providing enough information to resolve the homoeologous genomes would provide the necessary framework for accurate assembly of the switchgrass genome.</p> <p>Results</p> <p>A switchgrass BAC library constructed by partial digestion of nuclear DNA with <it>Eco</it>RI contains 147,456 clones covering the effective genome approximately 10 times based on a genome size of 3.2 Gigabases (~1.6 Gb effective). Restriction digestion and PFGE analysis of 234 randomly chosen BACs indicated that 95% of the clones contained inserts, ranging from 60 to 180 kb with an average of 120 kb. Comparative sequence analysis of two homoeologous genomic regions harboring orthologs of the rice <it>OsBRI1 </it>locus, a low-copy gene encoding a putative protein kinase and associated with biomass, revealed that orthologous clones from homoeologous chromosomes can be unambiguously distinguished from each other and correctly assembled to respective fingerprint contigs. Thus, the data obtained not only provide genomic resources for further analysis of switchgrass genome, but also improve efforts for an accurate genome sequencing strategy.</p> <p>Conclusions</p> <p>The construction of the first switchgrass BAC library and comparative analysis of homoeologous harboring <it>OsBRI1 </it>orthologs present a glimpse into the switchgrass genome structure and complexity. Data obtained demonstrate the feasibility of using HICF fingerprinting to resolve the homoeologous chromosomes of the two distinct genomes in switchgrass, providing a robust and accurate BAC-based physical platform for this species. The genomic resources and sequence data generated will lay the foundation for deciphering the switchgrass genome and lead the way for an accurate genome sequencing strategy.</p

Genetic Incorporation of Human Metallothionein into the Adenovirus Protein IX for Non-Invasive SPECT Imaging

As the limits of existing treatments for cancer are recognized, clearly novel therapies must be considered for successful treatment; cancer therapy using adenovirus vectors is a promising strategy. However tracking the biodistribution of adenovirus vectors in vivo is limited to invasive procedures such as biopsies, which are error prone, non-quantitative, and do not give a full representation of the pharmacokinetics involved. Current non-invasive imaging strategies using reporter gene expression have been applied to analyze adenoviral vectors. The major drawback to approaches that tag viruses with reporter genes is that these systems require initial viral infection and subsequent cellular expression of a reporter gene to allow non-invasive imaging. As an alternative to conventional vector detection techniques, we developed a specific genetic labeling system whereby an adenoviral vector incorporates a fusion between capsid protein IX and human metallothionein. Our study herein clearly demonstrates our ability to rescue viable adenoviral particles that display functional metallothionein (MT) as a component of their capsid surface. We demonstrate the feasibility of 99mTc binding in vitro to the pIX-MT fusion on the capsid of adenovirus virions using a simple transchelation reaction. SPECT imaging of a mouse after administration of a 99mTc-radiolabeled virus showed clear localization of radioactivity to the liver. This result strongly supports imaging using pIX-MT, visualizing the normal biodistribution of Ad primarily to the liver upon injection into mice. The ability we have developed to view real-time biodistribution in their physiological milieu represents a significant tool to study adenovirus biology in vivo

Molecular evolution of cyclin proteins in animals and fungi

<p>Abstract</p> <p>Background</p> <p>The passage through the cell cycle is controlled by complexes of cyclins, the regulatory units, with cyclin-dependent kinases, the catalytic units. It is also known that cyclins form several families, which differ considerably in primary structure from one eukaryotic organism to another. Despite these lines of evidence, the relationship between the evolution of cyclins and their function is an open issue. Here we present the results of our study on the molecular evolution of A-, B-, D-, E-type cyclin proteins in animals and fungi.</p> <p>Results</p> <p>We constructed phylogenetic trees for these proteins, their ancestral sequences and analyzed patterns of amino acid replacements. The analysis of infrequently fixed atypical amino acid replacements in cyclins evidenced that accelerated evolution proceeded predominantly during paralog duplication or after it in animals and fungi and that it was related to aromorphic changes in animals. It was shown also that evolutionary flexibility of cyclin function may be provided by consequential reorganization of regions on protein surface remote from CDK binding sites in animal and fungal cyclins and by functional differentiation of paralogous cyclins formed in animal evolution.</p> <p>Conclusions</p> <p>The results suggested that changes in the number and/or nature of cyclin-binding proteins may underlie the evolutionary role of the alterations in the molecular structure of cyclins and their involvement in diverse molecular-genetic events.</p

Syndromics: A Bioinformatics Approach for Neurotrauma Research

Substantial scientific progress has been made in the past 50 years in delineating many of the biological mechanisms involved in the primary and secondary injuries following trauma to the spinal cord and brain. These advances have highlighted numerous potential therapeutic approaches that may help restore function after injury. Despite these advances, bench-to-bedside translation has remained elusive. Translational testing of novel therapies requires standardized measures of function for comparison across different laboratories, paradigms, and species. Although numerous functional assessments have been developed in animal models, it remains unclear how to best integrate this information to describe the complete translational “syndrome” produced by neurotrauma. The present paper describes a multivariate statistical framework for integrating diverse neurotrauma data and reviews the few papers to date that have taken an information-intensive approach for basic neurotrauma research. We argue that these papers can be described as the seminal works of a new field that we call “syndromics”, which aim to apply informatics tools to disease models to characterize the full set of mechanistic inter-relationships from multi-scale data. In the future, centralized databases of raw neurotrauma data will enable better syndromic approaches and aid future translational research, leading to more efficient testing regimens and more clinically relevant findings