Detecting Semantic Conflicts using Static Analysis

Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, when developers integrate their changes, they might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference - causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability. It outperforms, in terms of F1 score and recall, previous methods that rely on dynamic analysis for detecting semantic conflicts, but these show better precision. Our technique precision is comparable to the ones observed in other studies that also leverage static analysis or use theorem proving techniques to detect semantic conflicts, albeit with significantly improved overall performance

RELIGIOSIDADES, PRÁTICAS RELIGIOSAS E DESIGUALDADES SOCIAIS (1940 E 2000)

eoi/doi Deposit-Electronic Object Identifierhttp://eoi.citefactor.org/10.11248/ehum.v7i1.1474RESUMO:  O presente artigo é um avanço nas discussões iniciadas na produção da dissertação de mestrado “Olhares sobre a Umbanda”, concluído em 2012. Como proposta, trata-se de uma leitura com referenciais marxistas, interpretando a umbanda como um fazer social, em que trabalhadores estabelecem diferentes formas de se relacionarem com a cidade, seja por meio de enfrentamento e lutas, seja por meio da aceitação e resilição. Assim, o ritual da umbanda e a cosmogonia desta religião assumem um papel secundário, pois é mais importante identificar a experiência social elaborada pelos sujeitos e as pressões que se desenvolvem da cidade contra estes grupos.Palavras Chave: Umbanda, práticas religiosas, religiosidades ABSTRACT:This article is a breakthrough in the discussions initiated in the production of the dissertation "Perspectives on Umbanda", concluded in 2012. As proposed, it is a reading with Marxist reference, interpreting Umbanda as a social do, where workers establish different ways of relating to the city, whether through confrontation and struggle, either through the acceptance and termination. Thus, the ritual of Umbanda and the cosmogony of this religion play a secondary role, it is more important to identify the social experience elaborated by the subjects and the pressures that develop the city against these groups.Keywork: ritual of Umbanda, religion e religiosityRecebido em: 08/08/2014 – Aceito em 05/10/201

Intangible assets impairment test issues : the case of a Brazilian telecommunications company

National and international regulatory agencies by issuing new standards have tried to bring the accounting recorded values near to economic values. Nevertheless, it is understood that the latter carry a deeper level of subjectivity, on the grounds that completely new values will be obtained by the adoption of different conditions. This study aims to perform a comparative analysis between two company valuation methods: the Discounted Cash Flow and the Residual Income Valuation while performing the impairment test. The study case uses the database prepared by a telecommunications company to its subsidiary in the Internet sector for the purpose of the impairment test assessment. Some points have been identified as deserving special attention in a company’s valuation assessment, namely the discount rate and the growth rate. The results show that: 1) a firm’s economic value is sensitive to the use of a sole growth rate to calculate the perpetuity, considering that any changes in the rate will alter the decision based on the test; 2) the setup of a discount rate as a parameter in a firm’s valuation assessment is a fundamental point for the write-off decision resulting from an impairment test

From the health secretary to the council : analysis of the accountancy reports based on the qualitative characteristics of accounting information

O artigo tem como foco a utilidade das informações contábeis como ferramenta de auxílio ao exercício das atribuições de planejamento, gestão e controle, inerentes aos Conselhos de Saúde. Neste sentido, o artigo analisa os resultados de estudo exploratório, de natureza qualitativa (GIL,1999), sobre as informações contidas nos relatórios de prestação de contas da Secretaria de Saúde do Distrito Federal ao Conselho de Saúde do Distrito Federal. Buscou- se a partir de Hendriksen e Van Breda (1999), Glautier e Underdown (1994) e Riahi-Belkaoui (2004) as características qualitativas necessárias à informação a ser destinada ao usuário. A partir de tais características, construiu-se um instrumento para avaliar os relatórios de prestação de contas. A coleta dos dados foi realizada em relatórios de prestação de contas apresentados pela Secretaria ao Conselho nos últimos trimestres dos exercícios fnanceiros de 2003 a 2006. Os resultados indicam a necessidade de melhorias no conteúdo das informações dos relatórios, bem como nos objetivos e metas estabelecidos para o exercício seguinte, para que o relatório tenha utilidade informacional para contribuir com as atribuições legais inerentes aos Conselhos de Saúde. _________________________________________________________________________________ ABSTRACTThe focus of this article is the effectiveness of accounting information as a supportive tool to the execution of the attributions of planning, management and control inherent to the Health Councils. Thus, the article analyses the results of qualitative nature exploratory study (GIL,1999), with regards to the information reported on the accountancy reports of the Health Secretary of the Federal District to the Health Council of the Federal District. The qualitative characteristics necessary to the information designated to the users were based upon Hendriksen and Van Breda(1999), Glautier and Underdown (1994) and Riahi- Belkaoui (2004). Such characteristics allowed the designing of an instrument to evaluate the accounting reports. The data collection was accomplished through the accounting reports presented by the Secretary to the Council on the last quarters of the 2003 and 2006 fnancial years. The results have shown the necessity of improvement on the contents of the information reports, as well as on the goals and aims established for the following fnancial period so that the report can have informational usefulness regarding the contribution to the legal attributions inherent to the Health Councils

