Výsledky vyhledávání
- 1.0564523 - ÚI 2023 RIV CZ cze M - Část monografie knihy
Wiedermann, Jiří - van Leeuwen, J.
Autonomni vozidla, která spolupracují a rozumí: Inteligentní algoritmy pod kapotou.
[Autonomous Vehicles that Cooperate and Understand: Intelligent Algorithms under the Hood.]
Automatizované řízení vozidel a autonomní doprava: technické a humanitní perspektivy. Praha: Academia, 2022 - (Černý, D.; Vaculín, O.; Zámečník, P.), s. 54-84. ISBN 978-80-200-3358-1
Institucionální podpora: RVO:67985807
Klíčová slova: autonomní vozidla * kyberneticko-fyzikální systémy * minimální strojové vědomí * strojové porozumění * bezpečnost silničního provozu
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/0336185 - 2.0470013 - ÚI 2018 RIV CH eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
Knowledge, Representation and the Dynamics of Computation.
Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Cham: Springer, 2017 - (Dodig-Crnkovic, G.; Giovagnoli, R.), s. 69-89. Studies in Applied Philosophy, Epistemology and Rational Ethics, 28. ISBN 978-3-319-43782-8
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * metaspaces * knowledge generation * knowledge recognition
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/0267755Název souboru Staženo Velikost Komentář Verze Přístup a0470013.pdf 24 306 KB Vydavatelský postprint vyžádat 0470013.pdf 11 664.1 KB Autorský preprint vyžádat - 3.0404158 - UIVT-O 20000246 RIV DE eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
The Turing Machine Paradigm in Contemporary Computing.
Mathematics Unlimited - 2001 and Beyond. Berlin: Springer, 2001 - (Engquist, B.; Schmid, W.), s. 1139-1155. ISBN 3-540-66913-2
Grant CEP: GA ČR GA201/98/0717
Grant ostatní: ALCOM-FT(XE) IST-1999-14186
Výzkumný záměr: AV0Z1030915
Klíčová slova: Turing machine * non-uniform complexity * Church-Turing thesis * the Internet * evolution
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124425Název souboru Staženo Velikost Komentář Verze Přístup 0404158.pdf 0 717.5 KB Autorský preprint povolen - 4.0384527 - ÚI 2014 RIV NL eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
The Computational Power of Turing's Non-Terminating Circular a-Machines.
Alan Turing - His Work and Impact. Amsterdam: Elsevier, 2013 - (Cooper, B.; Leeuwen, J.), s. 80-85. ISBN 978-0-12-386980-7
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Turing machine * circular a-machine * red-green Turing machine
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0214146Název souboru Staženo Velikost Komentář Verze Přístup 0384527.pdf 0 706.2 KB Autorský preprint vyžádat - 5.0355754 - ÚI 2012 RIV DE eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities.
Rainbow of Computer Science. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Berlin: Springer, 2011 - (Calude, C.; Rozenberg, G.; Salomaa, A.), s. 215-227. Lecture Notes in Computer Science, 6570. ISBN 978-3-642-19390-3
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: name resolution * dynamic networks of mobile entities * zero configuration protocols
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0194447 - 6.0103329 - UIVT-O 20040070 RIV DE eng M - Část monografie knihy
Verbaan, P. - van Leeuwen, J. - Wiedermann, Jiří
Complexity of Evolving Interactive Systems.
[Složitost evolučních interaktivních systémů.]
Theory is Forever. Essays Dedicated to Arto Salomaa on the Occasion of his 70th Birthday. Berlin: Springer, 2004 - (Karhumäki, J.; Maurer, H.; Paun, G.; Rozenberg, G.), s. 268-281. Lecture Notes in Computer Science, 3113. ISBN 3-540-22393-2
Grant CEP: GA ČR GA201/02/1456
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: evolving interactive computing * lineages of automata
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010640 - 7.0042348 - ÚI 2007 RIV DE eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
A Theory of Interactive Computation.
[Teorie interaktivních výpočtů.]
Interactive Computation. The New Paradigm. Berlin: Springer-Verlag, 2006 - (Goldin, D.; Smolka, S.; Wegner, P.), s. 119-142. ISBN 3-540-34666-X
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interaction * evolution * non-uniformity * automata
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0135596