#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2013

2017

- This year (1)
- Last 5 years (4)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R n with n 1 suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the frame… (More)

- Giacomo Parigi, Andrea Pedrini, Marco Piastra
- 2015 International Joint Conference on Neural…
- 2015

Neural gas (NG) is a robust vector quantization algorithm for which a descriptive mathematical model is known. According to this model, the output configuration produced by the NG algorithm samples the input data distribution with a density that follows a power law with a magnification factor that depends on data dimensionality only. The effects of shape in… (More)

- Vincenzo Marra, Daniel McNeill, Andrea Pedrini
- TACL
- 2013

- Vincenzo Marra, Daniel McNeill, Andrea Pedrini
- TACL
- 2013

- ‹
- 1
- ›