In this paper we describe progress towards a theory of tran-formational program development. The transformation rules are based on a theory of contextual equivalence for functional languages with imperative features. Such notions of equivalence are fundamental for the process of program speciication, derivation, transformation, reenement and other forms of code generation and optimization. This...

This study presents a geoarchaeological investigation conducted in occupation deposits of the Neolithic site at Paliambela, in Northern Greece, which unusually comprises both a low tell and a flat/extended component. The analysis reveals relative sedimentary and stratigraphic similarity between the deposits broadly indicating similarities in the overall formational characteristics between the t...

This paper considers neurological, formational and functional similarities between gestures and signed verb predicates. From analysis of verb sign movement, we offer suggestions for analyzing gestural movement (motion capture, kinematic analysis, trajectory internal structure). From analysis of verb sign distinctions, we offer suggestions for analyzing co-speech gesture functions.

Abstract Supplier firms, especially the more resource constraint SMEs, form alliances for product innovation. firms can try to push in creative inputs while needing align them with overall solution of buyer. Our study zooms on this and alignment balancing act. theoretical model is informed by attention-based view. It considers two centralization mechanisms, relationship intensity formalized spe...

Florensky et al. (1977) have raised three important questions: 1) the distinction between primary (formational) and secondary (degradational) effects in the definition of fresh martian craters, with particular emphasis on rim crest sharpness in degraded craters; 2) the formalistic method of analysis of the data base and the potential problem of including degraded craters, and 3) the possibility...