Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

A cientometria revisitada à luz da expansão da ciência, da tecnologia e da inovação

VANTI, Nadia. A cientometria revisitada à luz da expansão da ciência, da tecnologia e da inovação. PontodeAcesso, Salvador, v. 5, p. 5-31, 2011

Qualidade de vida no trabalho: o caso de enfermeiros dos Hospitais Públicos Walfredo Gurgel e Santa Catarina

The theoretical foundation of this study addresses the construct Quality of Worklife involving pro-active reading organizations in face to social developments of the working class, which is a challenge to the people s management. In this sense, as a contribution to the studies of quality of worklife (QOWL), this study addresses the quality of lifework of nurses at Walfredo Gurgel and Santa Catarina public hospitals. The goal is to make a diagnosis about the quality of lifework of these employees taking as a basis dimensions and performance indicators shown in the model by Fernandes (1996). The research is characterized by field, in a descriptive way. This survey comprised 75 nurses, with 49 by Walfredo Gurgel hospital and 26 by Santa Catarina one. The data collection was carried out through structured questionnaire. The questions were processed in the software Statistic 6.0, with factor analysis and multiple regressions, after the systematization of data. As a result, the most nurses in hospitals are dissatisfied with the quality of lifework, with the highest incidence in Santa Catarina hospital. The variable occupational health assessment was more negative in the hospital Santa Catarina one, whereas in Walfredo Gurgel, was family assistance. The variable guarantee of employment was more positive assessment in two hospitals without, though, implying in high importance on QOWL of nurses. The factor structure and decision showed greater sensitivity to explain the QOWL of nurses, joining 17 variables from 40 of the model. The factor working conditions, joining 6 variables, showed the second highest sensitivity. The compensation factor, gathering 5 variables, showed the third highest sensitivity while image and health factors showed minor importance

Análise da sobre-reação e sub-reação nos ativos de primeira e segunda linha do mercado acionário brasileiro

The Behavioral Finance develop as it is perceived anomalies in these markets efficient. This fields of study can be grouped into three major groups: heuristic bias, tying the shape and inefficient markets. The present study focuses on issues concerning the heuristics of representativeness and anchoring. This study aimed to identify the then under-reaction and over-reaction, as well as the existence of symmetry in the active first and second line of the Brazilian stock market. For this, it will be use the Fuzzy Logic and the indicators that classify groups studied from the Discriminant Analysis. The highest present, indicator in the period studied, was the Liabilities / Equity, demonstrating the importance of the moment to discriminate the assets to be considered "winners" and "losers." Note that in the MLCX biases over-reaction is concentrated in the period of financial crisis, and in the remaining periods of statistically significant biases, are obtained by sub-reactions. The latter would be in times of moderate levels of uncertainty. In the Small Caps the behavioral responses in 2005 and 2007 occur in reverse to those observed in the Mid-Large Cap. Now in times of crisis would have a marked conservatism while near the end of trading on the Bovespa speaker, accompanied by an increase of negotiations, there is an overreaction by investors. The other heuristics in SMLL occurred at the end of the period studied, this being a under-reaction and the other a over-reaction and the second occurring in a period of financial-economic more positive than the first. As regards the under / over-reactivity in both types, there is detected a predominance of either, which probably be different in the context in MLCX without crisis. For the period in which such phenomena occur in a statistically significant to note that, in most cases, such phenomena occur during the periods for MLCX while in SMLL not only biases are less present as there is no concentration of these at any time . Given the above, it is believed that while detecting the presence of bias behavior at certain times, these do not tend to appear to a specific type or heuristics and while there were some indications of a seasonal pattern in Mid- Large Caps, the same behavior does not seem to be repeated in Small Caps. The tests would then suggest that momentary failures in the Efficient Market Hypothesis when tested in semistrong form as stated by Behavioral Finance. This result confirms the theory by stating that not only rationality, but also human irrationality, is limited because it would act rationally in many circumstances

Comunicação e imagem organizacional: um estudo de suas relações no comércio varejista de shopping centers

This study shows the results of an exploratory-descriptive research that aimed to identify the latent dimensions of communication, as well as finding relations between such dimensions and organizational image. The sample came to a total of 267 respondents, being 89 managers or owners and 178 salespeople of clothing and footwear stores that are situated in the main five shopping centers located in Natal, capital of Rio Grande do Norte. The collection of the data was made by the use of two structuralized and validated instruments, being the answers measured in the likert scale of 6 points. For the measurement of communication it was used the instrument developed by Downs and Hazen (2002), made up of 8 latent dimensions and 32 indicators. For the image it was used the model of Mael and Ashforth (1992) that contains 5 indicators. The analysis of the data was made through of the use of statistical techniques of factorial analysis and structural equations modeling. The results of the factorial analysis demonstrated communication as being formed by five latent dimensions. The modeling, on the other hand, demonstrated to exist positive relations between communication and organizational image, whose results revealed that the image is influenced by the communication with the supervisor, by the organizational integration and as being stronger explained by the vertical communication

Demanda química de oxigênio, clorofila a e comunidade fitoplanctônica como indicadores da qualidade da água no Canal do Pataxó/RN

The current study examined spatial-temporal modifications and water quality through chemical and biotic indicators during both dry (January, February and November 2006) and wet seasons (March to June 2006). This study was carried out in Armando Ribeiro Gonçalves Reservoir, RN, Canal do Pataxó and after the water station treatment (WST). The physical-chemical parameters were measured in situ and inorganic nutrients, chlorophyll a and Free Oxygen Demand (FOD) were analyzed in laboratory conditions. Quali quantitative analyses of phytoplankton were carried out utilizing Sedgwick-Rafter camera. Results indicate that DQO concentrations were low. FOD concentrations in the reservoir were comparatively higher in the dry season (5.21 mgL-1; 5.64 mgL-1 e 6.05 mgL-1) in relation to the wet season (4.52 mgL-1; 4.12 mgL-1 e 4.92 mgL-1), in surface, intermediate and bottom waters, respectively. FOD values were inferior to 1.0mgL-1in both Canal do Pataxó and after WST, which is considered adequate for public use reservoirs. Although FOD concentrations were low, Armando Ribeiro Gonçalves Reservoir, Canal do Pataxó and WST were classified as euthophizied, mesotrophic ad oligotrophic, respectively, considering the Index of Trophic State Criteria. Chlorophyll a concentrations in the study reservoir were higher in the surface (199.2 µgL-1) during the wet season, whereas in Canal do Pataxó concentrations decreased from 1.56 µgL-1 to 0.028 µgL-1, and after WST values were low (0.059 µgL-1). Dominance of cianobacterias, such as Planktotrhix agardhii (dry season) and Microcystis sp (wet season) was registered in all three areas. In the reservoir and Canal do Pataxó, density of cianobacterias, such as P. agardhii and Microcistys sp., was superior to the values allowed by the Health ministry (HM). However, after WST, density values of cianobacteria were inferior to values established by the HM