Výsledky vyhledávání
- 1.0547550 - BÚ 2022 RIV US eng J - Článek v odborném periodiku
Bohutínská, Magdalena - Vlček, Jakub - Yair, S. - Laenen, B. - Konečná, Veronika - Fracassetti, M. - Slotte, T. - Kolář, Filip
Genomic basis of parallel adaptation varies with divergence in Arabidopsis and its relatives.
Proceedings of the National Academy of Sciences of the United States of America. Roč. 118, č. 21 (2021), č. článku e2022713118. ISSN 0027-8424. E-ISSN 1091-6490
Institucionální podpora: RVO:67985939 ; RVO:60077344
Klíčová slova: parallelism * evolution * genomics
Obor OECD: Plant sciences, botany; Plant sciences, botany (BC-A)
Impakt faktor: 12.779, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1073/pnas.2022713118
Trvalý link: http://hdl.handle.net/11104/0324476Název souboru Staženo Velikost Komentář Verze Přístup Genomic basis of parallel adaptation.pdf 1 2.1 MB Jiná vyžádat - 2.0459425 - EÚ 2017 RIV CZ cze J - Článek v odborném periodiku
Zapletal, Miloš
Akordické paralelismy a jejich funkce v Ostrčilově opeře Poupě.
[Chordal Parallelisms and Their Functions in Ostrčil's Opera Poupě (The Bud).]
Hudební věda. Roč. 52, 3/4 (2015), s. 365-394. ISSN 0018-7003
Institucionální podpora: RVO:68378076
Klíčová slova: chordal parallelism * parallel triads * first-inversion chord * Ostrčil * Poupě * The Bud * Czech opera * musical hermeneutics * musical semiotics * verismo
Kód oboru RIV: AL - Umění, architektura, kulturní dědictví
Trvalý link: http://hdl.handle.net/11104/0259630 - 3.0449820 - ÚČL 2016 RIV CZ eng M - Část monografie knihy
Müller, Richard - Šidák, Pavel
Jakobson’s Ruse: Artifice in the Context of Functional Aesthetics and the Theory of Sign.
Roman O. Jakobson: a work in progress. Olomouc: Palacký University, 2014 - (Kubíček, T.; Lass, A.), s. 155-169. ISBN 978-80-244-4386-7
Institucionální podpora: RVO:68378068
Klíčová slova: sign * semiotics * artifice * icon * index * symbol * parallelism * aesthetic function * Saussure, F. de * Peirce, S.
Kód oboru RIV: AJ - Písemnictví, masmédia, audiovize
Trvalý link: http://hdl.handle.net/11104/0251253 - 4.0441834 - ÚJČ 2015 RIV CZ cze J - Článek v odborném periodiku
Studničková, Milada
Středověká vyobrazení Jana Husa – teologické interpretace historických událostí.
[Medieval depictions of Jan Hus: Theological interpretation of historical events.]
Acta Universitatis Carolinae - Historia Universitatis Carolinae Pragensis. Roč. 53, č. 1 (2013), s. 79-92. ISSN 0323-0562
Grant CEP: GA ČR(CZ) GBP405/12/G148
Klíčová slova: Jan Hus * Martinitz Bible * Gradual of Leitmeritz * biblical exegesis * typological parallelism
Kód oboru RIV: AL - Umění, architektura, kulturní dědictví
Trvalý link: http://hdl.handle.net/11104/0244773 - 5.0438247 - ÚDU 2015 RIV CZ cze J - Článek v odborném periodiku
Studničková, Milada
Středověká vyobrazení Jana Husa – teologické interpretace historických událostí.
[Medieval depictions of Jan Hus: Theological interpretation of historical events.]
Acta Universitatis Carolinae - Historia Universitatis Carolinae Pragensis. Roč. 53, č. 1 (2013), s. 79-92. ISSN 0323-0562
Institucionální podpora: RVO:68378033
Klíčová slova: Jan Hus * Martinitz Bible * Gradual of Leitmeritz * biblical exegesis * typological parallelism
Kód oboru RIV: AL - Umění, architektura, kulturní dědictví
Trvalý link: http://hdl.handle.net/11104/0241700 - 6.0402013 - UIVT-O 950284 SK eng J - Článek v odborném periodiku
Wiedermann, Jiří
Fast Sequential and Parallel Simulations of Nondeterministic Computations.
Computers and Artificial Intelligence. Roč. 13, č. 6 (1994), s. 521-536. ISSN 0232-0274
Grant ostatní: ALTEC(XE) IC-1000
Klíčová slova: complexity * simulation * Turing machines * determinism * nondeterminism * parallelism
Impakt faktor: 0.059, rok: 1994
Trvalý link: http://hdl.handle.net/11104/0122434 - 7.0330875 - MÚ 2010 RIV FR fre C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Le produit synchrone des automates (max,+).
[Synchronous product of **(max,+) **automata.]
Modélisation des systèmes réactifs : MSR 2009. Paris: Lavoisier, 2009 - (Roux, O.; Lime, D.), s. 1033-1047. ISBN 2-7462-2601-4.
[7ième Colloque Francophone sur la Modélisation des Systèmes. Nantes (FR), 16.11.2009-18.11.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) automata * synchronous product * parallelism
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176557Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 245.2 KB Vydavatelský postprint vyžádat - 8.0307947 - ÚI 2008 RIV US eng J - Článek v odborném periodiku
Adámek, Jiří
Verification of Software Components: Addressing Unbounded Paralelism.
[Verifikace softwarových komponent: Neomezený paralelismus.]
International Journal of Computer and Information Science. Roč. 8, č. 2 (2007), s. 300-309. ISSN 1525-9293
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0160567 - 9.0083270 - ÚI 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří
Addressing Unbounded Parallelism in Verification of Software Components.
[Řešení neomezeného paralelismu při verifikaci softwarových komponent.]
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. Los Alamitos: IEEE Computer Society, 2006, s. 49-56. ISBN 0-7695-2611-X.
[SNPD '06. ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing /7./. Las Vegas (US), 19.06.2006-20.06.2006]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism * behavior protocols
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0146563 - 10.0031786 - UIVT-O 336109 SIGLE CZ eng V - Výzkumná zpráva
Adámek, Jiří
Modeling Unbounded Paralelism using Behavior Protocols.
Prague: Charles University Dept. of SW Engn, 2005. 15 s. Technical Report, 2005/7.
Grant CEP: GA ČR(CZ) GA102/03/0672
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * model checking * unbounded parallelism * behavior protocols
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0132434