Košík

    1.
    0423235 - ÚT 2014 RIV CZ cze V - Výzkumná zpráva
    Převorovský, Zdeněk - Semerák, P. - Kratochvíl, J.
    Automatizovaná diagnostika extrémně zatížených stavebních konstrukcí.
    [Automated diagnostics of extremely loaded structures (engineering constructions).]
    Praha: UNICA TECHNOLOGIES a. s, 2013. 118 s.
    Grant CEP: GA MPO FR-TI1/198
    Zdroj financování: V - jiné veřejné zdroje
    Institucionální podpora: RVO:61388998
    Klíčová slova: structural health monitoring (SHM) * roof structures * acoustic emission * nonlinear elastic wave spectroscopy - NEWS
    Kód oboru RIV: JN - Stavebnictví
    Trvalý link: http://hdl.handle.net/11104/0229313
     
    2.
    0363897 - GFÚ 2012 RIV CZ eng J - Článek v odborném periodiku
    Kolář, Petr - Růžek, Bohuslav - Boušková, Alena - Horálek, Josef
    Visualization of the fault slip connected with the West Bohemia earthquake swarms.
    Acta geodynamica et geomaterialia. Roč. 8, č. 2 (2011), s. 169-187. ISSN 1214-9705. E-ISSN 2336-4351
    Grant CEP: GA AV ČR(CZ) IAA300120805; GA ČR GAP210/10/1728
    Výzkumný záměr: CEZ:AV0Z30120515
    Klíčová slova: West Bohemia earthquake swarm * fault slip * fault dynamics * asperity
    Kód oboru RIV: DC - Seismologie, vulkanologie a struktura Země
    Impakt faktor: 0.530, rok: 2011
    Trvalý link: http://hdl.handle.net/11104/0199516
     
     
    3.
    0366213 - PSÚ 2012 RIV GB eng J - Článek v odborném periodiku
    Freund, A.M. - Kouřilová, Sylvie - Kuhl, P.
    Stronger evidence for own-age effects in memory for older as compared to younger adults.
    Memory. Roč. 19, č. 5 (2011), s. 429-448. ISSN 0965-8211. E-ISSN 1464-0686
    Výzkumný záměr: CEZ:AV0Z70250504
    Klíčová slova: own-age effect * memory bias * age relevance * ageing
    Kód oboru RIV: AN - Psychologie
    Impakt faktor: 2.089, rok: 2011 ; AIS: 0.882, rok: 2011
    DOI: https://doi.org/10.1080/09658211.2011.583929
    Trvalý link: http://hdl.handle.net/11104/0201272
     
     
    4.
    0584859 - ÚI 2025 RIV CH eng M - Část monografie knihy
    Blaauwbroek, L. - Cerna, David M. - Gauthier, T. - Jakubův, J. - Kaliszyk, C. - Suda, M. - Urban, J.
    Learning Guided Automated Reasoning: A Brief Survey.
    Logics and Type Systems in Theory and Practice. Essays in Honor of the 60th Birthday of Herman Geuvers. Cham: Springer, 2024 - (Capretta, V.; Krebbers, R.; Wiedijk, F.), s. 54-83. Lecture Notes in Computer Science, 14560. ISBN 978-3-031-61715-7
    GRANT EU: European Commission(XE) CA20111
    Institucionální podpora: RVO:67985807
    Klíčová slova: automated-reasoning * Theorem-proving * Statistical-learning * Reinforcement-learning * Inductive synthesis
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Web výsledku:
    https://doi.org/10.1007/978-3-031-61716-4_4DOI: https://doi.org/10.1007/978-3-031-61716-4_4
    Trvalý link: https://hdl.handle.net/11104/0352646
     
    Název souboruStaženoVelikostKomentářVerzePřístup
    0584859-apre.pdf1373.7 KBv. 1Autorský preprintpovolen
     
    Vědecká data: Preprint - ArXiv.org

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše