Antecedents of e-loyalty and electronic word-of-mouth

O objetivo principal da dissertação foi o de examinar a relação entre lealdade (e-loyalty) e o boca-a-boca (eWOM) no contexto do varejo eletrônico. Como objetivo secundário, foi feito uma verificação da significância das variáveis preditoras de e-loyalty. Essa pesquisa foi focada em um tipo de produto/serviço: compra de livros através da internet. Duzentos e quarenta e dois questionários online foram respondidos por um público representativo da geração Y (millennials), e rresidentes em diferentes localidades no Brasil e nos Estados Unidos. A análise de dados foi efetuada pela aplicação do método PLS-SEM sobre um modelo de pesquisa cuidadosamente formulado com base em resultados empíricos prévios. Enquanto que a relação entre e-loyalty e eWOM foi classificada como fraca, um ambiente de boca-a-boca online de alta qualidade representou uma variável preditora significativa para o sentimento de e-loyalty. Todas as variáveis preditoras foram classificadas como significativas nesse estudo, sendo que comprometimento tem o efeito mais forte sobre a variável e-loyalty.

Impact of worksite health-promotion programs in hospital admission costs and medical leaves in a sample of brazilian companies

Programas de saúde e bem-estar têm sido adotados por empresas como forma de melhorar a saúde de empregados, e muitos estudos descrevem retornos econômicos positivos sobre os investimentos envolvidos. Entretanto, estudos mais recentes com metodologia melhor têm demonstrado retornos menores. O objetivo deste estudo foi investigar se características de programas de saúde e bem-estar agem como preditores de custos de internação hospitalar (em Reais correntes) e da proporção de funcionários que têm licença médica, entre Abril de 2014 e Maio de 2015, em uma amostra não-aleatória de empresas no Brasil, através de parceria com uma empresa gestora de ‘big data’ para saúde. Um questionário sobre características de programas de saúde no ambiente de trabalho foi respondida por seis grandes empresas brasileiras. Dados retirados destes seis questionários (presença e idade de programa de saúde, suas características – inclusão de atividades de screening, educação sobre saúde, ligação com outros programas da empresa, integração do programa à estrutura da empresa, e ambientes de trabalho voltado para a saúde – e a adoção de incentivos financeiros para aderência de funcionários ao programa), bem como dados individuais de idade, gênero e categoria de plano de saúde de cada empregado , foram usados para construir um banco de dados com mais de 76.000 indivíduos. Através de um modelo de regressão múltipla e seleção ‘stepwise’ de variáveis, a idade do empregado foi positivamente associada e a idade do programa de saúde e a categoria ‘premium’ de plano de saúde do funcionário foram negativamente associadas aos custos de internação hospitalar (como esperado). Inesperadamente, a inclusão de programas de screening e iniciativas de educação de saúde nos programas de saúde e bem-estar nas empresas foram identificados como preditores positivos significativos para custos de admissão hospitalar. Para evitar a inclusão errônea de licenças-maternidade, apenas os dados de licença médica de pacientes do sexo masculino foram analisados (dados disponíveis apenas para duas entre as companhias incluídas, com um total de 18.957 pacientes do sexo masculino). Analisando estes dados através de um teste Z para comparação de proporções, a empresa com programa de saúde que inclui atividades voltadas a cessação de hábitos ruins (como tabagismo e etilismo), controle de diabetes e hipertensão, e que adota incentivos financeiros para a aderência de funcionários ao programa tem menor proporção de empregados com licençca médica no período analisado, quando comparada com a outra empresa que não tem estas características (também conforme esperado). Entretanto, a companhia com menor proporção de funcionários com licença médica também foi aquela que adota programa de screening entre as atividades de seu programa de saúde. Potenciais fontes de ameaça à validade interna e externa destes resultados são discutidas, bem como possíveis explicações para a associação entre programas de screening e educação médica a piores indicadores de saúde nesta amostra de companhias são discutidas. Novos estudos com melhor desenho, com amostras maiores e randômicas são necessários para validar estes resultados e possivelmente melhorar a validade interna e externa destes resultados.

Convergence analysis of sampling-based decomposition methods for risk-averse multistage stochastic convex programs

We consider a class of sampling-based decomposition methods to solve risk-averse multistage stochastic convex programs. We prove a formula for the computation of the cuts necessary to build the outer linearizations of the recourse functions. This formula can be used to obtain an efficient implementation of Stochastic Dual Dynamic Programming applied to convex nonlinear problems. We prove the almost sure convergence of these decomposition methods when the relatively complete recourse assumption holds. We also prove the almost sure convergence of these algorithms when applied to risk-averse multistage stochastic linear programs that do not satisfy the relatively complete recourse assumption. The analysis is first done assuming the underlying stochastic process is interstage independent and discrete, with a finite set of possible realizations at each stage. We then indicate two ways of extending the methods and convergence analysis to the case when the process is interstage dependent.

