ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation

In this work, we describe and evaluate the first model checker for verifying Kotlin programs through the Jimple intermediate representation. The verifier, named ESBMC-Jimple, is built on top of the Efficient SMT-based Context-Bounded Model Checker (ESBMC). It uses the Soot framework to obtain the Jimple IR, representing a simplified version of the Kotlin source code, containing a maximum of three operands per instruction. ESBMC-Jimple processes Kotlin source code together with a model of the standard Kotlin libraries and checks a set of safety properties. Experimental results show that ESBMC-Jimple can correctly verify a set of Kotlin benchmarks from the literature and that it is competitive with state-of-the-art Java bytecode verifiers. A demonstration is available at https://youtu.be/J6WhNfXvJNc.Comment: ACM SIGSOFT International Symposium on Software Testing and Analysis 202

Estratégias de Nomeações Ministeriais: entre a política e as políticas públicas

RESUMO Introdução: Os ministros são atores políticos centrais na elaboração e implementação de políticas públicas, defesa e representação política de grupos sociais e de interesse, aconselhamento e assessoramento dos chefes de governo, além de exercerem autoridade máxima no campo específico sob sua jurisdição para diversas demandas cotidianas. Nesse contexto, a composição dos gabinetes indica a permeabilidade de aspectos políticos e também de elementos técnicos na condução dos problemas a cargo dos ministérios. Assim, quais os perfis dos ministros recrutados pelos governos eleitos da Nova República, sobretudo, em termos de inserção político-partidária e de expertise técnica? Materiais e Métodos: Para responder essa questão, este artigo propõe a utilização do Índice de Politização Ministerial (IPM) a partir de uma base de dados original dos ministros titulares do governo Collor à interrupção do segundo mandato de Dilma Rousseff (1990 a 2016). Resultados: Como resultado, o trabalho demonstra elevada qualificação do ministro mediano no Brasil democrático, bem como a predominância do perfil que agrega experiências nas arenas política e também técnica. Observam-se também diferenças no padrão de nomeação entre os governos tucanos e petistas. Enquanto os primeiros selecionam mais empresários e especialistas, os governos petistas foram mais politizados e nomearam mais frequentemente empregados, mulheres e negros. Discussão: Em suma, ao agregar na análise dos ministros a perspectiva da trajetória pessoal e a abordagem da composição partidária no contexto do presidencialismo de coalizão, o artigo contribui para qualificar o debate sobre o Executivo e também sobre as diferenças do sistema partidário no Brasil.PALAVRAS-CHAVE: presidencialismo de coalizão; ministros de Estado; partidos políticos; elites políticas; Brasil. Ministerial Appointments Strategies: between policy and public policyABSTRACT Introduction: Ministers are crucial stakeholders in the policymaking, advocacy and political representation of social and interest groups, advising and support the chief of government, and exercising maximum authority in the specific field under their jurisdiction for several daily demands. In this context, the composition of the cabinets indicates the permeability of political aspects as well as technical elements in handling of the policy issues by the ministries. So what are the profiles of ministers appointed by elected governments in Brazil, especially in terms of party political affiliation and technical expertise? Materials and Methods: To answer this question, this article proposes the Ministerial Politization Index (IPM) from an original database of the Collor government ministers to the interruption of Dilma Rousseff’s second term (1990 to 2016). Results: As a result, the paper shows a high qualification of the median minister in democratic Brazil, as well as predominance of the profile that assemble experiences in the political and technical arenas. There are also differences in the appointment patterns between PSDB and PT administrations. While the former select more entrepreneurs and specialists, PT has been more politicized and more often appointed employees, women and blacks. Discussion: In sum, by adding in the ministers’ analysis both the personal trajectory perspective and the party composition approach in the context of coalition presidentialism, the article contributes to qualify the debate about the Executive and also regarding the party system differences in Brazil.KEYWORDS: coalition presidentialism; ministers of State; political parties; political elites; Brazil

Cyclopia in goat (Capra Aegagrus Hircus): case report / Ciclopia em cabra (Capra Aegagrus Hircus): relato de caso

A ciclopia é uma patologia que tem suas principais características baseadas na deformidade facial, tendo a presença de apenas um olho e uma pequena probóscide formando seu aparelho nasal. Essa anomalia pode ocorrer em diversos animais, sendo eles: bovinos, cachorros, ovinos, suínos, caprinos, entre outros. Esse trabalho cita um relato de ciclopia que ocorreu em um caprino, neonato, macho, que nasceu com apenas um olho e logo após ao seu nascimento veio a óbito. Portanto, conclui-se que a ciclopia é defeito de malformação congênita, que por ter a ocorrência da junção das duas órbitas em uma única, tornando-se uma doença de fácil identificação, mas na maioria das vezes é incompatível com a vida. 

