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.

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 lina 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

Estudos de Durabilidade Frente ao Ataque Ácido de Compósitos Portland-Polímero para Cimentação de Poços de Petróleo

Portland-polymers composites are promising candidates to be used as cementing material in Northeastern oil wells of Brazil containing heavy oils submitted to steam injection. In this way, it is necessary to evaluate its degradation in the commonly acidizind agents. In addition, to identify how aggressive are the different hostile environments it is an important contribution on the decision of the acidic systems to be used in. It was investigated the performance of the Portland-polymer composites using powdered polyurethane, aqueous polyurethane, rubber tire residues and a biopolymer, those were reinforced with polished carbon steel SAE 1045 to make the electrochemical measurements. HCl 15,0 %, HCl 6,0 % + HF 1,5 % (soft mud acid), HCl 12,0 % + HF 3,0 % (regular mud acid) and HAc 10 % + HF 1,5 % were used as degrading environment and electrolytes. The more aggressive acid solution to the plain Portland hardened cement paste was the regular mud acid, that showed loss of weight around 23.0 %, followed by the soft mud acid, the showed 11.0 %, 15.0 % HCl with 7,0 % and, at last the 10.0 % HAc plus HF 1.5 % with just 1.0 %. The powdered polyurethane-composite and the aqueous polyurethane one showed larger durability, with reduction around 87.0 % on the loss of weight in regular mud acid. The acid attack is superficial and it occurs as an action layer, where the degraded layer is responsible for the decrease on the kinetic of the degrading process. This behavior can be seen mainly on the Portland- aqueous polyurethane composite, because the degraded layer is impregnated with chemically modified polymer. The fact of the acid attack does not have influence on the compressive strength or fratography of the samples, in a general way, confirms that theory. The mechanism of the efficiency of the Portland-polymers composites subjected to acid attack is due to decreased porosity and permeability related with the plain Portland paste, minor quantity of Ca+2, element preferentially leached to the acidic solution, wave effect and to substitute part of the degrading bulk for the polymeric one. The electrolyte HAc 10 % + HF 1,5 % was the least aggressive one to the external corrosion of the casing, showing open circuit potentials around +250 mV compared to -130 mV to the simulated pore solution to the first 24 hours immersion. This behavior has been performed for two months at least. Similar corrosion rates were showed between both of the electrolytes, around 0.01 μA.cm-2. Total impedance values, insipient arcs and big polarization resistance capacitive arcs on the Nyquist plots, indicating passivity process, confirm its efficiency. In this way, Portlandpolymers composites are possible solutions to be succeed applied to oilwell cementing concomitant submitted to steam injection and acidizing operation and the HAc 10,0 % + HF 1,5 % is the less aggressive solution to the external corrosion of the casing

Biocompósitos poliméricos obtidos a partir da fração lignocelulósica e amilácea do caroço de manga (mangifera indica), Tommy atkins

This employment has the function the utilization of mango seeds Tommy Atkins, like starch source to obtain biopolymers and fibers source and nanowhiskers cellulose also, that will be use like reinforcing fillers in micro and nanobiocomposites polymeric. The fibers in natura removed from tegument mango seed were characterized, as weel as the treated fibers and nanowhiskers of cellulose extracted from them. The starch extracted from seed s almond showed a good performance (32%) and a high purity. The chemicals analyzes, of crystallinity and morphological of the fibers in natura, treated fibers and nanowhiskers of cellulose confirmed the efficacy of the chemical treatement performed to remove amorphous constituents (hemicellulose and lignina). The thermoplastic starch (TPS) obtained from two sources, corn starch and starchy material mango, was produced in a twin screw extruder with compositon mass of 62,5% of starch, 9,4% of water and 28,1% of glycerol. The starch material mango was the main objective of this work for the production of biodegradable materials, and the starch corn was utilized during the production stage to evaluate the processability of the starch and use as parameter for comparison, according of being a conventional source for obtaining conventional comercial starch. The incorporation of fibers (6% in mass) and nanowhiskers cellulose (1% in mass) in matrix of TPS to obtain composite and nanocomposite, respectively, it was performed in single screw extruder. The biocomposites and bionanocomposites polymeric were obtained and the TPS from starchy material mango presented better results of thermal and mechanicals properties when compared to TPS corn starch. Concludes that the sediment generated of the agroindustrial processing mango used presents potencial to producing of biodegradables materials

Sistemas de medição de desempenho para projetos de PD&I no Setor de Petróleo e Gás Natural

Organizations are seeking new ideas, tools and methods aiming to improve management process and performance. On the other hand, system performance measurement needs to portray organizational changes and provide managers with a set of true and more appropriate information for the decision-making process. This work aims to propose a performance measurement system in the academic field regarding Research, Development and Innovation (RDI) in the oil and gas industry. The research performed a bibliographic review in a descriptive exploratory manner. A field research was conducted with an expert focus group in order to gather new indicators. As for the validation of these indicators, a survey with experienced professional was also realized. The research surveyed four segments in and outside of the Federal University of Rio Grande do Norte-Brazil such as oil and gas project coordinators, staff at Academic Planning Offices, FUNPEC employees as well as coordinators from Petrobrás. The performance measuring system created from this study features three interrelated performance indicators pointed out as: process indicators, outcome indicators and global indicators. The proposal includes performance indicators that seek to establish more appropriate strategies for effective institution management. It might help policy making of university-industry interaction policies

Ciência e espiritualidade: conversas com pacientes terminais

