In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Let A be a Banach algebra and X a Banach A-bimodule, the derivation D : A → X is semi-inner if there are ξ, μ ∈ X such that D(a) = a.ξ − μ.a, (a ∈ A). A is called semi-amenable if every derivation D : A → X∗ is semi-inner. The dual Banach algebra A is Connes semi-amenable (resp. approximately semi-amenable) if, every D ∈ Z1w _ (A,X), for each normal, dual Banach A-bimodule X, is semi -inner (re...

Including three aspects, problem solving, theorem proving and theorem discovering, automated deduction in real geometry essentially depends upon the semi-algebraic system solving. A “semi-algebraic system” is a system consisting of polynomial equations, polynomial inequations and polynomial inequalities, where all the polynomials are of integer coefficients. We give three practical algorithms f...

We derive a general framework for describing semi-inclusive deep-inelastic lepton-nucleon scattering in terms of the unintegrated parton distributions and other higher twist parton correlations. Such a framework provides a consistent approach to the calculation of inclusive and semi-inclusive cross sections including higher twist effects. As an example, we calculate the azimuthal asymmetries to...

We determine the conditions for uniqueness of the solutions of several completion problems including the positive semi-definite completion, the distance matrix completion, and the contractive matrix completion. The conditions depend on the existence of a positive semi-definite matrix satisfying certain linear constraints. Numerically, such conditions can be checked by existing computer software...

We train and validate a semi-supervised, multi-task LSTM on 57,675 person-weeks of data from off-the-shelf wearable heart rate sensors, showing high accuracy at detecting multiple medical conditions, including diabetes (0.8451), high cholesterol (0.7441), high blood pressure (0.8086), and sleep apnea (0.8298). We compare two semi-supervised training methods, semi-supervised sequence learning an...