Greenhouse gas emissionsGreenhouse gas emissions (abbreviated as GHG emissions) from human activities strengthen the greenhouse effect, contributing to climate change. Carbon dioxide (), from burning fossil fuels such as coal, oil, and natural gas, is one of the most important factors in causing climate change. The largest emitters are China followed by the US, although the United States has higher emissions per capita. The main producers fueling the emissions globally are large oil and gas companies.
Greenhouse gas inventoryGreenhouse gas inventories are emission inventories of greenhouse gas emissions that are developed for a variety of reasons. Scientists use inventories of natural and anthropogenic (human-caused) emissions as tools when developing atmospheric models. Policy makers use inventories to develop strategies and policies for emissions reductions and to track the progress of those policies. Regulatory agencies and corporations also rely on inventories to establish compliance records with allowable emission rates.
Carbon accountingCarbon accounting (or greenhouse gas accounting) is a framework of methods to measure and track how much greenhouse gas (GHG) an organization emits. It can also be used to track projects or actions to reduce emissions in sectors such as forestry or renewable energy. Corporations, cities and other groups use these techniques to help limit climate change. Organizations will often set an emissions baseline, create targets for reducing emissions, and track progress towards them.
BiofuelBiofuel is a fuel that is produced over a short time span from biomass, rather than by the very slow natural processes involved in the formation of fossil fuels, such as oil. Biofuel can be produced from plants or from agricultural, domestic or industrial biowaste. The climate change mitigation potential of biofuel varies considerably, from emission levels comparable to fossil fuels in some scenarios to negative emissions in others. Biofuels are mostly used for transportation, but can also be used for heating and electricity.
Greenhouse gasGreenhouse gases are those gases in the atmosphere that raise the surface temperature of planets such as the Earth. What distinguishes them from other gases is that they absorb the wavelengths of radiation that a planet emits, resulting in the greenhouse effect. The Earth is warmed by sunlight, causing its surface to radiate heat, which is then mostly absorbed by water vapor (), carbon dioxide (), methane (), nitrous oxide (), and ozone (). Without greenhouse gases, the average temperature of Earth's surface would be about , rather than the present average of .
Carbon emission tradingEmission trading (ETS) for carbon dioxide (CO2) and other greenhouse gases (GHG) is a form of carbon pricing; also known as cap and trade (CAT) or carbon pricing. It is an approach to limit climate change by creating a market with limited allowances for emissions. This can lower competitiveness of fossil fuels and accelerate investments into low carbon sources of energy such as wind power and photovoltaics. Fossil fuels are the main driver for climate change. They account for 89% of all CO2 emissions and 68% of all GHG emissions.
Biofuel in AustraliaBiofuel is fuel that is produced from organic matter (biomass), including plant materials and animal waste. It is considered a renewable source of energy that can assist in reducing carbon emissions. The two main types of biofuel currently being produced in Australia are biodiesel and bioethanol, used as replacements for diesel and petrol (gasoline) respectively. As of 2017 Australia is a relatively small producer of biofuels, accounting for 0.2% of world bioethanol production and 0.1% of world biodiesel production.
Second-generation biofuelsSecond-generation biofuels, also known as advanced biofuels, are fuels that can be manufactured from various types of non-food biomass. Biomass in this context means plant materials and animal waste used especially as a source of fuel. First-generation biofuels are made from sugar-starch feedstocks (e.g., sugarcane and corn) and edible oil feedstocks (e.g., rapeseed and soybean oil), which are generally converted into bioethanol and biodiesel, respectively.
Issues relating to biofuelsThere are various social, economic, environmental and technical issues with biofuel production and use, which have been discussed in the popular media and scientific journals. These include: the effect of moderating oil prices, the "food vs fuel" debate, poverty reduction potential, carbon emissions levels, sustainable biofuel production, deforestation and soil erosion, loss of biodiversity, effect on water resources, the possible modifications necessary to run the engine on biofuel, as well as energy balance and efficiency.
Biofuel in SwedenBiofuels are renewable fuels that are produced by living organisms (biomass). Biofuels can be solid, gaseous or liquid, which comes in two forms: ethanol and biodiesel and often replace fossil fuels. Many countries now use biofuels as energy sources, including Sweden. Sweden has one of the highest usages of biofuel in all of Europe, at 32%, primarily due to the widespread commitment to E85, bioheating and bioelectricity.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sustainable biofuelSustainable biofuel is biofuel produced in a sustainable manner. It is not based on petroleum or other fossil fuels. It includes not using plants that are used for food stuff to produce the fuel thus disrupting the world's food supply. Low-carbon fuel standard In 2008, the Roundtable for Sustainable Biofuels released its proposed standards for sustainable biofuels. This includes 12 principles: "Biofuel production shall follow international treaties and national laws regarding such things as air quality, water resources, agricultural practices, labor conditions, and more.
Emissions tradingEmissions trading is a market-based approach to controlling pollution by providing economic incentives for reducing the emissions of pollutants. The concept is also known as cap and trade (CAT) or emissions trading scheme (ETS). Carbon emission trading for and other greenhouse gases has been introduced in China, the European Union and other countries as a key tool for climate change mitigation. Other schemes include sulfur dioxide and other pollutants.
Fossil fuelA fossil fuel is a hydrocarbon-containing material such as coal, oil, and natural gas, formed naturally in the Earth's crust from the remains of dead plants and animals that is extracted and burned as a fuel. Fossil fuels may be burned to provide heat for use directly (such as for cooking or heating), to power engines (such as internal combustion engines in motor vehicles), or to generate electricity. Some fossil fuels are refined into derivatives such as kerosene, gasoline and propane before burning.
Fossil fuel phase-outFossil fuel phase-out is the gradual reduction of the use and production of fossil fuels to zero, to reduce deaths and illness from air pollution, limit climate change, and strengthen energy independence. It is part of the ongoing renewable energy transition. Although many countries are shutting down coal-fired power stations, electricity generation is not moving off coal fast enough to meet climate goals. Many countries have set dates to stop selling petrol and diesel cars and trucks, but a timetable to stop burning fossil gas has not yet been agreed.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Energy securityEnergy security is the association between national security and the availability of natural resources for energy consumption (as opposed to household energy insecurity). Access to cheaper energy has become essential to the functioning of modern economies. However, the uneven distribution of energy supplies among countries has led to significant vulnerabilities. International energy relations have contributed to the globalization of the world leading to energy security and energy vulnerability at the same time.
Energy transitionAn energy transition (or energy system transformation) is a significant structural change in an energy system regarding supply and consumption. Currently, a transition to sustainable energy (mostly renewable energy) is underway to limit climate change. It is also called renewable energy transition. The current transition is driven by a recognition that global greenhouse-gas emissions must be drastically reduced. This process involves phasing-down fossil fuels and re-developing whole systems to operate on low carbon electricity.
Primary energyPrimary energy (PE) is the energy found in nature that has not been subjected to any human engineered conversion process. It encompasses energy contained in raw fuels and other forms of energy, including waste, received as input to a system. Primary energy can be non-renewable or renewable. Primary energy is used in energy statistics in the compilation of energy balances, as well as in the field of energetics. In energetics, a primary energy source (PES) refers to the energy forms required by the energy sector to generate the supply of energy carriers used by human society.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
