4,937 research outputs found
Comments on 4-point functions in the CFT/AdS correspondence
We study the four--point function of chiral primaries corresponding to the
dilaton--axion sector in supergravity in the /CFT correspondence. We
find relations between some of the supergravity graphs and compute their
leading singularities. We discuss the issue of logarithmic singularities and
their significance for the OPE structure of the CFT.Comment: Latex, 12 pages, Some typos correcte
Intersectionality, Race-Gender Subordination, and Education
In this chapter, we unpack intersectionality as an analytical framework. First, we cite Black Lives Matter as an impetus for discussing intersectionality’s current traction. Second, we review the genealogy of “intersectionality” beginning with Kimberlé Crenshaw’s formulation, which brought a Black Studies provocation into legal discourse in order to challenge existing antidiscrimination doctrine and single-axis theorizing. The third, and most central, task of the chapter is our account of intersectionality’s utility for social analysis. We examine some of the issues raised by the metaphor of the intersection and some of the debates surrounding the concept, such as the tension between fragmenting and universalizing perspectives mediated by the notion of “strategic essentialism.” Fourth, we review how education researchers have explained race and gender subordination in education since Ladson-Billings and Tate’s Teachers College Record article. We conclude with some remarks concerning future research on intersectionality
Verifying Quantum Programs: From Quipper to QPMC
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main
aim of verifying Quipper programs. Quipper is an embedded functional
programming language for quantum computation. It is above all a circuit
description language, for this reason it uses the vector state formalism
and its main purpose is to make circuit implementation easy providing
high level operations for circuit manipulation. Quipper provides both an
high-level circuit building interface and a simulator. QPMC is a model
checker for quantum protocols based on the density matrix formalism.
QPMC extends the probabilistic model checker IscasMC allowing to formally verify properties specified in the temporal logic QCTL on Quantum
Markov Chains. We implemented and tested our transla
Are all pastures eligible for conservation? A phytosociological survey of the Sardinian–Corsican Province as a basic tool for the Habitats Directive
A consistent vegetation classification is an essential tool for conservation and monitoring purposes, also for semi-natural habitats such as pastures and hay meadows that are linked to traditional land use and generally considered crucial to maintain biodiversity within agricultural systems. Indeed, these habitats can be strongly affected by land abandonment or agriculture intensification. Despite their importance in the framework of the EU Habitats Directive (43/92/EEC), information on distribution, species composition, and conservation status is still lacking for many regions. To fill these gaps, we investigated from a phytosociological point of view the sheep pastures of the North-Western Sardinian trachy-basaltic sector. Three main communities were described as new: (i) perennial montane (meso-supratemperate) cattle and sheep pastures (Loto alpini- Festucetum morisianae); (ii) mixed (annual and perennial) Mediterranean (lower Thermomediterranean to lower supratemperate) sheep pastures (Ornithogalo corsici-Poetum bulbosae); and (iii) annual ploughed subnitrophilous Mediterranean and Temperate pastures (Cynosuro polybracteati-Vulpietum ligusticae). As the first two host numerous endemic taxa and show a peculiar floristic composition, we assign them a higher conservation value, testified also by their classification in two new syntaxa: Danthonio decumbentis-Caricenion insularis (Molinio-Arrhenatheretea) and Ornithogalo corsici-Trifolienion subterranei (Poetea bulbosae), respectively
- …