Intraplate deformation due to continental collisions: A numerical study of deformation in a thin viscous sheet

A model of crustal deformation from continental collision that involves the penetration of a rigid punch into a deformable sheet is investigated. A linear viscous flow law is used to compute the magnitude and rate of change of crustal thickness, the velocity of mass points, strain rates and their principal axes, modes of deformation, areal changes, and stress. In general, a free lateral boundary reduces the magnitude of changes in crustal thickening by allowing material to more readily escape the advancing punch. The shearing that occurs diagonally in front of the punch terminates in compression or extension depending on whether the lateral boundary is fixed or free. When the ratio of the diameter of the punch to that of the sheet exceeds one-third, the deformation is insenstive to the choice of lateral boundary conditions. When the punch is rigid with sharply defined edges, deformation is concentrated near the punch corners. With non-rigid punches, shearing results in deformation being concentrated near the center of the punch. Variations with respect to linearity and nonlinearity of flow are discussed

Thin-walled pressure vessel Patent

Thin walled pressure test vessel using low-melting alloy-filled joint to attach shell to head

Lunar surface dynamics: Some general conclusions and new results from Apollo 16 and 17

Exposure ages of Apollo 17 rocks as measured by tracks and the Kr-Kr rare gas method are reported. Concordant ages of 22 - or + 1 million year (my) are obtained for the station 6 boulder sample 76315. This value is interpreted as the time when the station 6 boulder was emplaced in its present position. Reasonable agreement is also obtained by the two methods for another station 6 boulder, sample 76015. Discordant ages (respectively 5 and 28 my by the track and rare gas methods) are obtained for the station 7 boulder sample, 77135, indicating that the boulder was emplaced at least 5 my ago. The 72 my exposure age of 75035, in general agreement with previous measurements of approximately 85 my for another Camelot boulder, may well date the formation of Camelot. Rock 76015 was split and one surface exposed to the sky through a very small solid angle

Predicting Combinatorial Binding of Transcription Factors to Regulatory Elements in the Human Genome by Association Rule Mining

Cis-acting transcriptional regulatory elements in mammalian genomes typically contain specific combinations of binding sites for various transcription factors. Although some cisregulatory elements have been well studied, the combinations of transcription factors that regulate normal expression levels for the vast majority of the 20,000 genes in the human genome are unknown. We hypothesized that it should be possible to discover transcription factor combinations that regulate gene expression in concert by identifying over-represented combinations of sequence motifs that occur together in the genome. In order to detect combinations of transcription factor binding motifs, we developed a data mining approach based on the use of association rules, which are typically used in market basket analysis. We scored each segment of the genome for the presence or absence of each of 83 transcription factor binding motifs, then used association rule mining algorithms to mine this dataset, thus identifying frequently occurring pairs of distinct motifs within a segment. Results: Support for most pairs of transcription factor binding motifs was highly correlated across different chromosomes although pair significance varied. Known true positive motif pairs showed higher association rule support, confidence, and significance than background. Our subsets of high-confidence, high-significance mined pairs of transcription factors showed enrichment for co-citation in PubMed abstracts relative to all pairs, and the predicted associations were often readily verifiable in the literature. Conclusion: Functional elements in the genome where transcription factors bind to regulate expression in a combinatorial manner are more likely to be predicted by identifying statistically and biologically significant combinations of transcription factor binding motifs than by simply scanning the genome for the occurrence of binding sites for a single transcription factor.NIAAA Alcohol Training GrantNational Science FoundationCellular and Molecular Biolog

The Welfare Effects of Pfiesteria-Related Fish Kills: A Contingent Behavior Analysis of Seafood Consumers

We use contingent behavior analysis to study the effects of pfiesteria-related fish kills on the demand for seafood in the Mid-Atlantic region. We estimate a set of demand difference models based on individual responses to questions about seafood consumption in the presence of fish kills and with different amounts of information provided about health risks. We use a random-effects Tobit model to control for correlation across each observation and to account for censoring. We find that (i) pfiesteria-related fish kills have a significant negative effect on the demand for seafood even though the fish kills pose no known threat to consumers through sea-food consumption, (ii) seafood consumers are not responsive to expert risk information designed to reassure them that seafood is safe in the presence of a fish kill, and (iii) a mandatory seafood inspection program largely eliminates the welfare loss incurred due to misinformation.pfiesteria, seafood demand, non-market valuation, Resource /Energy Economics and Policy,

Project for the analysis of technology transfer Quarterly evaluation report, 1 Jan. - 31 Mar. 1969

Technology transfer analysis project studying nonspace applications of NASA and AEC generated technolog

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

The Welfare Effects of Pfiesteria-Related Fish Kills in Seafood Markets: A Contingent Behavior Analysis

We use contingent behavior analysis to study the effects of Pfiesteria related fish kills on the demand for seafood in the Mid-Atlantic region. We use a phone-mail-phone survey to look at the effects of various information provision mechanisms used to ameliorate the effects of misinformation regarding fish kills. A set of demand difference models are estimated based on individual responses to multiple questions about seafood consumption with and without fish kills present and with various health risk information treatments. Random effects Tobit models are used to control for the panel nature of responses and natural censoring of the stated responses. We find that 1) Pfiesteria related fish kills have a significant negative effect on the demand for seafood, 2) seafood consumers are nonresponsive to expert risk information designed to reassure consumers that seafood is safe in the presence of a fish kill, and 3) a mandatory seafood inspection program completely eliminates avoidance costs incurred due to misinformation. We estimate that the aggregate avoidance costs incurred in the month immediately following a Pfiesteria related fish kill is $50-$130 million.