Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Efeito dos andrógenos na estabilização da preferência manual em machos adultos de sagui comum (Callithrix jacchus)

The role of steroids hormones on the behavior of vertebrates have been described as organizational and activational effects. These actions occur in different periods of the ontogenetic development as fetal, early post natal and during puberty (organizational effect) or modifying the expression of behavioral patterns during time life (activational effects). Studies on brain lateralization in hand use in human and non-human primates have shown that sexual hormones seems to participate in the process of handedness strength that begins in the puberal period and is stabilized at the adult age. The aim of this study was to investigate in adult male Callithrix jacchus if the strength of use of the hand in common marmoset adult male is stable (organizational effect) or androgens variations could affect its stability (activational effect). The preferential use of one hand in 14 common marmoset (Callithrix jacchus was studied in two contexts: (1) spontaneous holding food and directing the food to mouth (feeding episodes), and (2) forced reaching food tests where the animal have to reach the food through a hole within a cover plate with a central hole that allow the use of one hand only to reach the food. The records were made during 5 sessions/20 bouts each during baseline totalizing 100 episodes before two treatments. Firstly it was used GnRH antagonist: a single subcutaneous injection of 100µg de Cetrotide – acetate of cetrorrelix (Baxter Oncology GmbH, Germany) (n=10). Secondly, a single GnRH injection of 0.2mg of GnRH (Sigma – Aldrich) (n= 8) was used. After injections 20 successful attempts of hand use episodes was recorded in the 1st , 2 nd, 7th, 15th and 30 th days, totalizing in the whole period 100 episodes for each context, after both treatments. Fecal sampling to measure extracted fecal androgens was performed in all days of data collection across the length of the basal and during the experimental periods. Statistical analysis by mixed model, Tukey test to compare mean values after the two treatments, and Levene test to compare mean variance were used, all for p-value < 0.05. In basal phase 6 animals used preferentially the right hand, 5 the left and 3 were ambidextrous. Mean handedness index in basal phase were different from that after both treatment starting at 7th day. Mean variance of handedness index for spontaneous and forced activities does not differs before and after both treatments but the mean values for GnRH index were higher than that observed for its antagonist. These findings suggested that androgens have an activational effect on handedness in adult male C. jacchus