14 Hits in 4.2 sec

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis [chapter]

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
2009 Lecture Notes in Computer Science  
Our method can easily be used to bound any countable resource, without needing to revisit proofs.  ...  In this paper, we present a fully automatic static type-based analysis for inferring upper bounds on resource usage for programs involving general algebraic datatypes and full recursion.  ...  Acknowledgements We thank Hugo Simões and our anonymous reviewers for their useful comments, and Christoph Herrmann for performing measurements on the Renesas architecture.  ... 
doi:10.1007/978-3-642-05089-3_23 fatcat:fpd3mgkd3fh4po6ucg37kbxw5y

Credits trading mechanism for corporate social responsibility: an empirically grounded framework

Shantesh Hede, Manuel José Lopes Nunes, Paula Ferreira
2014 International journal of technological learning, innovation and development  
The motivation to structure this framework derives from contemporary market-based mechanisms of emissions trading (or carbon/credits/offsets) and renewable energy credits (RECs).  ...  This is in direct contrast to emissions trading mechanism in which carbon credits/offsets are purchased by parties who desire to release a corresponding quantity of emissions above the permitted cap.  ...  The stated credits trading mechanism is inspired from frameworks used in REC and emissions trading of carbon credits/certified emission reductions (CERs) (Gillenwater and Seres, 2011; US Department of  ... 
doi:10.1504/ijtlid.2014.064702 fatcat:il5eym6v5zatfhuglrl4mlo5um

08061 Abstracts Collection – Types, Logics and Semantics for State

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 "Types, Logics and Semantics for State" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.  ...  Keywords: Types, Logic, Pi-calculus, Hennessy-Milner Logic, state, session types Joint work of: Berger, Martin; Yoshida, Nobuko; Honda, Kohei Carbon credits for resource bounded computation Steen Jost  ...  Keywords: Type systems, Program Analysis, Resource bounded computation, Amortised Analysis Reading, Writing and Relations: Towards Extensional Semantics for Eect Analyses Andrew Kennedy (Microsoft Research  ... 
doi:10.4230/dagsemproc.08061.1 fatcat:bbpfhggwqfh7rn3edze5ou2iza

The market (in-)stability reserve for EU carbon emission trading: Why it might fail and how to improve it

Jörn C. Richstein, Émile J.L. Chappin, Laurens J. de Vries
2015 Utilities Policy  
Using an agent-based electricity market simulation with endogenous investment and a CO 2 market (including banking), we analyse the backloading reform and the proposed MSR.  ...  Our simulations indicate that the triggers of the proposed MSR appear to be set too low for the hedging need of power producers, effectively leading to a stricter cap in its initial 10e15 years of operation  ...  We would like to thank the participants for their helpful comments and discussion. We would also like to thank two anonymous reviewers and the editor for their helpful comments and suggestions.  ... 
doi:10.1016/j.jup.2015.05.002 fatcat:5x7veh4atjctdp6q3qllx7xyl4

An Analysis of Economic Performance and Issues of Indian Banking Sector

, ,
2020 MUDRA Journal of Finance and Accounting  
The provisions of this section will not be applicable to domestic companies and certain funds, trusts, institutions, etc.  Gross income received from transfer of carbon credits proposed to be taxed at  ...  .  India CPSEs like IRCTC, IRFC, IRCON to be listed on the exchanges in a time bound manner. Government will continue to use ETF as a vehicle for further disinvestment of shares.  ... 
doi:10.17492/jpi.mudra.v7i2.722032 fatcat:bxp722lb6zcovg2cjpmqn5fedi

How smart growth and green infrastructure can mutually support each other — A conceptual framework for compact and green cities

Martina Artmann, Manon Kohler, Gotthard Meinel, Jing Gan, Ioan-Cristian Ioja
2017 Ecological Indicators  
This series is designed to make available to a wider readership selected studies on regional development issues prepared for use within the OECD.  ...  CDM allows developed countries to purchase carbon credits from emission reduction projects in developing countries, and JI from emission projects in other developed countries. 27.  ...  Uncertainty about the future of global or national/regional carbon markets has slowed the growth of this sector, however, and in some cases, firms have shifted their carbon credit trading operations from  ... 
doi:10.1016/j.ecolind.2017.07.001 fatcat:ieweizk7kbhgbmglxiyp6jgrna

Developing a framework for the optimal deployment of negative emissions technologies

Mathilde Clemence Fajardy, Niall Mac Dowell, Imperial College London
consideration for all impacts when assessing the performance of a BECCS project.  ...  Given the range of potential outcomes, it is crucial to understand how, if at all, this technology can be deployed in a way which minimises its cost and impact on natural resources and ecosystems, while  ...  Finally, in the case of a global deployment of an unintegrated BECCS value chain, this carbon crediting scheme would also need to acknowledge the diversity of stakeholders -biomass production, power generation  ... 
doi:10.25560/80691 fatcat:222e3g3lyvfvlayzbrgzx4quwu

Identified best environmental management practices to improve the energy performance of the retail trade sector in Europe

Jose-Luis Galvez-Martos, David Styles, Harald Schoenberger
2013 Energy Policy  
Coop Switzerland does this with Fairtrade roses sourced from Kenya, and buys carbon credits to offset transport CO 2 emissions (Coop Switzerland, 2010).  ...  , enforced through analysis of products for residues.  ...  Practices in Pakistan Training of facilitators, Farmer Field Schools (FFS) and Resource Centres (RC) have been demonstrated as an effective means for the dissemination of Better Management Practices (  ... 
doi:10.1016/j.enpol.2013.08.061 fatcat:7z3chnzlwrc4rgxyuoetuktapm

An analysis of Malaysia's corporate income tax expenditures and negative income tax expenditures using accounting standards as the benchmark tax base

Salwa Hana Yussof
Tax expenditure reporting and analysis has been a regular practice among many countries in the world, especially in developed countries, to ensure efficient and effective allocation of government resources  ...  This thesis sets a foundation for tax expenditure reporting and analysis in Malaysia by identifying and analysing tax expenditures of Malaysia's corporate income tax arising from all sources of tax law  ...  However, while accounting allows the cost to be amortised over the asset's useful life, no similar treatment is proposed for calculation of tax.  ... 
doi:10.4225/03/58b60f4f82118 fatcat:lqagryjyyfdmbltwo6q6hdlbfe

Trans-Mediterranean Interconnection for Concentrating Solar Power Final Report TRANS-CSP Team Index of the TRANS-CSP Report

German, Franz Trieb, German Aerospace, Franz Trieb, Christoph Schillings, Stefan Kronshage, Peter Viebahn, Nadine May, Christian Paul, Eng Malek, Kabariti, Khaled Daoud (+5 others)
2006 unpublished
further cost reduction by carbon credits) and their high flexibility for base-, intermediate-and peak load operation.  ...  Furthermore, the dataset used for the visibility analysis is rated uncertain.  ... 

Critical oil Politics : Governing oil in left turn Latin America [article]

Carlos Morreo Boada, University, The Australian National
The research project offers an analysis of contemporary instances of critical oil politics taken from Latin America and the Caribbean.  ...  credits.  ...  a demonstration of developed countries' willingness to share the (financial) burden of protecting shared global resources', the revised proposal sought 'to operationalise the payments in terms of carbon  ... 
doi:10.25911/5f85747a3002b fatcat:nmv4rh645jfkzipi6pz6n56yka

An application guideline for the fair value accounting of biological assets

Marilene Van Biljon
Professors Scott and Wingard, thank you for your guidance, patience and support. I  ...  Table 5 . 5 9: Emission gas explanations required in environmental reports Item Required explanation 1 21For purchased carbon credits, state the reduction in tonnes of carbon dioxide per year.22State  ...  This information was not used for purposes other than for the analysis in this study.  ... 

Innovation and the City: Challenges for the Built Environment Industry

Simon Pinnegar, Jane Marceau, Bill Randolph
In part, the drivers of change will be ongoing: a continuation of issues that cities struggle to mediate, for example the challenges of housing affordability and social inclusion.  ...  Given the timescales involved in financing, designing and delivering the built environment, decisions made over the coming years will be fundamental in establishing frameworks for next generation best  ...  Lend Lease and Origin Energy are working together to create new markets, developing a mechanism that will enable the global property industry to measure and sell carbon credits achieved through energy  ... 
doi:10.26190/unsworks/561 fatcat:ube3w7bmszhavhn2gctrx5b3im

Carbon pricing and taxation: an examination of the taxation of emissions trading transactions from a domestic and international perspective

Celeste Marie Black
The first is the treatment of relevant transactions for financial accounting purposes.  ...  The economic arguments in support of the use of emissions trading schemes as a mechanism to reduce harmful greenhouse gas emissions rely on the ability of the schemes to internalise the cost of the pollution  ...  in 2014. 6 As a consequence, many of the income tax provisions related to emission units were maintained as they will still apply to Australian carbon credit units (ACCUs) issued under the Emissions  ... 
doi:10.25949/19441712 fatcat:lrxfw2sz5nfdfkrensdivpjcny