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.0435882 - ÚI 2015 RIV CH eng M - Monography Chapter
Petrů, Lukáš - Wiedermann, Jiří
A Robust Universal Flying Amorphous Computer.
Computing with New Resources. Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday. Cham: Springer, 2014 - (Calude, C.; Freivalds, R.; Kazuo, I.), s. 421-435. Lecture Notes in Computer Science, 8808. ISBN 978-3-319-13349-2
R&D Projects: GA ČR GAP202/10/1333
Institutional support: RVO:67985807
Keywords : amorphous computing * universal computation * computational complexity
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0239715File Download Size Commentary Version Access 0435882.pdf 0 261.2 KB Author´s preprint require - 4.0404597 - UIVT-O 20020151 CZ cze M - Monography Chapter
Wiedermann, Jiří
MFF UK viděna očima informatika zvenčí.
[External Computer Scientist's view of the Faculty of Mathematics and Physics.]
Jubilejní almanach. Univerzita Karlova v Praze. Matematicko-fyzikální fakulta. Praha: MATFYZPRESS, 2002 - (Netuka, I.; Stiborová, M.), s. 174-176. ISBN 80-85863-77-4
Keywords : matematicko-fyzikální fakulta * informatika * historie
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124840 - 5.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 - 6.0402677 - UIVT-O 960035 DE eng M - Monography Chapter
Wiedermann, Jiří
Quo Vadetis, Parallel Machine Models?
Computer Science Today. Recent Trends and Developments. Berlin: SpringerVerlag, 1995 - (van Leeuwen, J.), s. 101-114. Lecture Notes in Computer Science, 1000. ISBN 3-540-60105-8
R&D Projects: GA ČR GA201/95/0976
Permanent Link: http://hdl.handle.net/11104/0123063 - 7.0396019 - ÚI 2014 RIV US eng M - Monography Chapter
Wiedermann, Jiří
A High Level Model of a Conscious Embodied Agent.
Breakthroughs in Software Science and Computational Intelligence. Hershey: IGI Global, 2012 - (Wang, Y.), s. 65-82. ISBN 978-1-4666-0265-6
Institutional support: RVO:67985807
Keywords : embodied agent * internal world models * higher cognitive function
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0223897 - 8.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 - 9.0377956 - ÚI 2015 RIV SG eng M - Monography Chapter
Wiedermann, Jiří
The Many Forms of Amorphous Computational Systems. Chapter 13.
A Computable Universe. Understanding and Exploring Nature As Computation. Singapore: World Scientific Publishing Company, 2013 - (Zenil, H.), s. 243-256. ISBN 978-981-4374-29-3
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-standard models of computations * amorphous computing * nano-machines
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0209964 - 10.0370430 - ÚI 2012 NL eng M - Monography Chapter
Wiedermann, Jiří
Thirty Years of Collaboration with Jan van Leeuwen: In Search of Understanding Computation.
Facetten van Jan. Liber Amicorum 2011. Utrecht: Department Informatica, Universiteit Utrecht, 2011, s. 134-146
R&D Projects: GA ČR GAP202/10/1333
Institutional research plan: CEZ:AV0Z10300504
Keywords : complexity * machine models * array processing machine * interactive computing * Turing machine paradigm * hypercomputing
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0204233