Formal property verification (also known as model checking) is a powerful methodology that can be used to find corner-case bugs, improve verification efficiency and reduce the verification cycle. However, inconclusive formal analysis results or bounded proofs have been hindering adoption of formal technology in the industry. This paper describes a formal sign-off methodology in the presence of ...

Using growth diagrams, we define skew domino Schensted algorithm which is a domino analogue of “Robinson-Schensted algorithm for skew tableaux” due to Sagan and Stanley. The color-to-spin property of Shimozono and White is extended. As an application, we give a simple generating function for a weighted sum of skew domino tableaux whose special case is a generalization of Stanley’s sign-imbalanc...

Using growth diagrams, we define skew domino Schensted algorithm which is a domino analogue of “Robinson-Schensted algorithm for skew tableaux” due to Sagan and Stanley. The color-to-spin property of Shimozono and White is extended. As an application, we give a simple generating function for a weighted sum of skew domino tableaux whose special case is a generalization of Stanley’s sign-imbalanc...

We study the Sign then Encrypt, Commit then Encrypt and Sign, and Encrypt then Sign paradigms in the context of two cryptographic primitives, namely designated confirmer signatures and signcryption. Our study identifies weaknesses in those paradigms which impose the use of expensive encryption (as a building block) in order to meet a reasonable security level. Next, we propose some optimization...

We present an accurate and efficient system for traffic sign recognition in a real-world driving scene video. The proposed system uses local structure features to achieve high, illumination-invariant accuracy in detection and recognition. We exploit a property of traffic signs, namely, shared boundary shapes, to enhance the speed and accuracy of the detection step. A multi-level SVM structure i...

We introduce a property of mutation loops, called the sign stability, with focus on an asymptotic behavior iteration tropical $\mathcal{X}$-transformation. A sign-stable loop has numerical invariant which we call cluster stretch factor, in analogy that pseudo-Anosov mapping class marked surface. compute algebraic entropies $\mathcal{A}$- and $\mathcal{X}$-transformations induced by loop, conclu...

Using growth diagrams, we define skew domino Schensted algorithm which is a domino analogue of “Robinson-Schensted algorithm for skew tableaux” due to Sagan and Stanley. The color-to-spin property of Shimozono and White is extended. As an application, we give a simple generating function for a weighted sum of skew domino tableaux whose special case is a generalization of Stanley’s sign-imbalanc...

The complex exponential signal is given by x(t) = C e, (1) where C and a are, in general, complex numbers. If these are real numbers, then x(t) is called a real exponential and depending on the sign of a it can become either a growing exponential (a > 0) or a decaying exponential (a < 0). If a = 0 then x(t) is the constant C. An equally important class of complex exponential signals is obtained...

In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...

This paper presents “oriented pivoting systems” as an abstract framework for complementary pivoting. It gives a unified simple proof that the endpoints of complementary pivoting paths have opposite sign. A special case are the Nash equilibria of a bimatrix game at the ends of Lemke–Howson paths, which have opposite index. For Euler complexes or “oiks”, an orientation is defined which extends th...