Matthew de Brecht

35 papers A* 1B 4C 4Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Ideal presentations and numberings of some classes of effective quasi-Polish spaces.
Comput.
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2023 J jnl
Ideal presentations and numberings of some classes of effective quasi-Polish spaces.
CoRR
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2022 B conf
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals.
CSL
Matthew de Brecht
2022 C conf
Enumerating Classes of Effective Quasi-Polish Spaces.
CiE
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2021 J jnl
Constructing the space of valuations of a quasi-Polish space as a space of ideals.
CoRR
Matthew de Brecht
2020 J jnl
Overt choice.
Comput.
Matthew de Brecht, Arno Pauly, Matthias Schröder
2020 C conf
Some Notes on Spaces of Ideals and Computable Topology.
CiE
Matthew de Brecht
2019 — conf
Domain-complete and LCS-complete Spaces.
ISDT
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu
2019 J jnl
On the commutativity of the powerspace constructions.
Log. Methods Comput. Sci.
Matthew de Brecht, Tatsuji Kawai
2019 J jnl
Overt choice.
CoRR
Matthew de Brecht, Arno Pauly, Matthias Schröder
2018 J jnl
A generalization of a theorem of Hurewicz for quasi-Polish spaces.
Log. Methods Comput. Sci.
Matthew de Brecht
2017 J jnl
A generalization of a theorem of Hurewicz for quasi-Polish spaces.
CoRR
Matthew de Brecht
2017 B conf
Noetherian Quasi-Polish spaces.
CSL
Matthew de Brecht, Arno Pauly
2017 J jnl
On the commutativity of the powerspace constructions.
CoRR
Matthew de Brecht, Tatsuji Kawai
2016 J jnl
Base-complexity classifications of qcb0-spaces1.
Comput.
Matthew de Brecht, Matthias Schröder, Victor L. Selivanov
2016 J jnl
Noetherian Quasi-Polish Spaces.
CoRR
Matthew de Brecht, Arno Pauly
2015 C conf
Base-Complexity Classifications of QCB
CiE
Matthew de Brecht, Matthias Schröder, Victor L. Selivanov
2015 A* conf
Descriptive Set Theory in the Category of Represented Spaces.
LICS
Arno Pauly, Matthew de Brecht
2014 — ch.
Levels of discontinuity, limit-computability, and jump operators.
Logic, Computation, Hierarchies
Matthew de Brecht
2013 J jnl
Levels of discontinuity, limit-computability, and jump operators.
CoRR
Matthew de Brecht
2013 J jnl
Quasi-Polish spaces.
Ann. Pure Appl. Log.
Matthew de Brecht
2013 J jnl
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces.
CoRR
Arno Pauly, Matthew de Brecht
2012 J jnl
Closed choice and a Uniform Low Basis Theorem.
Ann. Pure Appl. Log.
Vasco Brattka, Matthew de Brecht, Arno Pauly
2012 J jnl
Combining sparseness and smoothness improves classification accuracy and interpretability.
NeuroImage
Matthew de Brecht, Noriko Yamagishi
2012 — conf
Non-deterministic computation and the Jayne-Rogers Theorem.
DCM
Arno Pauly, Matthew de Brecht
2011 J jnl
Quasi-Polish Spaces
CoRR
Matthew de Brecht
2010 J jnl
Closed Choice and a Uniform Low Basis Theorem.
CoRR
Vasco Brattka, Matthew de Brecht, Arno Pauly
2010 J jnl
Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data.
Theor. Comput. Sci.
Matthew de Brecht, Akihiro Yamamoto
2010 — —
Topological and algebraic aspects of algorithmic learning theory.
Matthew de Brecht
2010 J jnl
Topological properties of concept spaces (full version).
Inf. Comput.
Matthew de Brecht, Akihiro Yamamoto
2009 C conf
Sigma^0_alpha - Admissible Representations (Extended Abstract).
CCA
Matthew de Brecht, Akihiro Yamamoto
2008 B conf
Topological Properties of Concept Spaces.
ALT
Matthew de Brecht, Akihiro Yamamoto
2006 J jnl
A neural network implementation of a saliency map model.
Neural Networks
Matthew de Brecht, Jun Saiki
2006 — conf
Inferability of Closed Set Systems from Positive Data.
JSAI
Matthew de Brecht, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto
2006 B conf
Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.
ALT
Matthew de Brecht, Akihiro Yamamoto