Land and its Uses — Actual and Potential


Book Description

During its existence the Ecosciences Panel of the North Atlantic Treaty Organisation was constantly concerned with (i) the communic ation gap between the generators of ecological/environmental infor mation and those who use it and (ii) the narrow interpretation of 'environmental' which too frequently was taken as being synonymous with pollution. Because of this concern, and because the panel recognised that land-use is perhaps the overriding facet of environmental policy it was decided to arrange the Seminar recorded in this volume :- Land and its Uses : Actual and Potential An Environmental Appraisal The development of this Seminar was chaired by Professor F. T. Last who was enthusiastically supported by B. G. Bell (U.K.), Drs S. Bie (Norway), 0. W. Heal (U.K.), R. Herrmann (Federal Republic of Germany), M.C.B.Hotz (formerly of NATO, Belgium, but now in Canada), L. Munn (Canada) and N. Yassoglou (Greece). Together, they decided that the participants should include (i) planners/decision makers and (ii) scientists generating ecological/environmental infor mation, in the hope that they would gain a better understanding of each others problems and attitudes and as a result identify how information can be prepared in a more usable form.
















Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications


Book Description

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.




A Sustainability Challenge


Book Description

The National Research Council's Science and Technology for Sustainability Program hosted two workshops in 2011 addressing the sustainability challenges associated with food security for all. The first workshop, Measuring Food Insecurity and Assessing the Sustainability of Global Food Systems, explored the availability and quality of commonly used indicators for food security and malnutrition; poverty; and natural resources and agricultural productivity. It was organized around the three broad dimensions of sustainable food security: (1) availability, (2) access, and (3) utilization. The workshop reviewed the existing data to encourage action and identify knowledge gaps. The second workshop, Exploring Sustainable Solutions for Increasing Global Food Supplies, focused specifically on assuring the availability of adequate food supplies. How can food production be increased to meet the needs of a population expected to reach over 9 billion by 2050? Workshop objectives included identifying the major challenges and opportunities associated with achieving sustainable food security and identifying needed policy, science, and governance interventions. Workshop participants discussed long term natural resource constraints, specifically water, land and forests, soils, biodiversity and fisheries. They also examined the role of knowledge, technology, modern production practices, and infrastructure in supporting expanded agricultural production and the significant risks to future productivity posed by climate change. This is a report of two workshops.