Socio-environmental impacts caused by hydroelectric dams in northeastern Brazil / Impactos socioambientais causados por barragens hidrelétricas no nordeste do Brasil

With the advancement of the energy sector in Brazil there was a large insertion of hydroelectric dams, many were installed in the northeast due to the great availability of water resources, thus being one of the main reasons for environmental and social impacts. The work seeks to warn about the socioenvironmental damage in the Northeastern region of Brazil caused by hydroelectric dams today. For the research were used 18 articles, analyzed quantitatively and qualitatively, always seeking data consistently and respecting the research line. After analyzing 13 hydroelectric dams, several social and environmental impacts were observed, such as floods, impacts on local fauna and flora, relocation of people, loss of culture and economic impacts. It has been observed that for decades human action as an intervener has caused numerous damage to the environment and society, as a consequence there has been a noticeable change in the surrounding regions in climate, economic and social advancement of people, as a solution the work suggested the use of new methods for the production of electricity, so that the impacts are smaller and viable to the economy, preserving the environment and the production of electricity. 

O HEMOGRAMA NAS ANEMIAS MICROCÍTICAS

A anemia microcítica é caracterizada pela diminuição do tamanho das hemácias, se relaciona com a deficiência ou não aproveitamento do ferro pelo organismo, no hemograma o índice que estabelece esse tamanho é o VCM, quando este parâmetro está abaixo de < 80 FL definimos como grupo da anemia microcítica, podendo ela ser anemia ferropriva, talassemia ou sideroblastica. A anemia ferropriva é caracterizada pela falta de ferro no organismo, porém também pode ser ocasionada pela perda de sangue, já a talassemia é definida como anemia hereditária já que sua transmissão acontece de pais para filhos, ela resulta de um desequilíbrio na produção de uma das quatro cadeias de aminoácidos que compõem a hemoglobina, a anemia sideroblastica é uma condição em que o ferro não é utilizado adequadamente na produção de hemoglobina, fazendo com que haja um acumulo de ferro nas células do sangue gerando uma aparência de um anel ao redor do núcleo das células, chamado de sideroblasto. O objetivo desse trabalho foi fazer um levantamento sobre os resultados de hemogramas para estabelecer diferenças no o diagnóstico das anemias microcíticas. Para tanto, foi realizado um levantamento bibliográfico a partir de artigos, teses, revistas científicas nas bases de dados, SCIELO, PUBMED, MEDLINE e sites do governo, entre os anos 2010 a 2020. Foram excluídos os artigos que apresentaram duplicidade de informações. O estudo foi do tipo bibliográfico, descritivo, exploratório e com abordagem do tipo qualitativo. Através de uma análise realizada pela curva de ROC referente aos parâmetros hematológicos que foi demonstrado em uma tabela, foi possível observar que a contagem de hemácias constitui o principal parâmetro auxiliar na discriminação das anemias microciticas, e essa contagem destacou-se por mostrar os maiores valores combinados de sensibilidade e especificidade relativamente aos outros parâmetros avaliados. De acordo com os dados analisados o maior número de eritrócitos ocorre na talassemia menor. Isto acontece porque a precipitação das cadeias globínicas, em excesso nos precursores eritróides e eritrócitos circulantes, resulta em uma discreta eritropoiese ineficaz, aumento da eritropoetina e, finalmente, leve a moderada expansão da eritropoiese pela medula óssea na tentativa de compensar a anemia. Já em pacientes portadores de anemia ferropriva, observam-se valores intermediários para o número de hemácias, sem maiores decréscimos. Isso ocorre porque na anemia ferropriva a proliferação de progenitores eritróides não se encontra comprometida como na ADC. Realmente, o mecanismo desencadeador da anemia ferropriva se refere à restrição de ferro à medula óssea, comprometendo de forma mais importante a síntese da hemoglobina e não a produção dos eritrócitos. Conclui-se que o referente estudo recomenda que mesmo não sendo possível se ter um diagnóstico correto para cada paciente das anemias microcíticas baseando-se apenas nos parâmetros hematológicos obtidos, esses dados básicos são úteis no rastreamento de pacientes portadores desse tipo de anemia. Sendo assim, uma contagem exata do número de hemácias pode oferecer um direcionamento apropriado para a escolha de testes laboratoriais confirmatórios, se adequando aos seus custos, afim de evitar um tratamento inapropriado

