Search results

  1. 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. 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/0346133
    FileDownloadSizeCommentaryVersionAccess
    29bdddd5.pdf097.1 KBPublisher’s postprintopen-access
     
     
  3. 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. 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/0339043
    FileDownloadSizeCommentaryVersionAccess
    Meteorologické zprávy_03_2022.pdf35.3 MBPublisher’s postprintopen-access
     
     
  5. 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/0336489
    FileDownloadSizeCommentaryVersionAccess
    Masopust1.pdf5470.6 KBPublisher’s postprintopen-access
     
     
  6. 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. 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. 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/0330865
    FileDownloadSizeCommentaryVersionAccess
    UGN_0556712.pdf2422.2 KBOtheropen-access
     
     
  9. 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/0324139
    FileDownloadSizeCommentaryVersionAccess
    0548003_AtmosphRes_Sokol_2021.pdf119.2 MBPublisher’s postprintrequire
     
     
  10. 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
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.