214 research outputs found

    Circuit Complexity Meets Ontology-Based Data Access

    Full text link
    Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting. However, the size of the query may increase substantially during the reformulation. In this survey we review a recently developed framework on proving lower and upper bounds on the size of this reformulation by employing methods and results from Boolean circuit complexity.Comment: To appear in proceedings of CSR 2015, LNCS 9139, Springe

    Microscopic self-consistent theory of Josephson junctions including dynamical electron correlations

    Full text link
    We formulate a fully self-consistent, microscopic model to study the retardation and correlation effects of the barrier within a Josephson junction. The junction is described by a series of planes, with electronic correlation included through a local self energy for each plane. We calculate current-phase relationships for various junctions, which include non-magnetic impurities in the barrier region, or an interfacial scattering potential. Our results indicate that the linear response of the supercurrent to phase across the barrier region is a good, but not exact indicator of the critical current. Our calculations of the local density of states show the current-carrying Andreev bound states and their energy evolution with the phase difference across the junction. We calculate the figure of merit for a Josephson junction, which is the product of the critical current, Ic, and the normal state resistance, R(N), for junctions with different barrier materials. The normal state resistance is calculated using the Kubo formula, for a system with zero current flow and no superconducting order. Semiclassical calculations would predict that these two quantities are determined by the transmission probabilities of electrons in such a way that the product is constant for a given superconductor at fixed temperature. Our self-consistent solutions for different types of barrier indicate that this is not the case. We suggest some forms of barrier which could increase the Ic.R(N) product, and hence improve the frequency response of a Josephson device.Comment: 46 pages, 21 figure

    Sex and the Cinema: What American Pie Teaches the Young

    Get PDF
    This paper focuses upon the wildly successful blockbuster American Pie teenpics, especially American Pie 3 – the Wedding. I argue that these films, which are sited so securely within the visual and pedagogical machinery of Hollywood culture, are specifically designed to appeal to teenage male audiences, and to provide lessons in sex and romance. Movies like this are especially important as they are experienced by far more teenagers than, for example, instructional films or other classroom materials; indeed, as Henry Giroux has observed, "teens and youth learn how to define themselves outside of the traditional sites of instruction, such as the home and the school… Learning in the postmodern age is located elsewhere – in popular spheres that shape their identities, through forms of knowledge and desires that appear absent from what is taught in schools" (Giroux, 1997, p.49). In this paper I discuss whether the American Pie series is actually a "new age" effort which, via insubordinate performances of gender, contests the hegemonic field of signification which regulates the production of sex, gender and desire, or whether it is more accurately described as a retrogressive hetero-conservative opus with a veneer of sexual radicalism. In short, I intend to probe whether this filmic vector for sex education is all about the shaping of responsible, caring, vulnerable men, or is it guiding them to become just like their heterosexual, middle-class fathers? And whether, despite its riotous and raunchy advertising, American Pie really dishes up something spicy or something terribly wholesome instead

    Acceptable Masculinities: Working-Class Young Men and Vocational Education and Training Courses

    Get PDF
    <div><p>Theta burst stimulation (TBS) is thought to affect reward processing mechanisms, which may increase and decrease reward sensitivity. To test the ability of TBS to modulate response to strong primary rewards, participants hypersensitive to primary rewards were recruited. Twenty men and women with at least two opposite-sex, sexual partners in the last year received two forms of TBS. Stimulations were randomized to avoid order effects and separated by 2 hours to reduce carryover. The two TBS forms have been demonstrated to inhibit (continuous) or excite (intermittent) the left dorsolateral prefrontal cortex using different pulse patterns, which links to brain areas associated with reward conditioning. After each TBS, participants completed tasks assessing their reward responsiveness to monetary and sexual rewards. Electroencephalography (EEG) was recorded. They also reported their number of orgasms in the weekend following stimulation. This signal was malleable by TBS, where excitatory TBS resulted in lower EEG alpha relative to inhibitory TBS to primary rewards. EEG responses to sexual rewards in the lab (following both forms of TBS) predicted the number of orgasms experienced over the forthcoming weekend. TBS may be useful in modifying hypersensitivity or hyposensitivity to primary rewards that predict sexual behaviors. Since TBS altered the anticipation of a sexual reward, TBS may offer a novel treatment for sexual desire problems.</p></div

    Modeling Statistical Properties of Written Text

    Get PDF
    Written text is one of the fundamental manifestations of human language, and the study of its universal regularities can give clues about how our brains process information and how we, as a society, organize and share it. Among these regularities, only Zipf's law has been explored in depth. Other basic properties, such as the existence of bursts of rare words in specific documents, have only been studied independently of each other and mainly by descriptive models. As a consequence, there is a lack of understanding of linguistic processes as complex emergent phenomena. Beyond Zipf's law for word frequencies, here we focus on burstiness, Heaps' law describing the sublinear growth of vocabulary size with the length of a document, and the topicality of document collections, which encode correlations within and across documents absent in random null models. We introduce and validate a generative model that explains the simultaneous emergence of all these patterns from simple rules. As a result, we find a connection between the bursty nature of rare words and the topical organization of texts and identify dynamic word ranking and memory across documents as key mechanisms explaining the non trivial organization of written text. Our research can have broad implications and practical applications in computer science, cognitive science and linguistics

    Compiling SHIM

    Get PDF
    Embedded systems demand concurrency for supporting simultaneous actions in their environment and parallel hardware. Although most concurrent programming formalisms are prone to races and non-determinism, some, such as our SHIM (software/hardware integration medium) language, avoid them by design. In particular, the behavior of SHIM programs is scheduling-independent, meaning the I/O behavior of a program is independent of scheduling policies, including the relative execution rates of concurrent processes. The SHIM project demonstrates how a scheduling-independent language simplifies the design, optimization, and verification of concurrent systems. Through examples and discussion, we describe the SHIM language and code generation techniques for both shared-memory and message-passing architectures, along with some verification algorithms

    Variants in the fetal genome near FLT1 are associated with risk of preeclampsia.

    Get PDF
    : Preeclampsia, which affects approximately 5% of pregnancies, is a leading cause of maternal and perinatal death. The causes of preeclampsia remain unclear, but there is evidence for inherited susceptibility. Genome-wide association studies (GWAS) have not identified maternal sequence variants of genome-wide significance that replicate in independent data sets. We report the first GWAS of offspring from preeclamptic pregnancies and discovery of the first genome-wide significant susceptibility locus (rs4769613; P = 5.4 × 10(-11)) in 4,380 cases and 310,238 controls. This locus is near the FLT1 gene encoding Fms-like tyrosine kinase 1, providing biological support, as a placental isoform of this protein (sFlt-1) is implicated in the pathology of preeclampsia. The association was strongest in offspring from pregnancies in which preeclampsia developed during late gestation and offspring birth weights exceeded the tenth centile. An additional nearby variant, rs12050029, associated with preeclampsia independently of rs4769613. The newly discovered locus may enhance understanding of the pathophysiology of preeclampsia and its subtypes.<br/

    Effect of Age on Variability in the Production of Text-Based Global Inferences

    Get PDF
    As we age, our differences in cognitive skills become more visible, an effect especially true for memory and problem solving skills (i.e., fluid intelligence). However, by contrast with fluid intelligence, few studies have examined variability in measures that rely on one’s world knowledge (i.e., crystallized intelligence). The current study investigated whether age increased the variability in text based global inference generation–a measure of crystallized intelligence. Global inference generation requires the integration of textual information and world knowledge and can be expressed as a gist or lesson. Variability in generating two global inferences for a single text was examined in young-old (62 to 69 years), middle-old (70 to 76 years) and old-old (77 to 94 years) adults. The older two groups showed greater variability, with the middle elderly group being most variable. These findings suggest that variability may be a characteristic of both fluid and crystallized intelligence in aging
    corecore