The Political Economy of Indirect Control

This paper characterizes the efficient sequential equilibrium when a government uses indirect control to exert its authority. We develop a dynamic principal-agent model in which a principal (a government) delegates the prevention of a disturbance—such as riots, protests, terrorism, crime, or tax evasion—to an agent who has an advantage in accomplishing this task. Our setting is a standard dynamic principal-agent model with two additional features. First, the principal is allowed to exert direct control by intervening with an endogenously determined intensity of force which is costly to both players. Second, the principal suffers from limited commitment. Using recursive methods, we derive a fully analytical characterization of the likelihood, intensity, and duration of intervention. The first main insight from our model is that repeated and costly interventions are a feature of the efficient equilibrium. This is because they serve as a punishment to induce the agent into desired behavior. The second main insight is a detailed analysis of a fundamental tradeoff between the intensity and duration of intervention which is driven by the principal’s inability to commit. Finally, we derive sharp predictions regarding the impact of various factors on likelihood, intensity, and duration of intervention. We discuss these results in the context of some historical episodes.

Competitive Retro-Cycloaddition Reaction in Fullerene Dimers Connected through Pyrrolidino-pyrazolino Rings

International audienc

Power and limitations of the chloroplast trnL (UAA) intron for plant DNA barcoding

DNA barcoding should provide rapid, accurate and automatable species identifications by using a standardized DNA region as a tag. Based on sequences available in GenBank and sequences produced for this study, we evaluated the resolution power of the whole chloroplast trnL (UAA) intron (254–767 bp) and of a shorter fragment of this intron (the P6 loop, 10–143 bp) amplified with highly conserved primers. The main limitation of the whole trnL intron for DNA barcoding remains its relatively low resolution (67.3% of the species from GenBank unambiguously identified). The resolution of the P6 loop is lower (19.5% identified) but remains higher than those of existing alternative systems. The resolution is much higher in specific contexts such as species originating from a single ecosystem, or commonly eaten plants. Despite the relatively low resolution, the whole trnL intron and its P6 loop have many advantages: the primers are highly conserved, and the amplification system is very robust. The P6 loop can even be amplified when using highly degraded DNA from processed food or from permafrost samples, and has the potential to be extensively used in food industry, in forensic science, in diet analyses based on feces and in ancient DNA studies

Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

A System F accounting for scalars

The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for the linear-algebraic lambda-calculus. We show that this "scalar" type system enjoys both the subject-reduction property and the strong-normalisation property, our main technical results. The latter yields a significant simplification of the linear-algebraic lambda-calculus itself, by removing the need for some restrictions in its reduction rules. But the more important, original feature of this scalar type system is that it keeps track of 'the amount of a type' that is present in each term. As an example of its use, we shown that it can serve as a guarantee that the normal form of a term is barycentric, i.e that its scalars are summing to one

Species indicators of ecosystem recovery after reducing large herbivore density: Comparing taxa and testing species combinations

Indicator species have been used successfully for estimating ecosystem integrity, but comparative studies for defining optimal taxonomic group remain scarce. Furthermore, species combinations may constitute more integrative tools than single species indicators, but case studies are needed to test their efficiency. We used Indicator Species Analysis, which statistically determines the association of species to one or several groups of sites, to obtain indicators of ecosystem recovery after various deer density reductions. We used five taxonomic groups: plants, carabid beetles, bees, moths and songbirds. To test whether species combinations could complement single indicator species, we used plants as a model taxon and examined the indicator value of joint occurrence of two or three plant species. Our study relies on experimental controlled browsing enclosures established for six years on Anticosti Island (Quebec). Four levels of deer density (0, 7.5 and 15 deer km−2 and natural densities between 27 and 56 deer km−2) were studied in two vegetation cover types (uncut forests and cut-over areas), in a full factorial design for a total of eight experimental treatments. For all taxa but bees, we tested 54 treatment groups consisting in one specific density or in a sequence of two or more consecutive deer densities in one or both cover types (ten groups for bees, sampled only in cut-over areas). We found 12 plants, 11 moths and one songbird to be single species indicators of ecosystem conditions obtained under 12 different treatment groups. Six treatment groups were indicated by plants and six different ones by moths, of which one group was also identified by a songbird species. Moths were thus worth the extra sampling effort, especially since the groups they indicated were more treatment-specific (mainly one or two deer density treatments). We tested the same 54 treatment groups for plant species combinations represented by two or three co-occurring species. Plant combinations efficiently complemented plant singletons for detecting ecosystem conditions obtained under various deer densities. In fact, although singletons were highly predictive, 17 additional treatment groups were identified exclusively with two- and three-species combinations, some being more treatment-specific. Our findings show that plants and moths provide complementary indicators of ecosystem conditions under various deer densities, and that computing species combinations increases our capacity to monitor ecosystem recovery after reducing herbivore densities.Funding was provided by the Natural Sciences and Engineering Research Council of Canada (NSERC)-Produits forestiers Anticosti Industrial Chair to SDC, the Ministère des Ressources Naturelles et de la Faune du Québec, the Canadian Forest Service of Natural Resources Canada and an NSERC scholarship to MB and NSERC DG to MP and SP. We are grateful to the Centre de la Science de la Biodiversité du Québec and Centre d’études nordiques for scholarships

