In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translation is extended to proofs, it obtains a reduction of provability to provability in the disjunction-free subsystem. It is natural to ask whether a r...

Anticipatory force planning during grasping is based on visual cues about the object's physical properties and sensorimotor memories of previous actions with grasped objects. Vision can be used to estimate object mass based on the object size to identify and recall sensorimotor memories of previously manipulated objects. It is not known whether subjects can use density cues to identify the obje...

We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The method is first illustrated by applying to a composition-free calculus of explicit substitutions, yielding a simpler proof than the previous one by Lengrand et al. Then we present a new intersection type system in the s...

A branchpoint of a compactum X is a point which is the vertex of a simple triod in X. A surjective map /: X -» Y is said to cover the branchpoints of Y if each branchpoint in Y is the image of some branchpoint in X. If every map in a class % of maps on a class of compacta & covers the branchpoints of its image, then it is said that the branchpoint covering property holds for ff on 0. According ...

In its original form, the wavelet transform is a linear tool. However, it has been increasingly recognized that nonlinear extensions are possible. A major impulse to the development of nonlinear wavelet transforms has been given by the introduction of the lifting scheme by Sweldens. The aim of this report, which is a sequel to a previous report devoted exclusively to the pyramid transform, is t...

We present a new family of biorthogonal wavelet and wavelet packet transforms for discrete periodic signals and a related library of biorthogonal periodic symmetric waveforms. The construction is based on the superconvergence property of the interpolatory polynomial splines of even degrees. The construction of the transforms is performed in a “lifting” manner that allows more efficient implemen...

This study examined the effects of 3 lifting ranges and 3 lifting modes on maximum lifting capability and total lifting time. The results demonstrated that the maximum lifting capability for FK (from floor to knuckle height) was greater than that for KS (from knuckle height to shoulder height) or FS (from floor to shoulder height). Additionally, asymmetric lifting with initial trunk rotation de...

The presented splitting lemma extends the techniques of Gromov and Forstneri\v{c} to glue local sections a given analytic sheaf, key step in proof all Oka principles. novelty on which depends is lifting for transition maps coherent sheaves, yields reduction work Forstneri\v{c}. As applications we get shortcuts proofs Forster Ramspott's principle admissible pairs interpolation property elliptic ...

Let L = ? j 1 m X 2 be a Hörmander sum of squares vector fields in space R n , where any is homogeneous degree with respect to family non-isotropic dilations space. In this paper we prove global estimates and regularity properties for the -Sobolev spaces W k p ( ) { … } . our approach, combine local results general sums squares, homogeneity property 's, plus lifting technique fields.

Let u and v be permutations on n letters, with u ≤ v in Bruhat order. A Bruhat interval polytope Qu,v is the convex hull of all permutation vectors z = (z(1), z(2), . . . , z(n)) with u ≤ z ≤ v. Note that when u = e and v = w0 are the shortest and longest elements of the symmetric group, Qe,w0 is the classical permutohedron. Bruhat interval polytopes were studied recently in the 2013 paper “The...