The delays are the mathematical models of the delay circuits. Delay theory is the mathematical theory that considers the fundamental circuit in digital electronics be the delay circuit and modeling is made by using delays and Boolean functions. The most detailed level of modeling is considered, starting from the delays that occur in gates and wires. Relative inertia is the property of the state...

In this paper, we present an approach for robustly grasping objects under positional uncertainty. We maintain a belief state (a probability distribution over world states), model the problem as a partially observable Markov decision process (POMDP), and select actions with a receding horizon using forward search through the belief space. Our actions are world-relative trajectories, or fixed tra...

m-parametrizable algebras are characterized by a projectiveness property. Mathematics Subject Classification (2000): 08A99.

We say that a real X is relatively r.e. if there exists a real Y such that X is r.e. (Y ) and X 6≤T Y . We say X is relatively REA if there exists such a Y ≤T X. We define A ≤e1 B if there exists a Σ1 set C such that n ∈ A if and only if there is a finite E ⊆ B with (n, E) ∈ C. In this paper we show that a real X is relatively r.e. if and only if X 6≤e1 X. We prove that every nonempty Π01 class...

Discovering a latent common space between different modalities plays an important role in cross-modality pattern recognition. Existing techniques often require absolutelypaired observations as training data, and are incapable of capturing more general semantic relationships between cross-modality observations. This greatly limits their applications. In this paper, we propose a general framework...

Functions counting the number of subsets of {1, 2, . . . , n} having particular properties are defined by Nathanson. Here, generalizations in two directions are given. Received: 10/1/08, Revised: 3/20/09, Accepted: 3/30/09

Dana Scott’s model of λ-calculus was based on a limit construction which started from an algebra of a suitable endofunctor F and continued by iterating F . We demonstrate that this is a special case of the concept we call coalgebra relatively terminal w.r.t. the given algebra A. This means a coalgebra together with a universal coalgebra-toalgebra morphism into A. We prove that by iterating F co...