Side Payments of Exceptions: The Implications for Equitable and Efficient Climate Control

The Kyoto Protocol prioritizes equity in international climate control by exempting developing countries from compulsory emissions reductions, though at a loss to efficiency. Using game theoretic models, this paper demonstrates that an efficient climate treaty must provide side payments to countries with lower marginal abatement costs and (or) benefits to induce their cooperation. Therefore, if an efficient treaty directs side payments to developing countries to induce their participation, the treaty may also achieve equity in climate control. Policy makers should remember the equity and efficiency implications of side payments as extensions and/or alternatives to the Kyoto Protocol are considered.

Comparative Investigations of Social Context-Dependent Dominance in Captive Chimpanzees (Pan troglodytes) and Wild Tibetan Macaques (Macaca thibetana)

Theoretical definitions of dominance, how dominance is structured and organized in nature, and how dominance is measured have varied as investigators seek to classify and organize social systems in gregarious species. Given the variability in behavioral measures and statistical methods used to derive dominance rankings, we conducted a comparative analysis of dominance using existing statistical techniques to analyze dominance ranks, social context-dependent dominance structures, the reliability of statistical analyses, and rank predictability of dominance structures on other social behaviors. We investigated these topics using behavioral data from captive chimpanzees (Pan troglodytes) and wild Tibetan macaques (Macaca thibetana). We used a combination of all-occurrence, focal-animal, and instantaneous scan sampling to collect social, agonistic, and associative data from both species. We analyzed our data to derive dominance ranks, test rank reliability, and assess cross-context predictability using various statistical analyses. Our results indicate context-dependent dominance and individual social roles in the captive chimpanzee group, one broadly defined dominance structure in the Tibetan macaque group, and high within-context analysis reliability but little cross-context predictability. Overall, we suggest this approach is preferable over investigations of dominance where only a few behavioral metrics and statistical analyses are utilized with little consideration of rank reliability or cross-context predictability

Tourist Behavior and Decibel Levels Correlate with Threat Frequency in Tibetan Macaques (Macaca thibetana) at Mt. Huangshan, China

Tourism is a common component of management practices directed toward endangered species and habitats, but few studies have explored the potential stressors that may occur to nonhumans as objects of tourism. We examined the impact that tourists have on provisioned, habituated Tibetan macaques (Macaca thibetana). Data were collected during August 2005 at the Valley of the Wild Monkeys (VWM), Mt. Huangshan, China. From a tourist viewing platform, we measured tourist densities, behaviors (for example, foot, hand, and mouth noises; mimicking monkeys; throwing objects or food), and decibel levels. Frequencies of monkey threats in the provisioning area of their range were recorded. The tourists\u27 collective behaviors correlated with monkey threats (Pearson\u27s correlations; r=0.391, p=0.014), as did decibel levels on the viewing platform (r=0.334, p=0.038). No relationship between tourist density and monkey threats, or between particular tourist behaviors and monkey threats, was significant. Based on these results, we recommend park staff be trained on how to discourage noise often associated with tourists and regulate prohibited tourist behaviors, such as feeding the monkeys. Enforcement of park rules will decrease chances that tourist-monkey interactions at VWM will escalate into situations where injuries occur, as has happened at some other macaque tourism sites. Finally, we suggest the development of tourist education materials

The neural correlates of emotion regulation by implementation intentions

Several studies have investigated the neural basis of effortful emotion regulation (ER) but the neural basis of automatic ER has been less comprehensively explored. The present study investigated the neural basis of automatic ER supported by ‘implementation intentions’. 40 healthy participants underwent fMRI while viewing emotion-eliciting images and used either a previously-taught effortful ER strategy, in the form of a goal intention (e.g., try to take a detached perspective), or a more automatic ER strategy, in the form of an implementation intention (e.g., “If I see something disgusting, then I will think these are just pixels on the screen!”), to regulate their emotional response. Whereas goal intention ER strategies were associated with activation of brain areas previously reported to be involved in effortful ER (including dorsolateral prefrontal cortex), ER strategies based on an implementation intention strategy were associated with activation of right inferior frontal gyrus and ventro-parietal cortex, which may reflect the attentional control processes automatically captured by the cue for action contained within the implementation intention. Goal intentions were also associated with less effective modulation of left amygdala, supporting the increased efficacy of ER under implementation intention instructions, which showed coupling of orbitofrontal cortex and amygdala. The findings support previous behavioural studies in suggesting that forming an implementation intention enables people to enact goal-directed responses with less effort and more efficiency