Multistep stochastic mirror descent for risk-averse convex stochastic programs based on extended polyhedral risk measures

We consider risk-averse convex stochastic programs expressed in terms of extended polyhedral risk measures. We derive computable con dence intervals on the optimal value of such stochastic programs using the Robust Stochastic Approximation and the Stochastic Mirror Descent (SMD) algorithms. When the objective functions are uniformly convex, we also propose a multistep extension of the Stochastic Mirror Descent algorithm and obtain con dence intervals on both the optimal values and optimal solutions. Numerical simulations show that our con dence intervals are much less conservative and are quicker to compute than previously obtained con dence intervals for SMD and that the multistep Stochastic Mirror Descent algorithm can obtain a good approximate solution much quicker than its nonmultistep counterpart. Our con dence intervals are also more reliable than asymptotic con dence intervals when the sample size is not much larger than the problem size.

Impact assessment and quality analysis of corporate social responsability (CSR) programs of mining companies and their contribution to sustainable development in the communities they operate: case study Tenke Fungurume Mining SA in the Democratic Republic of Congo (DRC)

Purpose – This case study presents an impact assessment of Corporate Social Responsibility (CSR) programs of the TFM Company in order to understand how they contribute to the sustainable development of communities in areas in which they operate. Design/Methodology/Approach - Data for this study was collected using qualitative data methods that included semi-structured interviews and Focus Group Discussions most of them audio and video recorded. Documentary analysis and a field visit were also undertaken for the purpose of quality analysis of the CSR programs on the terrain. Data collected was analyzed using the Seven Questions to sustainability (7Qs) framework, an evaluation tool developed by the Mining, Minerals and Sustainable Development (MMSD) North America chapter. Content analysis method was on the other hand used to examine the interviews and FGDs of the study participants. Findings - Results shows that CSR programs of TFM SA do contribute to community development, as there have been notable changes in the communities’ living conditions. But whether they have contributed to sustainable development is not yet the case as programs that enhance the capacity of communities and other stakeholders to support these projects development beyond the implementation stage and the mines operation lifetime need to be considered and implemented. Originality/Value – In DRC, there is paucity of information of research studies that focus on impact assessment of CSR programs in general and specifically those of mining companies and their contribution to sustainable development of local communities. Many of the available studies cover issues of minerals and conflict or conflict minerals as mostly referred to. This study addressees this gap.

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.

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.

O marketing e a atuação social das empresas: uma relação possível

The present work is about a study of multiple cases with exploratory and descriptiveperspective and qualitative emphasis. Its field of study is constituted by three local companieswith description of social performance, with emphasis in the personal interview with thecontrollers. Its main objective consists of understanding as it has occurred the marketingrelation with the enterprise social performance in the context of these companies located inthe State of the Rio Grande do Norte who carry out social investments. For this, it hassearched to analyze the types and characteristics of the developed social actions, to evaluatethe motivations and objectives of the accomplishment of social actions, to verify theimportance and influence of the social performance in the dynamics of the companies, toverify the level of specific knowledge and information in the areas of marketing and socialperformance in the companies and to evaluate the process of communication (promotion andspreading) of the social performance carried out by the companies. It has been verified thatthe company A directly associates it its social and ambient activities with differentiationbenefits, competitiveness, creation of value, loyalty, relationships, image, prestige,positioning of the company, sale and financial return, beyond benefits in the internal level asbigger motivation of its employees and retention of talents, not existing rejection to theinterlacement of the concepts related to the marketing and the social one. Already in companyB rejection in relating its practical social to the marketing, being observed after posteriorquestionings, that the relation of direct and indirect form exists and those divulgations of theseactions are carried out, contradicting the arguments of the controllers of that the actions wouldnot be carried out to generate media. In company C, it been verified rejection andcontradiction with relation to the concepts related to the marketing, alleging itself that theimage of the harnessed company to its social performance is not used in proper benefit,evidencing itself that this company divulges its action and is marketable benefited, even so isnot this the main objective of its social programs. It has concluded that the association ofthese two concepts is positive and favorable to the development of the businesses and thesocial actions of the companies, legitimizing them and benefiting the involved company,groups in the actions and the society that profits socially from the private social involvement in the social matters

Efficacy of several Salmonella vaccination programs against experimental challenge with Salmonella gallinarum in commercial brown layer and broiler breeder hens

