نتایج جستجو برای: walther
تعداد نتایج: 543 فیلتر نتایج به سال:
Im Rahmen einer Präsentation von LÜDEKE & WALTHER (PIK) zu Klimaanpassungsstrategien für Potsdam (13.05.2014) wurden folgende Entwicklungen für Potsdams Klima präsentiert (LÜDEKE & WALTHER 2014): Die Durchschnittstemperaturen steigen bis 2050 im Durchschnitt um 2.5 °C. Es wird zu mehr sogenannten tropischen Nächten und damit heißen Sommernächten aber auch Tagen kommen. Hitzeperioden werde...
In this thesis, I present an improved method for automatic proofs of termination through a syntactic measurement of sizing that was first developed by Walther. We discuss formal requirements for proving termination using this method and how it can be generalized to other languages. We present a simple set-theoretic language as an example which can be used to write basic Lisp-like programs. Usin...
Frank Deppe1,2,∗,†, Matteo Mariantoni1,†, E. P. Menzel, A. Marx, S. Saito, K. Kakuyanagi, H. Tanaka, T. Meno, K. Semba, H. Takayanagi, E. Solano and R. Gross Walther-Meißner-Institut, Bayerische Akademie der Wissenschaften, Walther-Meißner-Str. 8, D-85748 Garching, Germany NTT Basic Research Laboratories, NTT Corporation, Kanagawa, 243-0198, Japan NTT Advanced Technology, NTT Corporation, Kanag...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید