Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Heikki Tuominen"'
Publikováno v:
Journal of Nuclear Cardiology
Background Cardiac involvement accounts for the majority of morbidity and mortality in sarcoidosis. Pathological myocardial fluorodeoxyglucose (FDG)-uptake in positron emission tomography (PET) has been associated with cardiovascular events and quant
Publikováno v:
International Journal of Cardiology. 249:454-460
Background 18 F-Fluorodeoxyglucose (FDG) positron emission tomography (PET) is a feasible method to investigate the inflammatory activity of the myocardium in cardiac sarcoidosis. However, PET is costly and not as widely available as standard electro
Autor:
Mika Kähönen, Kjell Nikus, Kalle Sipilä, Heikki Tuominen, Pasi Korkola, Antti Tikkakoski, Atte Haarala
Fluorodeoxyglucose positron emission tomography (FDG-PET) is a non-invasive imaging modality that has been shown to be a feasible method to demonstrate myocardial inflammation. The aim of this study was to identify the patients suspected of having ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1532bc287b57cfda7f487d58004ef09
https://trepo.tuni.fi/handle/10024/105396
https://trepo.tuni.fi/handle/10024/105396
Publikováno v:
Journal of nuclear cardiology : official publication of the American Society of Nuclear Cardiology. 27(1)
In up to 65% of cardiac sarcoidosis patients, the disease is confined to the heart. Diagnosing isolated cardiac sarcoidosis is challenging due to the low sensitivity of endomyocardial biopsy. If cardiac sarcoidosis is part of biopsy-confirmed systemi
Publikováno v:
Journal of gastrointestinal and liver diseases : JGLD. 26(4)
Autor:
Kalle, Sipilä, Heikki, Tuominen, Atte, Haarala, Antti, Tikkakoski, Mika, Kähönen, Kjell, Nikus
Publikováno v:
International journal of cardiology. 249
A total of 133 patients underwent cardiac FDG PET examination in Tampere University Hospital between August 2012 and September 2015. The left ventricular FDG uptake was categorized as either normal or pathological. Additionally, in-depth analyses of
Autor:
Nina Hutri-Kähönen, Jorma Viikari, Markus Juonala, Teemu Koivistoinen, Olli T. Raitakari, Mika Kähönen, Terho Lehtimäki, Heikki Tuominen, Heikki Aatola
Elevated blood pressure (BP) in childhood has been associated with increased adult arterial stiffness, the independent predictor of cardiovascular and all-cause mortality. The favorable BP change from childhood to adulthood and the risk of high adult
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3580adbb6851311f93a125f7c67792d3
https://trepo.tuni.fi/handle/10024/102028
https://trepo.tuni.fi/handle/10024/102028
Publikováno v:
Aalto University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cef9643fbef8be8830d0ef7e8d125752
Autor:
Heikki Tuominen
Publikováno v:
Theoretical and Practical Aspects of SPIN Model Checking ISBN: 9783540664994
SPIN
SPIN
We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as well as processes, procedures, and services. Together with SPIN the translation p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81d843d7f40bdb891dd842e455ea1d6e
https://doi.org/10.1007/3-540-48234-2_19
https://doi.org/10.1007/3-540-48234-2_19
Autor:
Heikki Tuominen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540524946
European Workshop on Applications and Theory in Petri Nets
European Workshop on Applications and Theory in Petri Nets
Three connections between elementary net systems and propositional dynamic logic are studied: the use of dynamic logic as a query language for case graphs, the synthesis of elementary net systems from formulas of dynamic logic, and an axiomatization
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08c3c89a10fa3da7e41449b57d3fdc98
https://doi.org/10.1007/3-540-52494-0_41
https://doi.org/10.1007/3-540-52494-0_41