Avaliação da aceitação de bebida mista contendo cajuína em função das proporções de seus componentes.

bitstream/item/33705/1/BP10006.pd

Model-driven GUI generation and navigation for android BIS apps

This paper presents our approach for producing graphical user interfaces (GUIs) for functionally rich business information system (BIS) prototypes, upon a mobile platform. Those prototypes are specified with annotated UML class diagrams. Navigation in the generated GUIs is allowed through the semantic links that match the associations and cardinalities among the conceptual domain entities, as expressed in the model. We start by reviewing the Android scaffolding for producing flexible GUIs for mobile devices. The latter can present rather different displays, in terms of size, orientation and resolution. Then we show how our model-based generative technique allows producing prototypes that match both the Android GUIs requirements, while implementing our model-driven approach for user navigation.info:eu-repo/semantics/publishedVersio

The Exchange of Orientifold Two-Planes in M-theory

We propose an M-theory lift picture of the exchange among type IIA orientifold two-planes. This consists in wrapping a M5-brane on a three-cycle in the transverse space of the M-theory orientifold plane OM2. A flux quantization condition for the three-form self-dual field strength, on the worldvolume of the M5-brane is computed. This condition establishes the value which explains the relative charge between two different OM2-planes. Also, we find that the exchange of the four types of orientifold two-planes in string theory, has a common picture in M-theory. Moreover, we find that the assignment of the extra charge is fixed by cohomology and by the flux quantization of the field strength G in M-theory. We conclude that cohomology is sufficient to describe some orientifold properties in M-theory, that at string theory level, only K-theory is able to explain.Comment: 23+1 pages, 6 figures. v2: typos corrected, references adde