Výsledky vyhledávání
- 1.0449858 - ÚI 2016 RIV SG eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
International Journal of Foundations of Computer Science. Roč. 26, č. 6 (2015), s. 677-695. ISSN 0129-0541. E-ISSN 1793-6373
Grant CEP: GA ČR GAP202/10/1333
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.467, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0251272Název souboru Staženo Velikost Komentář Verze Přístup a0449858.pdf 12 262.7 KB Vydavatelský postprint vyžádat - 2.0425970 - ÚI 2014 RIV CZ cze J - Článek v odborném periodiku
Wiedermann, Jiří
Proč počítáme a co počítáme?
[Why do we compute and what do we compute?]
Pokroky matematiky, fyziky & astronomie. Roč. 59, č. 1 (2014), s. 33-43. ISSN 0032-2423
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: výpočet * znalosti * výpočetní systémy * generování znalostí
Kód oboru RIV: IN - Informatika
http://www.youtube.com/watch?v=Llot-KUbVRU http://hdl.handle.net/10338.dmlcz/143737
Trvalý link: http://hdl.handle.net/11104/0231752Název souboru Staženo Velikost Komentář Verze Přístup PokrokyMFA_59-2014-1_5.pdf 1 369.7 KB Vydavatelský postprint vyžádat - 3.0393985 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Šíma, Jiří
Energy Complexity of Recurrent Neural Networks.
Neural Computation. Roč. 26, č. 5 (2014), s. 953-973. ISSN 0899-7667. E-ISSN 1530-888X
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: neural network * finite automaton * energy complexity * optimal size
Kód oboru RIV: IN - Informatika
Impakt faktor: 2.207, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0222343Název souboru Staženo Velikost Komentář Verze Přístup 0393985.pdf 1 776.1 KB Autorský preprint povolen - 4.0393220 - ÚI 2018 RIV NL eng J - Článek v odborném periodiku
Šíma, Jiří - Žák, Stanislav
On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity.
Fundamenta Informaticae. Roč. 152, č. 4 (2017), s. 397-409. ISSN 0169-2968. E-ISSN 1875-8681
Grant CEP: GA ČR GBP202/12/G061; GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machine * hierarchy * buffer complexity * diagonalization
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.725, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0221961 - 5.0383138 - ÚI 2013 RIV GR eng J - Článek v odborném periodiku
Wiedermann, Jiří
Thirty Years of Collaboration with Jan van Leeuwen: In Search of Understanding Computation.
Bulletin of the European Association for Theoretical Computer Science. -, č. 108 (2012), s. 148-160. ISSN 0252-9742
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: complexity * machine models * array processing machine * interactive computing * Turing machine paradigm * hypercomputing
Kód oboru RIV: IN - Informatika
http://albcom.lsi.upc.edu/ojs/index.php/beatcs/article/viewFile/146/161
Trvalý link: http://hdl.handle.net/11104/0213173 - 6.0375042 - ÚI 2013 RIV US eng J - Článek v odborném periodiku
Wiedermann, Jiří
A Computability Argument Against Superintelligence.
Cognitive Computation. Roč. 4, č. 3 (2012), s. 236-245. ISSN 1866-9956. E-ISSN 1866-9964
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: cognitive systems * intelligence * extended Turing machine thesis * singularity * superintelligence
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.867, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0207809 - 7.0368246 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Computation as an Unbounded Process.
Theoretical Computer Science. Roč. 429, 20 April (2012), s. 202-212. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: arithmetical hierarchy * hypercomputation * mind change complexity * nondeterminism * relativistic computation * unbounded computation
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.489, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0202642 - 8.0368241 - ÚI 2012 RIV NL eng J - Článek v odborném periodiku
Wiedermann, Jiří
Amorphous Computing: A Research Agenda for the Near Future.
Natural Computing. Roč. 11, č. 1 (2012), s. 59-63. ISSN 1567-7818. E-ISSN 1572-9796
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: amorphous computing * nano-machines * flying amorphous computer
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.683, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0202638 - 9.0367350 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Šíma, Jiří - Žák, Stanislav
A Polynomial-Time Construction of a Hitting Set for Read-once Branching Programs of Width 3.
Fundamenta Informaticae. Roč. 184, č. 4 (2021), s. 307-354. ISSN 0169-2968. E-ISSN 1875-8681
Grant CEP: GA ČR GBP202/12/G061; GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: derandomization * hitting set * read-once branching programs * bounded width * almost k-wise independent set
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.166, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.3233/FI-2021-2101
Trvalý link: http://hdl.handle.net/11104/0202062 - 10.0351385 - ÚI 2012 RIV SK eng J - Článek v odborném periodiku
Mikuš, M. - Savický, Petr
Remarks on Gödel's Code as a Hash Function.
Tatra Mountains Mathematical Publications. Roč. 47, č. 3 (2010), s. 67-80. ISSN 1210-3195
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Gödel numbering function * hash function * rational reconstruction * integer relation algorithm
Kód oboru RIV: BA - Obecná matematika
http://www.sav.sk/journals/uploads/0317151904m-s.pdf
Trvalý link: http://hdl.handle.net/11104/0191151