We introduce the notions of sequentiality and strong sequentiality in order-sorted rewriting systems, both closely related to the subsort order and to the form of declarations of the signature. We deene free sequentiality for the class of orthogonal systems with constructors, a notion which does not impose conditions over the signature. We provide an eeective decision procedure for free sequent...

This paper proposes a novel signature based on singular value decomposition (SVD) for video sequence matching. By considering the input image as a matrix, a partition procedure is first performed to separate the matrix into non-overlapping sub-images of a fixed size. The SVD process then individually decomposes each partitioned sub-image into an singular value and the corresponding singular vec...

Two multiuser detectors are proposed for an asynchronous code-division multiple-access system [?]. Both detectors determine which users are on the system without side channel information and perform multiuser detection with knowledge of the previous active users. One detector, the Two Pass Detector works with matched filter outputs and requires knowledge of all potential users’ signature sequen...

In this paper a new patch-based digital signature (DS) is proposed. The proposed approach similar to steganography methods hides the secure message in a host image. However, it uses a patch-based key to encode/decode the data like cryptography approaches. Both the host image and key patches are randomly initialized. The proposed approach consists of encoding and decoding algorithms. The encodin...

For closed manifolds there exists an effective highly elaborated classification approach the main steps of which are the Thom–Pontrjagin construction, bordism theory, surgery, Wall groups, the exact sequence of Browder–Novikov–Sullivan–Wall. All this can be expressed in an algebraic language of f. g. Zπ–, unitary Zπ–, Qπ–modules and their K–theory etc. Moreover, there exist many number valued i...

AIMS: HIV-1 sequence diversity can affect host immune responses and phenotypic characteristics such as antiretroviral drug resistance. Current HIV-1 sequence diversity classification uses phylogeny-based methods to identify subtypes and recombinants, which may overlook distinct subpopulations within subtypes. While local epidemic studies have characterized sequence-level clustering within subty...

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over the extended signature. They are not always sound for every CTRS w.r.t. the reduction, while they are complete. Here, soundness w.r.t. the reduction means that every reduction sequence of the corresponding unrave...

The recent spate of cyber attacks towards Internet Things (IoT) devices in smart homes calls for effective techniques to understand, characterize, and unveil IoT device activities. In this paper, we present a new system, named IoTAthena, activities from raw network traffic consisting timestamped IP packets. IoTAthena characterizes each activity using an signature ordered sequence packets with i...

In the process of handwritten signature recognition, preprocessing is an important step before calculation its informative features. Signatures any person always have some differences, in addition, they can be different colors, sizes and orientations. After digitization, their images may contain noise. The purpose image to obtain most invariant representation digital a person's signature, which...

1. Introduction Logic Built-In Self-Test (BIST) schemes based on STUMPS structure use on-chip circuitry to generate test stimuli and analyze test responses, with little or no help from an ATE. The STUMPS (Self-Test Using a MISR and Parallel Shift register sequence generator) structure applies pseudo-random patterns generated by a PRPG (Pseudo-Random Pattern Generator) to a full-scan circuit in ...