An incomplete degree is cuppable if it can be joined by an incomplete degree to a complete degree. For sets fulfilling some type of simplicity property one can now ask whether these sets are cuppable with respect to a certain type of reducibilities. Several such results are known. In this paper we settle all the remaining cases for the standard notions of simplicity and all the main strong redu...

This paper describes a representation of the dynamics of human walking action for the purpose of person identification and classification by gait appearance. Our gait representation is based on simple features such as moments extracted from video silhouettes of human walking motion. We claim that our gait dynamics representation is rich enough for the task of recognition and classification. The...

We present a new strategy for semantic paramodulation for Horn sets and prove its completeness The strategy requires for each paramoduiation that either both parents be false positive units or that one parent and the paramodulant both be false relative to an interpretation We also discuss some of the issues involved in choosing an interpretation that has a chance of giving better performance th...

Let R be a relation on the domain of a computable structure A. We establish that the existence of an isomorphic copy B ofA such that the image of R (¬R, resp.) is h-simple (h-immune, resp.) relative to B is equivalent to a syntactic condition, termed R is formally h-simple (formally h-immune, resp.) on A.

Solution. Since (ab)(abc) = (bc) and (abc)(ab) = (ac), it is easy to see that the center of S3 is the trivial subgroup. Therefore, the group of inner automorphisms of S3 is isomorphic to S3 and has size 6. On the other hand, S3 has 3 transpositions. These must be permuted by an automorphism of S3, and a nontrivial automorphism induces a nontrivial permutation. This gives an injective homomorphi...

1 ObjectGEODE and SDL 2 1.

In diesem Papier werden Erfahrungen aus gemeinsamen Projekten des Kunden und der SQS bei der Durchführung proaktiver Qualitätssicherungsmaßnahmen im Umfeld von eingebetteten Telekommunikationssystemen erläutert. Dabei werden insbesondere die Vorteile von frühzeitig ergreifbaren Qualitätssicherungsmaßnahmen mit Hilfe statischer Code-Analysewerkzeuge sowie deren ungefähre Quantifizierung erkennbar.

We show that every real low for Demuth randomness is of hyperimmune-free degree.

For those who know about group cohomology will know that if a group acts freely on sphere, then it has periodic cohomology. Now the group Zp×Zp does not have periodic cohomology, (just use the Künneth formula again) therefore it cannot act freely on any sphere. For those who do not know about group cohomology a finite group having periodic cohomology is equivalent to all the abelian subgroups b...

Three cases of Day/Night Band (DNB) observations of the Visible Infrared Imaging Radiometer Suite (VIIRS) onboard the Suomi National Polar-orbiting Partnership (SNPP) are explored for applications to assess the ocean environment and monitor ocean dynamics. An approach to use the ratio between the target radiance and the reference radiance was developed in order to better assess the ocean diurna...