Zobrazeno 1 - 10
of 216
pro vyhledávání: '"JACOBSEN, Morten"'
Autor:
Storvestre, Guttorm Breivik, Valnes, Lars Magnus, Jensen, Arvid, Nerland, Stener, Tesli, Natalia, Hymer, Knut-Erik, Rosaeg, Cato, Server, Andres, Ringen, Petter Andreas, Jacobsen, Morten, Andreassen, Ole Andreas, Agartz, Ingrid, Melle, Ingrid, Haukvik, Unn Kristin
Publikováno v:
In Psychiatry Research: Neuroimaging 30 June 2019 288:29-36
Publikováno v:
EPTCS 102, 2012, pp. 125-140
Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We present a direct, DBM-based algorithm for forward reachability analysis of
Externí odkaz:
http://arxiv.org/abs/1211.6194
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:
In Journal of Critical Care December 2016 36:207-211
Autor:
Olsen, Brita F., Rustøen, Tone, Sandvik, Leiv, Miaskowski, Christine, Jacobsen, Morten, Valeberg, Berit T.
Publikováno v:
In Heart & Lung - The Journal of Acute and Critical Care November-December 2015 44(6):521-527
Autor:
Olsen, Brita F., Rustøen, Tone, Sandvik, Leiv, Miaskowski, Christine, Jacobsen, Morten, Valeberg, Berit T.
Publikováno v:
In Heart & Lung - The Journal of Acute and Critical Care November-December 2015 44(6):528-533
Autor:
Christoffersen, Trine Eker, Olsen Hult, Lene Therese, Solberg, Henriette, Bakke, Anne, Kuczkowska, Katarzyna, Huseby, Eirin, Jacobsen, Morten, Lea, Tor, Kleiveland, Charlotte Ramstad
Publikováno v:
In Molecular Immunology August 2015 66(2):107-116
Autor:
Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří
Publikováno v:
In Theoretical Computer Science 5 June 2014 537:3-28