Výsledky vyhledávání
- 1.0582560 - ÚFA 2025 RIV CZ cze K - Konferenční příspěvek (tuzemská konf.)
Bližňák, Vojtěch - Zacharov, Petr, jr.
Hodnocení úhrnů srážek simulovaných atmosférickou reanalýzou ALADIN/PERUN ve vysokém prostorovém rozlišení.
[Evaluation of precipitation totals simulated by the ALADIN/PERUN atmospheric reanalysis at high spatial resolution.]
Sborník příspěvků z První konference projektu PERUN. Praha: ČHMÚ, 2023 - (Tolasz, R.; Polcarová, E.), s. 15-26. ISBN 978-80-7653-063-8.
[První konference projektu PERUN. Průhonice (CZ), 16.10.2023-18.10.2023]
Grant CEP: GA TA ČR(CZ) SS02030040
Institucionální podpora: RVO:68378289
Klíčová slova: atmospheric reanalysis * precipitation verification * NWP model * quantitative precipitation estimation
Obor OECD: Meteorology and atmospheric sciences
https://doi.org/10.59984/978-80-7653-063-8
Trvalý link: https://hdl.handle.net/11104/0350650 - 2.0576686 - ÚCHP 2024 ES eng C - Konferenční příspěvek (zahraniční konf.)
Ondráček, Jakub - Windell, Laurence Christian - Roztočil, Petr
Prague Aerosol Calibration Center.
Program Book. Malaga: UNED, 2023, č. článku 3.01-14..
[European Aerosol Conference 2023. Malaga (ES), 03.09.2023-08.09.2023]
Grant CEP: GA MŠMT(CZ) LM2023030
GRANT EU: European Commission(XE) 871115 - ACTRIS IMP
Institucionální podpora: RVO:67985858
Klíčová slova: ACTRIS * calibration/verification * aerosol physical properties
Obor OECD: Meteorology and atmospheric sciences
Trvalý link: https://hdl.handle.net/11104/0346133Název souboru Staženo Velikost Komentář Verze Přístup 29bdddd5.pdf 0 97.1 KB Vydavatelský postprint povolen - 3.0574098 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lipparini, E. - Ratschan, Stefan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NASA Formal Methods: 15th International Symposium, NFM 2023 Proceedings. Cham: Springer, 2023 - (Rozier, K.; Chaudhuri, S.), s. 472-488. Lecture Notes in Computer Science, 13903. ISBN 978-3-031-33169-5. ISSN 0302-9743.
[NFM 2023: NASA Formal Methods International Symposium /15./. Houston (US), 16.05.2023-18.05.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: SAT modulo theories * constraint solving * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-33170-1_29
Trvalý link: https://hdl.handle.net/11104/0344454 - 4.0567794 - ÚFA 2023 RIV CZ cze J - Článek v odborném periodiku
Zacharov, Petr, jr. - Řezáčová, Daniela - Brožková, R.
Strukturovaná verifikace předpovědí srážek produkovaných současnou konfigurací modelu ALADIN-CZ.
[Structured verification of the QPF produced by the current configuration of the ALADIN-CZ model.]
Meteorologické zprávy. Roč. 75, č. 3 (2022), s. 89-98. ISSN 0026-1173
Grant CEP: GA TA ČR(CZ) SS02030040
Institucionální podpora: RVO:68378289
Klíčová slova: quantitative precipitation forecast * spatial forecast verification * ALADIN-CZ model * SAL method * FSS method * structure of precipitation field * convective precipitation * stratiform precipitation
Obor OECD: Meteorology and atmospheric sciences
Způsob publikování: Open access
https://www.chmi.cz/files/portal/docs/reditel/SIS/casmz/assets/2022/MZ_03_2022.pdf
Trvalý link: https://hdl.handle.net/11104/0339043Název souboru Staženo Velikost Komentář Verze Přístup Meteorologické zprávy_03_2022.pdf 3 5.3 MB Vydavatelský postprint povolen - 5.0564912 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of weak and strong k-step opacity for discrete-event systems.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 108-113. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Trvalý link: https://hdl.handle.net/11104/0336489Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 5 470.6 KB Vydavatelský postprint povolen - 6.0564526 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Validating Non-trivial Semantic Properties of Autonomous Robots.
Philosophy and Theory of Artificial Intelligence 2021 Conference Proceedings. Cham: Springer, 2022 - (Magnani, L.), s. 91-104. Studies in Applied Philosophy, Epistemology and Rational Ethic, 63. ISBN 978-3-031-09152-0.
[PTAI 2021: Conference on Philosophy and Theory of Artificial Intelligence /4./. Gothenburg (SE), 27.09.2021-28.09.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Autonomous robots * Cyber-physical systems * Ethics of AI Semantic properties * Rice’s theorem * Robot modelling * Turing machines * Verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0336186 - 7.0556720 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Onderka, J. - Ratschan, Stefan
Fast Three-Valued Abstract Bit-Vector Arithmetic.
Verification, Model Checking, and Abstract Interpretation. Cham: Springer, 2022 - (Finkbeiner, B.; Wies, T.), s. 242-262. Lecture Notes on Computer Science, 13182. ISBN 978-3-030-94582-4. ISSN 0302-9743.
[VMCAI 2022: International Conference on Verification, Model Checking, and Abstract Interpretation /23./. Philadelphia (US), 16.01.2022-18.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Formal verification * Three-valued abstraction * Computer arithmetics * Addition and multiplication * Pseudo-Boolean modular inequality
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1007/978-3-030-94583-1_12
Trvalý link: http://hdl.handle.net/11104/0330868 - 8.0556712 - ÚGN 2023 RIV CH eng M - Část monografie knihy
Balázs, B. - Mooney, P. - Nováková, Eva - Bastin, L. - Arsanjani, J. J.
Data Quality in Citizen Science.
The Science of Citizen Science. 1. Cham: Springer, 2021 - (Vohland, K.; Land-Zandstra, A.; Ceccaroni, L.; Lemmens, R.; Perelló, J.; Ponti, M.; Samson, R.; Wagenknecht, K.), s. 139-157. ISBN 978-3-030-58277-7
Institucionální podpora: RVO:68145535
Klíčová slova: peer verification * expert verification * quality assessment
Obor OECD: Information science (social aspects)
https://link.springer.com/chapter/10.1007/978-3-030-58278-4_8
Trvalý link: http://hdl.handle.net/11104/0330865Název souboru Staženo Velikost Komentář Verze Přístup UGN_0556712.pdf 2 422.2 KB Jiná povolen - 9.0548003 - ÚFA 2023 RIV NL eng J - Článek v odborném periodiku
Sokol, Zbyněk - Brožková, R. - Popová, Jana - Bobotová, Gabriela - Švábik, F.
Evaluation of ALADIN NWP model forecasts by IR10.8 μm and WV06.2 μm brightness temperatures measured by the geostationary satellite Meteosat Second Generation.
Atmospheric Research. Roč. 265, January (2022), č. článku 105920. ISSN 0169-8095. E-ISSN 1873-2895
Grant CEP: GA TA ČR(CZ) SS02030040; GA MŠMT EF15_003/0000481
Institucionální podpora: RVO:68378289
Klíčová slova: Meteorological satellite * SEVIRI brightness temperature * MSG * Meteosat second generation * NWP model * NWP model verification
Obor OECD: Meteorology and atmospheric sciences
Impakt faktor: 5.5, rok: 2022
Způsob publikování: Open access
https://www.sciencedirect.com/science/article/pii/S0169809521004762?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0324139Název souboru Staženo Velikost Komentář Verze Přístup 0548003_AtmosphRes_Sokol_2021.pdf 1 19.2 MB Vydavatelský postprint vyžádat - 10.0547296 - ÚI 2022 NL eng J - Článek v odborném periodiku
Rios Gaona, Manuel F. - Villarini, G. - Zhang, W. - Vecchi, G.A.
The added value of IMERG in characterizing rainfall in tropical cyclones.
Atmospheric Research. Roč. 209 (2018), s. 95-102. ISSN 0169-8095. E-ISSN 1873-2895
Klíčová slova: united-states * intensity * verification * forecasts * microwave * models * Tropical cyclones * imerg * Rainfall
Impakt faktor: 4.114, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0323561