Andrea Pedrini

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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)
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)
Membrane carriers can operate bidirectionally. We studied, in rat neocortex synaptosomes, the choline carrier by comparing the ability of the transport inhibitor hemicholinium-3, present outside or inside the nerve terminals, to prevent uptake and release of [(3)H]choline. Because hemicholinium-3 is membrane-impermeable, it was previously entrapped into(More)
  • 1