139 research outputs found

    29th International Symposium on Algorithms and Computation: ISAAC 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan

    Get PDF

    Impacts of climate change on the agricultural and aquatic systems and natural resources within the CGIAR’s mandate

    Get PDF
    The document attempts to distil what is currently known about the likely impacts of climate change on the commodities and natural resources that comprise the mandate of CGIAR and its 15 Centres. It was designed as one background document for a review carried out by the High Level Panel of Experts on Food Security and Nutrition (HLPE) at the behest of the UN Committee on World Food Security (CFS) on what is known about the likely effects of climate change on food security and nutrition, with a focus on the most affected and vulnerable regions and populations. A total of 25 summaries covering 22 agricultural commodities, agroforestry, forests and water resources, present information on the importance of each commodity for food and nutrition security globally, the biological vulnerability of the commodity or natural resource to climate change, and what is known about the likely socio- economic vulnerability of populations dependent partially or wholly on the commodity or natural resource. With a few exceptions, the likely impacts of climate change on key staples and natural resources in developing countries in the coming decades are not understood in any great depth. There are many uncertainties as to how changes in temperature, rainfall and atmospheric carbon dioxide concentrations will interact in relation to agricultural productivity; the resultant changes in the incidence, intensity and spatial distribution of important weeds, pests and diseases are largely unknown; and the impacts of climate change and increases in climate variability on agricultural systems and natural-resource-dependent households, as well as on food security and the future vulnerability of already hungry people in the tropics and subtropics, are still largely a closed book. CGIAR along with many other partners is involved in a considerable amount of research activity to throw light on these issues

    you are variations

    Get PDF
    you are variations is a ten-year-long study of tree water-cycles in which scientific climate change research has provided environmental data on sap flow that is here transposed into a musical score. The score is enacted live – including in-situ – in collaboration with electro-acoustic ensembles. By turning climate data into sound-performances, the research draws attention to the sophisticated energy balance of trees under changing environmental conditions, contributing to scientific research concerned with climate futures, and evidences a committed stance in art as sustained experimental (re-)search into transformative power. Inspired ecopolitically by Isabelle Stengers, Donna J. Haraway and Bruno Latour, aesthetically by Pauline Oliveros and Catherine Christer Hennix et. al., the project exercises how to think and work across wounded worlds together. In gathering disciplines that are unfamiliar to each other – linking environmental, cultural and mental ecologies – the project reveals ‘difference’, theoretically drawing on the work of Alfred North Whitehead, Félix Guattari, Gilles Deleuze, Jean-Luc Nancy and Elizabeth Grosz. The key methodology, ‘ecology of translation’, incites gaps and transpositions as acts of mediation in a complex process of evolving relationalities between art-music, science and the climate. It conceives of ‘trans-lation’ as human, and more-than-human activity; creative in the making of a ‘re-lational, resonant kinship’, based not on sameness, but alterity. It is the experience of wholeness that is the significant outcome of this transdisciplinary practice across a vast range of contemporary climate urgencies. The conclusion elicits a new term for the felt experience of wholeness instantiated by you are variations performances: /wi/. Addressing the problematic term ‘we’, exclusive in its presupposed inclusivity, /wi/ denotes the experiential communion of tree, you and self, exemplified in the poetic, ecopolitical movement the research brought about: in asking ‘Can we learn to listen to a tree?’ you are variations advocates how to become /wi/ with the world

    A flexible approach to the estimation of water budgets and its connection to the travel time theory.

    Get PDF
    The increasing impacts of climate changes on water related sectors are leading the scientists' attentions to the development of comprehensive models, allowing better descriptions of the water and solute transport processes. "Getting the right answers for the right reasons", in terms of hydrological response, is one of the main goals of most of the recent literature. Semi-distributed hydrological models, based on the partition of basins in hydrological response units (HRUs) to be connected, eventually, to describe a whole catchment, proved to be robust in the reproduction of observed catchment dynamics. 'Embedded reservoirs' are often used for each HRU, to allow a consistent representation of the processes. In this work, a new semi-disitrbuted model for runoff and evapotranspiration is presented: five different reservoirs are inter-connected in order to capture the dynamics of snow, canopy, surface flow, root-zone and groundwater compartments. The knowledge of the mass of water and solute stored and released through different outputs (e.g. discharge, evapotranspiration) allows the analysis of the hydrological travel times and solute transport in catchments. The latter have been studied extensively, with some recent benchmark contributions in the last decade. However, the literature remains obscured by different terminologies and notations, as well as model assumptions are not fully explained. The thesis presents a detailed description of a new theoretical approach that reworks the theory from the point of view of the hydrological storages and fluxes involved. Major aspects of the new theory are the 'age-ranked' definition of the hydrological variables, the explicit treatment of evaporative fluxes and of their influence on the transport, the analysis of the outflows partitioning coefficients and the explicit formulation of the 'age-ranked' equations for solutes. Moreover, the work presents concepts in a new systematic and clarified way, helping the application of the theory. To give substance to the theory, a small catchment in the prealpine area was chosen as an example and the results illustrated. The rainfall-runoff model and the travel time theory were implemented and integrated in the semi-distributed hydrological system JGrass-NewAge. Thanks to the environmental modelling framework OMS3, each part of the hydrological cycle is implemented as a component that can be selected, adopted, and connected at run-time to obtain a user-customized hydrological model. The system is flexible, expandable and applicable in a variety of modelling solutions. In this work, the model code underwent to an extensive revision: new components were added (coupled storages water budget, travel times components); old components were enhanced (Kriging, shortwave, longwave, evapotranspiration, rain-snow separation, SWE and melting components); documentation was standardized and deployed. Since the Thesis regards in wide sense the building of a collaborative system, a discussion of some general purpose tools that were implemented or improved for supporting the present research is also presented. They include the description and the verification of a software component dealing with the long-wave radiation budget and another component dealing with an implementation of some Kriging procedure

    The roles of random boundary conditions in spin systems

    Get PDF
    Random boundary conditions are one of the simplest realizations of quenched disorder. They have been used as an illustration of various conceptual issues in the theory of disordered spin systems. Here we review some of these result

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
    • …
    corecore