let $l$ be a lattice in $zz^n$ of dimension $m$. we prove that there exist integer constants $d$ and $m$ which are basis-independent such that the total degree of any graver element of $l$ is not greater than $m(n-m+1)md$. the case $m=1$ occurs precisely when $l$ is saturated, and in this case the bound is a reformulation of a well-known bound given by several authors. as a corollary, we show t...

We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. Bb-Simplex is centered around the Control Architecture, which consists high-performance advanced controller not guaranteed to maintain safety plant, verified-safe baseline controller, and decision module that switches control plant between two controllers ensure w...

Background: Herpes simplex virus (HSV) encephalitis is the most common cause of sporadic encephalitis, with significant morbidity and mortality that are effectively reduced by antiviral treatment. Herpes simplex infection in pregnant women rarely results in encephalitis. The most common symptoms of a pregnant woman with herpes simplex infection are colds and skin vesicles. Herpetic encephalitis...

Definition 20 (simplex). A k-simplex σ is the convex hull of a set P of k + 1 affinely independent points. In particular, a 0-simplex is a vertex, a 1-simplex is an edge, a 2-simplex is a triangle, and a 3-simplex is a tetrahedron. A k-simplex is said to have dimension k. A face of σ is a simplex that is the convex hull of a nonempty subset of P. Faces of σ come in all dimensions from zero (σ’s...

A Banach lattice algebra is a Banach lattice, an associative algebra with a sub-multiplicative norm and the product of positive elements should be positive. In this note we study the Arens regularity and cohomological properties of Banach lattice algebras.

We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...

We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological ...

this paper extends the notion of ditopology to the case where openness and closedness are given in terms of {em a priori} unrelated drading functions. the resulting notion of graded ditopology is considered both in the setting of lattices and in that textures, the relation between the two approaches being discussed in detail. interrelations between graded ditopologies and ditopologies on textur...