Zobrazeno 1 - 10
of 351
pro vyhledávání: '"Paxian, A."'
Autor:
Seufert, Tobias, Winterer, Felix, Scholl, Christoph, Scheibler, Karsten, Paxian, Tobias, Becker, Bernd
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existi
Externí odkaz:
http://arxiv.org/abs/2105.09169
Autor:
Paxian, A., Mannig, B., Tivig, M., Reinhardt, K., Isensee, K., Pasternack, A., Hoff, A., Pankatz, K., Buchholz, S., Wehring, S., Lorenz, P., Fröhlich, K., Kreienkamp, F., Früh, B.
Publikováno v:
In Climate Services April 2023 30
Autor:
Terence J. O'Kane, Adam A. Scaife, Yochanan Kushnir, Anca Brookshaw, Carlo Buontempo, David Carlin, Richenda K. Connell, Francisco Doblas-Reyes, Nick Dunstone, Kristian Förster, Antonio Graça, Alistair J. Hobday, Vassili Kitsios, Larissa van der Laan, Julia Lockwood, William J. Merryfield, Andreas Paxian, Mark R. Payne, M. Catherine Reader, Geoffrey R. Saville, Doug Smith, Balakrishnan Solaraju-Murali, Nico Caltabiano, Jessie Carman, Ed Hawkins, Noel Keenlyside, Arun Kumar, Daniela Matei, Holger Pohlmann, Scott Power, Marilyn Raphael, Michael Sparrow, Bo Wu
Publikováno v:
Frontiers in Climate, Vol 5 (2023)
Following efforts from leading centres for climate forecasting, sustained routine operational near-term climate predictions (NTCP) are now produced that bridge the gap between seasonal forecasts and climate change projections offering the prospect of
Externí odkaz:
https://doaj.org/article/03c5bc5d48de411ab1f3f019ae38f4a6
Autor:
A. Paxian, B. Mannig, M. Tivig, K. Reinhardt, K. Isensee, A. Pasternack, A. Hoff, K. Pankatz, S. Buchholz, S. Wehring, P. Lorenz, K. Fröhlich, F. Kreienkamp, B. Früh
Publikováno v:
Climate Services, Vol 30, Iss , Pp 100379- (2023)
The climate predictions website of the Deutscher Wetterdienst (DWD, https://www.dwd.de/climatepredictions) presents a consistent operational outlook for the coming weeks, months and years, focusing on the needs of German users. At global scale, subse
Externí odkaz:
https://doaj.org/article/72d6016b302f45ac9323166cb35c68b8
Autor:
Andreas Paxian, Katja Reinhardt, Klaus Pankatz, Alexander Pasternack, Maria Paula Lorza-Villegas, Marc Scheibel, Amelie Hoff, Birgit Mannig, Philip Lorenz, Barbara Früh
Publikováno v:
Frontiers in Climate, Vol 4 (2022)
Water boards in Germany require decadal predictions to develop optimized management and adaptation strategies, especially within the claims of flood protection and water distribution management. Specifically, the Wupper catchment water board in weste
Externí odkaz:
https://doaj.org/article/b3eba5027e6e475cb249dc0f2d54c52a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42:1351-1364
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existi
Autor:
Andreas Paxian, Markus Ziese, Frank Kreienkamp, Klaus Pankatz, Sascha Brand, Alexander Pasternack, Holger Pohlmann, Kameswarrao Modali, Barbara Früh
Publikováno v:
Meteorologische Zeitschrift, Vol 28, Iss 1, Pp 3-21 (2019)
Multi-year droughts strongly impact food production and water management. Thus, predictions for the next decade are required for decision makers. This study analyzes the decadal prediction skill of the Global Precipitation Climatology Centre Drought
Externí odkaz:
https://doaj.org/article/5da27c770d1549ff80614d354b476c23
Autor:
Kristina Fröhlich, Mikhail Dobrynin, Katharina Isensee, Claudia Gessner, Andreas Paxian, Holger Pohlmann, Helmuth Haak, Sebastian Brune, Barbara Früh, Johanna Baehr
Publikováno v:
Journal of Advances in Modeling Earth Systems, Vol 13, Iss 2, Pp n/a-n/a (2021)
Abstract Seasonal prediction is one important element in a seamless prediction chain between weather forecasts and climate projections. After several years of development in collaboration with Universität Hamburg and Max Planck Institute for Meteoro
Externí odkaz:
https://doaj.org/article/88b3f03ac644498faa312fb44b561204
Autor:
Mubashir Ahmad, Yasmine Hachemi, Kevin Paxian, Florian Mengele, Mascha Koenen, Jan Tuckermann
Publikováno v:
Frontiers in Immunology, Vol 10 (2019)
Glucocorticoids (GCs) are known to have a strong impact on the immune system, metabolism, and bone homeostasis. While these functions have been long investigated separately in immunology, metabolism, or bone biology, the understanding of how GCs regu
Externí odkaz:
https://doaj.org/article/ff838dd265f84aa6b8db8e44f1a673df