Výsledky vyhledávání

  1. 1.
    0583718 - ÚI 2025 RIV NL eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    Artificial Intelligence as a Pathway to Our Future.
    Utrecht: Utrecht University, 2024. 17 s. Technical Report, UU-PCS-2024-01.
    Grant ostatní: AV ČR(CZ) StrategieAV21/1
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: AI regulation * artificial wisdom * DIKW hierarchy * epistemic computation * generative AI * illusory intelligence * knowledge * large language models * 4E cognition
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://webspace.science.uu.nl/~leeuw112/techreps/UU-PCS-2024-01.pdf
    Trvalý link: https://hdl.handle.net/11104/0351716
     
     
  2. 2.
    0583712 - ÚI 2024 RIV NL eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    From Knowledge to Wisdom: The Power of Large Language Models in AI.
    Utrecht: Utrecht University, 2023. 14 s. Technical Report, UU-PCS-2023-01.
    Grant ostatní: AV ČR(CZ) StrategieAV21/26
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: artificial wisdom * DIKW hierarchy * epistemic computation * generative AI * illusory intelligence * knowledge * large language models * 4E cognition
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://webspace.science.uu.nl/~leeuw112/techreps/UU-PCS-2023-01.pdf
    Trvalý link: https://hdl.handle.net/11104/0351705
     
     
  3. 3.
    0539640 - ÚI 2021 NL eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    Autonomous Vehicles that Cooperate and Understand.
    Utrecht: Utrecht University, 2021. 22 s. Technical Report, UU-PCS-2021-01. ISSN 0924-3275
    Grant ostatní: AV ČR(CZ) StrategieAV21/1
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: autonomous vehicles * driving algorithm * machine consciousness * machine understanding * philosophy of computing * safety * smart roadside infrastructure
    Trvalý link: http://hdl.handle.net/11104/0317346
    Název souboruStaženoVelikostKomentářVerzePřístup
    0539640-UU-PCS-2021-01.pdf1201 KBJinávyžádat
     
     
  4. 4.
    0535469 - ÚI 2021 NL eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    Towards minimally conscious cyber-physical systems - A design philosophy.
    Utrecht: Utrecht University, 2020. 22 s. Technical Report, UU-PCS-2020-02. ISSN 0924-3275
    Grant ostatní: AV ČR(CZ) StrategieAV21/1
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: cyber-physical systems * design philosophy * digital twins * Industry 4.0 * minimal machine consciousness * reliability * safety * self-control
    Trvalý link: http://hdl.handle.net/11104/0313485
    Název souboruStaženoVelikostKomentářVerzePřístup
    0535469-UU-PCS-2020-02.pdf0219.6 KBvolně onlineJinápovolen
     
     
  5. 5.
    0535468 - ÚI 2021 NL eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    Towards minimally conscious finite-state controlled cyber-physical systems - A manifesto.
    Utrecht: Utrecht University, 2020. 14 s. Technical Report, UU-PCS-2020-01. ISSN 0924-3275
    Grant ostatní: AV ČR(CZ) StrategieAV21/1
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: automata theory * cyber-physical systems * design philosophy * Industry 4.0 * minimal machine consciousness * self-control
    Trvalý link: http://hdl.handle.net/11104/0313484
    Název souboruStaženoVelikostKomentářVerzePřístup
    0535468 -UU-PCS-2020-01.pdf2169.2 KBvolně onlineJinápovolen
     
     
  6. 6.
    0520377 - ÚI 2020 NL eng V - Výzkumná zpráva
    van Leeuwen, J. - Wiedermann, Jiří
    Understanding Computation. A General Theory of Computational Processes.
    Utrecht: Utrecht University, 2019. 100 s. Technical Report, UU-CS-2019-012. ISSN 0924-3275
    Grant ostatní: AV ČR(CZ) StrategieAV21/1
    Program: StrategieAV
    Institucionální podpora: RVO:67985807
    Klíčová slova: computation * computational processes * dynamical systems * epistemic theory * metric spaces * philosophy of computing * topology
    http://www.cs.uu.nl/research/techreps/repo/CS-2019/2019-012.pdf
    Trvalý link: http://hdl.handle.net/11104/0305053
    Název souboruStaženoVelikostKomentářVerzePřístup
    0520377-aw.pdf0715.2 KBstaženo z http://www.cs.uu.nl/research/techreps/repo/CS-2019/2019-012.pdfJinápovolen
     
     
  7. 7.
    0459867 - ÚI 2017 NL eng V - Výzkumná zpráva
    van Leeuwen, J. - Wiedermann, Jiří
    Question Answering and Cognitive Automata with Background Intelligence.
    Utrecht: Utrecht University, 2016. 15 s. Technical Report, UU-CS-2016-007. ISSN 0924-3275
    Grant ostatní: GA ČR(CZ) GA15-04960S
    Institucionální podpora: RVO:67985807
    Klíčová slova: cognitive automata * intelligence * learning space * oracles * persistence * Pippenger’s theorem * QA-sessions * Turing machine with advice * Watson
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0260033
    Název souboruStaženoVelikostKomentářVerzePřístup
    2016-007.pdf0215.1 KBJinápovolen
     
     
  8. 8.
    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
     
     
  9. 9.
    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
     
     
  10. 10.
    0404599 - UIVT-O 20020028 CZ eng V - Výzkumná zpráva
    Wiedermann, Jiří - van Leeuwen, J.
    Relativistic Computers and Non-Uniform Complexity Theory.
    Prague: ICS AS CR, 2002. 10 s. Technical Report, V-866.
    Grant CEP: GA ČR GA201/02/1456
    Grant ostatní: ALCOM-FT(XE) IST-1999-14186
    Výzkumný záměr: AV0Z1030915
    Klíčová slova: relativistic computing * relativistic Turing machines * non-uniform complexity * computatibility
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0124842
    Název souboruStaženoVelikostKomentářVerzePřístup
    v866-02.pdf20128.9 KBJinápovolen
     
     

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