Assisted coverage closure

Malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain specific guidance, such as ISO26262 for automotive safety. This paper describes academic and industrial co-operation in tool development to support one of the most stringent of the requirements --- achieving full code coverage in requirements-driven testing. We present a verification workflow supported by a tool that integrates the coverage measurement tool RapiCover with the test-vector generator FShell. The tool assists closing the coverage gap by providing the engineer with test vectors that help in debugging coverage-related code quality issues and creating new test cases, as well as justifying the presence of unreachable parts of the code in order to finally achieve full effective coverage according to the required criteria. We illustrate the tool's practical utility on automotive industry benchmarks. It generates 8 times more MC/DC coverage than random search

Formal Verification of a Rover Anti-collision System

In this paper, we integrate inductive proof, bounded model checking, test case generation and equivalence proof techniques to verify an embedded system. This approach is implemented using Systerel Smart Solver (S3) toolset. It is applied to verify properties at system, software, and code levels. The verification process is illustrated on an anti-collision system (ARP for Automatic Rover Protection) implemented on-board a rover. Focus is placed on the verification of safety and functional properties and the proof of equivalence between the design model and the generated code

Methods of Generating Submicrometer Phase-Shift Perfluorocarbon Droplets for Applications in Medical Ultrasonography

Continued advances in the field of ultrasound and ultrasound contrast agents have created new approaches to imaging and medical intervention. Phase-shift perfluorocarbon droplets, which can be vaporized by ultrasound energy to transition from the liquid to the vapor state, are one of the most highly researched alternatives to clinical ultrasound contrast agents (i.e., microbubbles). In this paper, part of a special issue on methods in biomedical ultrasonics, we survey current techniques to prepare ultrasound-activated nanoscale phase-shift perfluorocarbon droplets, including sonication, extrusion, homogenization, microfluidics, and microbubble condensation. We provide example protocols and discuss advantages and limitations of each approach. Finally, we discuss best practice in characterization of this class of contrast agents with respect to size distribution and ultrasound activation

Intracellular delivery and ultrasonic activation of folate receptor-targeted phase-change contrast agents in breast cancer cells in vitro

Breast cancer is a diverse and complex disease that remains one of the leading causes of death among women. Novel, outside-of-the-box imaging and treatment methods are needed to supplement currently available technologies. In this study, we present evidence for the intracellular delivery and ultrasound-stimulated activation of folate receptor (FR)-targeted phase-change contrast agents (PCCAs) in MDA-MB-231 and MCF-7 breast cancer cells in vitro. PCCAs are lipid-coated, perfluorocarbon-filled particles formulated as nanoscale liquid droplets capable of vaporization into gaseous microbubbles for imaging or therapy. Cells were incubated with 1:1 decafluorobutane (DFB) / octafluoropropane (OFP) PCCAs for 1 hour, imaged via confocal microscopy, exposed to ultrasound (9 MHz, MI = 1.0 or 1.5), and imaged again after insonation. FR-targeted PCCAs were observed intracellularly in both cell lines, but uptake was significantly greater (p < 0.001) in MDA-MB-231 cells (93.0% internalization at MI = 1.0, 79.5% at MI = 1.5) than MCF-7 cells (42.4% internalization at MI = 1.0, 35.7% at MI = 1.5). Folate incorporation increased the frequency of intracellular PCCA detection 45-fold for MDA-MB-231 cells and 7-fold for MCF-7 cells, relative to untargeted PCCAs. Intracellularly activated PCCAs ranged from 500 nm to 6 microns (IQR = 800 nm – 1.5 microns) with a mean diameter of 1.15 ± 0.59 (SD) microns. The work presented herein demonstrates the feasibility of PCCA intracellular delivery and activation using breast cancer cells, illuminating a new platform toward intracellular imaging or therapeutic delivery with ultrasound