@misc{DirnitrovHoviSprinzetal.2019,
  author    = {Dirnitrov, Radoslav and Hovi, Jon and Sprinz, Detlef F. and Saelen, H{\aa}kon and Underdal, Arild},
  title     = {Institutional and environmental effectiveness},
  series = {Wiley interdisciplinary reviews : Climate change},
  volume    = {10},
  journal   = {Wiley interdisciplinary reviews : Climate change},
  number    = {4},
  publisher = {Wiley},
  address   = {Hoboken},
  issn      = {1757-7780},
  doi       = {10.1002/wcc.583},
  pages     = {12},
  year      = {2019},
  abstract  = {The 2015 Paris Agreement (PA) has been widely hailed as a diplomatic triumph and a breakthrough in global climate cooperation. However, it is commonly accepted that the PA's collective goal—keeping global warming "well below" 2°C above preindustrial levels—remains ambitious. Making matters even more challenging, in 2017, global CO2 emissions resumed growth after 3 years of near standstill. In 2018, this growth accelerated. It is therefore extremely important that the PA's institutional architecture meet expectations concerning its ability to induce member countries to promise and deliver emissions reductions. This study offers a review of the rapidly growing literature on the PA, to assess its strengths and weaknesses, its significance, and its prospects. We focus on evaluations of its institutional structure and its ability to induce member countries to implement policies. We frame the issues as a trilemma: the challenge of simultaneously satisfying all three main conditions for effectiveness—broad participation, deep commitments, and satisfactory compliance rates. Based on our review, we conclude that the key challenge for the PA will likely be to facilitate sufficiently fast ratcheting-up of nationally determined contributions, while keeping compliance rates high.},
  language  = {en}
}
@article{IntziegianniCasselRaufetal.2016,
  author    = {Intziegianni, Konstantina and Cassel, Michael and Rauf, S. and White, S. and Rector, Michael V. and Kaplick, Hannes and Wahmkow, Gunnar and Kratzenstein, S. and Mayer, Frank},
  title     = {Influence of Age and Pathology on Achilles Tendon Properties During a Single-leg Jump},
  series = {International journal of sports medicine},
  volume    = {37},
  journal   = {International journal of sports medicine},
  publisher = {Thieme},
  address   = {Stuttgart},
  issn      = {0172-4622},
  doi       = {10.1055/s-0042-108198},
  pages     = {973 -- 978},
  year      = {2016},
  abstract  = {Prevalence of Achilles tendinopathy increases with age leading to a weaker tendon with predisposition to rupture. Conclusive evidence of the influence of age and pathology on Achilles tendon (AT) properties remains limited, as previous studies are based on standardized isometric conditions. The study investigates the influence of age and pathology on AT properties during single-leg vertical jump (SLVJ). 10 children (C), 10 asymptomatic adults (A), and 10 tendinopathic patients (T) were included. AT elongation [mm] from rest to maximal displacement during a SLVJ on a force-plate was sonographically assessed. AT compliance [mm/N]) and strain [\%] was calculated by dividing elongation by peak ground reaction force [N] and length, respectively. One-way ANOVA followed by Bonferroni post-hoc correction (=0.05) were used to compare C with A and A with T. AT elongation (p=0.004), compliance (p=0.001), and strain were found to be statistically significant higher in C (27 +/- 3mm, 0.026 +/- 0.006[mm/N], 13 +/- 2\%) compared to A (21 +/- 4mm, 0.017 +/- 0.005[mm/N], 10 +/- 2\%). No statistically significant differences (p0.05) was found between A and T (25 +/- 5mm, 0.019 +/- 0.004[mm/N], 12 +/- 3\%). During SLVJ, tendon responded differently in regards to age and pathology with children having the most compliant AT. Higher compliance found in healthy tendons might be considered as a protective factor against load-related injuries.},
  language  = {en}
}
@article{LorenzClemensSchroetteretal.2022,
  author    = {Lorenz, Claas and Clemens, Vera Elisabeth and Schr{\"o}tter, Max and Schnor, Bettina},
  title     = {Continuous verification of network security compliance},
  series = {IEEE transactions on network and service management},
  volume    = {19},
  journal   = {IEEE transactions on network and service management},
  number    = {2},
  publisher = {Institute of Electrical and Electronics Engineers},
  address   = {New York},
  issn      = {1932-4537},
  doi       = {10.1109/TNSM.2021.3130290},
  pages     = {1729 -- 1745},
  year      = {2022},
  abstract  = {Continuous verification of network security compliance is an accepted need. Especially, the analysis of stateful packet filters plays a central role for network security in practice. But the few existing tools which support the analysis of stateful packet filters are based on general applicable formal methods like Satifiability Modulo Theories (SMT) or theorem prover and show runtimes in the order of minutes to hours making them unsuitable for continuous compliance verification. In this work, we address these challenges and present the concept of state shell interweaving to transform a stateful firewall rule set into a stateless rule set. This allows us to reuse any fast domain specific engine from the field of data plane verification tools leveraging smart, very fast, and domain specialized data structures and algorithms including Header Space Analysis (HSA). First, we introduce the formal language FPL that enables a high-level human-understandable specification of the desired state of network security. Second, we demonstrate the instantiation of a compliance process using a verification framework that analyzes the configuration of complex networks and devices - including stateful firewalls - for compliance with FPL policies. Our evaluation results show the scalability of the presented approach for the well known Internet2 and Stanford benchmarks as well as for large firewall rule sets where it outscales state-of-the-art tools by a factor of over 41.},
  language  = {en}
}