Zobrazeno 1 - 10
of 16
pro vyhledávání: '"E. Ostrin"'
Autor:
E. Ostrin, R. Leon-Letelier, A.A. Sater, E. Irajizad, Q. Peng, J. Mayo, J. Casabar, X. Mao, I. Tanaka, J. Dennison, E. Murage, H. Katayama, F. McAllister, P. Vykoukal, S. Hanash, J. Fahrmann
Publikováno v:
D31. IMAGING, BIOMARKERS, AND MACHINE LEARNING IN LUNG CANCER.
Autor:
E. Ostrin, E. Irajizad, T. Marsh, J. Vykoukal, J. Dennison, J.P. Long, K.-A. Do, Z. Feng, J. Fahrmann, S. Hanash
Publikováno v:
C99. ADVANCES IN BIOMARKERS ACROSS THE LUNG CANCER CONTINUUM.
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:
Stan S. Wainer, Geoffrey E. Ostrin
Publikováno v:
New Computational Paradigms ISBN: 9783540261797
CiE
CiE
Complexity classes between Grzegorczyk's E2 and E3 are characterized in terms of provable recursion in a theory EA(I;O) formalising basic principles of Nelson's Predicative Arithmetic. Extensions by inductive definitions enable full arithmetic PA and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abfa09463a2955b02b593b3fbf3d6d49
https://doi.org/10.1007/11494645_47
https://doi.org/10.1007/11494645_47
Autor:
G. E. Ostrin, S. S. Wainer
Publikováno v:
Proof and System-Reliability ISBN: 9781402006081
A weak formal theory of arithmetic is developed, entirely analogous to classical arithmetic but with two separate kinds of variables: induction variables and quantifier variables. The point is that the provably recursive functions are now more feasib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::29baf8ed893f010c9fdc7211be7e67e9
https://doi.org/10.1007/978-94-010-0413-8_12
https://doi.org/10.1007/978-94-010-0413-8_12
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.