Commit 37376472 authored by Nicola Botta's avatar Nicola Botta
Browse files

Synchronizing with RUU_ENMO_submitted_2021-11-23.pdf / ENMO-D-21-00334.pdf

parent ef375357
......@@ -541,7 +541,7 @@ section. The programs have been processed with lhs2\TeX \citep{lhs2tex}
and with latexmk to generate a PostScript manuscript.
All files are publicly available at \citep{papers}. The program for this
section is in
\href{https://gitlab.pik-potsdam.de/botta/papers/-/blob/master/2021.Responsibility%20under%20uncertainty:%20which%20climate%20decisions%20matter%20most%3F/Notation.lidr}{Notation.lidr}.
section is in folder ``2021.Responsibility under uncertainty: which
climate decisions matter most?''.
%endif
......@@ -76,9 +76,10 @@ We discover that a ``moral'' approach towards decision making -- doing
the right thing even though the probability of success becomes
increasingly small -- is rational over a wide range of uncertainties. }
\maketitle
\keywords{climate policy, responsibility measures, uncertainty, GHG
emissions processes, verified decision making}
\keywords{responsibility, climate decisions, uncertainty, GHG emissions}
\maketitle
\setlength{\mathindent}{1em}
%
......@@ -108,14 +109,54 @@ others on Coq, Idris, Agda, GHC, git, vi, Emacs, \LaTeX\ and on the
FreeBSD and Debian GNU/Linux operating systems.
%
It is our pleasure to thank all developers of these excellent products.
%
\section*{Declarations}
\paragraph*{Funding}
This is TiPES contribution No \dots. This project has received funding
from the European Union’s Horizon 2020 research and innovation programme
under grant agreement No 820970.
\subsection*{Conflicts of Interest}
\paragraph*{Conflict of interest/Competing interests}
None.
%%\paragraph*{Ethics approval}
%%\paragraph*{Consent to participate}
%%\paragraph*{Consent for publication}
\paragraph*{Availability of data and materials}
This manuscript has been written as literate Idris programs, one program
per section. The programs/sections have been processed with lhs2\TeX
\citep{lhs2tex} and with latexmk to generate a PostScript manuscript.
All files are publicly available at \citep{papers} in folder
``2021.Responsibility under uncertainty: which climate decisions matter
most?''
\paragraph*{Code availability}
At \citep{papers}, see above.
\paragraph*{Authors' contributions}
NiBo drafted the initial sketch, performed the inlined computations and
managed the preparation and the submission of the manuscript.
%
NuBr drafted parts of section \ref{section:specification} and
implemented the DSLs of section \ref{section:generic}.
%
MM and NuBr performed the sensitivity analysis of the responsibility
measures.
%
MC, CI and ZL revised the introduction, sections \ref{section:notation}
and \ref{section:theory} and the specification of the stylized GHG
emissions decision problem.
%
PJ drafted section \ref{section:notation}. TR improved the formulation
of the sequential decision problems of section
\ref{section:responsibility}.
%
All authors read, commented and approved the final manuscript.
\bibliography{references}
\label{lastpage01}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment