We review the separation of variables for the Kowalevski top and for its generalization to the algebra o(4). We notice that the corresponding separation equations allow an interpretation of the Kowalevski top as a B (1) 2 integrable lattice. Consequently, we apply the quadratic r-matrix formalism to construct a new 2× 2 Lax matrix for the top, which is responsible for its separation of variable...

Separation logic is a widely adopted formalism to verify programs manipulating dynamic data structures. Entailment checking of separation logic constitutes a crucial step for the verification of such programs. In general this problem is undecidable, hence only incomplete decision procedures are provided in most state-of-the-art tools. In this paper, we define a linearly compositional fragment o...

This work was done as part of my PhD qualifier exam. My qualifier exam problem was to perform an in depth study of separation logic. In this paper, I survey two variants of separation and then show how they can applied to solve the isolation problem for mashups. I rigorously define the inter-component isolation property for basic a class of mashups, called variable separated mashups. I then der...

Degradation of ethylene glycol in Middlebrook 7H-10 agar medium by 26 out of 29 strains of the taxon rhodochrous seems to permit its separation from rapidly growing mycobacteria and certain actinomycetes which only exceptionally showed this property.

We prove a Lojasiewicz inequality for global semianalytic sets that implies the usual Hörmander’s form. Some consequences are deduced on the finiteness property and separation for global semianalytic sets. A.M.S. Subject Classification: 03C64, 12D15

We define a new separation property on the family of contractive similitudes that allows certain overlappings. This property is weaker than the open set condition of Hutchinson. It includes the well-known class of infinite Bernoulli convolutions associated with the P.V. numbers and the solutions of the two-scale dilation equations. Our main purpose in this paper is to prove the multifractal for...