Intersection results for families of H-convex sets in H-spaces are given. These extend known results concerning families of convex sets in topological vector spaces, such as the Berge-Klee intersection theorem and a previous result of the author. MSC 2000. 52A01, 14E20.

We adapt a construction of Klee (1981) to find a packing of unit balls in lp (1 ≤ p < ∞) which is efficient in the sense that enlarging the radius of each ball to any R > 2 covers the whole space. We show that the value 2 is optimal.

Paul Klee’s artistic legacy has prompted studies that range from art history and aesthetics to philosophy, they have now matured the point require construction of a consistent methodology. ample talents were expressed not only in his artworks but also polemical theoretical writings mastery language he exhibited renowned Diaries; this makes question unity extremely important. What holds oeuvre d...

Application of high intensity electric fields (HIEF) to the myocardium is commonly used for cardiac defibrillation/cardioversion. Although effective at reversing life-threatening arrhythmias, HIEF may cause myocyte damage due to membrane electropermeabilization. In this study, the influence of cell length and width on HIEF-induced lethal injury was analyzed in isolated rat cardiomyocytes in par...

The fourth version of Symbiotic brings a brand new instrumentation part, which can now instrument the analyzed program with code pieces checking various specification properties. As a consequence, Symbiotic 4 participates for the first time also in categories focused on memory safety. Further, we have ported both Symbiotic and Klee to llvm 3.8 and added new features to the slicer which is now m...