Search results
- 1.0505732 - ÚI 2020 RIV NL eng J - Journal Article
van Leeuwen, J. - Wiedermann, Jiří
Question Answering by Humans and Machines: A Complexity-theoretic View.
Theoretical Computer Science. Roč. 777, 19 July (2019), s. 464-473. ISSN 0304-3975. E-ISSN 1879-2294
Grant - others:AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institutional support: RVO:67985807
Keywords : Question answering * Computational complexity * Human agents * Cognitive automata * Background intelligence * QA-machines * Advice * Learning space * Pippenger's theorem * Turing machines
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.747, year: 2019
Method of publishing: Open access
http://dx.doi.org/10.1016/j.tcs.2018.08.012
Permanent Link: http://hdl.handle.net/11104/0297140File Download Size Commentary Version Access 0505732-afin.pdf 14 379.6 KB Publisher’s postprint require - 2.0449858 - ÚI 2016 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1333
Grant - others:GA ČR(CZ) GA15-04960S
Institutional support: RVO:67985807
Keywords : recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
Subject RIV: IN - Informatics, Computer Science
Impact factor: 0.467, year: 2015
Permanent Link: http://hdl.handle.net/11104/0251272File Download Size Commentary Version Access a0449858.pdf 12 262.7 KB Publisher’s postprint require - 3.0427248 - ÚI 2018 RIV NL eng J - Journal Article
van Leeuwen, J. - Wiedermann, Jiří
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages.
Fundamenta Informaticae. Roč. 153, č. 4 (2017), s. 347-366. ISSN 0169-2968. E-ISSN 1875-8681
Grant - others:GA ČR(CZ) GA15-04960S
Institutional support: RVO:67985807
Keywords : advice functions * co-RE languages * machine models * Turing machines
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.725, year: 2017
Permanent Link: http://hdl.handle.net/11104/0232839File Download Size Commentary Version Access a0427248.pdf 11 271.2 KB Publisher’s postprint require - 4.0404690 - UIVT-O 20030010 RIV NL eng J - Journal Article
Wiedermann, Jiří - van Leeuwen, J.
The Emergent Computational Potential of Evolving Artificial Living Systems.
Ai Communications. Roč. 15, č. 4 (2002), s. 205-215. ISSN 0921-7126. E-ISSN 1875-8452
R&D Projects: GA ČR GA201/02/1456
Grant - others:ALCOM-FT(XE) IST-1999-14186
Institutional research plan: AV0Z1030915
Keywords : artficial living systems * cognitive transducers * super-Turing computational power * Turing machines with advice * interactive evolutionary computing systems
Impact factor: 0.525, year: 2002
Permanent Link: http://hdl.handle.net/11104/0124929 - 5.0404641 - UIVT-O 20020047 RIV FR eng J - Journal Article
Wiedermann, Jiří - van Leeuwen, J.
Exploring the Frontiers of Computability.
ERCIM News. č. 50 (2002), s. 48-49. ISSN 0926-4981
R&D Projects: GA ČR GA201/02/1456
Grant - others:ALCOM-FT(XE) IST-1999-14186
Institutional research plan: AV0Z1030915
Keywords : computability * Church-Turing thesis * evolving interactive computing * relativistic computing
Subject RIV: BA - General Mathematics
http://www.ercim.eu/publication/Ercim_News/enw50/wiedermann.html
Permanent Link: http://hdl.handle.net/11104/0124882 - 6.0402204 - UIVT-O 870003 SE eng J - Journal Article
van Leeuwen, J. - Wiedermann, Jiří
Array Processing Machines: An Abstract Model.
Bit. Roč. 27, č. 1 (1987), s. 25-43. ISSN 0006-3835. E-ISSN 1572-9125
Permanent Link: http://hdl.handle.net/11104/0122615 - 7.0368246 - ÚI 2013 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : arithmetical hierarchy * hypercomputation * mind change complexity * nondeterminism * relativistic computation * unbounded computation
Subject RIV: IN - Informatics, Computer Science
Impact factor: 0.489, year: 2012
Permanent Link: http://hdl.handle.net/11104/0202642