Zobrazeno 1 - 10
of 150
pro vyhledávání: '"KÖRNER, PHILIPP"'
Publikováno v:
Schriftenreihe des Landesamtes für Umwelt, Landwirtschaft und Geologie.
Die Schriftenreihe informiert über den “Klima-Referenzdatensatz Sachsen, 1961-2020” als Basis für ein qualitativ gesichertes und flächendifferenziertes Klima- und Klimafolgen-Monitoring in Sachsen. Der Datensatz umfasst stations- und rasterbas
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A79971
https://slub.qucosa.de/api/qucosa%3A79971/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A79971/attachment/ATT-0/
Autor:
Körner, Philipp
Die Broschüre informiert über die Aufbereitung radarbasierter Niederschlagsdaten. Das hochaufgelöste RADOLAN-Produkt des Deutschen Wetterdienstes (räumlich: 1km, zeitlich: 1h) liegt nach der Aufbereitung lückenlos vor für den Zeitraum 2001 bis
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A79742
https://slub.qucosa.de/api/qucosa%3A79742/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A79742/attachment/ATT-0/
Publikováno v:
Schriftenreihe des Landesamtes für Umwelt, Landwirtschaft und Geologie.
Mittels eines neu entwickelten Verfahrens wurden 1 km-Rasterdaten für tägliche und monatliche Nebelniederschläge von 1967 bis 2014 für Sachsen erzeugt. Zum windbedingten Messfehler kann somit ein weiterer Verlust bei Niederschlagsmessungen für w
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A16658
https://slub.qucosa.de/api/qucosa%3A16658/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A16658/attachment/ATT-0/
Autor:
Bernhofer, Christian, Franke, Johannes, Fischer, Stefanie, Kirsten, Lynne, Körner, Philipp, Kostrowski, Dorothé, Prasse, Heiko, Schaller, Andrea, Donix, Tobias
Publikováno v:
Schriftenreihe des Landesamtes für Umwelt, Landwirtschaft und Geologie.
Der Klimawandel in Sachsen wurde auf Basis einer aktualisierten Datengrundlage und neuer methodischer Verfahren analysiert. Danach war im Zeitraum 1981-2010 im Vergleich zur Referenzperiode 1961-1990 eine kontinuierliche Erwärmung in allen Jahreszei
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A4943
https://slub.qucosa.de/api/qucosa%3A4943/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A4943/attachment/ATT-0/
Publikováno v:
Schriftenreihe des Landesamtes für Umwelt, Landwirtschaft und Geologie.
Aus der Vielzahl von Klimaprojektionen resultieren Bandbreiten, wobei der Umgang damit einen Ressourcenkonflikt aufdeckt. Zur Kompensation wurde das Selektions-Tool »DSEL« entwickelt. Die Selektionskriterien umfassen Klimaelemente/-größen und ext
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A7476
https://slub.qucosa.de/api/qucosa%3A7476/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A7476/attachment/ATT-0/
Autor:
Körner, Philipp
This thesis is written as a cumulative dissertation. It presents methods and results which contribute to an improved understanding of the spatio-temporal variability of fog and fog deposition. The questions to be answered are: When is there how much
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A76897
https://tud.qucosa.de/api/qucosa%3A76897/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A76897/attachment/ATT-0/
Autor:
Körner, Philipp, Leuschel, Michael, Barbosa, João, Costa, Vítor Santos, Dahl, Verónica, Hermenegildo, Manuel V., Morales, Jose F., Wielemaker, Jan, Diaz, Daniel, Abreu, Salvador, Ciatto, Giovanni
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supporte
Externí odkaz:
http://arxiv.org/abs/2201.10816
Autor:
Cerone, Antonio, Roggenbach, Markus, Davenport, James, Denner, Casey, Farrell, Marie, Haveraaen, Magne, Moller, Faron, Koerner, Philipp, Krings, Sebastian, Olveczky, Peter, Schlingloff, Bernd-Holger, Shilov, Nikolay, Zhumagambetov, Rustam
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates (i) improved teaching of formal methods; (ii) systematic h
Externí odkaz:
http://arxiv.org/abs/2010.05708
Autor:
Wingen, Isabel, Körner, Philipp
Benefits of static type systems are well-known: they offer guarantees that no type error will occur during runtime and, inherently, inferred types serve as documentation on how functions are called. On the other hand, many type systems have to limit
Externí odkaz:
http://arxiv.org/abs/2008.12545
The semantics and the recursive execution model of Prolog make it very natural to express language interpreters in form of AST (Abstract Syntax Tree) interpreters where the execution follows the tree representation of a program. An alternative implem
Externí odkaz:
http://arxiv.org/abs/2008.12543