We address visual perception for personal service robotic systems in the home. We start by identifying the main functional modules and their relationships. This includes self-localization, long range people detection and tracking, and short range human interaction. We then discuss various vision based tasks within each of these modules, along with our implementations of these tasks. Typical res...

Let R be a commutative ring. A full additive subcategory C of R-modules is triangulated if whenever two terms of a short exact sequence belong to C, then so does the third term. In this note we give a classification of triangulated subcategories of finitely generated modules over a principal ideal domain. As a corollary we show that in the category of finitely generated modules over a PID, thic...

‎Highest weight modules of the double affine Lie algebra $widehat{widehat{mathfrak{sl}}}_{2}$ are studied under a‎ ‎new triangular decomposition‎. ‎Singular vectors of Verma modules are‎ ‎determined using a similar condition with horizontal affine Lie‎ ‎subalgebras‎, ‎and highest weight modules are described under the‎ ‎condition $c_1>0$ and $c_2=0$.

This paper is concerned with the relation between local cohomology modules defined by a pair of ideals and the Serre subcategories of the category of modules. We characterize the membership of local cohomology modules in a certain Serre subcategory from lower range or upper range.

We report the modification of the scaling dynamics of human heart rate (HR in beat.min-1), speed (S in km.hour-1) and cardiac cost (the Heart Rate / Speed ratio, HRS in cardiac beats.m-1) was investigated in ten male subjects (35±5 yrs) who ran a marathon. The scaling power law was observed using the detrended fluctuation analysis (DFA) and the wavelet structure function. The corresponding scal...

The deployment of Workflow Management systems is a timeconsuming and error-prone task. A possible solution is process mining, which automatically extracts workflow models from event-data logs. However, the current research in process mining still has problems in mining some common constructs in workflow models. Among these constructs are short loops, which are loops of length one and two. For i...

Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...

We give a short analytic proof of local large deviations for i.i.d. random variables in the domain multivariate α-stable law, α∈(0,1)∪(1,2]. Our method simultaneously covers lattice and nonlattice distributions (and mixtures thereof), bypassing aperiodicity considerations. The applies also to dynamical setting.

This article shows the results obtained during simulations that measured runtime and energy consumption of a security module (SEMO) when it executes in ARM processor. For the simulations, we considered the impacts of four algorithms (i.e. RSA, SHA-1, Random Numbers Generator and AES). We have used the Sim-Panalyzer simulator and obtained an average energy consumption (x2 Joules) and runtime (x2...