LUIS CRISTOBAL ROJAS GONZALEZ

    • 260 Citas
    • 10 Índice H
    20082019
    Los cambios que haya realizado en Pure se mostrarán aquí próximamente.

    Resultado de la investigación 2008 2019

    • 260 Citas
    • 10 Índice H
    • 23 Article
    • 7 Conference contribution
    Filtro
    Conference contribution
    2019

    Computability on Quasi-Polish Spaces

    Hoyrup, M., Rojas, C., Selivanov, V. & Stull, D. M., 1 ene 2019, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Hospodár, M., Jirásková, G. & Konstantinidis, S. (eds.). Springer Verlag, p. 171-183 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612 LNCS).

    Resultado de la investigación: Conference contribution

    Polish Space
    Computability
    Quasi-metric Space
    Baire Space
    Strictly
    2015
    2 Citas (Scopus)

    On the information carried by programs about the objects they compute

    Hoyrup, M. & Rojas, C., 1 feb 2015, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 30. p. 447-459 13 p.

    Resultado de la investigación: Conference contribution

    Tapes
    2012
    5 Citas (Scopus)

    Noise vs computational intractability in dynamics

    Braverman, M., Grigo, A. & Rojas, C., 2012, ITCS 2012 - Innovations in Theoretical Computer Science Conference. p. 128-141 14 p.

    Resultado de la investigación: Conference contribution

    Dynamical systems
    Turing machines
    Chaotic systems
    Computational complexity
    Trajectories
    2011
    3 Citas (Scopus)

    Computability of the Radon-Nikodym derivative

    Hoyrup, M., Rojas, C. & Weihrauch, K., 2011, Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Proceedings. Vol. 6735 LNCS. p. 132-141 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6735 LNCS).

    Resultado de la investigación: Conference contribution

    Radon-Nikodym Derivative
    Computability
    Radon
    Derivatives
    Absolutely Continuous
    2009
    21 Citas (Scopus)

    An application of Martin-Löf randomness to effective probability theory

    Hoyrup, M. & Rojas, C., 2009, Mathematical Theory and Computational Practice - 5th Conference on Computability in Europe, CiE 2009, Proceedings. Vol. 5635 LNCS. p. 260-269 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5635 LNCS).

    Resultado de la investigación: Conference contribution

    Probability Theory
    Randomness
    Computability
    Probability Measure
    Computable Analysis
    16 Citas (Scopus)

    Applications of effective probability theory to martin-löf randomness

    Hoyrup, M. & Rojas, C., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. Vol. 5555 LNCS. p. 549-561 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5555 LNCS, n.º PART 1).

    Resultado de la investigación: Conference contribution

    Probability Theory
    Randomness
    Computability
    Ergodic Theorem
    Random number
    9 Citas (Scopus)

    Randomness on computable probability spaces - A dynamical point of view

    Gacs, P., Hoyrup, M. & Rojas, C., 2009, STACS 2009 - 26th International Symposium on Theoretical Aspects of Computer Science. Vol. 3. p. 469-480 12 p.

    Resultado de la investigación: Conference contribution