Cryptographic multilinear maps have many applications, such as multipartite key exchange and software obfuscation. However, the encodings of three current constructions are “noisy” and their multilinearity levels are fixed and bounded in advance. In this paper, we describe a candidate construction of ideal multilinear maps by using ideal lattices, which supports arbitrary multilinearity levels....

Cryptographic multilinear maps have many applications, such as multipartite key exchange and software obfuscation. However, the encodings of three current constructions are “noisy” and their multilinearity levels are fixed and bounded in advance. In this paper, we describe a candidate construction of ideal multilinear maps by using ideal lattices, which supports arbitrary multilinearity levels....

Let $L$ be a completely regular frame and $mathcal{R}L$ be the ‎ring of continuous real-valued functions on $L$‎. ‎We show that the‎ ‎lattice $Zid(mathcal{R}L)$ of $z$-ideals of $mathcal{R}L$ is a‎ ‎normal coherent Yosida frame‎, ‎which extends the corresponding $C(X)$‎ ‎result of Mart'{i}nez and Zenk‎. ‎This we do by exhibiting‎ ‎$Zid(mathcal{R}L)$ as a quotient of $Rad(mathcal{R}L)$‎, ‎the‎ ‎...

This paper presents a new numerical method for the compressible Navier-Stokes equations governing the flow of an ideal isentropic gas. To approximate the continuity equation, the method utilizes a discontinuous Galerkin discretization on piecewise constants and a basic upwind flux. For the momentum equation, the method is a new combined discontinuous Galerkin and finite element method approxima...

A new ideal mechanical one-port network element named the inerter was recently introduced, and shown to be realisable, with the property that the applied force is proportional to the relative acceleration across the element. This paper makes a comparative study of several simple passive suspension struts, each containing at most one damper and inerter as a preliminary investigation into the pot...

Resolution of a multibit delta-sigma modulator (DSM) is limited by its internal digital-to-analog converter (DAC) nonlinearity that is usually caused by circuit mismatch errors while realizing. Recently, some dynamic element matching (DEM) methods were proposed for reducing mismatch errors. Two main difficulties of different dynamic element matching (DEM) techniques relate to instability and co...

The solid/fluid interface appears in many ultrasonic measurement systems. Models for the system must take account of the interface. Analytical models for wave phenomena at the interface (especially curved interfaces) are either difficult or subject to severe approximation. The finite element method is ideal for this especially when the problem domain is bounded. A survey of this subject has bee...

I ′/(x) = I ′/(x) , where x = ∑n i=1 ziai is a generic element for I defined over the polynomial ring R ′ = R[z1, . . . , zn] and I ′ denotes the extension of I to R. This result can be paraphrased by saying that an element is integral over I if it is integral modulo a generic element of the ideal. Other, essentially unrelated, results about lifting integral dependence have been proved by Teiss...

We continue the study of the Newton polytope Pm,n of the product of all maximal minors of an m x n-matrix of indeterminates. The vertices of Pm,n are encoded by coherent matching fields A = (A z) , where z runs over all m-element subsets of columns, and each Az is a bijection z —> [m]. We show that coherent matching fields satisfy some axioms analogous to the basis exchange axiom in the matroid...

We present a technique to extend any Jacobian based quality measure for linear elements to high-order isoparametric planar triangles of any interpolation degree. The extended quality measure is obtained as the inverse of the distortion of the high-order element with respect to an ideal element. To measure the highorder distortion, we integrate on the curved element the inverse of the Jacobian b...