×

Found 64 Documents (Results 1–64)

Kolmogorov width of discrete linear spaces: an approach to matrix rigidity. (English) Zbl 1388.68135

Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 347-364 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On the information carried by programs about the objects they compute. (English) Zbl 1355.68133

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 447-459 (2015).
MSC:  68Q30 68Q05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Las Vegas computability and algorithmic randomness. (English) Zbl 1355.68132

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 130-142 (2015).
MSC:  68Q30 03D32 91A10
PDFBibTeX XMLCite
Full Text: DOI

The minimum oracle circuit size problem. (English) Zbl 1355.68104

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 21-33 (2015).
MSC:  68Q17 68Q30
PDFBibTeX XMLCite
Full Text: DOI

On the computability of Solomonoff induction and knowledge-seeking. (English) Zbl 1388.68252

Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 364-378 (2015).
MSC:  68T05 03D15 68Q30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solomonoff induction violates Nicod’s criterion. (English) Zbl 1388.68142

Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 349-363 (2015).
MSC:  68Q30 03B48
PDFBibTeX XMLCite
Full Text: DOI arXiv

What percentage of programs halt? (English) Zbl 1440.03057

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 219-230 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Deterministic randomness extraction from generalized and distributed Santha-Vazirani sources. (English) Zbl 1380.68182

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-47671-0/pbk; 978-3-662-47672-7/ebook). Lecture Notes in Computer Science 9134, 143-154 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some properties of antistochastic strings. (English) Zbl 1378.68098

Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 339-349 (2015).
MSC:  68Q30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Universal computation and optimal construction in the chemical reaction network-controlled tile assembly model. (English) Zbl 1404.68047

Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 34-54 (2015).
MSC:  68Q05 68Q30 92E20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Author

all top 3

Main Field

Software