The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is determined by bilinear control systems, and whose discrete transitions are triggered externally. The proposed characterization provides necessary and sufficient conditions for observability and spanreachability in ter...

The bilinear map whose domain and range are identical is called self-bilinear map. Once such kind of bilinear map exists, the multilinear map can be constructed easily by using self bilinear map as a component. Yamakawa et al. have introduced the first secure self-bilinear map with auxiliary information based on the integer factoring assumption in Crypto 2014. Inspired by their work, we find th...

In recent years, hydroforming process has been applied in different industries such as aerospace, automotive and military industries due to its advantages, such as high dimensional accuracy, capability of forming complicated parts and high drawing ratio. Hydrodynamic deep drawing with radial pressure is one type of hydroforming process. In this paper, forming of cylindrical cups in hydrodynamic...

We study discrete solvent effects on the interaction of two parallel charged surfaces in ionic aqueous solution. These effects are taken into account by adding a bilinear nonlocal term to the free energy of Poisson–Boltzmann theory. We study numerically the density profile of ions between the two plates, and the resulting interplate pressure. At large plate separations the two plates are decoup...

In many pairing-based cryptosystems, the secret keys are elements of bilinear groups. For safeguarding such secret keys or decrypting or signing in a threshold manner, Verifiable Secret Sharing (VSS) in bilinear groups is required. In this paper, we show a method of verifiably sharing a random secret in a bilinear group. Our method is simple and practical. It can be regarded as a generalisation...

L p estimates for non smooth bilinear Littlewood-Paley square functions on R. Abstract In this work, some non smooth bilinear analogues of linear Littlewood-Paley square functions on the real line are studied. Mainly we prove boundedness-properties in Lebesgue spaces for them. Let us consider the function φn satisfying c φn(ξ) = 1 [n,n+1] (ξ) and consider the bilinear operator Sn(f, g)(x) := R ...

Bilinear operators are investigated in the context of Sobolev spaces and various techniques useful in the study of their boundedness properties are developed. In particular, several classes of symbols for bilinear operators beyond the so called CoifmanMeyer class are considered. Some of the Sobolev space estimates obtained apply to both the bilinear Hilbert transform and its singular multiplier...

At Eurocrypt 2010, Freeman proposed a transformation from pairing-based schemes in composite-order bilinear groups to equivalent ones in prime-order bilinear groups. His transformation can be applied to pairing-based cryptosystems exploiting only one of two properties of composite-order bilinear groups: cancelling and projecting. At Asiacrypt 2010, Meiklejohn, Shacham, and Freeman showed that p...

In this paper we present a finite dimensional iterative algorithm for optimal maximum a posteriori (MAP) state estimation of bilinear systems. Bilinear models are appealing in their ability to represent or approximate a broad class of nonlinear systems. We show that several bilinear models previously considered in the literature are special cases of the general bilinear model we propose. Our it...