Výsledky vyhledávání - "Nobrega, Hugo"

Report

Synergy between asteroseismology and exoplanet science: an outlook

Autor: Campante, Tiago L., Barros, Susana C. C., Demangeon, Olivier, da Nóbrega, Hugo J., Kuszlewicz, James S., Pereira, Filipe, Chaplin, William J., Huber, Daniel

Space-based asteroseismology has been playing an important role in the characterization of exoplanet-host stars and their planetary systems. The future looks even brighter, with space missions such as NASA's TESS and ESA's PLATO ready to take on this

Externí odkaz: http://arxiv.org/abs/1812.06150

Zobrazit plný text záznamu

Report

Towards computable analysis on the generalised real line

Autor: Galeotti, Lorenzo, Nobrega, Hugo

In this paper we use infinitary Turing machines with tapes of length $\kappa$ and which run for time $\kappa$ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two computability to $2^{\kappa}$, where $\kappa$ is an uncount

Externí odkaz: http://arxiv.org/abs/1704.02884

Zobrazit plný text záznamu

Report

Game characterizations and lower cones in the Weihrauch degrees

Autor: Nobrega, Hugo, Pauly, Arno

Publikováno v: Logical Methods in Computer Science, Volume 15, Issue 3 (August 6, 2019) lmcs:4284

We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games

Externí odkaz: http://arxiv.org/abs/1511.03693

Zobrazit plný text záznamu