O novo federalismo social e o Rio: desenho de programas complementares de transferência de renda condicionada

Brazilian public policy entered in the so-called new social federalism through its conditional cash transfers. States and municipalities can operate together through the nationwide platform of the Bolsa Familia Program (BFP), complementing federal actions with local innovations. The state and the city of Rio de Janeiro have created programs named, respectively, Renda Melhor (RM) and Família Carioca (FC). These programs make use of the operational structure of the BFP, which facilitates locating beneficiaries, issuing cards, synchronizing payment dates and access passwords and introducing new conditionalities. The payment system of the two programs complements the estimated permanent household income up to the poverty line established, giving more to those who have less. Similar income complementation system was subsequently adopted in the BFP and the Chilean Ingreso Ético Familiar, which also follow the principle of estimation of income used in the FC and in the RM. Instead of using the declared income, the value of the Rio cash transfers are set using the extensive collection of information obtained from the Single Registry of Social Programs (Cadastro Único): physical configuration of housing, access to public services, education and work conditions for all family members, presence of vulnerable groups, disabilities, pregnant or lactating women, children and benefits from other official transfers such as the BFP. With this multitude of assets and limitations, the permanent income of each individual is estimated. The basic benefit is defined by the poverty gap and priority is given to the poorest. These subnational programs use international benchmarks as a neutral ground between different government levels and mandates. Their poverty line is the highest of the first millennium goal of the United Nations (UN): US$ 2 per person per day adjusted for the cost of living. The other poverty line of the UN, US$ 1.25, was implicitly adopted as the national extreme poverty line in 2011. The exchange of methodologies between federal entities has happened both ways. The FC began with the 575,000 individuals living in the city of Rio de Janeiro who were on the payroll of the BFP. Its system of impact evaluation benefited from bi-monthly standardized examinations. In the educational conditionalities, the two programs reward students' progress, a potential advantage for those who most need to advance. The municipal program requires greater school attendance than that of the BFP and the presence of students’ parents at the bimonthly meetings held on Saturdays. Students must achieve a grade of 8 or improve at least 20% in each exam to receive a bi-monthly premium of R$50. In early childhood, priority is given to the poor children in the program Single Administrative Register (CadÚnico) to enroll in kindergarten, preschools and complementary activities. The state program reaches more than one million people with a payment system similar to the municipal one. Moreover, it innovates in that it transfers awards given to high school students to savings accounts. The prize increases and is paid to the student, who can withdraw up to 30% annually. The total can reach R$3,800 per low-income student. The State and the city rewarded already education professionals according to student performance, now completing the chain of demand incentives on poor students and their parents. Increased performance is higher among beneficiaries and the presence of their guardians at meetings is twice compared to non beneficiaries; The Houston program, also focuses on aligning the incentives to teachers, parents and students. In general, the plan is to explore strategic complementarities, where the whole is greater than the sum of its parts. The objective is to stimulate, through targets and incentives, synergies between social actors (teachers, parents, students), between areas (education, assistance, work) and different levels of government. The cited programs sum their efforts and divide labor so as to multiply interactions and make a difference in the lives of the poor.

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.

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.