A feature is a part or aspect of a speciication which a user perceives as having a self-contained functional role. In large speciications there are several problems that make the manipulation of features diicult: the part of the speciication describing a feature is widely distributed over the whole speciication, and features may interact in ways that are hard to predict. To overcome these probl...

Abstract—The practical efficient approach is suggested to estimate the high-speed objects instant bounds in C-OTDR monitoring systems. In case of super-dynamic objects (trains, cars) is difficult to obtain the adequate estimate of the instantaneous object localization because of estimation lag. In other words, reliable estimation coordinates of monitored object requires taking some time for dat...

Many cardiovascular diseases will lead to changes in pulse wave. Pulse wave’s transmission will play a significant role in promoting the clinical detection and diagnosis, one kind pulse wave computational method based on averaging method is proposed, and computing cardiovascular function parameter K according to the waveform area, the K value is associated with pathological analysis and diagnos...

This work is devoted to the formulation and derivation of the α−κ−μ/gamma distribution which corresponds to a physical fading model. The proposed distribution is composite and is constituted by the α−κ−μ non-linear generalized multipath model and the gamma shadowing model. It also constitute the basis for deriving the α−κ−μ Extreme/gamma model which accounts for non-linear severe multipath and ...

We first propose the notion of universal anonymizable public-key encryption. Suppose that we have the encrypted data made with the same security parameter, and that these data do not satisfy the anonymity property. Consider the situation that we would like to transform these encrypted data to those with the anonymity property without decrypting these encrypted data. In this paper, in order to f...

We examine saturation properties of a quark-based picture of nuclear matter. Soliton matter consisting of nonlocal confining solitons is used to model nuclear matter. Each composite nucleon is described by a non-topological soliton as given by the Global Color Model. We apply techniques and concepts from the description of crystal lattices. In particular, the Wigner-Seitz approximation is used ...

We perform a comparison of the performance and efficiency of four different function evaluation methods: black-box functions, binary trees, n-ary trees and string parsing. The test consists in evaluating 8 different functions of two variables x, y over 5000 floating point values of the pair (x, y). The outcome of the test indicates that the n-ary tree representation of algebraic expressions is ...

Size uniformity is one of the main criteria of superpixel methods. But size uniformity rarely conforms to the varying content of an image. The chosen size of the superpixels therefore represents a compromise how to obtain the fewest superpixels without losing too much important detail. We propose that a more appropriate criterion for creating image segments is information uniformity. We introdu...

We present a multiparty computation protocol that is unconditionally secure against adaptive and active adversaries, with communication complexity O(Cn)k + O(Dn)k + poly(nκ), where C is the number of gates in the circuit, n is the number of parties, k is the bitlength of the elements of the field over which the computation is carried out, D is the multiplicative depth of the circuit, and κ is t...

A Formal Logic is developed and the following presented: i) Notation for Formal Logic; ii) developing the Formal Logic for Digital Investigations Experiments (FDIE); iii) Case study modifying BPB and demonstrating the Formal Logic in ii); and iv) extending the Formal logic to Digital Investigations (FDI). A case study using BIOS Partition Block (BPB) modifications to render the partitions unrea...