Zobrazeno 1 - 10 of 159 pro vyhledávání: '"Kristensen, L.M."'
1
Akademický článek
An implementation, evaluation and validation of a dynamic fire and conflagration risk indicator for wooden homes
Autor: Strand, R.D., Kristensen, L.M.
Publikováno v: In Procedia Computer Science 2024 238:49-56
Zobrazit plný text záznamu
2
Akademický článek
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services
Autor: Stokkenes, S., Strand, R.D., Kristensen, L.M., Log, T.
Publikováno v: In Procedia Computer Science 2021 184:186-193
Zobrazit plný text záznamu
3
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.
4
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.
5
Heuristic mining approaches for high-utility local process models
Autor: Dalmas, Benjamin, Tax, N., Norre, Sylvie, Koutny, M., Kristensen, L.M., Penczek, W.
Publikováno v: Transactions on Petri nets and other models of concurrency XIII, 27-51
STARTPAGE=27;ENDPAGE=51;TITLE=Transactions on Petri nets and other models of concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII, pp.27-51, 2018
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
Local Process Models (LPMs) describe structured fragments of process behavior that occur in the context of business processes. Traditional support-based LPM discovery aims to generate a collection of process models that describe highly frequent behav
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af6fe71cd066c389374dc9dfb6b5cf4e
https://research.tue.nl/nl/publications/05f892f1-7731-4427-bb4c-d3a2930411d3
Zobrazit plný text záznamu
6
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.
7
Decomposed replay using hiding and reduction
Autor: Verbeek, H.M.W., Cabac, L., Kristensen, L.M., Rölke, H.
Publikováno v: PNSE 2016 : International Workshop on Petri Nets and Software Engineering. 20-21 June 2016, Torun, Poland, 533-552
STARTPAGE=533;ENDPAGE=552;TITLE=PNSE 2016 : International Workshop on Petri Nets and Software Engineering. 20-21 June 2016, Torun, Poland
In the area of process mining, decomposed replay has been proposed to be able to deal with nets and logs containing many different activities. The main assumption behind this decomposition is that replaying many subnets and sublogs containing only so
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e91c9e0419127783ed1881ff55b720b5
https://research.tue.nl/nl/publications/afad65a8-194b-44b9-9839-e2d9577de4a8
Zobrazit plný text záznamu
8
A graphical approach to component-based and extensible model checking platforms
Autor: Westergaard, M., Kristensen, L.M., Jensen, K., Donatelli, S., Kleijn, J.
Publikováno v: Transactions on Petri Nets and Other Models of Concurrency V, 265-291
STARTPAGE=265;ENDPAGE=291;TITLE=Transactions on Petri Nets and Other Models of Concurrency V
Lecture Notes in Computer Science ISBN: 9783642290718
Model checking is applied for verification of concurrent systems by users having different skills and background. This ranges from researchers with detailed knowledge of the inner workings of the tools to engineers that are mostly interested in apply
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cd7d132cfbb35c0180d1e82adad58f0
https://doi.org/10.1007/978-3-642-29072-5_12
Zobrazit plný text záznamu
9
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.
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje