Search results
- 1.0582560 - ÚFA 2025 RIV CZ cze K - Conference Paper (Czech conference)
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]
R&D Projects: GA TA ČR(CZ) SS02030040
Institutional support: RVO:68378289
Keywords : atmospheric reanalysis * precipitation verification * NWP model * quantitative precipitation estimation
OECD category: Meteorology and atmospheric sciences
https://doi.org/10.59984/978-80-7653-063-8
Permanent Link: https://hdl.handle.net/11104/0350650 - 2.0576686 - ÚCHP 2024 ES eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT(CZ) LM2023030
EU Projects: European Commission(XE) 871115 - ACTRIS IMP
Institutional support: RVO:67985858
Keywords : ACTRIS * calibration/verification * aerosol physical properties
OECD category: Meteorology and atmospheric sciences
Permanent Link: https://hdl.handle.net/11104/0346133File Download Size Commentary Version Access 29bdddd5.pdf 0 97.1 KB Publisher’s postprint open-access - 3.0574098 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : SAT modulo theories * constraint solving * formal verification
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0344454 - 4.0567794 - ÚFA 2023 RIV CZ cze J - Journal Article
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
R&D Projects: GA TA ČR(CZ) SS02030040
Institutional support: RVO:68378289
Keywords : quantitative precipitation forecast * spatial forecast verification * ALADIN-CZ model * SAL method * FSS method * structure of precipitation field * convective precipitation * stratiform precipitation
OECD category: Meteorology and atmospheric sciences
Method of publishing: Open access
https://www.chmi.cz/files/portal/docs/reditel/SIS/casmz/assets/2022/MZ_03_2022.pdf
Permanent Link: https://hdl.handle.net/11104/0339043File Download Size Commentary Version Access Meteorologické zprávy_03_2022.pdf 3 5.3 MB Publisher’s postprint open-access - 5.0564912 - MÚ 2023 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * finite automata * opacity * verification * complexity
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Permanent Link: https://hdl.handle.net/11104/0336489File Download Size Commentary Version Access Masopust1.pdf 5 470.6 KB Publisher’s postprint open-access - 6.0564526 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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 - others:AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institutional support: RVO:67985807
Keywords : Autonomous robots * Cyber-physical systems * Ethics of AI Semantic properties * Rice’s theorem * Robot modelling * Turing machines * Verification
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: https://hdl.handle.net/11104/0336186 - 7.0556720 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Formal verification * Three-valued abstraction * Computer arithmetics * Addition and multiplication * Pseudo-Boolean modular inequality
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0330868 - 8.0556712 - ÚGN 2023 RIV CH eng M - Monography Chapter
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
Institutional support: RVO:68145535
Keywords : peer verification * expert verification * quality assessment
OECD category: Information science (social aspects)
https://link.springer.com/chapter/10.1007/978-3-030-58278-4_8
Permanent Link: http://hdl.handle.net/11104/0330865File Download Size Commentary Version Access UGN_0556712.pdf 2 422.2 KB Other open-access - 9.0548003 - ÚFA 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA TA ČR(CZ) SS02030040; GA MŠMT EF15_003/0000481
Institutional support: RVO:68378289
Keywords : Meteorological satellite * SEVIRI brightness temperature * MSG * Meteosat second generation * NWP model * NWP model verification
OECD category: Meteorology and atmospheric sciences
Impact factor: 5.5, year: 2022
Method of publishing: Open access
https://www.sciencedirect.com/science/article/pii/S0169809521004762?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0324139File Download Size Commentary Version Access 0548003_AtmosphRes_Sokol_2021.pdf 1 19.2 MB Publisher’s postprint require - 10.0547296 - ÚI 2022 NL eng J - Journal Article
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
Keywords : united-states * intensity * verification * forecasts * microwave * models * Tropical cyclones * imerg * Rainfall
Impact factor: 4.114, year: 2018
Permanent Link: http://hdl.handle.net/11104/0323561