Gas phase stabiliser-free production of hydrogen peroxide using supported gold-palladium catalysts

Hydrogen peroxide synthesis from hydrogen and oxygen in the gas phase is postulated to be a key reaction step in the gas phase epoxidation of propene using gold–titanium silicate catalysts. During this process H2O2 is consumed in a secondary step to oxidise an organic molecule so is typically not observed as a reaction product. We demonstrate that using AuPd nanoparticles, which are known to have high H2O2 synthesis rates in the liquid phase, it is possible to not only oxidise organic molecules in the gas phase but to detect H2O2 for the first time as a reaction product in both a fixed bed reactor and a pulsed Temporal Analysis of Products (TAP) reactor without stabilisers present in the gas feed. This observation opens up possibility of synthesising H2O2 directly using a gas phase reaction

A review of the characteristics of dietary fibers relevant to appetite and energy intake outcomes in human intervention trials

Background: Many intervention studies have tested the effect of dietary fibers (DFs) on appetite-related outcomes, with inconsistent results. However, DFs comprise a wide range of compounds with diverse properties, and the specific contribution of these to appetite control is not well characterized. Objective: The influence of specific DF characteristics [i.e., viscosity, gel-forming capacity, fermentability, or molecular weight (MW)] on appetite-related outcomes was assessed in healthy humans. Design: Controlled human intervention trials that tested the effects of well-characterized DFs on appetite ratings or energy intake were identified from a systematic search of literature. Studies were included only if they reported 1) DF name and origin and 2) data on viscosity, gelling properties, fermentability, or MW of the DF materials or DF-containing matrixes. Results: A high proportion of the potentially relevant literature was excluded because of lack of adequate DF characterization. In total, 49 articles that met these criteria were identified, which reported 90 comparisons of various DFs in foods, beverages, or supplements in acute or sustained-exposure trials. In 51 of the 90 comparisons, the DF-containing material of interest was efficacious for ≥1 appetiterelated outcome. Reported differences in material viscosity, MW, or fermentability did not clearly correspond to differences in efficacy, whereas gel-forming DF sources were consistently efficacious (but with very few comparisons). Conclusions: The overall inconsistent relations of DF properties with respect to efficacy may reflect variation in measurement methodology, nature of the DF preparation and matrix, and study designs. Methods of DF characterization, incorporation, and study design are too inconsistent to allow generalized conclusions about the effects of DF properties on appetite and preclude the development of reliable, predictive, structure-function relations. Improved standards for characterization and reporting of DF sources and DF-containing materials are strongly recommended for future studies on the effects of DF on human physiology

Analysing diet of small herbivores: the efficiency of DNA barcoding coupled with high-throughput pyrosequencing for deciphering the composition of complex plant mixtures

Background In order to understand the role of herbivores in trophic webs, it is essential to know what they feed on. Diet analysis is, however, a challenge in many small herbivores with a secretive life style. In this paper, we compare novel (high-throughput pyrosequencing) DNA barcoding technology for plant mixture with traditional microhistological method. We analysed stomach contents of two ecologically important subarctic vole species, Microtus oeconomus and Myodes rufocanus, with the two methods. DNA barcoding was conducted using the P6-loop of the chloroplast trnL (UAA) intron. Results Although the identified plant taxa in the diets matched relatively well between the two methods, DNA barcoding gave by far taxonomically more detailed results. Quantitative comparison of results was difficult, mainly due to low taxonomic resolution of the microhistological method, which also in part explained discrepancies between the methods. Other discrepancies were likely due to biases mostly in the microhistological analysis. Conclusion We conclude that DNA barcoding opens up for new possibilities in the study of plant-herbivore interactions, giving a detailed and relatively unbiased picture of food utilization of herbivores