Abstract . Exoskeleton robots are developing rapidly in the field of industrial manufacturing and medical rehabilitation as an intelligent wearable power assist device, which can reduce lifting burden muscle fatigue. Existing upper limb passive exoskeleton still need to be improved for human-machine integration. In this paper, by establishing a human kinematic model lumbar spine motion model, i...

Given a horizontal monoid M in a duoidal category F , we examine the relationship between bimonoid structures on M and monoidal structures on the category F ∗M of right M -modules which lift the vertical monoidal structure of F . We obtain our result using a variant of the so-called Tannaka adjunction; that is, an adjunction inducing the equivalence which expresses Tannaka duality. The approach...

In this paper we introduce a new model for composing objects from individual features in a fully exible and modular way Its main advantage is that di erent objects can be created just be selecting the desired features In addition there may be dependencies or interactions between features i e some feature must behave di erently in the presence of another one We present a modular solution to such...

The present research work proposes a new fast fixed-point averaging algorithm on the compact Stiefel manifold based on a mixed retraction/lifting pair. Numerical comparisons between fixed-point algorithms based on the proposed non-associated retraction/lifting map pair and two associated retraction/lifting pairs confirm that the averaging algorithm based on a combination of mixed maps is remark...

Unmanned aircraft (UA) applications impose a variety of computing tasks on the on-board computer system. From a research perspective, it is often more convenient to evaluate algorithms on bigger aircraft as they are capable of lifting heavier loads and thus more powerful computational units. On the other hand, smaller systems are often less expensive and operation is less restricted in many cou...

Modern compilers for ML-like polymorphic languages have used explicit run-time type passing to support advanced optimizations such as intensional type analysis, representation analysis and tagless garbage collection. Unfortunately, maintaining type information at run time can incur a large overhead to the time and space usage of a program. In this paper, we present an optimal type-lifting algor...

In this paper we study the operator inequality φ(X) ≤ X and the operator equation φ(X) = X, where φ is a w∗-continuous positive (resp. completely positive) linear map on B(H). We show that their solutions are in one-to-one correspondence with a class of Poisson transforms on Cuntz-Toeplitz C∗-algebras, if φ is completely positive. Canonical decompositions, ergodic type theorems, and lifting the...

One aspect of the Langlands program for linear groups is lifting of characters, which relates virtual representations on a group G with those on an endoscopic group for G. The goal of this paper is to extend this theory to nonlinear two-fold covers of real groups in the simply laced case. Suppose G̃ is a two-fold cover of a real reductive group G. The main result is that there is an operation, d...

In this paper, we propose an architecture that performs the forward and inverse discrete wavelet transform (DWT) using a lifting-based scheme for the set of seven filters proposed in JPEG2000. The architecture consists of two row processors, two column processors, and two memory modules. Each processor contains two adders, one multiplier, and one shifter. The precision of the multipliers and ad...

We give a criterion for when idempotents of a ring R which commute modulo the Jacobson radical J(R) can be lifted to commuting idempotents of R. If such lifting is possible, we give extra information about the lifts. A “half-commuting” analogue is also proven, and this is used to give sufficient conditions for a ring to have the internal exchange property. In particular, we show that if R/J(R) ...