Implant malposition after breast augmentation surgery remains a common complication. Several surgical options exist to correct the resultant deformity; however, all involve additional risks, costs, and the increased potential for patient dissatisfaction. In my practice, I have developed a nonsurgical therapy using shoelaces, which, when tied and placed in a certain fashion, can correct this def...

This technical report describes E-Cast: a uniform causal-total-order multicast protocol designed to implement fault tolerant, highly elastic, yet strongly consistent database engines in the cloud. In contrast to traditional group communication, the model underlying E-Cast defines multicast as a stateful routing problem. In this document, we provide a rigorous formalization of the routing proble...

In a language with non-parametric or ad-hoc polymorphism, it is possible to determine the identity of a type variable at run time. With this facility, we can write a function to convert a term from one abstract type to another, if the two hidden types are identical. However, the naive implementation of this function requires that the term be destructed and rebuilt. In this paper, we show how to...

Cast iron (CI) is one of the oldest materials in commercial use. It has excellent compressive strength and is commonly used for structures that require this property, as well as for water and sewer lines. This article explains CI metallurgy and why the understanding of this metallurgy is key to understanding other ferrous materials and alloys. The composition of cast iron (CI) varies significan...

Abstract. In this article, we study tensor product of Hilbert C∗-modules and Hilbert spaces. We show that if E is a Hilbert A-module and F is a Hilbert B-module, then tensor product of frames (orthonormal bases) for E and F produce frames (orthonormal bases) for Hilbert A⊗B-module E ⊗F , and we get more results. For Hilbert spaces H and K, we study tensor product of frames of subspaces for H an...

The toric Hilbert scheme of a lattice L ⊆ Z is the multigraded Hilbert scheme parameterizing all ideals in k[x1, . . . , xn] with Hilbert function value one for every g in the grading monoid G = N/L. In this paper we show that if L is twodimensional, then the toric Hilbert scheme of L is smooth and irreducible. This result is false for lattices of dimension three and higher as the toric Hilbert...

Hilbert curves can be generated by using L-System concept. A theoretical intuitive method is suggested for manipulating the Hilbert space filling curve for simple coding to one dimension. Our method is aimed to code the Hilbert curve simply by observing the base Hilbert curve as generated. By simple observation one can code the Hilbert curve easily. The present work has been mainly inspired by ...

Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical value “true”. The concept of Hilbert algebras was introduced in the 50-ties by L. Henkin and T. Skolem (under the name implicative models) for inve...