The Parallel C++ Statistical Library for Bayesian Inference: QUESO

The Parallel C++ Statistical Library for the Quantification of Uncertainty for Estimation, Simulation and Optimization, Queso, is a collection of statistical algorithms and programming constructs supporting research into the quantification of uncertainty of models and their predictions. Queso is primarily focused on solving statistical inverse problems using Bayes's theorem, which expresses a distribution of possible values for a set of uncertain parameters (the posterior distribution) in terms of the existing knowledge of the system (the prior) and noisy observations of a physical process, represented by a likelihood distribution. The posterior distribution is not often known analytically, and so requires computational methods. It is typical to compute probabilities and moments from the posterior distribution, but this is often a high-dimensional object and standard Reimann-type methods for quadrature become prohibitively expensive. The approach Queso takes in this regard is to rely on Markov chain Monte Carlo (MCMC) methods which are well suited to evaluating quantities such as probabilities and moments of high-dimensional probability distributions. Queso's intended use is as tool to assist and facilitate coupling uncertainty quantification to a specific application called a forward problem. While many libraries presently exist that solve Bayesian inference problems, Queso is a specialized piece of software primarily designed to solve such problems by utilizing parallel environments demanded by large-scale forward problems. Queso is written in C++, uses MPI, and utilizes libraries already available to the scientific community

Generic Ada code in the NASA space station command, control and communications environment

The results of efforts to apply powerful Ada constructs to the formatted message handling process are described. The goal of these efforts was to extend the state-of-technology in message handling while at the same time producing production-quality, reusable code. The first effort was initiated in September, 1984 and delivered in April, 1985. That product, the Generic Message Handling Facility, met initial goals, was reused, and is available in the Ada Repository on ARPANET. However, it became apparent during its development that the initial approach to building a message handler template was not optimal. As a result of this initial effort, several alternate approaches were identified, and research is now on-going to identify an improved product. The ultimate goal is to be able to instantly build a message handling system for any message format given a specification of that message format. The problem lies in how to specify the message format, and one that is done, how to use that information to build the message handler. Message handling systems and message types are described. The initial efforts, its results and its shortcomings are detailed. The approach now being taken to build a system which will be significantly easier to implement, and once implemented, easier to use, is described. Finally, conclusions are offered

The algebra of rewriting for presentations of inverse monoids

We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempotent separating map. We then use the properties of idempotent separating maps to derive a free presentation of the relation module. The construction of its kernel - the module of identities - uses further facts about pseudoregular groupoids.Comment: 22 page

An Evaluation of the Economic, Environmental and Social Impacts of NSW DPI Investments in IPM Research in Lettuce

Research into IPM technologies has been conducted by NSW DPI for over 20 years. Evaluating the returns from investment in specific research and development projects is an important component of the NSW DPI science and research program. An economic evaluation has been conducted of IPM in managing invertebrate pests in lettuce in NSW. We found that there has been widespread adoption of IPM practices amongst NSW lettuce growers leading to a flow of economic benefits to the lettuce industry and the community. Important environmental and human health benefits were also identified. A benefit-cost ratio of 2 was calculated for the return to NSW DPI investment in lettuce IPM research which while satisfactory, is lower than returns calculated for other agricultural R&D. It does not include ‘spillover’ benefits to other States nor have human health or environmental benefits been valued.research, benefit-cost, evaluation, IPM (Integrated Pest Management), lettuce, Crop Production/Industries, Environmental Economics and Policy, Farm Management, Production Economics, Q160,

Returns to investment in IPM research in lettuce by NSW DPI

Research into IPM technologies has been conducted by NSW DPI for over 20 years. Evaluating the returns from investment in specific research and development projects is an important component of the NSW DPI science and research program. An economic evaluation has been conducted of IPM in managing invertebrate pests in lettuce in NSW. We found that there has been widespread adoption of IPM practices amongst NSW lettuce growers leading to a flow of economic benefits to the lettuce industry and the community. Important environmental and human health benefits were also identified. A benefit-cost ratio of 2 was calculated for the return to NSW DPI investment in lettuce IPM research which while satisfactory, is lower than returns calculated for other agricultural R&D evaluations. It does not include ‘spillover’ benefits to other States nor have human health or environmental benefits been valued.research, benefit-cost, evaluation, IPM (Integrated Pest Management), lettuce, Crop Production/Industries, Research and Development/Tech Change/Emerging Technologies,

Eyelid development, fusion and subsequent reopening in the mouse

The process of eyelid development was studied in the mouse. The critical events occur between about 15.5 d postcoitum (p.c.) and 12 d after birth, and were studied by conventional histology and by scanning electron microscopy. At about 15.5 d p.c. the cornea of the eye is clearly visible with the primitive eyelids being represented by protruding ridges of epithelium at its periphery. Over the next 24 h, eyelid development proceeds to the stage when the cornea is completely covered by the fused eyelids. Periderm cells stream in to fill the gap between the developing eyelids. Their proliferative activity is such that they produce a cellular excrescence on the outer surface of the line of fusion of the eyelids. This excrescence had almost disappeared by about 17.5 d p.c. Keratinisation is first evident at this stage on the surface of the eyelids and passes continuously from one eyelid to the other. Evidence of epidermal differentiation is more clearly seen in the newborn, where a distinctive stratum granulosum now occupies about one third of its entire thickness. Within the subjacent dermis, hair follicles are differentiating. By about 5 d after birth, a thick layer of keratin extends without interruption across the junctional region. While a noticeable surface indentation overlies the latter, a similar depression is only seen on the conjunctival surface by about 10 d after birth. Keratinisation is also observed to extend in from the epidermal surface to involve the entire region between the 2 eyelids at about this time.(ABSTRACT TRUNCATED AT 250 WORDS

Ultrafast harmonic mode-locking of monolithic compound-cavity laser diodes incorporating photonic-bandgap reflectors

We present the first demonstration of reproducible harmonic mode-locked operation from a novel design of monolithic semiconductor laser comprising a compound cavity formed by a 1-D photonic-bandgap (PBG) mirror. Mode-locking (ML) is achieved at a harmonic of the fundamental round-trip frequency with pulse repetition rates from 131 GHz up to a record high frequency of 2.1 THz. The devices are fabricated from GaAs-Al-GaAs material emitting at a wavelength of 860 nm and incorporate two gain sections with an etched PBG reflector between them, and a saturable absorber section. Autocorrelation studies are reported which allow the device behavior for different ML frequencies, compound cavity ratios, and type and number of intra-cavity reflectors to be analyzed. The highly reflective PBG microstructures are shown to be essential for subharmonic-free ML operation of the high-frequency devices. We have also demonstrated that the single PBG reflector can be replaced by two separate features with lower optical loss. These lasers may find applications in terahertz; imaging, medicine, ultrafast optical links, and atmospheric sensing

Parable of two agencies, one of which randomizes

This article examines the design of evaluations in settings where there is a choice as to how an intervention is to be introduced and evaluated. It uses data from a supervision program for offenders on probation in the UK (Bruce and Hollin forthcoming) that had been indicated by a pilot evaluation in one probation area to merit wider-scale implementation and evaluation. For the remaining two probation areas in the region, a randomized controlled allocation of participants to conditions was recommended. One of the areas adopted a stepped wedge design, in which probation offices were randomly allocated sequentially to the program. The second area opted to launch the program across the whole area simultaneously, with a retrospective sample as control group. The article compares the results of implementation in each probation area and seeks to draw wider inferences about the management of program implementation and the randomized controlled designs appropriate for similar field studies. </jats:p