Zobrazeno 1 - 10
of 321
pro vyhledávání: '"Thomas Zeugmann"'
Autor:
Thomas Zeugmann
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030514655
CiE
CiE
The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baaa4a0abe67bc932f50af3021b3ec28
https://doi.org/10.1007/978-3-030-51466-2_11
https://doi.org/10.1007/978-3-030-51466-2_11
Publikováno v:
Information and Computation. 281:104668
Nonconstructive computations by various types of machines and automata have been considered by, for example, Karp and Lipton as well as Freivalds. They allow to regard more complicated algorithms from the viewpoint of much more primitive computationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e1c6c710bfbac01f11233ed2534b5ca
https://doi.org/10.1016/j.ic.2020.104668
https://doi.org/10.1016/j.ic.2020.104668
Autor:
Thomas Zeugmann
Publikováno v:
Theoretical Computer Science. 733:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f77339d9d896d51f73f8a908a3f4d71
https://doi.org/10.1016/j.tcs.2018.04.033
https://doi.org/10.1016/j.tcs.2018.04.033
Autor:
Thomas Zeugmann, Charles Jordan
Publikováno v:
Baltic journal of modern computing. 4(4):736-752
Property testing is a kind of randomized approximation in which one takes a small, random sample of a structure and wishes to determine whether the structure satisfies some property or is far from satisfying the property. We focus on the testability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d98604d0f4a22bb1bbf72f19f9498ed2
http://hdl.handle.net/2115/64554
http://hdl.handle.net/2115/64554
Publikováno v:
Theoretical Computer Science. 650:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3873f79d71d45fb81381bfa7877eb393
https://doi.org/10.1016/j.tcs.2016.07.027
https://doi.org/10.1016/j.tcs.2016.07.027
Publikováno v:
Theoretical Computer Science. 620:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1e8000e2f609d6f55aa3c560fa6a23d
https://doi.org/10.1016/j.tcs.2015.10.033
https://doi.org/10.1016/j.tcs.2015.10.033
Autor:
Eric Martin, Samuel Kaski, Fei Zheng, Geoffrey I. Webb, Xiaojin Zhu, Ion Muslea, Kai Ming Ting, Michail Vlachos, Risto Miikkulainen, Alan Fern, Miles Osborne, Luc De Raedt, Kristian Kersting, Thomas Zeugmann, Xinhua Zhang, Michael Bain, Artur Czumaj, Christian Sohler, Claude Sammut, Petra Kralj Novak, Nada Lavrač, Scott Sanner
ispartof: Encyclopedia of Machine Learning pages:916-924 edition:1 ispartof: pages:916-924 edition:1 edition: 1 status: published
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7877d40d899253e45cf810e23311cf40
https://doi.org/10.1007/978-1-4899-7687-1_786
https://doi.org/10.1007/978-1-4899-7687-1_786
Autor:
Werner Römisch, Thomas Zeugmann
This book is a comprehensive, unifying introduction to the field of mathematical analysis and the mathematics of computing. It develops the relevant theory at a modern level and it directly relates modern mathematical ideas to their diverse applicati