A procedure for the efficient transfer of cell monolayers, cultured on glass coverslips, to microscopy slides has been developed. This technique involves the coating of the upper surface of an ethanol-fixed cultured cell layer with a film of collodion dissolved in n-amyl acetate. The dry collodion-coated cell layer can then be detached by rehydrating it for 1 h under water or phosphate-buffered...

In this paper we assess the appeal of potential interventions on the tourism offer of Rimini, a popular Italian seaside holiday destination, by means of a choice modelling analysis. Tourism can be viewed as a composite good, its overall utility depending on the arrangement of the component characteristics. Our discrete choice experiments incorporate as attributes a number of possible changes to...

PRINS, a noncoding RNA identified earlier by our research group, contributes to psoriasis susceptibility and cellular stress response. We have now studied the cellular and histological distribution of PRINS by using in situ hybridization and demonstrated variable expressions in different human tissues and a consistent staining pattern in epidermal keratinocytes and in vitro cultured keratinocyt...

This paper generalizes program slicing algorithms originally defined over representations of programs to operate over directed graphs. Doing so provides a uniform framework to model Weiser’s and Ottenstein & Ottenstein’s approaches to program slicing as abstract mathematical operations transparent of any concerns of a program’s structure or its semantics. This transparency helps us in a) derivi...

In this paper we show that all supergravity billiards corresponding to σ-models on any U/H non compact-symmetric space and obtained by compactifying supergravity to D = 3 are fully integrable. The key point in establishing the integration algorithm is provided by an upper triangular embedding of the solvable Lie algebra associated with U/H into sl(N,R) which always exists. In this context we es...

JAMES WHEELIS RIELY: Applications of Abstraction for Concurrent Programs (Under the direction of Jan Prins and Rance Cleaveland) We study the use of abstraction to reason operationally about concurrent programs. Our thesis is that abstraction can profitably be combined with operational semantics to produce new proof techniques. We study two very different applications: • the implementation of n...

Pillemer et al. (I) have shown that normal human and other mammalian serums contain a trace protein which has been called properdin. Properdin, in conjunction with complement and YIg++, participates in the natural defense mechanism of blood (2). Pillemer et al. (1) have described a method for preparing properdin from serum. This method employs zymosan to adsorb the properdin, the trace protein ...