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.

Uma análise de incentivos contratuais em arranjos de parceria de atendimento ao cidadão

Com base em proposições depreendidas da teoria da economia dos custos de transação, da teoria dos incentivos e dos contratos incompletos, esta pesquisa realiza um estudo de casos múltiplos buscando encontrar correspondentes empíricos para tais formulações. O foco dessa dissertação está em uma oportunidade incomum: a ocorrência simultânea de dois diferentes modelos de parceria com sistemas de incentivos distintos aplicados ao mesmo serviço. O Poupatempo e a Unidade de Atendimento Integrado - UAI, dois importantes programas regionais brasileiros de atendimento presencial ao cidadão, que possuem objetivos semelhantes e que empregaram recentemente diferentes modelos de parceria. Enquanto São Paulo utilizou da terceirização para expandir o Poupatempo desde 2007, Minas Gerais desenvolveu o UAI desde 2011 com uma parceria público-privada. Este estudo de casos múltiplos desenvolve-se com base em uma análise contratual que identifica os incentivos formais das parcerias aliada a avaliação dos resultados dos agentes privados com base nos relatórios de desempenho. Para além da análise destes documentos, entrevistas semiestruturadas nos permitem analisar as variáveis não-contratuais. Assim, os elementos extraídos dos dois casos nos permitem observar os pressupostos depreendidos das três teorias.

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.

Os programas de incentivo à cultura e o processo de fomento às organizações culturais no rio grande do norte: o caso da Casa da Ribeira em Natal

Since the emergence of the first demands for actions that were intended to give greater attention to culture in Brazil, came the first discussions which concerned the way the Brazilian government could have a positive influence in encouraging the culture, as is its interaction with the actors interested and involved with the cause. During the military dictatorship, there were programs which relied on the direct participation of the State to ensure that right, from the viewpoint of its support and implementation of public resources in developing the "cultural product" to be brought to society in its various forms of expression - all this, funded by the government. It is an example of "EMBRAFILMES" and "Projeto Seis e Meia", continued until the present day in some regions of the country, though maintained by entities not directly connected with the administration or the government. However, it was from the period of democratization and the end of the dictatorship that the Brazilian government began to look at the different culture, under its guarantee to the society. Came the first incentive laws, led by "Lei Sarney" Nº 7.505/86, which was culture as a segment which could receive foreign assistance in order to assist the government in fulfilling its public duty. After Collor era and the end of the embargo through the encouragement of culture incentive laws, consolidated the incentive model proposed in advance of Culture "Lei Sarney" and the federal laws, state and local regimentares as close to this action. This applies to the Rouanet Law (Lei Rouanet), Câmara Cascudo Law (Lei Câmara Cascudo) and Djalma Maranhão Cultural Incentive Law (Lei de Incentivo à Cultura Djalma Maranhão), existing in Natal and Rio Grande do Norte. Since then, business entities could help groups and cultural organizations to keep their work from the political sponsorship under control and regiment through the Brazilian state in the form of their Cultural Incentive Law. This framework has contributed to the strengthening of NGOs and with the consolidation of these institutions as the linchpin of Republican guaranteeing the right to access to culture, but corporate social responsibility was the one who took off in the segment treated here, through the actions of Responsibility Cultural enterprises arising from the Cultural Organizations. Therefore, in the face of this discourse, this study ascertains the process of encouraging the Culture in Rio Grande do Norte from the Deviant Case Analysis at the Casa da Ribeira, the main Cultural Organization that operates, focused action in Natal in order to assess the relationships established between the same entity and the institutions which are entitled to maintain the process of encouraging treated in this study - Enterprise, from the viewpoint of corporate sponsorship and Cultural Responsibility and State in the form of the Laws Incentive Funds and Public Culture Incentive

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.

Comparative study of 2 software programs for predicting profile changes in Class III patients having double-jaw orthognathic surgery

Introduction: Computer software can be used to predict orthognathic surgery outcomes. The aim of this study was to subjectively compare the soft-tissue surgical simulations of 2 software programs. Methods: Standard profile pictures were taken of 10 patients with a Class III malocclusion and a concave facial profile who were scheduled for double-jaw orthognathic surgery. The patients had horizontal maxillary deficiency or horizontal mandibular excess. Two software programs (Dentofacial Planner Plus [Dentofacial Software, Toronto, Ontario, Canada] and Dolphin Imaging [version 9.0, Dolphin Imaging Software, Canoga Park, Calif]) were used to predict the postsurgical profiles. The predictive images were compared with the actual final photographs. One hundred one orthodontists, oral-maxillofacial surgeons, and general dentists evaluated the images and were asked whether they would use either software program to plan treatment for, or to educate, their patients. Results: Statistical analyses showed differences between the groups when each point was judged. Dolphin Imaging software had better prediction of nasal tip, chin, and submandibular area. Dentofacial Planner Plus software was better in predicting nasolabial angle, and upper and lower lips. The total profile comparison showed no statistical difference between the softwares. Conclusions: The 2 types of software are similar for obtaining 2-dimensional predictive profile images of patients with Class III malocclusion treated with orthognathic surgery. (Am J Orthod Dentofacial Orthop 2010; 137: 452.e1-452.e5)