Safe use of information: an analysis of the SCOPUS database

O acesso à informação através da internet ganha a cada dia mais espaço em nossa sociedade, inclusive entre crianças e adolescentes. O estudo teve como objetivo identificar tendências de pesquisas sobre o uso seguro da informação on line por crianças e adolescentes relacionadas à competência informacional. Foi realizado um levantamento na base de dados SCOPUS e após refinamento dos resultados obteve-se 71 referências. Como os resultados observou-se que os Estados Unidos e o Reino Unido são os países que mais publicam sobre a temática e que 52.9 % das produções se tratam de artigos científicos. Verificou-se que os documentos analisados ressaltam a importância de que orientações sobre o tema ocorram na escola, com destaque para o papel da biblioteca escolar, visto que na escola pública este é o local em que os estudantes mais acessam a internet. Verificou-se também que o tema uso seguro da informação abrange muitos outros subtemas: exposição de dados, abuso sexual, cyberbullying. Concluiu-se que a pesquisa sobre uso seguro da informação em ambientes online é complexa e que a área carece de pesquisas sobre a temática, em particular no Brasil, visando obter mais subsídios que permitam conhecer melhor esta questão e tendo a escola como espaço de aplicação, discussão e orientação que possibilite o desenvolvimento de habilidades para uma navegação mais segura por adolescentes.Access the information using the internet is gaining more and more space in our society, including among children and adolescents. The study aimed to identify research trends related to the safe use of online information and the development of information literacy. A survey was performed in the SCOPUS database and after refining the results, 71 references were obtained. As a result it is observed that the United States and the United Kingdom are the largest producers of content on the subject, 52.9% of the productions are through scientific articles. It was found that the documents underscore the importance of guidance on the subject in the school, especially the school library in this process, being in public school, the place that students most access the internet. It has also been found that the safe use of information theme covers many other subthemes: data exposure, sexual abuse, cyberbullying. It was concluded that the research on secure use of information in online environments is complex and that the area lacks research on the subject aiming to obtain more subsidies to better understand this issue and having the school as a space for application, discussion and guidance that enable the development of skills for safer browsing by teenagers.Facultad de Humanidades y Ciencias de la Educació

É caminhando que se faz o caminho : Contrubuiçoesdo projeto "biblioteca escolar no ensino fundamental" na visao dos professores participantes

O desenvolvimento da competência informacional se faz necessário desde os primeiros anos escolares, já que aprimora a capacidade das pessoas usufruírem de um dos seus direitos humanos fundamentais, o acesso à informação. A mediação no desenvolvimento das habilidades de acesso e uso da informação exige um olhar especial, pois esta ação requer o desenvolvimento da competência informacional como requisito para a construção do conhecimento na sociedade contemporânea. Uma das contribuições da biblioteca escolar é desenvolver as competências e habilidades de alunos e professores para busca, interpretação, uso e compartilhamento da informação no ambiente educacional e no cotidiano fora da escola. Desta forma a biblioteca pode contribuir para o desenvolvimento da competências em professores e seus alunos para busca, acesso, interpretação e uso da informação disponível em diferentes canais midiáticos para a construção de conhecimento. Com o objetivo de compreender a relação entre os processos que envolvem a competência informacional para a construção de conhecimento, este artigo relata parte dos resultados da dissertação de mestrado realizada em duas escolas municipais de ensino fundamental de uma cidade do interior de São Paulo (Brasil). Utilizando a pesquisa-ação como abordagem, buscou-se capacitar os profesores sobre o conteúdo e aplicação da competência informacional no ensino fundamental. Neste artigo são apresentadas as análises das respostas de questionários aplicados aos professores, planejamento de temáticas de pesquisa junto aos alunos, entrevistas com os professores das escolas participantes. Pode-se perceber mudanças significativas no modo como os professores planejam, utilizam fontes de informação, desenvolvem pesquisa escolar com seus alunos e aplicam noções de normalização dos trabalhos ao longo do desenvolvimento da pesquisa.Fil: Barbosa, Paulo Rodrigo. Universidade Estadual PaulistaFil: Helen de Castro Silva, Casarin. Universidade Estadual Paulist

