Search results
- 1.0564523 - ÚI 2023 RIV CZ cze M - Monography Chapter
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
Institutional support: RVO:67985807
Keywords : autonomní vozidla * kyberneticko-fyzikální systémy * minimální strojové vědomí * strojové porozumění * bezpečnost silničního provozu
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: https://hdl.handle.net/11104/0336185 - 2.0470013 - ÚI 2018 RIV CH eng M - Monography Chapter
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 - others:GA ČR(CZ) GA15-04960S
Institutional support: RVO:67985807
Keywords : computation * knowledge * metaspaces * knowledge generation * knowledge recognition
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0267755File Download Size Commentary Version Access a0470013.pdf 24 306 KB Publisher’s postprint require 0470013.pdf 11 664.1 KB Author´s preprint require - 3.0404158 - UIVT-O 20000246 RIV DE eng M - Monography Chapter
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
R&D Projects: GA ČR GA201/98/0717
Grant - others:ALCOM-FT(XE) IST-1999-14186
Institutional research plan: AV0Z1030915
Keywords : Turing machine * non-uniform complexity * Church-Turing thesis * the Internet * evolution
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124425File Download Size Commentary Version Access 0404158.pdf 0 717.5 KB Author´s preprint open-access - 4.0384527 - ÚI 2014 RIV NL eng M - Monography Chapter
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
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : Turing machine * circular a-machine * red-green Turing machine
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0214146File Download Size Commentary Version Access 0384527.pdf 0 706.2 KB Author´s preprint require - 5.0355754 - ÚI 2012 RIV DE eng M - Monography Chapter
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
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : name resolution * dynamic networks of mobile entities * zero configuration protocols
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0194447 - 6.0103329 - UIVT-O 20040070 RIV DE eng M - Monography Chapter
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
R&D Projects: GA ČR GA201/02/1456
Institutional research plan: CEZ:AV0Z1030915
Keywords : evolving interactive computing * lineages of automata
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010640 - 7.0042348 - ÚI 2007 RIV DE eng M - Monography Chapter
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
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : interaction * evolution * non-uniformity * automata
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0135596