Search results
- 1.0561667 - ÚTIA 2024 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985556
Keywords : specification property * Besicovitch pseudometric * topological entropy * Poulsen simplex * shift space
OECD category: Applied mathematics
Impact factor: 0.9, year: 2022
Method of publishing: Limited access
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
Permanent Link: https://hdl.handle.net/11104/0341148 - 2.0536273 - ÚVGZ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:86652079
Keywords : annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
OECD category: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0314081 - 3.0532830 - ÚFA 2021 RIV FR eng J - Journal Article
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
EU Projects: European Commission(XE) 776011 - TechTIDE
Institutional support: RVO:68378289
Keywords : Travelling Ionospheric Disturbances (TIDs) * real-time specification and tracking of Large Scale TIDs (LSTIDs) * ionosphere * auroral activity
OECD category: Meteorology and atmospheric sciences
Impact factor: 3.584, year: 2020
Method of publishing: Open access
https://www.swsc-journal.org/articles/swsc/pdf/2020/01/swsc190055.pdf
Permanent Link: http://hdl.handle.net/11104/0311219File Download Size Commentary Version Access 0532830_J_Space_W_Buresova_2020.pdf 2 2 MB Publisher’s postprint open-access - 4.0510885 - ÚMG 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-15374S
Institutional support: RVO:68378050
Keywords : endoderm specification * transcription factors * homeodomain protein * homeobox protein * stem-cells * in-vivo * zebrafish * evolution * amphioxus * mouse
OECD category: Developmental biology
Impact factor: 12.121, year: 2019
Method of publishing: Open access
https://www.nature.com/articles/s41467-019-11561-7
Permanent Link: http://hdl.handle.net/11104/0306730 - 5.0505017 - NHU-C 2020 RIV DE eng J - Journal Article
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
Institutional support: Progres-Q24
Keywords : mean regression * functional form * specification test
OECD category: Applied Economics, Econometrics
Method of publishing: Limited access
http://dx.doi.org/10.1515/jem-2016-0013
Permanent Link: http://hdl.handle.net/11104/0296543 - 6.0493373 - NHU-C 2019 CZ eng V - Research Report
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
Institutional support: Progres-Q24
Keywords : identification * model specification * omitted variable bias
Subject RIV: AH - Economics
https://www.cerge-ei.cz/pdf/wp/Wp624.pdf
Permanent Link: http://hdl.handle.net/11104/0286731File Download Size Commentary Version Access Wp624.pdf 1 455.4 KB Publisher’s postprint open-access - 7.0473122 - ÚMG 2017 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT LO1419; GA ČR GA16-21024S
Institutional support: RVO:68378050
Keywords : stem-cells * in-vitro * vertebrate hematopoiesis * transgenic zebrafish * progenitor cells * danio-rerio * fish * thrombopoietin * identification * specification
Subject RIV: EB - Genetics ; Molecular Biology
Impact factor: 10.032, year: 2016
Permanent Link: http://hdl.handle.net/11104/0270289File Download Size Commentary Version Access Nature_Protocols_O_Svoboda_2016.pdf 3 879.3 KB Publisher’s postprint require - 8.0446568 - ÚI 2016 RIV GB eng J - Journal Article
Š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 - others:GA AV ČR(CZ) GAP103/11/1489
Institutional support: RVO:67985807
Keywords : specification * use-cases * behavior modeling * verification * temporal logic * formalization
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.000, year: 2015
Permanent Link: http://hdl.handle.net/11104/0248549 - 9.0410564 - UTIA-B 20010033 RIV SK eng C - Conference Paper (international conference)
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 - others:GA UK(CZ) 255/2000/A EK/FSV
Institutional research plan: AV0Z1075907
Keywords : instrumental M-estimators * asymptotic representation and normality * specification test
Subject RIV: BB - Applied Statistics, Operational Research
Permanent Link: http://hdl.handle.net/11104/0130653 - 10.0402017 - UIVT-O 940024 DE eng C - Conference Paper (international conference)
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]
Keywords : knowledge representation * frames * rules * uncertain knowledge * uncertainty proc knowledge specification language
Permanent Link: http://hdl.handle.net/11104/0122438