Amigos da Leitura: atuação na Santa Casa de Misericórdia de Marília

Introdução: O projeto Amigos da Leitura é desenvolvido desde 1999 como uma atividade do grupo de pesquisa Novas Tecnologias da Informação – FFC/UNESP. Inicialmente planejado para ser desenvolvido junto a um time de futebol de adolescentes no Bairro Jardim Bandeirantes, em seguida foi transferido para uma escola estadual no mesmo bairro. No ano de 2002 inicia as atividades no Hospital Materno Infantil, e hoje todo o desenvolvimento do projeto está voltado para o incentivo à leitura no Hospital Santa Casa de Misericórdia de Marília. Objetivos: O projeto objetiva apresentar os trabalhos de alunos da graduação em Biblioteconomia com crianças de 3 a 12 anos internadas nas alas da Pediatra, Oncologia e Unidade de Terapia de Queimados no desenvolvimento do ato de ler, como forma de estabelecer o contato do livro com as crianças hospitalizadas. Métodos: As atividades são planejadas mensalmente em reuniões entre coordenadores e voluntários para definição de autores específicos e das atividades voltadas ao incentivo à leitura, de acordo com as diferentes faixas etárias e diferentes habilidades cognitivas com o intuito de resgatar a criatividade e aproximar a criança da leitura e do hábito de utilizar os livros de modo prazeroso. Os livros usados no desenvolvimento das atividades são selecionados entre os disponíveis na Brinquedoteca do hospital, a Biblioteca da Faculdade de Filosofia e Ciências e a Biblioteca Municipal de Marília. Para o mês de Agosto foram escolhidos as obras “A Girafa sem sono”, “Clact, Clact, Clact” e “A borboleta e a tartaruga” de Liliana e Michele Iacocca e como aporte à literatura e ao planejamento foi incluído “Chapeuzinho Amarelo” de Chico Buarque. E além dos livros são utilizados materiais que auxiliam no desenvolvimento das atividades de leitura como dobraduras, lápis de cor e giz de cera. Resultados: Como resultados percebeu-se um bom envolvimento das crianças com o livro, com o ato da leitura e com o desenvolvimento das atividades complementares a partir do texto lido como recontar a história, dobradura, desenhar e pintar. Como considerações finais aponta-se o ato de ler como uma atividade que proporciona aos envolvidos a possibilidade de um distanciamento do local em que estão, um momento lúdico, que tem gerado em alguns momentos, mudanças de atitudes comportamentais das crianças hospitalizadas que participam das atividades, que de alguma forma tem auxiliado o trabalho dos enfermeiros, notando-se também a boa receptividade dos profissionais que atuam no auxílio aos pacientes e também dos acompanhantes onde proporciona envolvimento e serenidade dos mesmos

Amigos da Leitura: atuação na Santa Casa de Misericórdia de Marília

Introdução: O projeto Amigos da Leitura é desenvolvido desde 1999 como uma atividade do grupo de pesquisa Novas Tecnologias da Informação – FFC/UNESP. Inicialmente planejado para ser desenvolvido junto a um time de futebol de adolescentes no Bairro Jardim Bandeirantes, em seguida foi transferido para uma escola estadual no mesmo bairro. No ano de 2002 inicia as atividades no Hospital Materno Infantil, e hoje todo o desenvolvimento do projeto está voltado para o incentivo à leitura no Hospital Santa Casa de Misericórdia de Marília. Objetivos: O projeto objetiva apresentar os trabalhos de alunos da graduação em Biblioteconomia com crianças de 3 a 12 anos internadas nas alas da Pediatra, Oncologia e Unidade de Terapia de Queimados no desenvolvimento do ato de ler, como forma de estabelecer o contato do livro com as crianças hospitalizadas. Métodos: As atividades são planejadas mensalmente em reuniões entre coordenadores e voluntários para definição de autores específicos e das atividades voltadas ao incentivo à leitura, de acordo com as diferentes faixas etárias e diferentes habilidades cognitivas com o intuito de resgatar a criatividade e aproximar a criança da leitura e do hábito de utilizar os livros de modo prazeroso. Os livros usados no desenvolvimento das atividades são selecionados entre os disponíveis na Brinquedoteca do hospital, a Biblioteca da Faculdade de Filosofia e Ciências e a Biblioteca Municipal de Marília. Para o mês de Agosto foram escolhidos as obras “A Girafa sem sono”, “Clact, Clact, Clact” e “A borboleta e a tartaruga” de Liliana e Michele Iacocca e como aporte à literatura e ao planejamento foi incluído “Chapeuzinho Amarelo” de Chico Buarque. E além dos livros são utilizados materiais que auxiliam no desenvolvimento das atividades de leitura como dobraduras, lápis de cor e giz de cera. Resultados: Como resultados percebeu-se um bom envolvimento das crianças com o livro, com o ato da leitura e com o desenvolvimento das atividades complementares a partir do texto lido como recontar a história, dobradura, desenhar e pintar. Como considerações finais aponta-se o ato de ler como uma atividade que proporciona aos envolvidos a possibilidade de um distanciamento do local em que estão, um momento lúdico, que tem gerado em alguns momentos, mudanças de atitudes comportamentais das crianças hospitalizadas que participam das atividades, que de alguma forma tem auxiliado o trabalho dos enfermeiros, notando-se também a boa receptividade dos profissionais que atuam no auxílio aos pacientes e também dos acompanhantes onde proporciona envolvimento e serenidade dos mesmos

