Equipes de trabalho na administração municipal: a captação de recursos para o desenvolvimento no município de Natividade/RJ

This thesis aims to identify how teams of at job municipality Natividade influence in raising funds through projects. Was employed research descriptive, explanatory literature and content analysis focused on a qualitative approach, which led to the interpretation of elements detected in field research, aligning them with researched theoretical material . The survey results indicate that the municipal administrators in their departments work of non-integrated form, complicating and compromising the execution of agreements and contracts and causing delays in the progress of processes. It was found that it is necessary investment in technical training, preventive actions and daily monitoring, targeting the correct fulfillment of the requirements for capturing public resources. It is essential to adopt the merit of legitimacy organizational as a mechanism to be able to retain, develop, attract and motivate city officials to work in Project Teams. The main contributions of this study are to provoke reflections on the dynamics of raising public resources for development projects and programs. Was identified a lack of trained technicians and municipal managers to present suitable projects, to identify problems in the implementation of agreements and correct irregularities pointed out in the Ancillary Service Information for Voluntary Transfers - Cauc. It was found that managerial failure causes impacts both in teams of job, as in the progress of the municipality. Keywords: work teams, fundraising, projects.

Temporary exchange rate-based stabilization programs under asset market segmentation

This paper analyses the welfare consequences of temporary exchange rate-based stabilization programs. Differently than previous papers, however, here we assume that only a fraction of households participates in asset market transactions. With this asset market segmentation assumption, the effects of temporary programs on welfare may change drastically. Households with access to the bonds market are able to protect themselves better from the changes in the inflation rate – although at the cost of a distortion in their consumption path. As a consequence, they may decrease their inflation tax burden – which would increase for the other group of households. By the other side, when these agents that lack the access to the asset markets are credit constrained, they may welcome the program, since the government Is temporally reducing the inflation tax they have to pay. The temporary program could end up benefiting both groups, what could help to understand their popularity.

Fiscal adjustment, conditionality and politics in IMF programs

A common feature in programs of the International Monetary Fund (IMF) is the use of conditionalities, macroeconomic and structural measures that a requesting country should adopt to obtain an assistance package. The objective of this work is to conduct an empirical analysis of the economic and political determinants of such conditionalities. In particular, our main contribution consists in the development of a new measure of conditionality, fiscal adjustment, and its comparison with the most used in the literature, the number of conditions. We choose fiscal adjustment because it is an adequate proxy for program austerity, since its implementation carries economic and political costs. In the empirical exercise, we use data from 184 programs in the period of 1999 and 2012, and estimate how our two measures of conditionalities respond to the economic and political factors. Our results suggest that they are quite different. The main determinant of the number of conditions is the political proximity of the borrowing country to the Fund’s major shareholders, the members of G5. On the other hand, the main determinant of fiscal adjustment is the size of the government fiscal deficit. Finally, we did not find correlation between the size of fiscal adjustment and the number of conditions. These results suggest that the analysis of the content of IMF programs should take into account the different measures of agreed conditionality.

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.

Coffee voluntary standards systems a study of the states of Minas Gerais and São Paulo

In order to adapt to new markets, the coffee supply chain has gone through numerous changes during the last years, which led to the creation of the voluntary standard systems. Adopting a Voluntary Standard System (VSS) consists of becoming a member of a certifier or verifier, in which an independent third party sets specific criteria to ensure a product complies with standards. Yet, the segment is still relatively new and raises some doubts about the economic and financial advantages of investing in sustainability-related certification. This study analyzes the perception of coffee producers about VSS – whether it brings economic benefits. The literature review covers various VSS in the coffee sector, the brief history of the commodity in Brazil, as well as the description of the supply chain. Certified and non-certified producers in the States of Sao Paulo and Minas Gerais, answered questionnaires to indicate the perceived advantages of certification. The results show that, despite some added value that certification can bestow, the quality is what really matter, since it allows producers to sell the product at higher prices and to gain advantage over competitors.

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.

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