In a proxy signature scheme, a user delegates his/her signing capability to another user in such a way that the latter can sign messages on behalf of the former. In this paper, we first propose a provably secure proxy signature scheme, which is based on a two-party Schnorr signature scheme. Then, we extend this basic scheme into designated-verifier proxy signatures (DVPS). More specifically, we...

interpretation: Domains and surroundings. Abstract interpretation is a general theory for specifying and designing approximate semantics of program languages [10]. Approximation can be equivalently formulated either in terms of Galois connections or closure operators [11]. An upper closure operator ρ : C → C on a poset C (uco(C ) for short), representing concrete objects, is monotone, idempoten...

A linear dynamical system is called positive if its flow maps the non-negative orthant to itself. More precisely, it set of vectors with zero sign variations k-positive up k -1 nonlinear k-cooperative variational system, which a time-varying k-positive. These systems have special asymptotic properties. For example, was recently shown that strong 2-cooperative satisfy Poincaré-Bendixson property...

Although chord and sagitta, when considered in tandem, may reflect many underlying geometric properties of circles on the Euclidean plane, their implications on the digital plane are not yet well-understood. In this paper, we explore some of their fundamental properties on the digital plane that have a strong bearing on the unsupervised detection of circles and circular arcs in a digital image....

We introduce a new method to construct approximation algorithms for combinatorial optimization problems using semidefinite programming. It consists of expressing each combinatorial object in the original problem as a constellation of vectors in the semidefinite program. When we apply this technique to systems of linear equations mod p with at most two variables in each equation, we can show tha...

Introduction: Consumption of appropriate amount of probiotic microorganisms via food products have health benefits on the host. In recent years, there has been a significant increase in research on the characterization and verification potential use of probiotic films in food industry. The aim of the current study was to investigate in vitro antimicrobial property of p...

Background Hypertrophic pyloric stenosis (HPS) is a common surgical condition in infancy, and typically presents at 2-4 weeks of age. Case Presentation A full term male neonate in Zeinabieh hospital, Shiraz, Iran was presented with oral feeding intolerance from birth, bile-stained...

We introduce a new quantum R\'enyi divergence $D^{\#}_{\alpha}$ for $\alpha \in (1,\infty)$ defined in terms of convex optimization program. This has several desirable computational and operational properties such as an efficient semidefinite programming representation states channels, chain rule property. An important property this is that its regularization equal to the sandwiched (also known...