Red Colaboración externa reciente a nivel de país. Sumergirse en la información haciendo clic en los puntos.

Resultado de la investigación 2008 2016

  • 193 Citas
  • 9 Índice-h
  • 17 Article
  • 6 Conference contribution

On the Information Carried by Programs About the Objects they Compute

Hoyrup, M. & Rojas, C. 9 dic 2016 (Accepted/In press) En : Theory of Computing Systems. p. 1-23 23 p.

Resultado de la investigación: Research - revisión exhaustivaArticle

Object
Kolmogorov Complexity
Computability
Relationships
Computable Analysis

Non-Computable Impressions of Computable External Rays of Quadratic Polynomials

Binder, I., Rojas, C. & Yampolsky, M. 2015 En : Communications in Mathematical Physics. 335, 2, p. 739-757 19 p.

Resultado de la investigación: Research - revisión exhaustivaArticle

Quadratic Polynomial
Julia set
Computability
Compact Set
Half line
1 Citas

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: Research - revisión exhaustivaConference contribution

Tapes

Space-Bounded Church-Turing Thesis and Computational Tractability of Closed Systems

Braverman, M., Schneider, J. & Rojas, C. 27 ago 2015 En : Physical Review Letters. 115, 9, 098701

Resultado de la investigación: Research - revisión exhaustivaArticle

theses
simulation
space storage
dynamical systems
hardness
1 Citas

Computable Carathéodory Theory

Binder, I., Rojas, C. & Yampolsky, M. 10 nov 2014 En : Advances in Mathematics. 265, p. 280-312 33 p.

Resultado de la investigación: Research - revisión exhaustivaArticle

Complex Analysis
Unit Disk
Computing
Theorem
Object