Genetic Aspects Of Athletic Performance: The African Runners Phenomenon.

The current dominance of African runners in long-distance running is an intriguing phenomenon that highlights the close relationship between genetics and physical performance. Many factors in the interesting interaction between genotype and phenotype (eg, high cardiorespiratory fitness, higher hemoglobin concentration, good metabolic efficiency, muscle fiber composition, enzyme profile, diet, altitude training, and psychological aspects) have been proposed in the attempt to explain the extraordinary success of these runners. Increasing evidence shows that genetics may be a determining factor in physical and athletic performance. But, could this also be true for African long-distance runners? Based on this question, this brief review proposed the role of genetic factors (mitochondrial deoxyribonucleic acid, the Y chromosome, and the angiotensin-converting enzyme and the alpha-actinin-3 genes) in the amazing athletic performance observed in African runners, especially the Kenyans and Ethiopians, despite their environmental constraints.5123-

Desafios do enfermeiro da atenção básica na saúde do homem / Challenges of primary care nurses in men's health

Introdução: Levando em consideração maiores taxas de morbimortalidade, os homens geram uma espécie de sobrecarga de aspecto financeiro para o meio social, apresentando uma adesão fraca aos tratamentos crônicos, tendo maiores sofrimentos emocionais e físicos. Devido a um estigma oriundo de séculos onde foi ensinado que os homens precisavam ser invulneráveis, o descuido corporal é característico. Objetivos: Levantar os desafios do enfermeiro da atenção básica de saúde na saúde do homem, identificar as principais limitações para atendimento integral a saúde do homem e propor estratégias inclusivas relacionadas a saúde do homem. Método: A presente pesquisa tem o método descritivo, de revisão sistemática de literatura, com uso da análise de referências bibliográficas, tendo também caráter exploratório e abordagem qualitativa. A pesquisa foi realizada no mês de fevereiro de 2021, até outubro de 2021, a busca pelos artigos ocorreu nas bases de dados da Scientific Eletronic Library On-line (SCIELO), Latino-Americana e Caribe em Ciências da Saúde (LILACS). Foram usados como critérios de inclusão artigos publicados entre 2010 a 2021. Amostra foi constituída de 16 artigos. Resultados: Foram coletados 16 conteúdos científicos para responder os objetivos, sendo 6 artigos científicos (37%), abordam os desafios para os enfermeiros frente a saúde masculina, 10 artigos científicos (63%), abordam as limitações presentes no atendimento do enfermeiro a parcela populacional masculina. Neste contexto o enfermeiro tem papel fundamental. São necessárias ações de promoção da saúde e desenvolvimento de práticas que motivem a participação masculina atenção básica de saúde através da construção de vínculos para que sejam ampliados os produtos de atenção para a saúde masculina. Conclusão: As limitações mais significativas, contam com a ausência de número significativo de homens na AB, seja pela inflexibilidade de horário, o excesso de demandas, a feminização ambiental, ou pela noção de que cuidados preventivos são coisas unicamente de mulheres. Os homens, comprovadamente, possuem um comportamento preventivo de autocuidado falho. Para que esta situação  da saúde do homem deixe de ter tantas deficiências, o  profissional enfermeiro possui  papel  primordial   na implementação de estratégias inclusivas  na atenção básica com foco não somente nos agravos, mas em medidas de prevenção e promoção e proteção da saúde para redução de agravos ao mesmo