It has been reflected on Science and spirituality having as focus the relation between them and the process lived by terminal patients after the confirmation of the finitude of their lives. It has searched with this research to excite discussions that corroborate the tematization of a possible dialogue between science and spirituality, signaling perspectives of debates and formation of an understanding of the problematic that involves these human constructs in the development of alternatives for the understanding of the life finitude. We point out the moment of split between science and spirituality through the cartesian paradigm from a historical approach and after focusing the illness and death as foundation for our discussion. We use as methodological strategy, focal talks with terminal patients having as guidance a guideline with five punctuations: the singular citizen, diagnosis impacts, indicators of science, spirituality marks and death fear that served of base for analysis and data interpretation in according to selected theoretical foundations. Thus, it was possible to perceive that science, although not to keep an explicit dialogue with spirituality, it has pointed through is representation forms to the process indicatives that will culminate with the death. And these indicators had shown that in this direction it is efficient. We believe that the confrontation of the death can happen through of a new science that dialogues with the spirituality, where does not have separation between reason and emotion on the part of science; as well as it does not have reason disdain on the part of the spirituality

O uso pedagógico das TIC como expansão das capacidades : o ProInfo Natal/RN

The broad objective of the research The pedagogic use of ICT as development of teaching capacity: the case of ProInfo Natal/RN was to realize an evaluation of this program effectiveness in public schools. Specifically, we ve tried to observe if the program: a) succeeded by promoting the pedagogical use of new ICTs, b) stimulated the improvement of teaching and learning using ICT, and c) performed functionings and expanding its capabilities. The methodology consisted of literature revision; realization of half-structured interviews with administrators and teachers, and leading four focal groups with students in 9th grade of elementary school, were also made observations and analysis about the official documents which regulates the program. Our results showed that ProInfo presents various interferences in its effectiveness, causing a gap between its marks and the actual results of its use in everyday life of schools. We ve concluded that the program needs to challenge these weaknesses in order to contribute to the promotion of functionings and expanding its capabilities

Efeito do ácido alfa-lipóico sobre biomarcadores de estresse oxidativo, inflamação e fatores de risco cardiovascular em hipertensos

Alpha-lipoic acid (ALA) is a potent antioxidant with favourable anti-inflammatory, metabolic and endothelial effects, and has been widely investigated due to its potential against cardiovascular risk factors. This study aimed to evaluate the effect of oral ALA supplementation on oxidative stress biomarkers, inflammation and cardiovascular risk factors in patients with hypertension. This is a double-blind placebo-controlled randomized clinical trial, where the intervention was evaluated prospectively comparing results in both groups. The sample consisted of 64 hypertensive patients who were randomly distributed into ALA group (n = 32), receiving 600 mg / day ALA for twelve weeks and control group (n = 32), receiving placebo for the same period. The following parameters were evaluated before and after intervention: lipid peroxidation, content of reduced glutathione (GSH), enzymatic activities of glutathione peroxidase (GPx) and superoxide dismustase, ultrasensitive C-reactive protein (hs-CRP), triglycerides, total cholesterol and fractions, fasting glucose and anthropometric indicators. There was a statistically significant reduction (p <0.05) in serum concentrations of total cholesterol, very low density lipoprotein (VLDL), high density lipoprotein (HDL), triglycerides and blood glucose. There was a reduction in body weight and waist, abdominal and hip circumferences in the group that received ALA. In addition, there was a statistically significant increase (p <0.05) in the contents of reduced glutathione (GSH) and glutathione peroxidase (GPx) in the group receiving ALA. Oral administration of ALA appears to be a valuable adjuvant therapy, which may contribute to decrease the damage caused by oxidative stress and other risk factors associated with the atherosclerotic process

As zonas de processamento de exportação como instrumento de desenvolvimento e redução das desigualdades regionais

The existence of inequalities among the Brazilian regions is an indeed fact along the country s history. Before this reality the constitutional legislator inserted into the Federal Constitution of 1988, as a purpose of the Federative Republic of Brazil, the reduction of regional inequalities. The development has also been included as a purpose from the State, because there is an straight relation with the reduction of regional inequalities. In both situations is searched the improvement of people s living conditions. . In pursuit of this achievement, the State must implement public policy, and, for this to happen, it needs the ingress of income inside of the public coffers and support of economic agents, therefore the importance of constitucionalization of the economic policy. The 1988 s Constitution adopted a rational capitalism regime consentaneous with current legal and social conceptions, that s why it enabled the State s intervention into economy to correct the so-called market failures or to make the established objectives fulfilled. About this last one, the intervention may happen by induction through the adoption of regulatory Standards of incentive or disincentive of economic activity. Among the possible inductive ways there are the tax assessments that aim to stimulate the economic agents behavior in view of finding that the development doesn t occur with the same intensity in all of the country s regions. Inside this context there are the Export Processing Zones (EPZs) which are special areas with different customs regime by the granting of benefits to the companies that are installed there. The EPZs have been used, by several countries, in order to develop certain regions, and economic indicators show that they promoted economic and social changes in the places where they are installed, especially because, by attracting companies, they provide job creation, industrialization and increased exports. In Brazil, they can contribute decisively to overcome major obstacles or decrease the attraction of economic agents and economic development of the country. In the case of an instrument known to be effective to achieve the goals established by the Constitution, it is duty of the Executive to push for the law that governs this customs regime is effectively applied. If the Executive doesn t fulfill this duty, incurs into unjustifiable omission, correction likely by the Judiciary, whose mission is to prevent acts or omissions contrary to constitutional order