Výsledky vyhledávání
- 1.0559241 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Propagation Complete Encodings of Smooth DNNF Theories.
Constraints. Roč. 27, č. 3 (2022), s. 327-359. ISSN 1383-7133. E-ISSN 1572-9354
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10601-022-09331-2
Trvalý link: https://hdl.handle.net/11104/0332581 - 2.0494392 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-most-one Constraint.
Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2018.09.003
Trvalý link: http://hdl.handle.net/11104/0287600Název souboru Staženo Velikost Komentář Verze Přístup a0494392.pdf 9 607.1 KB Vydavatelský postprint vyžádat - 3.0492230 - ÚČL 2018 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Iwashita, Daniela
Jediná kniha Jakuba Demla, Bedřicha Fučíka a Vladimíra Binara.
[The One Book of Jakub Deml, Bedřich Fučík and Vladimír Binar.]
Cožpak to jsem chtěl, aby mne zařadili do literatury? Jakub Deml a literární tradice. Praha: Ústav pro českou literaturu AV ČR, 2018 - (Iwashita, D.; Kořínková, Š.), s. 144-157. ISBN 978-80-88069-60-7.
[Cožpak to jsem chtěl, aby mne zařadili do literatury? Jakub Deml a literární tradice. Tasov (CZ), 16.09.2016-17.09.2016]
Grant CEP: GA ČR(CZ) GA14-32413S
Institucionální podpora: RVO:68378068
Klíčová slova: Jakub Deml * Vladimír Binar * Bedřich Fučík * edition * bibliography * manuscripts * Report on the Compilation of the Work o Jakub Deml * readerly edition * critical edition * hybrid edition
Obor OECD: Specific literatures
Trvalý link: http://hdl.handle.net/11104/0285779 - 4.0478486 - ÚI 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-Most-One Constraint.
Theory and Applications of Satisfiability Testing - SAT 2017. Cham: Springer, 2017 - (Gaspers, S.; Walsh, T.), s. 412-428. Lecture Notes in Computer Science, 10491. ISBN 978-3-319-66262-6. ISSN 0302-9743.
[SAT 2017. International Conference on Theory and Applications of Satisfiability Testing /20./. Melbourne (AU), 28.08.2017-01.09.2017]
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0274603Název souboru Staženo Velikost Komentář Verze Přístup 0478486.pdf 2 801.7 KB Autorský preprint povolen a0478486.pdf 4 310.6 KB Vydavatelský postprint vyžádat - 5.0410739 - UTIA-B 20010208 CZ eng V - Výzkumná zpráva
Kadlec, Jiří - Albu, F. - Softley, Ch. - Matoušek, Rudolf - Heřmánek, Antonín
RLS Lattice for Virtex FPGA using 32-bit and 20-bit Logarithmic Arithmetic.
Praha: ÚTIA AV ČR, 2001. 11 s. Research Report, 2036.
Grant CEP: GA MŠMT LN00B096
Grant ostatní: ESPRIT(XE) HSLA 33544
Výzkumný záměr: AV0Z1075907
Klíčová slova: digital signal processing * logaritmic arithmetic * embedded compilation
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0130827 - 6.0410737 - UTIA-B 20010206 CZ eng V - Výzkumná zpráva
Heřmánek, Antonín - Kadlec, Jiří - Matoušek, Rudolf - Líčko, Miroslav - Softley, Ch.
Pipelined Logarithmic 32bit ALU for Celoxica DK1.
Praha: ÚTIA AV ČR, 2001. 11 s. Research Report, 2034.
Grant CEP: GA MŠMT LN00B096
Grant ostatní: ESPRIT(XE) HSLA 33544
Výzkumný záměr: AV0Z1075907
Klíčová slova: FPGA * embedded computer * hardware compilation
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0130825 - 7.0366265 - ÚJF 2012 RIV CZ eng J - Článek v odborném periodiku
Kubešová, Marie - Kučera, Jan
Validation of k(0) Standardization Method in Neutron Activation Analysis Using Kayzero Program for Windows.
Chemické listy. Roč. 105, č. 4 (2011), s. 261-268. ISSN 0009-2770. E-ISSN 1213-7103
Grant CEP: GA ČR GA202/09/0363
Výzkumný záměr: CEZ:AV0Z10480505
Klíčová slova: ELECTRONIC DATABASE * ASSISTED NAA * COMPILATION
Kód oboru RIV: BG - Jaderná, atomová a mol. fyzika, urychlovače
Impakt faktor: 0.529, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0201318 - 8.0365551 - ÚJF 2012 RIV AT eng J - Článek v odborném periodiku
Tumino, A. - Spitaleri, C. - Mukhamedzhanov, A. - Typel, S. - Aliotta, M. - Burjan, Václav - Del Santo, M. G. - Kiss, G.G. - Kroha, Václav - Hons, Zdeněk - La Cognata, M. - Lamia, L. - Mrázek, Jaromír - Pizzone, R. G. - Piskoř, Štěpán - Rapisarda, G. G. - Romano, S. - Sergi, M. L. - Sparta, R.
Indirect Study of the (2)H(d,p)(3)H and (2)H(d,n)(3)He Reactions at Astrophysical Energies via the Trojan Horse Method.
Few-Body Systems. Roč. 50, 1-4 (2011), s. 323-325. ISSN 0177-7963. E-ISSN 1432-5411.
[21st European Conference on Few-Body Problems in Physics Location. Salamanca, 30.08.2010-03092010]
Grant CEP: GA ČR GAP203/10/0310
Výzkumný záměr: CEZ:AV0Z10480505
Klíčová slova: CROSS-SECTIONS * REACTION-RATES * COMPILATION * D+D
Kód oboru RIV: BN - Astronomie a nebeská mechanika, astrofyzika
Impakt faktor: 1.438, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0200771