We use topological models of intuitionistic analysis to answer some of the recent questions of Kadison [7] concerning diagonalization of matrices of continuous functions. Let X be a compact Hausdorff space, and let %(X) be the ring of continuous real functions on X. In the topological interpretation of intuitionistic analysis over X [3], %(X) represents the internal set of (Dedekind) reals. Thu...

An associative memory model and a neural network model with a Mexican-hat type interaction are the two most typical attractor networks used in the artificial neural network models. The associative memory model has discretely distributed fixed-point attractors, and achieves a discrete information representation. On the other hand, a neural network model with a Mexican-hat type interaction uses a...

A new approach for constructing deformable continuous medial models for anatomical structures is presented. Medial models describe geometrical objects by first specifying the skeleton of the object and then deriving the boundary surface corresponding to the skeleton. However, an arbitrary specification of a skeleton will not be "valid" unless a certain set of sufficient conditions is satisfied....

where the functions ƒ and <p are defined and continuous throughout some interval, say for 0 ^ t ^ 1, and are not both constant throughout that interval. It is sometimes an aid to the imagination to suppose that they are not simultaneously constant throughout any subinterval of their interval of definition. The question naturally arises, whether this implies a restriction on the curve itself, or...

In this paper we present a framework to construct a continuous orientation representation in arbitrary dimensions. Existing methods for 2D (doubling the angle) and 3D (Knutsson mapping) were found ad hoc. We show how they can be put in a general framework to derive suitable representations for filtering in spaces of arbitrary dimension. The dimensionality of the derived representation is shown ...

With increasingly sophisticated Diffusion Weighted MRI acquisition methods and modeling techniques, very large sets of streamlines (fibers) are presently generated per imaged brain. These reconstructions of white matter architecture, which are important for human brain research and pre-surgical planning, require a large amount of storage and are often unwieldy and difficult to manipulate and an...

In this paper we study multivalued martingales in continuous time. First we show that every multivalued martingale in continuous time can be represented as the closure of a sequence of martingale selections. Then we prove two results concerning the cadlag modifications of continuous time multivalued martingales, in Kuratowski-Mosco convergence and in convergence in the Hausdorff metric respecti...

This paper describes a linguistic knowledge representation technique suitable for reducing analysis time and memory requirements in a parser for continuous speech. Parsing speech, having to process a lattice of word hypotheses instead of a string of words, involves a tremendous amount of search and the generation of a high number of phrase hypotheses. The aim is, while using powerful and flexib...

In some technological frameworks, such as Charge Routing Networks (CRN)... ............DA CAMBIARE .... In some technological frameworks, such as Charge Routing Networks (CRN), or fiber-optic filters, only positive state space realizations of digital signal processing algorithms, such as filters or control laws, can be implemented. On the other hand, the imposition of an a priori positivity con...