The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the augmented symmetric simplicial sets. We prove here that this ground category has characterisations similar to the classical ones for the category of finite ordinals, by the existence of a universal sym...

We recall Hoare's formulation of data re nement in terms of upward, downward and total simulations between locally ordered functors from the structured locally ordered category generated by a programming language with an abstract data type to a semantic locally ordered category: we use a simple imperative language with a data type for stacks as leading example. We give a uni ed category theoret...

Imagery from GOES satellites is analyzed to determine how solar variability is related to the NOAA classification of cloud type. Without using a model to convert satellite imagery to average insolation on the ground, this paper investigates using cloud categories to directly model the expected statistical variability of ground irradiance. Hourly cloud classified satellite images are compared to...

for better understanding of tehran ground water, samples were taken randomly from 340 out of 655 deep & semi deep wells in 1993, which dug by tehran water supply and sewage engineering company. 260 water specimens were examined chemically and physically and compared with the 1993 world health organization (who) and food and agriculture organization (fao) criteria and analyzed statistically. log...

We present a learning algorithm for joint object segmentation and categorization that decomposes the original problem into two sub-tasks and admits their bidirectional interaction. In the first stage, in order to decompose output space, we train category-specific segmentation models to generate figure-ground hypotheses. In the second stage, by taking advantage of object figure-ground informatio...

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

We will construct a monoidal functor (”a monoidal representation”) from the category of framed tangles into the tensor category over a fixed ground vector space which is invariant under Kirby moves and so gives rise to an invariant of 3-manifolds.

We address the problem of predicting category labels for unlabeled videos in a large video dataset by using a ground-truth set of objectively labeled videos that we have created. Large video databases like YouTube require that a user uploading a new video assign to it a category label from a prescribed set of labels. Such category labeling is likely to be corrupted by the subjective biases of t...

In the category of stable dcpo's, free constructions w.r.t. algebraic theories exist. From this, we obtain various stable power domain constructions. After handling their properties in general, we concentrate on the stable Plotkin power construction. For continuous ground domains, it is explicitly described in terms of saturated compact sets. In case of algebraic ground domains, this descriptio...