Wiedermann Jiří

Publikace ASEP

RIV ID 6144942          

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 24

0425985 - UIVT-O 2014 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Korec, I. - Wiedermann, Jiří
Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.
SOFSEM 2014. Theory and Practice of Computer Science. Cham: Springer, 2014 - (Geffert, V.; Preneel, B.; Rovan, B.; Štuller, J.; Tjoa, A.), s. 375-382. Lecture Notes in Computer Science, 8327. ISBN 978-3-319-04297-8. ISSN 0302-9743.
[SOFSEM 2014. International Conference on Current Trends in Theory and Practice of Computer Science /40./. Nový Smokovec (SK), 26.01.2014-29.01.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: matrix multiplication * verification of matrix product * Freivald's algorithm
Kód oboru RIV: IN - Informatika
Korec, I.
Trvalý odkaz: http://hdl.handle.net/11104/0231760

Citace, recenze

Citace:
GASIENIEC, L. - LEVCOPOULOS, C. - LINGAS, A. Efficiently Correcting Matrix Products. ALGORITHMS AND COMPUTATION, ISAAC 2014. ISSN 0302-9743, 2014, vol. 8889, p. 53-64.

0435882 - UIVT-O 2015 RIV CH eng M - Část monografie knihy
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
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: amorphous computing * universal computation * computational complexity
Kód oboru RIV: IN - Informatika
Wiedermann, Jiří
Trvalý odkaz: http://hdl.handle.net/11104/0239715

0470013 - UIVT-O 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
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * metaspaces * knowledge generation * knowledge recognition
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
van Leeuwen, J.
Trvalý odkaz: http://hdl.handle.net/11104/0267755

0449858 - UIVT-O 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
Grant CEP: GA ČR GAP202/10/1333
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ý odkaz: http://hdl.handle.net/11104/0251272

0384527 - UIVT-O 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ý odkaz: http://hdl.handle.net/11104/0214146

0427248 - UIVT-O 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
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: advice functions * co-RE languages * machine models * Turing machines
Kód oboru RIV: IN - Informatika
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
van Leeuwen, J.
Trvalý odkaz: http://hdl.handle.net/11104/0232839

0390422 - UIVT-O 2013 SK cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Alan Mathison Turing: muž, jenž programoval současnost.
SOFTECON 2013. Bratislava: Softec, 2013, nestr. prezentace.
[SOFTECON 2013. Odborná konferencia o víziách a trendoch v moderných informačných technologiách. Bratislava (SK), 28.02.2013]
Institucionální podpora: RVO:67985807
Klíčová slova: Alan Mathison Turing * Turingův stroj * Enigma
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0219282

0442791 - UIVT-O 2016 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Answering Curious Questions about Artificial Intelligence.
Beyond Artificial Intelligence. The Disappearing Human-Machine Divide. Cham: Springer, 2015 - (Romportl, J.; Zackova, E.; Kelemen, J.), s. 187-199. Topics in Intelligent Engineering and Informatics, 9. ISBN 978-3-319-09667-4. ISSN 2193-9411.
[Artificial Dreams. International Conference. Pilsen (CZ), 05.11.2012-06.11.2012]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: cognitive systems * computational models * non-uniform evolving automaton
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0245619

0392851 - UIVT-O 2014 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Brána vědění otevřena: nový pohled na výpočty.
[Opening the knowledge gate: computations revised.]
Kognitivní věda a umělý život. Opava: Slezská univerzita v Opavě, 2013 - (Kelemen, J.; Rybár, J.; Farkaš, I.; Takáč, M.), s. 285-292. ISBN 978-80-7248-863-6.
[Kognícia a umelý život /13./. Stará Lesná (SK), 27.05.2013-30.05.2013]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: výpočty * procesy * znalost * epistemologie
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0221601

0427249 - UIVT-O 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Computation as Knowledge Generation, with Application to the Observer-Relativity Problem.
40th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2014). London: AISB - The Society for the Study of Artificial Intelligence, 2014, s. 741-748. ISBN 978-1-63266-838-7.
[AISB Symposium on Computing and Philosophy: Is Computation Observer-Relative? /7./. Goldsmiths (GB), 01.04.2014-04.04.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * observer relativity
Kód oboru RIV: IN - Informatika
http://doc.gold.ac.uk/aisb50/
http://toc.proceedings.com/22869webtoc.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0232841

0431579 - UIVT-O 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm.
Theoretical Computer Science. Heidelberg: Springer, 2014 - (Diaz, L.; Lanese, I.; Sangiorgi, D.), s. 123-135. Lecture Notes in Computer Science, 8705. ISBN 978-3-662-44601-0. ISSN 0302-9743.
[TCS 2014. IFIP TC 1/WG 2.2 International Conference /8./. Rome (IT), 01.09.2014-03.09.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: matrix multiplication * Freivalds' algorithm * derandomization * computational complexity
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0236194

0431108 - UIVT-O 2015 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Inconspicuous Appeal of Amorphous Computing Systems.
CMC15. Proceedings of the 15th International Conference on Membrane Computing. Opava: Institute of Computer Science, Silesian University, 2014 - (Gheorghe, M.; Sosík, P.; Vavrečková, Š.), s. 15-18. ISBN 978-80-7510-036-8.
[CMC15. International Conference on Membrane Computing /15./. Prague (CZ), 20.08.2014-22.08.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: amorphous computing * computational universality * computational complexity
Kód oboru RIV: IN - Informatika
http://www.cs.us.es/~marper/investigacion/cmc15_proceedings.pdf#page=27
Trvalý odkaz: http://hdl.handle.net/11104/0235720

0436184 - UIVT-O 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Inconspicuous Appeal of Amorphous Computing Systems (Invited Talk).
CMC 2014. Membrane Computing. Revised Selected Papers. Cham: Springer, 2014 - (Gheorghe, M.; Rozenberg, G.; Salomaa, A.; Sosík, P.; Zandron, S.), XIII-XVI. Lecture Notes in Computer Science, 8961. ISBN 978-3-319-14369-9. ISSN 0302-9743.
[CMC15. International Conference on Membrane Computing /15./. Prague (CZ), 20.08.2014-22.08.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: amorphous computing * computational universality * computational complexity
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0239969

0477257 - UIVT-O 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]
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
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0273640

0475613 - UIVT-O 2018 RIV SK cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Nový pohled na výpočty a umělá inteligence.
[A new view of computations and artificial intelligence.]
Kognícia a umelý život 2017. Bratislava: Univerzita Komenského, 2017 - (Farkaš, I.; Takáč, M.; Rybár, J.; Gergeľ, P.), s. 190-193. ISBN 978-80-223-4346-6.
[Kognícia a umelý život /17./. Trenčianske Teplice (SK), 31.05.2017-02.06.2017]
GA ČR(CZ) GA15-04960S; AV ČR(CZ) StrategieAV21/1
StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: computations * knowledge theory * cognitive functions * accountability * self-awareness * introspection * knowledge understanding * free will * creativity
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0272286

0425970 - UIVT-O 2014 RIV CZ cze J - Článek v odborném periodiku
Wiedermann, Jiří
Proč počítáme a co počítáme?.
[Why do we compute and what do we compute?.]
Pokroky matematiky, fyziky & astronomie. Roč. 59, č. 1 (2014), s. 33-43 ISSN 0032-2423
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: výpočet * znalosti * výpočetní systémy * generování znalostí
Kód oboru RIV: IN - Informatika
http://www.youtube.com/watch?v=Llot-KUbVRU
http://hdl.handle.net/10338.dmlcz/143737
Trvalý odkaz: http://hdl.handle.net/11104/0231752

0391722 - UIVT-O 2014 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Rethinking Computations.
Proceedings of the 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation?. Exeter: AISB, 2013 - (Bishop, M.; Erden, Y.), s. 6-10. ISBN 978-1-908187-31-4.
[AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? /6./. Exeter (GB), 03.04.2013-05.04.2013]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * epistemology * philosophy of computing
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0220689

Citace, recenze

Citace:
ROESCH, E.B. - SPENCER, M. - NASUTO, S.J. - TANAY, T. - BISHOP, J.M. Exploration of the Functional Properties of Interaction: Computer Models and Pointers for Theory. CONSTRUCTIVIST FOUNDATIONS. ISSN 1782-348X, NOV 2013, vol. 9, no. 1, SI, p. 26-+.

0391957 - UIVT-O 2014 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
The Creativity Mechanisms in Embodied Agents: An Explanatory Model.
Proceedings of the 2013 IEEE Symposium on Computational Intelligence for Human-like Intelligence (CIHLI). Piscataway: IEEE, 2013, s. 41-47. ISBN 978-1-4673-5923-8.
[IEEE SSCI 2013. 2013 IEEE Symposium Series on Computational Intelligence. Singapore (SG), 16.04.2013-19.04.2013]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: creativity * embodied agents * model * analogy
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0220952

Citace, recenze

Citace:
DAVENPORT, D. Explaining Everything. FUNDAMENTAL ISSUES OF ARTIFICIAL INTELLIGENCE. ISSN 0166-6991, 2016, vol. 376, p. 339-352.

0377956 - UIVT-O 2015 RIV SG eng M - Část monografie knihy
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
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-standard models of computations * amorphous computing * nano-machines
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0209964

Citace, recenze

Citace:
ROESCH, E.B. - SPENCER, M. - NASUTO, S.J. - TANAY, T. - BISHOP, J.M. Exploration of the Functional Properties of Interaction: Computer Models and Pointers for Theory. CONSTRUCTIVIST FOUNDATIONS. ISSN 1782-348X, NOV 2013, vol. 9, no. 1, SI, p. 26-+.

0446636 - UIVT-O 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Towards a Computational Theory of Epistemic Creativity.
41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2015). London: Society for the Study of Artificial Intelligence & Simulation of Behaviour, 2015, s. 235-242. ISBN 978-1-5108-0386-2.
[AISB Symposium on Computing and Philosophy: The Significance of Metaphor and Other Figurative Modes of Expression and Thought /8./. Canterbury (GB), 20.04.2015-22.04.2015]
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemology * creativity * knowledge * computation
Kód oboru RIV: IN - Informatika
https://www.cs.kent.ac.uk/events/2015/AISB2015/proceedings.html
Trvalý odkaz: http://hdl.handle.net/11104/0249718

0398995 - UIVT-O 2014 BE eng J - Článek v odborném periodiku
Wiedermann, Jiří
Towards Constructive Foundations of Cognitivism: Breaking in Open Doors?.
Constructivist Foundations. Roč. 9, č. 1 (2013), s. 38-40 ISSN 1782-348X
Institucionální podpora: RVO:67985807
Klíčová slova: constructive cognitivism * diffusion search algorithm * amorphous computing system
Kód oboru RIV: IN - Informatika
http://www.univie.ac.at/constructivism/journal/9/1/038.wiedermann
Trvalý odkaz: http://hdl.handle.net/11104/0226391

0474350 - UIVT-O 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Understanding and Controlling Artificial General Intelligent Systems.
Proceedings of AISB Annual Convention 2017. London: AISB, 2017 - (Bryson, J.; De Vos, M.; Padget, J.), s. 356-363. ISBN 978-1-908187-81-9.
[AISB 2017. Bath (GB), 18.04.2017-22.04.2017]
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: artificial intelligence * epistemic computation * artificial general intelligence (AGI) * self-improving epistemic theories * controlling AGI systems
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://aisb2017.cs.bath.ac.uk/proceedings.html
Trvalý odkaz: http://hdl.handle.net/11104/0271429

0436187 - UIVT-O 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
What is Computation: An Epistemic Approach.
SOFSEM 2015: Theory and Practice of Computer Science. Berlin: Springer, 2015 - (Italiano, G.; Margaria-Steffen, T.; Pokorný, J.; Quisquater, J.; Wattenhofer, R.), s. 1-13. Lecture Notes in Computer Science, 8939. ISBN 978-3-662-46077-1. ISSN 0302-9743.
[Sofsem 2015. International Conference on Current Trends in Theory and Practice of Computer Science /41./. Pec pod Sněžkou (CZ), 24.01.2015-29.01.2015]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge generation * information technology
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0239973

0461472 - UIVT-O 2017 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Znalostní meze (super)inteligentních systémů.
[Epistemic Limits of (Super)intelligent Systems.]
Kognice a umělý život XVI. Praha: ČVUT, 2016 - (Vavrečka, M.; Bečev, O.; Hoffmann, M.; Štěpánová, K.), s. 165-167. ISBN 978-80-01-05915-9.
[Kognice a umělý život /16./. Telč (CZ), 01.06.2016-03.06.2016]
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: znalost * inteligence * inteligentní systém * znalostní teorie * knowledge * intelligence * intelligent system * epistemic theory
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0261117