Výsledky vyhledávání
- 1.0564526 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Validating Non-trivial Semantic Properties of Autonomous Robots.
Philosophy and Theory of Artificial Intelligence 2021 Conference Proceedings. Cham: Springer, 2022 - (Magnani, L.), s. 91-104. Studies in Applied Philosophy, Epistemology and Rational Ethic, 63. ISBN 978-3-031-09152-0.
[PTAI 2021: Conference on Philosophy and Theory of Artificial Intelligence /4./. Gothenburg (SE), 27.09.2021-28.09.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Autonomous robots * Cyber-physical systems * Ethics of AI Semantic properties * Rice’s theorem * Robot modelling * Turing machines * Verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0336186 - 2.0562577 - ÚI 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Cabessa, Jérémie
Turing Computation with Neural Networks Composed of Synfire Rings.
2022 International Joint Conference on Neural Networks (IJCNN) Proceedings. Piscataway: IEEE, 2022. ISBN 978-1-7281-8671-9.
[IJCNN 2022: International Joint Conference on Neural Networks /35./. Padua (IT), 18.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GA22-02067S
Institucionální podpora: RVO:67985807
Klíčová slova: Computers * Turing machines * Computational modeling * Biological system modeling * Neural circuits * Cells (biology) * Logic gates
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1109/IJCNN55064.2022.9892332
Trvalý link: https://hdl.handle.net/11104/0334887 - 3.0505732 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
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 ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Question answering * Computational complexity * Human agents * Cognitive automata * Background intelligence * QA-machines * Advice * Learning space * Pippenger's theorem * Turing machines
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í: Open access
http://dx.doi.org/10.1016/j.tcs.2018.08.012
Trvalý link: http://hdl.handle.net/11104/0297140Název souboru Staženo Velikost Komentář Verze Přístup 0505732-afin.pdf 14 379.6 KB Vydavatelský postprint vyžádat - 4.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 - 5.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 - 6.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 - 7.0427248 - ÚI 2018 RIV NL eng J - Článek v odborném periodiku
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 ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: advice functions * co-RE languages * machine models * Turing machines
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/0232839Název souboru Staženo Velikost Komentář Verze Přístup a0427248.pdf 11 271.2 KB Vydavatelský postprint vyžádat - 8.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 - 9.0405595 - UIVT-O 330975 SIGLE CZ eng V - Výzkumná zpráva
Wiedermann, Jiří - Pardubská, D.
On the Power of Broadcasting in Mobile Computing.
Prague: ICS AS CR, 2005. 15 s. Technical Report, V-944.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: wireless computing * Turing machines * alternation * complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125749Název souboru Staženo Velikost Komentář Verze Přístup v944-05.pdf 15 257.7 KB Jiná povolen - 10.0405550 - UIVT-O 330929 RIV SK slo C - Konferenční příspěvek (zahraniční konf.)
Pardubská, D. - Wiedermann, Jiří
Alternatívna charakterizácia synchronizovaného alternovania.
[An Alternate Characterization of Synchronized Alternation.]
ITAT 2005. Information Technologies - Applications and Theory. Košice: Prírodovedecká fakulta, Univerzita P. J. Šafárika, 2005 - (Vojtáš, P.), s. 133-144. ISBN 80-7097-609-8.
[ITAT 2005. Račkova dolina (SK), 20.09.2005-25.09.2005]
Grant CEP: GA AV ČR 1ET100300517
Grant ostatní: grant(EU) APVT-20-018902
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: alternation * wireless networks * mobile computing * Turing machines * complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125706Název souboru Staženo Velikost Komentář Verze Přístup 0405550.pdf 0 433.1 KB Autorský preprint povolen