TY  - JOUR
A1  - Khomenko, Victor
A1  - Schäfer, Mark
A1  - Vogler, Walter
A1  - Wollowski, Ralf
T1  - STG decomposition strategies in combination with unfolding
N2  - For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.
Y1  - 2009
UR  - http://www.springerlink.com/content/100460
U6  - https://doi.org/10.1007/s00236-009-0102-y
SN  - 0001-5903
ER  - 
TY  - JOUR
A1  - Lawrence, Mark
A1  - Schäfer, Stefan
T1  - Promises and perils of the Paris Agreement
JF  - Science
Y1  - 2019
U6  - https://doi.org/10.1126/science.aaw4602
SN  - 0036-8075
SN  - 1095-9203
VL  - 364
IS  - 6443
SP  - 829
EP  - 830
PB  - American Association for the Advancement of Science
CY  - Washington
ER  - 
TY  - JOUR
A1  - Lawrence, Mark
A1  - Schäfer, Stefan
A1  - Muri, Helene
A1  - Scott, Vivian
A1  - Oschlies, Andreas
A1  - Vaughan, Naomi E.
A1  - Boucher, Olivier
A1  - Schmidt, Hauke
A1  - Haywood, Jim
A1  - Scheffran, Jürgen
T1  - Evaluating climate geoengineering proposals in the context of the Paris Agreement temperature goals
JF  - Nature Communications
N2  - Current mitigation efforts and existing future commitments are inadequate to accomplish the Paris Agreement temperature goals. In light of this, research and debate are intensifying on the possibilities of additionally employing proposed climate geoengineering technologies, either through atmospheric carbon dioxide removal or farther-reaching interventions altering the Earth’s radiative energy budget. Although research indicates that several techniques may eventually have the physical potential to contribute to limiting climate change, all are in early stages of development, involve substantial uncertainties and risks, and raise ethical and governance dilemmas. Based on present knowledge, climate geoengineering techniques cannot be relied on to significantly contribute to meeting the Paris Agreement temperature goals.
KW  - Atmospheric chemistry
KW  - Atmospheric dynamics
KW  - Atmospheric science
KW  - Climate change
KW  - Environmental impact
Y1  - 2018
U6  - https://doi.org/10.1038/s41467-018-05938-3
SN  - 2041-1723
VL  - 9
PB  - Nature Publ. Group
CY  - London
ER  -