1,512 research outputs found
Estimating the maximum rise in temperature according to climate models using abstract interpretation
Current climate models are complex computer programs that are typically iterated time-step by time-step to predict the next set of values of the climate-related variables. Since these iterative methods are necessarily computed only for a fixed number of iterations, they are unable to answer the natural question whether there is a limit to the rise of global temperature. In order to answer that question we propose to combine climate models with software verification techniques that can find invariant conditions for the set of program variables. In particular, we apply the constraint database approach to software verification to find that the rise in global temperature is bounded according to the common Java Climate Model that implements the Wigely/Raper Upwelling-Diffusion Energy Balance Model climate model
Specific Priority Subject 1.2 Summary Report - Understanding and managing the impacts of climate change on the ecology of catchments
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 1.2
on Understanding and Managing the Impacts of Climate Change on the Ecology of Catchments. It
includes an introduction reporting the key recommendations resulting from the Workshop. This
document will be made available on the Programme website www.wskep.net with a link from the
Wales Environment Research Hub website. The full Participants Outcomes Report was distributed to
all attendees at the Workshop
Specific Priority Subject 3.3 Summary Report - Informing decision making for water resources management
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 3.3
on Informing Decision Making for Water Resource Management. It includes an introduction reporting
the key recommendations resulting from the Workshop. This document will be made available on the
Programme website www.wskep.net. The full Participants Outcomes Report was distributed to all
participants of the Workshop
Specific Priority Subject 2.4 Summary Report - Supporting sustainable and resilient management of extreme rainfall
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject
Workshop 2.4 on ‘Supporting sustainable and resilient management of extreme rainfall’.
It includes an introduction reporting the key recommendations resulting from the Workshop.
This document will be made available on the Programme website www.wskep.net. The full
Participants Outcomes report was distributed to all participants at the Workshop
Specific Priority Subject 3.1 Summary Report - Assessing the value of water
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 3.1
on ‘Assessing the Value of Water’. It includes an introduction reporting the key recommendations
resulting from the Workshop. This document will be made available on the Programme website
www.wskep.net. The full Participants Outcomes Report was distributed to all participants of the
Workshop
Specific Priority Subject 2.1 Summary Report - Improving flood prediction, communication and impact assessment
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 2.1
on ‘Improving flood prediction, communication and impact assessment’. It includes an introduction
reporting the key recommendations resulting from the Workshop. This document will be made
available on the Programme website www.wskep.net. The full Participants Outcomes Report was
distributed to all participants of the Workshop
Specific Priority Subject 1.1 Summary Report - Assessing upstream methods of land/water management that improve water quality and quantity
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 1.1
on Assessing upstream methods of land/water management that improve water quality and quantity. It
includes an introduction reporting the key recommendations resulting from the Workshop. This
document will be made available on the Programme website www.wskep.net. The full Participants
Outcomes Report was distributed to all participants of the Workshop
Specific Priority Subject 2.3 Summary Report - Supporting sustainable and resilient management of droughts
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject
Workshop 2.3 on ‘Supporting sustainable and resilient management of droughts’. It
includes an introduction reporting the key recommendations resulting from the Workshop.
This document will be made available on the Programme website www.wskep.net. The full
Participants Outcomes Report was distributed to all participants of the Workshop
Specific Priority Subject 1.3 Summary Report - Linking natural networks and communities across rural and urban systems
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 1.3
on ‘Linking natural networks and communities across rural and urban systems’. It includes an
introduction reporting the key recommendations resulting from the Workshop. This document will be
made available on the Programme website www.wskep.net. The full Participants Outcomes Report
was distributed to all participants of the Workshop
Specific Priority Subject 3.2 Summary Report - Assessing water-related business risks
This report is the Summary Outcomes Report of the WSKEP Specific Priority Subject Workshop 3.2
on Assessing Water-Related Business Risks. It includes an introduction reporting the key
recommendations resulting from the Workshop. This document will be made available on the
Programme website www.wskep.net. The full Participants Outcomes Report was distributed to all
participants of the Workshop
- …