Burocracia Federal de Infraestrutura Econômica: reflexões sobre capacidades

O livro visa aprofundar o conhecimento acerca das capacidades estatais, mais especificamente sobre as capacidades de o setor público brasileiro planejar, implementar, gerir e regular o setor de infraestrutura econômica. Esta coletânea de artigos científicos foi concebida aproveitando o acúmulo da Enap no desenvolvimento e implementação de atividades de capacitação para esse público, bem como na condução de pesquisas com enfoque na burocracia pública, e a expertise do Ipea em conduzir pesquisas de excelência sobre o Estado brasileiro.411 p.BurocraciaCapacidades EstataisEconomi

Spectrochemical analysis in blood plasma combined with subsequent chemometrics for fibromyalgia detection

Fibromyalgia is a rheumatologic condition characterized by multiple and chronic body pain, and other typical symptoms such as intense fatigue, anxiety and depression. It is a very complex disease where treatment is often made by non-medicated alternatives in order to alleviate symptoms and improve the patient’s quality of life. Herein, we propose a method to detect patients with fibromyalgia (n = 252, 126 controls and 126 patients with fibromyalgia) through the analysis of their blood plasma using attenuated total reflection Fourier-transform infrared (ATR-FTIR) spectroscopy in conjunction with chemometric techniques, hence, providing a low-cost, fast and accurate diagnostic approach. Different chemometric algorithms were tested to classify the spectral data; genetic algorithm with linear discriminant analysis (GA-LDA) achieved the best diagnostic results with a sensitivity of 89.5% in an external test set. The GA-LDA model identified 24 spectral wavenumbers responsible for class separation; amongst these, the Amide II (1,545 cm−1) and proteins (1,425 cm−1) were identified to be discriminant features. These results reinforce the potential of ATR-FTIR spectroscopy with multivariate analysis as a new tool to screen and detect patients with fibromyalgia in a fast, low-cost, non-destructive and minimally invasive fashion

Contribuições da mídia para a saúde de pessoas LGBTI+: uma análise sociodiscursiva de e-news no jornalismo digital

Analisar as representações sociodiscursivas assertivas sobre o processo saúde-doença nas doenças infectocontagiosas que acometem o público LGBTI+. Pesquisa documental, de abordagem qualitativa, discursiva com foco em notícias veiculadas ao Google News SearchⓇ sobre doenças na população LGBTQQ+ de 2011 a 2022. A análise baseou-se na Análise Crítica do Discurso com processamento nos softwares MAXQDA e IRAMUTEQ. As notícias de caráter assertivo identificadas, apresentam discursos normativo-preventivo, normativo curativista e linguagem expositiva. As manchetes veiculadas em circulação no Google News Search detêm traços problematizadores com relação à saúde LGBTI+

O livro didático e o ensino de ciências no 2º ano do ensino médio - um olhar sobre o conteúdo de esquistossomose / The textbook and the teaching of science in the 2nd year of high school - a look at the content of schistosomiasis

O livro didático é o recurso mais utilizado no ensino de ciências no Brasil e deve possuir conteúdo claro e coerente descrevendo o universo do aluno. A esquistossomose é uma doença endêmica parasitária de caráter cosmopolita causada pelo helminto Schistosoma mansoni, com altas taxas de prevalência nas regiões tropicais e subtropicais, destacando-se no segundo lugar das parasitoses mais frequentes no mundo. Sendo assim, torna-se imprescindível que os alunos tenham o conhecimento a respeito da esquistossomose de forma clara, visando amplificar as principais medidas profiláticas e identificação da doença. O objetivo do estudo foi avaliar o conteúdo de esquistossomose oferecido por livros do ensino médio de Biologia. Para isto, foi realizada uma busca temática sobre “Esquistossomose” em oito livros de Biologia do 2° ano do ensino médio, sendo três de volume único e cinco de volume 2. Os critérios de análise foram conceitos e definições, desenvolvimento dos conceitos e definições, explicação dos termos desconhecidos, correção científica, adequação a idade mínima, enfoque sanitário, ilustração e tipos de atividades. Os resultados mostraram que os seis livros possuem o conteúdo de “Esquistossomose”, onde em parte evidenciaram a morfologia do parasito, outros autores, focaram em ciclos, meios de transmissão, hospedeiros definitivo e intermediário, medidas profiláticas, entre outros