Výsledky vyhledávání

  1. 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. 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. 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/0297140
    Název souboruStaženoVelikostKomentářVerzePřístup
    0505732-afin.pdf14379.6 KBVydavatelský postprintvyžádat
     
     
  4. 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/0273640
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0477257.pdf6801.1 KBVydavatelský postprintvyžádat
     
     
  5. 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/0251272
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0449858.pdf12262.7 KBVydavatelský postprintvyžádat
     
     
  6. 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/0233374
    Název souboruStaženoVelikostKomentářVerzePřístup
    2014-014.pdf0271.2 KBJinávyžádat
     
     
  7. 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/0232839
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0427248.pdf11271.2 KBVydavatelský postprintvyžádat
     
     
  8. 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/0232595
    Název souboruStaženoVelikostKomentářVerzePřístup
    2014-003.pdf1221.5 KBJinávyžádat
     
     
  9. 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/0125749
    Název souboruStaženoVelikostKomentářVerzePřístup
    v944-05.pdf15257.7 KBJinápovolen
     
     
  10. 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/0125706
    Název souboruStaženoVelikostKomentářVerzePřístup
    0405550.pdf0433.1 KBAutorský preprintpovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.