Výsledky vyhledávání
- 1.0477257 - ÚI 2018 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Non-Classical Turing Machines: Extending the Notion of Computation.
Ninth Workshop on Non-Classical Models of Automata and Applications. Wien: Österreichische Computer Gesellschaft, 2017 - (Freund, R.; Mráz, F.; Průša, D.), s. 29-40. ISBN 978-3-903035-18-8.
[NCMA 2017. Workshop on Non-Classical Models of Automata and Applications /9./. Prague (CZ), 17.08.2017-18.08.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machines * interaction * evolution * non-uniformity * interactive Turing machines with advice * red-green Turing machines * relativistic Turing machines
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/0273640Název souboru Staženo Velikost Komentář Verze Přístup a0477257.pdf 6 801.1 KB Vydavatelský postprint vyžádat - 2.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 - 3.0427961 - ÚI 2015 NL eng V - Výzkumná zpráva
van Leeuwen, J. - Wiedermann, Jiří
Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
Utrecht: Utrecht University, 2014. 19 s. Technical Report, UU-CS-2014-014. ISSN 0924-3275
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machines with advice * machine size * complexity hierarchy
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0233374Název souboru Staženo Velikost Komentář Verze Přístup 2014-014.pdf 0 271.2 KB Jiná vyžádat - 4.0426979 - ÚI 2015 NL eng V - Výzkumná zpráva
van Leeuwen, J. - Wiedermann, Jiří
Turing machines with One-sided Advice and the Acceptance of the co-RE Languages.
Utrecht: Utrecht University, 2014. 17 s. Technical Report, UU-CS-2014-003. ISSN 0924-3275
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machines with advice * complexity hierarchy * complements of RE languages
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0232595Název souboru Staženo Velikost Komentář Verze Přístup 2014-003.pdf 1 221.5 KB Jiná vyžádat - 5.0404856 - UIVT-O 20020216 RIV CZ eng J - Článek v odborném periodiku
Wiedermann, Jiří
On the Super-Turing Computational Power of Non-Uniform Families of Neuromata.
Neural Network World. Roč. 12, č. 5 (2002), s. 509-516. ISSN 1210-0552.
[SOFSEM 2002 Workshop on Soft Computing. Milovy, 28.11.2002-29.11.2002]
Grant CEP: GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: neuromata * Turing machines with advice * non-uniform computational complexity * super-Turing computational power
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0003461 - 6.0404690 - UIVT-O 20030010 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA201/02/1456
Grant ostatní: ALCOM-FT(XE) IST-1999-14186
Výzkumný záměr: AV0Z1030915
Klíčová slova: artficial living systems * cognitive transducers * super-Turing computational power * Turing machines with advice * interactive evolutionary computing systems
Impakt faktor: 0.525, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0124929 - 7.0404532 - UIVT-O 20010159 CZ eng V - Výzkumná zpráva
Wiedermann, Jiří
On the Super-Turing Computational Power of Non-Uniform Families of Neuromata.
Prague: ICS AS CR, 2001. 6 s. Technical Report, V-849.
Grant CEP: GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: neuromata * Turing machines with advice * non-uniform computational complexity * super-Turing computational power
Trvalý link: http://hdl.handle.net/11104/0124781Název souboru Staženo Velikost Komentář Verze Přístup v849-01.pdf 18 91.6 KB Jiná povolen - 8.0404345 - UIVT-O 20010107 CZ eng V - Výzkumná zpráva
Wiedermann, Jiří - van Leeuwen, J.
Beyond the Turing Limit: Evolving Interactive Systems.
Prague: ICS AS CR, 2001. 15 s. Technical Report, V-843.
Grant CEP: GA ČR GA201/00/1489
Grant ostatní: ALCOM-FT(XE) IST-1999-14186
Výzkumný záměr: AV0Z1030915
Klíčová slova: Church-Turing thesis * interactive computing * interactive turing machines with advice * web computing
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124603Název souboru Staženo Velikost Komentář Verze Přístup v843-01.pdf 18 156.1 KB Jiná povolen