Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Danner, N."'
Publikováno v:
M. Might and D. V. Horn (eds.), Proceedings of the 7th workshop on Programming languages meets program verification, pages 25-34. ACM Press, 2013
We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential. The former is defined to be the size of the expression's ev
Externí odkaz:
http://arxiv.org/abs/1206.3523
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.
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.
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.
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:
Junkkari, A. (A.), Luikku, A. J. (A. J.), Danner, N. (N.), Jyrkkänen, H. K. (H. K.), Rauramaa, T. (T.), Korhonen, V. E. (V. E.), Koivisto, A. M. (A. M.), Nerg, O. (O.), Kojoukhova, M. (M.), Huttunen, T. J. (T. J.), Jääskeläinen, J. E. (J. E.), Leinonen, V. (V.)
Background: The Kuopio University Hospital (KUH) idiopathic normal pressure hydrocephalus (iNPH) cerebrospinal fluid (CSF) shunting protocol is described together with the initial outcomes of 175 patients with probable iNPH treated according to this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2423::9e6484894e5b61da1d0190e22d1ba18c
http://urn.fi/urn:nbn:fi-fe2020042019315
http://urn.fi/urn:nbn:fi-fe2020042019315
Autor:
Danner, N. *, Pollett, C.
Publikováno v:
In Theoretical Computer Science 2004 318(1):105-119
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.
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:
Nakajima, M., Rauramaa, T., Mäkinen, P. M., Hiltunen, M., Herukka, S.‐K., Kokki, M., Musialowicz, T., Jyrkkänen, H.‐K., Danner, N., Junkkari, A., Koivisto, A. M., Jääskeläinen, J. E., Miyajima, M., Ogino, I., Furuta, A., Akiba, C., Kawamura, K., Kamohara, C., Sugano, H., Tange, Y.
Publikováno v:
European Journal of Neurology; Feb2021, Vol. 28 Issue 2, p389-400, 12p