Unilateral Carbon Taxes, Border Tax Adjustments, and Carbon Leakage

We examine the impact of a unilateral carbon tax in developed countries focusing on the expected size of carbon leakage (an increase in emissions in non-taxing regions as a result of the tax) and the effects on leakage of border tax adjustments. We start by analyzing the problem using a simple two-country, three-good general equilibrium model to develop intuitions. We then simulate the expected size of the effects using a new, open-source, computable general equilibrium (CGE) model. We analyze the extent of emissions reductions from a carbon tax in countries that made commitments under the Kyoto Protocol (Annex B countries), the expected carbon leakage, and the effects of border tax adjustments on carbon leakage, all relative to our baseline projections for emissions. We also perform extensive sensitivity tests on the parameters of the CGE model. Finally, we consider the effects of imperfect border tax adjustments on leakage, such as global or regional schedules of border taxes. Keywords: carbon leakage, carbon taxes, climate change, Kyoto Protocol, CGE modeling

PRIMUS/Informed Cities: Making research work for local sustainability

The final report of a three year European Commission FP7 project

Near-Shortest Path Routing in Hybrid Communication Networks

Hybrid networks, i.e., networks that leverage different means of communication, become ever more widespread. To allow theoretical study of such networks, [Augustine et al., SODA\u2720] introduced the HYBRID model, which is based on the concept of synchronous message passing and uses two fundamentally different principles of communication: a local mode, which allows every node to exchange one message per round with each neighbor in a local communication graph; and a global mode where any pair of nodes can exchange messages, but only few such exchanges can take place per round. A sizable portion of the previous research for the HYBRID model revolves around basic communication primitives and computing distances or shortest paths in networks. In this paper, we extend this study to a related fundamental problem of computing compact routing schemes for near-shortest paths in the local communication graph. We demonstrate that, for the case where the local communication graph is a unit-disc graph with n nodes that is realized in the plane and has no radio holes, we can deterministically compute a routing scheme that has constant stretch and uses labels and local routing tables of size O(log n) bits in only O(log n) rounds

Correcting Aberrations of a Transverse-Field Neutron Resonance Spin Echo Instrument

The neutron resonance spin echo (NRSE) technique has the potential to increase the Fourier time and energy resolution in neutron scattering by using radio-frequency (rf) neutron spin-flippers. However, aberrations arising from variations in the neutron path length between the rf flippers reduce the polarization. Here, we develop and test a transverse static-field magnet, a series of which are placed between the rf flippers, to correct for these aberrations. The prototype correction magnet was both simulated in an NRSE beamline using McStas, a Monte Carlo neutron ray-tracing software package, and measured using neutrons. The results from the prototype demonstrate that this static-field design corrects for transverse-field NRSE aberrations.Comment: 8 figures, 10 page

Potential Use of Bio-Oleogel as Phase Change Material

Two bio-oleogels were investigated. These materials were produced with a combination of canola and soybean oil with 4, 6, 8, and 10% of beeswax (by weight). Sensible heat storage capacity, melting parameters, and enthalpies were investigated by the differential scanning calorimetry (DSC) test. An ordinary DSC dynamic test was performed. Cycles of heating and cooling were performed, as well as tests with different heating rates. According to the results, the materials present a melting temperature between −16 to −12 °C and a total latent heat between 22.9 and 367.6 J/g. BC10 (canola oil with 10% beeswax) was the sample with the best performance, with a latent heat of 367.6 J/g and a melting temperature of −13.6 °C, demonstrating its possible use as a phase change material for cold storage

Behavioural Types for Heterogeneous Systems (Position Paper)

Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of behavioural types is that the current state of the art expects software to be written using the same tools and typing discipline throughout a system, and has little support for components over which a developer has no control. This position paper describes the outcomes of a working group discussion at Dagstuhl Seminar 24051 (Next-Generation Protocols for Heterogeneous Systems). We propose a methodology for integrating multiple behaviourally-typed components, written in different languages. Our proposed approach involves an extensible protocol description language, a session IR that can describe data transformations and boundary monitoring and which can be compiled into program-specific session proxies, and finally a session middleware to aid session establishment. We hope that this position paper will stimulate discussion on one of the most pressing challenges facing the widespread adoption of behavioural typing

Potential Use of Bio-Oleogel as Phase Change Material

Two bio-oleogels were investigated. These materials were produced with a combination of canola and soybean oil with 4, 6, 8, and 10% of beeswax (by weight). Sensible heat storage capacity, melting parameters, and enthalpies were investigated by the differential scanning calorimetry (DSC) test. An ordinary DSC dynamic test was performed. Cycles of heating and cooling were performed, as well as tests with different heating rates. According to the results, the materials present a melting temperature between −16 to −12 °C and a total latent heat between 22.9 and 367.6 J/g. BC10 (canola oil with 10% beeswax) was the sample with the best performance, with a latent heat of 367.6 J/g and a melting temperature of −13.6 °C, demonstrating its possible use as a phase change material for cold storage

The possibility of critical realist randomised controlled trials.

BACKGROUND: Some realists have criticised randomised controlled trials for their inability to explain the causal relations that they identify; to take into account the influence of the social context of the interventions they evaluate; and to account for individual difference. However, among realists, there is controversy over whether it is possible to improve trials by making them realist, or whether realism and the philosophical assumptions underlying trials are incompatible. This paper contributes to the debate in Trials on this issue. The debate thus far has concentrated on the possibility of combining trial methodology with that of realist evaluation. MAIN BODY: We concur with the contention that it is not feasible to combine randomised controlled trial design with the realist evaluation approach. However, we argue that a different variant of realism, critical realism, provides a more appropriate theoretical grounding for realist trials. In contrast to realist evaluation, which regards social mechanisms as an amalgam of social resources and people's reasoning, critical realism insists on their distinction. It does so on the basis of its assertion of the need to distinguish between social structures (in which resources lie) and human agency (which is at least partly guided by reasoning). From this perspective, conceiving of social mechanisms as external to participants can be seen as a valid methodological strategy for supplementing the exclusive concentration of trials on outcomes. While accepting realist evaluation's insistence that causality in open systems involves a configuration of multiple generative mechanisms, we adopt the critical realist interpretation of the experimental method, which sees it as creating artificial closure in order to identify the effects of specific causal mechanisms. If randomised controlled trials can be regarded as epidemiological proxies that substitute probabilistic controls over extraneous factors for closed experiments, their examination of the powers of discrete mechanisms through observation of the variation of outcomes is appropriate. CONCLUSION: While there are still issues to be resolved, critical realist randomised controlled trials are possible and have the potential to overcome some of the difficulties faced by traditional trial designs in accounting for the influence of social context and individual interpretation