Výsledky vyhledávání
- 1.0578399 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Trvalý link: https://hdl.handle.net/11104/0347401Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 465.3 KB Vydavatelský postprint vyžádat - 2.0509138 - BÚ 2020 RIV BE eng C - Konferenční příspěvek (zahraniční konf.)
Ma, J. - Janoušková, Martina - Yan, Y. - Yu, X. - Zou, Z. R. - Li, Y. S. - He, C.
The photoprotective role of arbuscular mycorrhizal fungi (AMF) in cucumber seedlings under cold stress.
Acta Horticulturae. Leuven: International Societas Horticultural Science, 2018 - (Du, Y.; Doi, M.; Son, J.), s. 305-318. book series, 1208. ISBN 978-94-62612-05-1. ISSN 0567-7572.
[2nd Asian Horticultural Congress (AHC). Chengdu (CN), 26.09.2016-29.09.2016]
Grant CEP: GA MŠMT(CZ) LH14285
Institucionální podpora: RVO:67985939
Klíčová slova: temperature * carbohydrate * acclimatization
Obor OECD: Ecology
https://www.ishs.org/ishs-book/1208
Trvalý link: http://hdl.handle.net/11104/0304493