Population-environment studies have implicitly permeated demography but only until the mid-20 century has the debate been rekindled and research expanded. This article reviews the origins and history of the population-environment debate and attempts to provide insight into the most recent approaches and methodology. Beginning with the most traditional relationships established between demograph...

Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita.

Limited time and resources remain to constrain the climate crisis. Natural solutions represent promising options protect, manage restore natural lands for additional mitigation, but they differ in (1) magnitude (2) immediacy of mitigation potential, as well (3) cost-effectiveness (4) co-benefits offer. Counter an emerging preference restoration, we use these four criteria propose a general rule...

protecting the environment is becoming one of the most important concerns of the developed and developing countries. reclamation of msw landfills, which are sources of many pollutants including leachate and greenhouse gases, would be very valuable in saving the resources and reducing the pollution scale. in the current article the potential for use of reclaimed waste in rdf production has been ...