436 research outputs found

    Targeting deforestation rates in climate change policy: a "Preservation Pathway" approach

    Get PDF
    We present a new methodological approach to incorporating deforestation within the international climate change negotiating regime. The approach, called "Preservation Pathway" combines the desire for forest preservation with the need to reduce emissions associated with forest loss by focusing on the relative rate of change of forest cover as the criteria by which countries gain access to trading preserved forest carbon stocks. This approach avoids the technically challenging task of quantifying historical or future deforestation emission baselines. Rather, it places emphasis on improving quantification of contemporary stocks and the relative decline in deforestation rates necessary to preserve those stocks. This approach places emphasis on the complete emissions trajectory necessary to attain an agreed-upon preserved forest and as such, meets both forest conservation and climate goals simultaneously

    A Rational Deconstruction of Landin's SECD Machine with the J Operator

    Full text link
    Landin's SECD machine was the first abstract machine for applicative expressions, i.e., functional programs. Landin's J operator was the first control operator for functional languages, and was specified by an extension of the SECD machine. We present a family of evaluation functions corresponding to this extension of the SECD machine, using a series of elementary transformations (transformation into continu-ation-passing style (CPS) and defunctionalization, chiefly) and their left inverses (transformation into direct style and refunctionalization). To this end, we modernize the SECD machine into a bisimilar one that operates in lockstep with the original one but that (1) does not use a data stack and (2) uses the caller-save rather than the callee-save convention for environments. We also identify that the dump component of the SECD machine is managed in a callee-save way. The caller-save counterpart of the modernized SECD machine precisely corresponds to Thielecke's double-barrelled continuations and to Felleisen's encoding of J in terms of call/cc. We then variously characterize the J operator in terms of CPS and in terms of delimited-control operators in the CPS hierarchy. As a byproduct, we also present several reduction semantics for applicative expressions with the J operator, based on Curien's original calculus of explicit substitutions. These reduction semantics mechanically correspond to the modernized versions of the SECD machine and to the best of our knowledge, they provide the first syntactic theories of applicative expressions with the J operator

    Towards structured state threading in prolog

    Get PDF
    It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation of the state information among predicate calis. To partly solve these problems, we introduce contexts as a consistent mechanism for specifying implicit arguments and its threading in clause goals. We propose a notation and an interpretation for contexts, ranging from single goals to complete programs, give an intuitive semantics, and describe a translation into standard Prolog. We also discuss a particular light-weight implementation in Ciao Prolog, and we show the usefulness of our proposals on a series of examples and applications, including code directiy using contexts, DCGs, extended DCGs, logical loops and other custom control structures

    Into the Woods: Toward a Material Poetics of the Tropical Forest in Philippine Literature

    Get PDF
    This study considers how the tropical forest as a material and discursive space mediates the ways in which history is imagined in Philippine literary texts and literary production. Mobilizing ideas from new materialism, material poetics, and tropicality, the paper looks at generative moments from indigenous and revolutionary literature—two broad traditions whose conditions of possibility are inextricably linked with the materiality of the tropical forest and thus inevitably evince the structuring force of such nonhuman agencies and subjectivities. By disclosing how the “more than human” is constitutive of history and historical subject formation, it seeks to foreground the agency of Philippine forests in actively and collaboratively contesting the catastrophic violence of capital and state-making on people and the natural world

    Niche construction as a theoretical tool in the ethnographic analysis from a naturalistic perspective

    Get PDF
    In this work, we intend to move discussion forward on the heuristic role of the concept of niche construction for the review of the human/environment dichotomy by considering the interaction between biotic and abiotic components inspecific environments. We will examine an ethnographic case study which explores the perception of the landscape and its use by different human groups (Mbyá-Guaraní and descendants of European colonos) that inhabit a territory withcommon biophysical features: The Paranaense forest in Northeastern Argentina. According to these narratives, the consideration of the monte is closely related to the modes of interaction with the natural environment resulting from theirdaily subsistence practices. This comparative study shows how the monte has been differentially built and valued in the course of this interaction.Fil: Crivos, Marta Alicia. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. Laboratorio de Investigaciones en Etnografía Aplicada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; ArgentinaFil: Lamas, Susana Gisela. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. Área Antropológica; ArgentinaFil: Dressino, Vicente. Universidad Nacional de La Plata. Facultad de Ciencias Naturales y Museo. Área Antropológica; Argentin

    Singer’s Notion of Speciesism: A Case for Animal Rights in Ejagham Culture

    Get PDF
    This work is an examination of Peter Singer’s notion of speciesism: case for animal rights in Ejagham culture. It primarily deals with an evaluation of the phenomenon of animal rights from the standpoint of Peter Singer’s notion of speciesism. Singer’s notion of speciesism deals with the moral obligation humans owe to animals as against the bias or prejudice that humanity has greater moral worth than non-human animals. Most opponents of speciesism contend that, animals are not members of the moral community as such humans have no moral obligation to them. Contrary to this view, proponents of speciesism argue that animals are capable of suffering and should be considered morally. Thus, the emphasis here is that just like many societies of the world, the Ejagham people are guilty of speciesism. Among the several ways by which speciesism is practiced, this work identifies hunting, deforestation, bush burning and fishing as ways by which the Ejagham people are guilty. Using the tool of critical analysis, evaluation and prescription, this work submits that animals have interest, as such, should be granted rights

    Ecological resources within Advaita Vedanta

    Get PDF
    The world, in which we live, stands at a precipice. Ecological disasters now threaten the very existence of human civilization. The so called shallow\u27 environmental initiatives that continue to dominate the political and social landscape have proved ineffective in dealing with this problem. It is crucial that all of humanity actively embrace radical change in regards to how we go about our lives. No where is this more apparent than in the Indian subcontinent. Two radical ecologies that have emerged from the West, Deep Ecology and Social Ecology, offer a vision as to the nature of that change. This document examines Advaita Vedanta, the dominant form of Hinduism, in order to identify those aspects of the religion that facilitate radical ecological change among believers. Activists working in the subcontinent can then utilize these aspects of Advaita to engage the Indian population regarding ecological matters in a Hindu way
    corecore