The protective effect of various Salmonella vaccines regimens against an experimental Salmonella Gallinarum challenge (SGNalr strain at 12 wk of age) was evaluated in two experiments. In Experiment 1 commercial brown layers were vaccinated according to one of the following programs: (i) two doses of a SE bacterin (Layermune SE; group 1); (ii) a first dose of a live SG9R vaccine (Cevac SG9R) followed by a SE bacterin (Layermune SE; group 2); (iii) one dose of each of two different multivalent inactivated vaccines containing SE cells (Corymune 4 & Corymune 7; group 3) or (iv) not vaccinated (group 4). In Experiment 2, broiler breeders were given the same vaccination treatments except for the group vaccinated with the multivalent vaccines. Overall, in both experiments, all vaccination schemes were effective in reducing mortality after challenge with a SG field strain. Primary vaccination with an initial dose of a live SG9R vaccine followed some weeks later by a dose of an inactivated SE bacterin was the most effective (p<0.05) vaccination program against mortality induced by field SG experimental challenge in both experiments. In conclusion, Salmonella vaccination programs containing SE bacterins alone or in combination with a live SG9R vaccine are effective in preventing mortality induced by infection of field SG. Nevertheless, it is important to emphasize that any vaccination program against any Salmonella serotype will only be effective if it is part of a sound and comprehensive biosecurity program designed for Salmonella control in poultry farms.

Humoral and cellular immune response generated by different vaccine programs before and after Salmonella Enteritidis challenge in chickens

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Diagnosis of Public Programs focused on Herbal Medicines in Brazil

The present study is aimed to diagnose the current public programs focused on herbal medicine in Brazil where the following results can be observed. The main purpose of implementation of these programs was the demand of the users of medicinal plants and herbal medicines. The initiative of the implementation of these programs was related to the managers (58%). The difficulties in this implementation were due to lack of funding (90%) of the programs. In 80% of the programs, the physicians did not adhere to herbal medicine services due to lack of knowledge in the subject. Training courses were proposed (70%) to increase the adhesion of prescribers to the system. Some municipalities use information obtained from patients to assess the therapeutic efficiency of medicinal plants and herbal medicines. of the programs underway, cultivation of medicinal plants was observed in 50%, and 67% of the programs adopted quality control. In most programs, this control is not performed in accordance with the legal requirements.

Energetic efficiency programs and power quality

This paper presents the results of the investigations that were done to identify and to quantify the power quality problems resultant from the actions done to improve the efficiency on electric energy consumption. The efficiencies of several electric devices were evaluated, among them: fluorescent bulb, electronic ballast, soft-starter, temperature controller for showers, dimmer and others. This evaluation allowed to establish a cause/effect analysis of the power quality.

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Effect of three exercise programs on patients with chronic obstructive pulmonary disease

We compared the effect of three different exercise programs on patients with chronic obstructive pulmonary disease including strength training at 50_80% of one-repetition maximum (1-RM) (ST; N = 11), low-intensity general training (LGT; N = 13), or combined training groups (CT; N = 11). Body composition, muscle strength, treadmill endurance test (TEnd), 6-min walk test (6MWT), Saint George's Respiratory Questionnaire (SGRQ), and baseline dyspnea (BDI) were assessed prior to and after the training programs (12 weeks). The training modalities showed similar improvements (P > 0.05) in SGRQ-total (ST = 13 ± 14%; CT = 12 ± 14%; LGT = 11 ± 10%), BDI (ST = 1.8 ± 4; CT = 1.8 ± 3; LGT = 1 ± 2), 6MWT (ST = 43 ± 51 m; CT = 48 ± 50 m; LGT = 31 ± 75 m), and TEnd (ST = 11 ± 20 min; CT = 11 ± 11 min; LGT = 7 ± 5 min). In the ST and CT groups, an additional improvement in 1-RM values was shown (P < 0.05) compared to the LGT group (ST = 10 ± 6 to 57 ± 36 kg; CT = 6 ± 2 to 38 ± 16 kg; LGT = 1 ± 2 to 16 ± 12 kg). The addition of strength training to our current training program increased muscle strength; however, it produced no additional improvement in walking endurance, dyspnea or quality of life. A simple combined training program provides benefits without increasing the duration of the training sessions.

Feeding programs to induce molting in Japanese quails (Coturnix japonica)

The experiment was carried out in the experimental poultry house of the Research and Development Unit of Brotas of Agência Paulista de Tecnologia dos Agronegócios do Centro-Oeste, SP, Brazil. The objective of the study was to evaluate forced-molting methods and their effects on body weight, egg production, feed intake, and mortality, as well as bird performance during the second laying cycle. A total number of 400 65-week-old Japanese quails was distributed in a completely randomized experimental design into five treatments, with four replicates of 20 birds each. The following treatments were applied: T1= not submitted to forced molting, T2= 01 day of fasting + 13 days receiving 15g feed/bird/day (1F+R), T3= 02 days of fasting + 12 days receiving 15g feed/bird/day (2F+R), T4= 03 days of fasting + 11 days receiving 15g feed/bird/day (3F+R), and T5= 3 days of fasting and fed ad libitum thereafter (3F+AL). Significant differences were detected among treatments. When submitted to 3 days of fasting followed by ad libitum feeding, birds presented complete body weight recovery. No egg production percentage differences were detected in birds submitted to forced molting.