Stein (1990) discovered (n l)! lattice tilings of R” by translates of the notched n-cube which are inequivalent under translation. We show that there are no other inequivalent tilings of IF!” by translates of the notched cube.

Targeted therapies and chemotherapies are prevalent in cancer treatment. Identification of predictive markers to stratify patients who will respond these remains challenging because patient drug response data limited. As large amounts have been generated by cell lines, methods efficiently translate cell-line-trained predictors human tumors be useful clinical practice. Here, we propose versatile...

We consider discretization of the ‘geometric cover problem’ in the plane: Given a set P of n points in the plane and a compact planar object T0, find a minimum cardinality collection of planar translates of T0 such that the union of the translates in the collection contains all the points in P . We show that the geometric cover problem can be converted to a form of the geometric set cover, whic...

Let R be a convergent term rewriting system, and let CR-equality on (simply typed) combinatory logic terms be the equality induced by βηRequality on terms of the (simply typed) lambda calculus under any of the standard translations between these two frameworks for higher-order reasoning. We generalize the classical notion of strong reduction to a reduction relation which generates CR-equality a...