We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a ring with some additional properties. To prove this result we show an effective Weierstrass Division Theorem and an effective solution to the Ideal Membership P...

This paper presents a methodology for identifying potential pavement maintenance schemes based upon machine survey data. Highways authorities make maintenance decisions based on a number of factors; condition data is a common starting point. However there are currently no universally accepted techniques for ranking sub-sections by condition, based on the comparison of data from multiple conditi...

Let f = (f 1 ; : : : ; f m) be a holomorphic mapping in a neighborhood of the origin in C n. We nd suucient condition, in terms of residue currents, for a smooth function to belong to the ideal in C k generated by f. If f is a complete intersection the condition is essentially necessary. More generally we give suucient condition for an element of class C k in the Koszul complex induced by f to ...

The minimal prime decomposition for semiprime ideals is defined and studied on z-ideals of C(X). The necessary and sufficient condition for existence of the minimal prime decomposition of a z-ideal / is given, when / satisfies one of the following conditions: (i) / is an intersection of maximal ideals. (ii) I is an intersection of O , s, when X is basically disconnected. (iii) I=O , when x X h...

We )nd that adding certain amounts of inhibitory inputs to a neuron improves its capability of accurately decoding the input information. The optimal ratio r of inhibitory to excitatory inputs for decoding the input information from an observation of the e,erent interspike intervals is calculated. Surprisingly, the Fisher information could be zero for certain values of the ratio, seemingly impl...

We prove the following result: Theorem. Every algebraic distributive lattice D with at most א1 compact elements is isomorphic to the ideal lattice of a von Neumann regular ring R. (By earlier results of the author, the א1 bound is optimal.) Therefore, D is also isomorphic to the congruence lattice of a sectionally complemented modular lattice L, namely, the principal right ideal lattice of R. F...

We construct an Identity-Based Key Encapsulation Mechanism (IBKEM) in a generic “leveled” multilinear map setting and prove its security under multilinear decisional Diffie-Hellmanin assumption in the selective-ID model. Then, we make our IB-KEM translated to the GGH framework, which defined an “approximate” version of a multilinear group family from ideal lattices, and modify our proof of secu...

We study well-rounded lattices which come from ideals in quadratic number fields, generalizing some recent results of the first author with K. Petersen [8]. In particular, we give a characterization of ideal well-rounded lattices in the plane and show that a positive proportion of real and imaginary quadratic number fields contains ideals giving rise to well-rounded lattices.