Zobrazeno 1 - 10
of 549
pro vyhledávání: '"Šimáček, P."'
Autor:
Holík, Lukáš, Šimáček, Jiří
Publikováno v:
Luk\'a\v{s} Hol\'ik and Ji\v{r}\'i \v{S}im\'a\v{c}ek, Optimizing an LTS-simulation algorithm. Computing and Informatics, 2010(7):1337-1348, 2010
When comparing the fastest algorithm for computing the largest simulation preorder over Kripke structures with the one for labeled transition systems (LTS), there is a noticeable time and space complexity blow-up proportional to the size of the alpha
Externí odkaz:
http://arxiv.org/abs/2307.04235
Publikováno v:
Heliyon, Vol 10, Iss 16, Pp e36101- (2024)
Extreme heat in urban areas has a severe impact on urban populations worldwide. In light of the threats posed by climate change, it is clear that more holistic and people-oriented approaches to reducing heat stress in urban areas are needed. From thi
Externí odkaz:
https://doaj.org/article/ff82b262628045829a544140a7428787
Publikováno v:
In Fuel 1 March 2024 359
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.
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.