Výsledky vyhledávání
- 1.0561667 - ÚTIA 2024 RIV GB eng J - Článek v odborném periodiku
Konieczny, J. - Kupsa, Michal - Kwietniak, D.
On d-approachability, entropy density and B-free shifts.
Ergodic Theory and Dynamical Systems. Roč. 43, č. 3 (2023), s. 943-970. ISSN 0143-3857. E-ISSN 1469-4417
Institucionální podpora: RVO:67985556
Klíčová slova: specification property * Besicovitch pseudometric * topological entropy * Poulsen simplex * shift space
Obor OECD: Applied mathematics
Impakt faktor: 0.9, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2023/SI/kupsa-0561667.pdf https://www.cambridge.org/core/journals/ergodic-theory-and-dynamical-systems/article/abs/on-bar-d-approachability-entropy-density-and-mathscr-b-free-shifts/F5D747D79D4C4ED5282AED0F63DDC8CA
Trvalý link: https://hdl.handle.net/11104/0341148 - 2.0536273 - ÚVGZ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Troják, M. - Šafránek, D. - Brim, L. - Šalagovič, Jakub - Červený, Jan
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Freiburg: Elsevier, 2020, s. 91-116. ISSN 1571-0661.
[9th International Workshop on Static Analysis and Systems Biology (SASB). Freiburg (DE), 28.08.2018-28.08.2018]
Grant CEP: GA MŠMT(CZ) LM2015055
Institucionální podpora: RVO:86652079
Klíčová slova: annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
Obor OECD: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0314081 - 3.0532830 - ÚFA 2021 RIV FR eng J - Článek v odborném periodiku
Altadill, D. - Segarra, A. - Blanch, E. - Juan, J.M. - Paznukhov, V.V. - Burešová, Dalia - Galkin, I. - Reinisch, B. W. - Belehaki, A.
A method for real-time identification and tracking of traveling ionospheric disturbances using ionosonde data: first results.
Journal of Space Weather and Space Climate. Roč. 10, Jan 20 (2020), č. článku 2. ISSN 2115-7251. E-ISSN 2115-7251
GRANT EU: European Commission(XE) 776011 - TechTIDE
Institucionální podpora: RVO:68378289
Klíčová slova: Travelling Ionospheric Disturbances (TIDs) * real-time specification and tracking of Large Scale TIDs (LSTIDs) * ionosphere * auroral activity
Obor OECD: Meteorology and atmospheric sciences
Impakt faktor: 3.584, rok: 2020
Způsob publikování: Open access
https://www.swsc-journal.org/articles/swsc/pdf/2020/01/swsc190055.pdf
Trvalý link: http://hdl.handle.net/11104/0311219Název souboru Staženo Velikost Komentář Verze Přístup 0532830_J_Space_W_Buresova_2020.pdf 2 2 MB Vydavatelský postprint povolen - 4.0510885 - ÚMG 2020 RIV GB eng J - Článek v odborném periodiku
Prummel, K. D. - Hess, Ch. - Nieuwenhuize, S. - Parker, H. J. - Rogers, K.W. - Kozmiková, Iryna - Racioppi, C. - Brombacher, E. C. - Czarkwiani, A. - Knapp, D. - Burger, S. - Chiayacci, E. - Shah, G. - Burger, A. - Huisken, J. - Yun, M. H. - Christiaen, L. - Kozmik, Zbyněk - Mueller, P. - Bronner, M. - Krumlauf, R. - Mosimann, C.
A conserved regulatory program initiates lateral plate mesoderm emergence across chordates.
Nature Communications. Roč. 10, č. 1 (2019), č. článku 3857. E-ISSN 2041-1723
Grant CEP: GA ČR GA17-15374S
Institucionální podpora: RVO:68378050
Klíčová slova: endoderm specification * transcription factors * homeodomain protein * homeobox protein * stem-cells * in-vivo * zebrafish * evolution * amphioxus * mouse
Obor OECD: Developmental biology
Impakt faktor: 12.121, rok: 2019
Způsob publikování: Open access
https://www.nature.com/articles/s41467-019-11561-7
Trvalý link: http://hdl.handle.net/11104/0306730 - 5.0505017 - NHU-C 2020 RIV DE eng J - Článek v odborném periodiku
Anatolyev, Stanislav
Testing for a functional form of mean regression in a fully parametric environment.
Journal of Econometric Methods. Roč. 8, č. 1 (2019), s. 1-20, č. článku 20160013. ISSN 2156-6674
Institucionální podpora: Progres-Q24
Klíčová slova: mean regression * functional form * specification test
Obor OECD: Applied Economics, Econometrics
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1515/jem-2016-0013
Trvalý link: http://hdl.handle.net/11104/0296543 - 6.0493373 - NHU-C 2019 CZ eng V - Výzkumná zpráva
Bělín, Matěj
Time-invariant regressors under fixed effects: identification via a proxy variable.
Prague: CERGE-EI, 2018. 14 s. CERGE-EI Working Paper Series, 624. ISSN 1211-3298
Institucionální podpora: Progres-Q24
Klíčová slova: identification * model specification * omitted variable bias
Kód oboru RIV: AH - Ekonomie
https://www.cerge-ei.cz/pdf/wp/Wp624.pdf
Trvalý link: http://hdl.handle.net/11104/0286731 - 7.0473122 - ÚMG 2017 RIV GB eng J - Článek v odborném periodiku
Svoboda, Ondřej - Stachura, D.L. - Machoňová, Olga - Zon, L.I. - Traver, D. - Bartůněk, Petr
Ex vivo tools for the clonal analysis of zebrafish hematopoiesis.
Nature Protocols. Roč. 11, č. 5 (2016), s. 1007-1020. ISSN 1754-2189. E-ISSN 1750-2799
Grant CEP: GA MŠMT LO1419; GA ČR GA16-21024S
Institucionální podpora: RVO:68378050
Klíčová slova: stem-cells * in-vitro * vertebrate hematopoiesis * transgenic zebrafish * progenitor cells * danio-rerio * fish * thrombopoietin * identification * specification
Kód oboru RIV: EB - Genetika a molekulární biologie
Impakt faktor: 10.032, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0270289Název souboru Staženo Velikost Komentář Verze Přístup Nature_Protocols_O_Svoboda_2016.pdf 3 879.3 KB Vydavatelský postprint vyžádat - 8.0446568 - ÚI 2016 RIV GB eng J - Článek v odborném periodiku
Šimko, V. - Hauzar, D. - Hnětynka, P. - Bureš, Tomáš - Plášil, F.
Formal Verification of Annotated Textual Use-Cases.
Computer Journal. Roč. 58, č. 7 (2015), s. 1495-1529. ISSN 0010-4620. E-ISSN 1460-2067
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
Institucionální podpora: RVO:67985807
Klíčová slova: specification * use-cases * behavior modeling * verification * temporal logic * formalization
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.000, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0248549 - 9.0410564 - UTIA-B 20010033 RIV SK eng C - Konferenční příspěvek (zahraniční konf.)
Víšek, Jan Ámos
Robust instrumental variables and specification test.
Bratislava: STU SF, 2001. ISBN 80-227-1486-0. In: Zborník konferencie PRASTAN 2000. - (Kalina, M.), s. 133-164
[PRASTAN 2000. Bezovec (SK), 22.05.2000-26.05.2000]
Grant ostatní: GA UK(CZ) 255/2000/A EK/FSV
Výzkumný záměr: AV0Z1075907
Klíčová slova: instrumental M-estimators * asymptotic representation and normality * specification test
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Trvalý link: http://hdl.handle.net/11104/0130653 - 10.0402017 - UIVT-O 940024 DE eng C - Konferenční příspěvek (zahraniční konf.)
Holeňa, Martin
Uncertainty Representation with HyKL.
Proceedings of the 4. SP1 JCF Workshop. Karlsruhe: FZI, 1994 - (Danner, C.), s. 20
[SP1 JCF Workshop /4./. Karlsruhe (DE), 14.04.1994-15.04.1994]
Klíčová slova: knowledge representation * frames * rules * uncertain knowledge * uncertainty proc knowledge specification language
Trvalý link: http://hdl.handle.net/11104/0122438