Determination of urban volatile organic compound emission ratios and comparison with an emissions database

During the NEAQS-ITCT2k4 campaign in New England, anthropogenic VOCs and CO were measured downwind from New York City and Boston. The emission ratios of VOCs relative to CO and acetylene were calculated using a method in which the ratio of a VOC with acetylene is plotted versus the photochemical age. The intercept at the photochemical age of zero gives the emission ratio. The so determined emission ratios were compared to other measurement sets, including data from the same location in 2002, canister samples collected inside New York City and Boston, aircraft measurements from Los Angeles in 2002, and the average urban composition of 39 U.S. cities. All the measurements generally agree within a factor of two. The measured emission ratios also agree for most compounds within a factor of two with vehicle exhaust data indicating that a major source of VOCs in urban areas is automobiles. A comparison with an anthropogenic emission database shows less agreement. Especially large discrepancies were found for the C2-C4 alkanes and most oxygenated species. As an example, the database overestimated toluene by almost a factor of three, which caused an air quality forecast model (WRF-CHEM) using this database to overpredict the toluene mixing ratio by a factor of 2.5 as well. On the other hand, the overall reactivity of the measured species and the reactivity of the same compounds in the emission database were found to agree within 30%. Copyright 2007 by the American Geophysical Union

Mitigating agency risk between investors and ventures’ managers

The general management literature has long focused on the agency risks involved in the relationship between general managers and shareholders. Shareholders can deploy contractual and non-contractual mechanisms to reduce these inefficiencies. This study examines - based on a broad international sample of investment contracts - how the use of contractual and non-contractual mechanisms is related to the degree of risks associated with the venture’s development stage as well as how these practices differ across countries. Hypotheses are tested using a proprietary dataset of 265 hand-collected investment contracts associated with ventures in the U.S., Israel and nine European countries. Findings suggest that the use of mitigating contractual and non-contractual mechanisms is related to the degree of agency risks, and that these practices vary across countries. This study draws implications for how investors can best deploy their capital in different institutional settings whilst nurturing their relationships with managers and entrepreneurs

Moody Music Generator: Characterising Control Parameters Using Crowdsourcing.

Abstract. We characterise the expressive effects of a music generator capable of varying its moods through two control parameters. The two control parameters were constructed on the basis of existing work on va-lence and arousal in music, and intended to provide control over those two mood factors. In this paper we conduct a listener study to determine how people actually perceive the various moods the generator can produce. Rather than directly attempting to validate that our two control param-eters represent arousal and valence, instead we conduct an open-ended study to crowd-source labels characterising different parts of this two-dimensional control space. Our aim is to characterise perception of the generator’s expressive space, without constraining listeners ’ responses to labels specifically aimed at validating the original arousal/valence moti-vation. Subjects were asked to listen to clips of generated music over the Internet, and to describe the moods with free-text labels. We find that the arousal parameter does roughly map to perceived arousal, but that the nominal “valence ” parameter has strong interaction with the arousal parameter, and produces different effects in different parts of the con-trol space. We believe that the characterisation methodology described here is general and could be used to map the expressive range of other parameterisable generators.

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

Rabies screen reveals GPe control of cocaine-triggered plasticity.

Identification of neural circuit changes that contribute to behavioural plasticity has routinely been conducted on candidate circuits that were preselected on the basis of previous results. Here we present an unbiased method for identifying experience-triggered circuit-level changes in neuronal ensembles in mice. Using rabies virus monosynaptic tracing, we mapped cocaine-induced global changes in inputs onto neurons in the ventral tegmental area. Cocaine increased rabies-labelled inputs from the globus pallidus externus (GPe), a basal ganglia nucleus not previously known to participate in behavioural plasticity triggered by drugs of abuse. We demonstrated that cocaine increased GPe neuron activity, which accounted for the increase in GPe labelling. Inhibition of GPe activity revealed that it contributes to two forms of cocaine-triggered behavioural plasticity, at least in part by disinhibiting dopamine neurons in the ventral tegmental area. These results suggest that rabies-based unbiased screening of changes in input populations can identify previously unappreciated circuit elements that critically support behavioural adaptations

Separate cortical stages in amodal completion revealed by functional magnetic resonance adaptation

<p>Abstract</p> <p>Background</p> <p>Objects in our environment are often partly occluded, yet we effortlessly perceive them as whole and complete. This phenomenon is called visual amodal completion. Psychophysical investigations suggest that the process of completion starts from a representation of the (visible) physical features of the stimulus and ends with a completed representation of the stimulus. The goal of our study was to investigate both stages of the completion process by localizing both brain regions involved in processing the physical features of the stimulus as well as brain regions representing the completed stimulus.</p> <p>Results</p> <p>Using fMRI adaptation we reveal clearly distinct regions in the visual cortex of humans involved in processing of amodal completion: early visual cortex – presumably V1 -processes the local contour information of the stimulus whereas regions in the inferior temporal cortex represent the completed shape. Furthermore, our data suggest that at the level of inferior temporal cortex information regarding the original local contour information is not preserved but replaced by the representation of the amodally completed percept.</p> <p>Conclusion</p> <p>These findings provide neuroimaging evidence for a multiple step theory of amodal completion and further insights into the neuronal correlates of visual perception.</p