Zobrazeno 1 - 10
of 198
pro vyhledávání: '"T, Streicher"'
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.
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.
Publikováno v:
Ceska a slovenska oftalmologie : casopis Ceske oftalmologicke spolecnosti a Slovenske oftalmologicke spolecnosti. 71(3)
The authors present retrospective follow up of patient with bilateral multifocal vitelliform retinal lesion during the 18 years period. At this time, spontaneous improvement of objective picture on retina and subjective visual troubles was observed.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::b9d66b4362311abc6ab83a17b4689c12
https://pubmed.ncbi.nlm.nih.gov/26201364
https://pubmed.ncbi.nlm.nih.gov/26201364
Autor:
T. Streicher, Bernhard Reus
Publikováno v:
LICS
The main contribution of this paper is a formal characterization of recursive object specifications and their existence based on a denotational untyped semantics of the object calculus. Existence is not guaranteed but can be shown employing Pitts’
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efd23e38da42409bd3d462361a6533bc
https://doi.org/10.1016/j.tcs.2004.01.030
https://doi.org/10.1016/j.tcs.2004.01.030
Autor:
T. Streicher
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By t
Publikováno v:
Ceska a slovenska oftalmologie : casopis Ceske oftalmologicke spolecnosti a Slovenske oftalmologicke spolecnosti. 68(5)
Retrospective view of the various phenotypes 20 persons affected by classic solitary form of vitelliform macular dystrophy, in 3 pedigrees with autosomal dominant transmission and in 4 single cases. Long-term monitoring allows to observe the variabil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::8521efdb331016760c055534f5570169
https://pubmed.ncbi.nlm.nih.gov/23461370
https://pubmed.ncbi.nlm.nih.gov/23461370
Autor:
Joao A.C. Lima, Stephen W. Downing, Mario R. Llaneras, Radu Deac, Philip L. Linden, L. Henry Edmunds, Michael L. Nance, James T. Streicher
Publikováno v:
The Journal of Thoracic and Cardiovascular Surgery. 105:439-443
We developed a new animal model of ischemic mitral insufficiency in sheep and used it to test the hypothesis that the combination of posterior papillary muscle infarction and left ventricular dilatation was required to produce mitral regurgitation af
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58c4e2be0e7780b3571555fe815b1c26
https://doi.org/10.1016/s0022-5223(19)34226-6
https://doi.org/10.1016/s0022-5223(19)34226-6