The \Boom hierarchy" is a hierarchy of types that begins at the level of trees and includes lists, bags and sets. This hierarchy forms the basis for the calculus of total functions developed by Bird and Meertens, and which has become known as the \Bird-Meertens formalism". This paper describes a hierarchy of types that logically precedes the Boom hierarchy. We show how the basic operators of th...

The way we represent intentions, behaviors, and the spatial context, is crucial for any approach to mobile intention recognition. Formal grammars are cognitively comprehensible and make expressiveness properties explicit. By adding spatial domain knowledge to a grammar we can reduce parsing ambiguities. We argue that there are a number of mobile intention recognition problems which require the ...

stylistic is a branch of modern linguistic which surveys and analyzes the literary styles and technical methods. formalism school is one of important modern approaches in stylistics. russian formalisms believe that only the style (frame) can determine the meaning and the concept of the context. mahmoud darvish – palestinian poet – is one of the poets who worked in modernism style. he could pres...

In this paper, we study the plasmonic thermal conductance of ordered stacks of metallic nanorings in a host material. Using second quantized formalism of the Random Phase Approximation, we first determine the dispersion relations of surface plasmon waves on the stacks of nanorings. Then, using Landauer-Buttiker formalism, we determine the coefficient of plasmonic thermal conductance and heat cu...

O objetivo desse trabalho foi determinar descritores morfológicos de acessos curauá através caracteres visando à avaliação dos germoplasmas, na Embrapa Amazônia Oriental, em Belém, PA. Foram estudados sete quantitativos 42 curauá, totalizando 210 indivíduos, conservados in vivo no Horto Plantas Medicinais. Os dados foram submetidos as analises multivariadas, realizado a seleção direta e com rea...

The Ghirardi–Rimini–Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet...

There is still a good deal of confusion in the literature about how the use of a performance management system affects overall organizational performance. Some researchers find that performance management enhances both the financial and non-financial results of an organization, while others do not find any positive effects or, at most, ambiguous effects. An important step toward getting more cl...

Prejudice (i.e. unjustified feelings of dislike or hatred towards members of ethnic minority groups) has long been a significant social problem in ethnically diverse countries (Brown, 1995). Indeed, contrary to earlier reports that prejudice was systematically declining, recent evidence suggests that prejudice may simply be being expressed in new disguises, and may actually be increasing (e.g. ...