Pages
- 1
- 2
- document
-
Ahrens, B.P. (author), Matthes, Ralph (author), van der Weide, N.J. (author), Wullaert, K.F. (author)We present a formalization of different categorical structures used to interpret linear logic. Our formalization takes place in UniMath, a library of univalent mathematics based on the Coq proof assistant. All the categorical structures we formalize are based on monoidal categories. As such, one of our contributions is a practical, usable...conference paper 2024
- document
-
Castino, F. (author), Yin, F. (author), Grewe, V. (author), Yamashita, Hiroshi (author), Matthes, Sigrun (author), Dietmüller, Simone (author), Baumann, Sabine (author), Soler, Manuel (author), Simorgh, Abolfazl (author)The optimization of aircraft trajectories involves balancing operating costs and climate impact, which are often conflicting objectives. To achieve compromised optimal solutions, higher-level information such as preferences of decision-makers must be taken into account. This paper introduces the SolFinder 1.0 module, a decision-making tool...journal article 2024
- document
-
Simorgh, A. (author), Soler, Manuel (author), Dietmüller, Simone (author), Matthes, Sigrun (author), Yamashita, Hiroshi (author), Castino, F. (author), Yin, F. (author)The non-CO<sub>2</sub> climate impact of aviation strongly relies on the atmospheric conditions at the time and location of emissions. Therefore, it is possible to mitigate their associated climate impact by planning trajectories to re-route airspace areas with significant climate effects. Identifying such climate-sensitive regions requires...journal article 2024
- document
-
Yin, F. (author), Grewe, V. (author), Castino, F. (author), Rao, P.V. (author), Matthes, S (author), Dahlmann, K. (author), Dietmüller, Simone (author), Frömming, C. (author), Yamashita, H. (author)The Modular Earth Submodel System (MESSy) provides an interface to couple submodels to a base model via a modular flexible data management facility. This paper presents the newly developed MESSy submodel, ACCF version 1.0 (ACCF 1.0), based on algorithmic Climate Change Functions version 1.0 (aCCFs 1.0), which describes the climate impact of...journal article 2023
- document
-
Zengerling, Zarah Lea (author), Dal Gesso, Sara (author), Linke, Florian (author), Clococeanu, Maximilian (author), Peter, P. (author), Matthes, Sigrun (author), Baspinar, Baris (author), Noorafza, M. (author), Roling, P.C. (author)Aviation significantly contributes to anthropogenic radiative forcing with both CO (Formula presented.) and non-CO (Formula presented.) emissions. In contrast to technical advancements to mitigate the climate impact, operational measures can benefit from short implementation times and thus are expected to be of high relevance in the near...journal article 2023
- document
-
Wullaert, K.F. (author), Matthes, Ralph (author), Ahrens, B.P. (author)Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we zoom in on monoidal categories and study them in a univalent setting. Specifically, we show that the...conference paper 2023
- document
-
Dietmüller, Simone (author), Matthes, Sigrun (author), Dahlmann, Katrin (author), Yamashita, Hiroshi (author), Simorgh, Abolfazl (author), Lührs, Benjamin (author), Grewe, V. (author), Yin, F. (author), Castino, F. (author)Aviation aims to reduce its climate effect by adopting trajectories that avoid regions of the atmosphere where aviation emissions have a large impact. To that end, prototype algorithmic climate change functions (aCCFs) can be used, which provide spatially and temporally resolved information on aviation's climate effect in terms of future near...journal article 2023
- document
-
Thor, Robin N. (author), Mertens, M. (author), Matthes, Sigrun (author), Righi, Mattia (author), Hendricks, Johannes (author), Brinkop, Sabine (author), Graf, Phoebe (author), Grewe, V. (author), Jöckel, Patrick (author), Smith, Steven (author)We report on an inconsistency in the latitudinal distribution of aviation emissions between the data products of phases 5 and 6 of the Coupled Model Intercomparison Project (CMIP). Emissions in the CMIP6 data occur at higher latitudes than in the CMIP5 data for all scenarios, years, and emitted species. A comparative simulation with the...journal article 2023
- document
-
Rao, P.V. (author), Yin, F. (author), Grewe, V. (author), Yamashita, Hiroshi (author), Jöckel, Patrick (author), Matthes, Sigrun (author), Mertens, Mariano (author), Frömming, Christine (author)Aviation contributes to 3.5% of anthropogenic climate change in terms of Effective Radiative Forcing (ERF) and 5% in terms of temperature change. Aviation climate impact is expected to increase rapidly due to the growth of air transport sector in most regions of the world and the effects of the COVID-19 pandemic are expected to only have a...abstract 2022
- document
-
Ahrens, B.P. (author), Matthes, Ralph (author), Mörtberg, Anders (author)In previous work ("From signatures to monads in UniMath"),we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant.<br/><br/>In the present work, we describe what was necessary to generalize that work to account for simply-typed languages. First, some...conference paper 2022
- document
-
Simorgh, Abolfazl (author), Soler, Manuel (author), González-Arribas, Daniel (author), Matthes, Sigrun (author), Grewe, V. (author), Dietmüller, Simone (author), Baumann, Sabine (author), Yin, F. (author), Castino, F. (author)The strong growth rate of the aviation industry in recent years has created significant challenges in terms of environmental impact. Air traffic contributes to climate change through the emission of carbon dioxide (CO<sub>2</sub>) and other non-CO<sub>2</sub> effects, and the associated climate impact is expected to soar further. The...review 2022
- document
-
Rao, P.V. (author), Yin, F. (author), Grewe, V. (author), Yamashita, Hiroshi (author), Jöckel, Patrick (author), Matthes, Sigrun (author), Mertens, Mariano (author), Frömming, Christine (author)One possibility to reduce the climate impact of aviation is the avoidance of climate-sensitive regions, which is synonymous with climate-optimised flight planning. Those regions can be identified by algorithmic Climate Change Functions (aCCFs) for nitrogen oxides (NOx), water vapour (H2O) as well as contrail cirrus, which provide a measure of...journal article 2022
- document
-
Dahlmann, K. (author), Grewe, V. (author), Matthes, S. (author), Yamashita, H. (author)Climate impact of anthropogenic activities is more and more of public concern. But while CO<sub>2</sub> emissions are accounted in emissions trading and mitigation plans, emissions of non-CO<sub>2</sub> components contributing to climate change receive much less attention. One of the anthropogenic emission sectors, where non-CO<sub>2</sub>...journal article 2022
- document
-
Castino, F. (author), Yin, F. (author), Grewe, V. (author), Soler, Manuel (author), Simorgh, Abolfazl (author), Yamashita, Hiroshi (author), Matthes, Sigrun (author), Baumann, Sabine (author), Linke, Florian (author)Air traffic contributes to global warming through CO2 and non-CO2 effects, including the impact of NOx emissions on atmospheric ozone and methane, formation of contrails, and changes in the amount of stratospheric water vapour. The climate impact of non-CO2 effects is highly dependent on the background atmospheric conditions at the time and...conference paper 2021
- document
-
Marks, Tobias (author), Dahlmann, Katrin (author), Grewe, V. (author), Gollnick, Volker (author), Linke, Florian (author), Matthes, Sigrun (author), Stumpf, Eike (author), Swaid, Majed (author), Unterstrasser, Simon (author)The aerodynamic formation flight, which is also known as aircraft wake-surfing for efficiency (AWSE), enables aircraft to harvest the energy inherent in another aircraft’s wake vortex. As the thrust of the trailing aircraft can be reduced during cruise flight, the resulting benefit can be traded for longer flight time, larger range, less fuel...journal article 2021
- document
-
Lührs, Benjamin (author), Linke, Florian (author), Matthes, Sigrun (author), Grewe, V. (author), Yin, F. (author)Air traffic contributes to anthropogenic global warming by about 5% due to CO<sub>2</sub> emissions and non-CO<sub>2</sub> effects, which are primarily caused by the emission of NO<sub>x</sub> and water vapor as well as the formation of contrails. Since-in the long term-the aviation industry is expected to maintain its trend to grow,...journal article 2021
- document
-
Matthes, Sigrun (author), Lim, Ling (author), Burkhardt, Ulrike (author), Dahlmann, Katrin (author), Dietmüller, Simone (author), Grewe, V. (author), Haslerud, Amund S. (author), Hendricks, Johannes (author), Owen, Bethan (author), Pitari, Giovanni (author), Righi, Mattia (author), Skowron, Agnieszka (author)Aviation is seeking for ways to reduce its climate impact caused by CO<sub>2</sub> emissions and non-CO<sub>2</sub> effects. Operational measures which change overall flight altitude have the potential to reduce climate impact of individual effects, comprising CO<sub>2</sub> but in particular non-CO<sub>2</sub> effects. We study the impact of...journal article 2021
- document
-
Yamashita, Hiroshi (author), Yin, F. (author), Grewe, V. (author), Jöckel, Patrick (author), Matthes, Sigrun (author), Kern, Bastian (author), Dahlmann, Katrin (author), Frömming, Christine (author)Climate-optimized routing is an operational measure to effectively reduce the climate impact of aviation with a slight increase in aircraft operating costs. This study examined variations in the flight characteristics among five aircraft routing strategies and discusses several characteristics of those routing strategies concerning typical...journal article 2021
- document
-
Mertens, Mariano (author), Jöckel, Patrick (author), Matthes, Sigrun (author), Nützel, Matthias (author), Grewe, V. (author), Sausen, Robert (author)The recent COVID-19 pandemic with its countermeasures, e.g. lock-downs, resulted in decreases in emissions of various trace gases. Here we investigate the changes of ozone over Europe associated with these emission reductions using a coupled global/regional chemistry climate model. We conducted and analysed a business as usual and a...journal article 2021
- document
-
Frömming, Christine (author), Grewe, V. (author), Brinkop, Sabine (author), Jöckel, Patrick (author), Haslerud, Amund S. (author), Rosanka, Simon (author), Van Manen, Jesper (author), Matthes, Sigrun (author)Emissions of aviation include CO2, H2O, NOx, sulfur oxides, and soot. Many studies have investigated the annual mean climate impact of aviation emissions. While CO2 has a long atmospheric residence time and is almost uniformly distributed in the atmosphere, non-CO2 gases and particles and their products have short atmospheric residence times...journal article 2021
Pages
- 1
- 2