Memoized zipper-based attribute grammars and their higher order extension

Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. (C) 2018 Elsevier B.V. All rights reserved.- (undefined

Oral health conditions in leprosy cases in hyperendemic area of the Brazilian Amazon

Leprosy is a hyperendemic chronic condition in the Rondônia State . Despite the significant impact of oral health on the quality of life and clinical evolution of leprosy patients, systematic evaluation of oral health status has been neglected. To analyze the dental-clinical profile, self-perceived oral health and dental health service access of leprosy cases in the municipality of Cacoal in Rondônia State , North Brazil, from 2001 to 2012. A descriptive, cross-sectional study design was performed based on dental evaluation and standardized structured instruments. We investigated clinically assessed and self-perceived oral health status, as well as dental health service access. A total of 303 leprosy cases were included; 41.6% rated their oral health as good, and 42.6% reported being satisfied with their oral health. Self-reported loss of upper teeth was 45.5%. The clinical evaluation revealed that 54.5% had active caries. Most (97.7%) cases reported having been to the dentist at least once in their life and 23.1% used public health services. The poor standard of oral health in this population may increase the risk for leprosy reactions, consequently reducing quality of life. Low access to public health dental services and poor self-perceived oral health reinforce the need to achieve comprehensive health care in this population

Escola sem partido: uma virtude discursiva?

O objetivo deste artigo é analisar os significados discursivos veiculados no cartaz do Programa Escola Sem Partido, em que consta os deveres do professor, de modo a não ser condutor de doutrinação ideológica junto aos alunos, e sim de uma postura de neutralidade partidária. Leva-se em consideração as noções de ideologia, hegemonia e poder, trazidas pela Análise de Discurso Crítica (ADC) (FAIRCLOUGH, 1989; 2001; 2003; 2012), dialogando com outros autores que podem propiciar um embate crítico sobre linguagem e práxis social, em prol de mudanças sócio-políticas. Discutimos o projeto/programa Escola Sem Partido como um movimento no âmbito das controvérsias contemporâneas no espaço da educação. E a análise dos temas e palavras contidas no cartaz retratam como deve ser a dinâmica dos deveres do professor em sala de aula. Diante dos sentidos limitadores do papel do docente, chegamos ao questionamento sobre a ética e moral discursiva (PAVEAU, 2015) do programa em questão

Memoized zipper-based attribute grammars

Attribute Grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular.In this work we focus on a state of the art Zipper-based embedding of Attribute Grammars and further improve its performance through controlling attribute (re)evaluation by using memoization techniques. We present the results of our optimization by comparing their impact in various implementations of different, well-studied Attribute Grammars.- (undefined

Underwater energy harvesting to extend operation time of submersible sensors

A linear electromagnetic energy harvesting device for underwater applications, fabricated with a simple manufacturing process, was developed to operate with movement frequencies from 0.1 to 0.4 Hz. The generator has two coils, and the effect of the combination of the two coils was investigated. The experimental study has shown that the energy capture system was able to supply energy to several ocean sensors, producing 7.77 mJ per second with wave movements at 0.4 Hz. This study shows that this energy is enough to restore the energy used by the battery or the capacitor and continue supplying energy to the sensors used in the experimental work. For an ocean wave frequency of 0.4 Hz, the generator can supply power to 8 sensors or 48 sensors, depending on the energy consumed and its optimization.This work is co-funded by the project K2D-Knowledge and Data from the Deep to Space with reference POCI-01-0247-FEDER-045941, co-financed by European Regional Development Fund (ERDF), through the Operational Program for Competitiveness and Internationalization (COMPETE2020) and by the Portuguese Foundation for Science and Technology-FCT under MIT-Portugal Program. This work is also co-financed by Programa Operacional Regional do Norte (NORTE2020), through Fundo Europeu de Desenvolvimento Regional (FEDER), Project NORTE-01-0145-FEDER000032–NextSea, and by national funds through FCT–Fundação para a Ciência e Tecnologia, I.P. under project SONDA (PTDC/EME-SIS/1960/2020)

Padrão dose-resposta de extratos brutos produzidos por actinobactérias sobre a fermentação ruminal in vitro

As actinobactérias têm sido pesquisadas como fonte produtoras de extratos brutos que contêm compostos bioativos capazes de atuar como agentes antimicrobianos. O presente trabalho investigou o efeito dose-resposta de dois extratos brutos, AMC e Caat, na fermentação ruminal in vitro por: produção cumulativa de gás, digestibilidade in vitro da matéria seca (IVDMD) e matériaorgânica (IVOMD) e concentração de ácidos graxos de cadeia curta (SCFA). Três vacas leiteiras da raça Holandesa, multíparas e portadoras de fístula ruminal foram utilizadas como doadoras de inóculo ruminal e foram alimentadas com uma dieta basal composta por silagem de milho, farelo de soja, ureia, milho moído e suplemento mineral. As amostras de inóculo ruminal foram incubadas em garrafas de vidro com 1 g da dieta seca e moída, solução tampão e os extratos brutos avaliados em quatro doses (0,3, 0,6, 0,9 e 1,20 mg/10 mL de inóculo) em delineamento em blocos casualizados, sendo as doadoras consideradas os blocos como efeito aleatório. Além disso, foram utilizados controles negativos para a correção da produção de gás. Os resultados foram expressos como valores médios com base em análises triplicadas. A diminuição da produção cumulativa de gás foi observada de acordo com a dose em resposta linear às 24, 48 e 72 h de incubação com a adição de extrato de Caat. A IVOMD mostrou uma diminuição linear com 72 h de incubação com inclusão de Caat. Além disso, a inclusão do Caat reduziu linearmente as concentrações de ácido butírico e isovalérico, bem como a proporção de acetato/propionato. Diferentemente, a inclusão do extrato de AMC não afetou nenhuma das variáveis analisadas nas doses utilizadas. O extrato de Caat pode ser usado como um modulador da fermentação ruminal in vitro, uma vez que reduziu a proporção de acetato/propionato e a produção de gás acumulada.Actinobacteria have been researched as a source that produces crude extracts, which contain bioactive compounds able to act as antimicrobial agents. The present investigation evaluated the dose-response effect of two crude extracts, obtained at Caatinga rhizosphere (Caat) and Rhizophora mangle (AMC), on in vitro ruminal fermentation by: cumulative gas production, digestibility of dry (IVDMD) and organic matter (IVOMD), and short-chain fatty acids concentration (SCFA). Three multiparous Holstein dairy cows with ruminal fistula were used as the inoculum donors and fed a basal diet consisting of corn silage, soybean meal, urea, ground corn and mineral supplement. Ruminal fluid samples were incubated in glass bottles with 1 g of the dried and milled diet, a buffer solution, and the crude extracts evaluated in four doses (0.3, 0.6, 0.9 and 1.20 mg/10 mL inoculum) in a randomized block design, and the donators were considered as blocks with random effects. Additionally, negative controls were used. The results were expressed as average values based on triplicate analyses. Decreased cumulative gas production was observed according to linear dose response at 24, 48 and 72 h of incubation with the addition of Caat extract. The IVOMD showed a linear decrease at 72 h of incubation with dose Caat inclusion. Furthermore, the inclusion of Caat extract linearly reduced butyric and isovaleric acid concentrations, as well as acetate:propionate ratio. Finally, the Caat inclusion increased the propionic acid concentration in comparison to AMC extract. However, the inclusion of AMC extract did not affect any of the analyzed variables at the used doses. The Caat extract could be used as a modulator of in vitro ruminal fermentation, since it reduced acetate:propionate ratio and cumulative gas production

Cardiovascular risk markers in polycystic ovary syndrome in women with and without insulin resistance

OBJETIVO: avaliar se a presença de resistência à insulina (RI) modifica fatores de risco cardiovascular em mulheres com síndrome dos ovários policísticos (SOP). MÉTODOS: estudo transversal no qual 60 mulheres com SOP, com idade entre 18 e 35 anos e sem uso de hormônios, foram avaliadas. A RI foi avaliada por meio do quantitative insulin sensitivity check index (QUICKI). RI foi definida como QUICKI <0,33. As seguintes variáveis foram comparadas entre o grupo com e sem RI: antropométricas (peso, altura, circunferência da cintura, pressão arterial e frequência cardíaca), laboratoriais (homocisteína, interleucina-6, fator de necrose tumoral-&#945;, testosterona, fração de androgênios livre, colesterol total e frações, triglicerídeos, proteína C reativa e insulina, glicose) e ultrassonográficas (distensibilidade e espessura íntima-média da carótida e dilatação mediada por fluxo da artéria braquial). RESULTADOS: Dezoito mulheres (30%) apresentaram RI. As mulheres com RI, comparadas às sem RI, apresentaram diferenças significativas nos seguintes marcadores antropométricos (SOP com RI e sem RI respectivamente): índice de massa corporal (35,5±5,6 versus 23,9±4,8 kg/m², p<0,01;), cintura (108,1±11,53 versus 79,5±11,1 cm, p<0,01) e pressão arterial sistólica (128,0±10,8 versus 114,0±8,9 mmHg, p<0,01) e pressão arterial diastólica (83,6±9,6 versus 77,0±7,5 mmHg, p=0,01). Também foram observadas diferenças significativas nos seguintes marcadores laboratoriais: triglicerídeos (120,0±56,5 versus 77,7±53,4 mg/dL, p=0,01), HDL (43,06±6,3 versus 40,4±10,8, p=0,01) e proteína C reativa (7,9±10,5 mg/L versus 2,6±3,2 mg/L, p<0,01), insulina (28,0±18,1 versus 5,3±2,4 µU/mL, p<0,01) e glicose (93,5±10,0 versus 87,5±8,7 mg/dL, p=0,02). Adicionalmente, dois dos três marcadores ultrassonográficos de risco cardiovascular também foram diferentes entre os grupos: distensibilidade carotídea (0,24±0,05 versus 0,30±0,08 mmHg-1, p<0,01) e espessura íntima-média da carótida (0,52±0,08 versus 0,43±0,09 mm, p<0,01). Além disso, a proporção de síndrome metabólica foi maior nas mulheres com RI (nove casos=50% versus três casos=7,1%, p<0,01). CONCLUSÕES: mulheres com SOP e RI apresentam diferenças significativas em vários marcadores ultrassonográficos, séricos e antropométricos que apontam para uma elevação no risco cardiovascular, quando comparadas a mulheres com SOP sem RI. Diante desses dados, a determinação sistemática da avaliação de RI em mulheres com SOP pode ajudar a identificar pacientes de risco cardiovascular.PURPOSE: to evaluate whether the presence of insulin resistance (IR) alters cardiovascular risk factors in women with polycystic ovary syndrome (POS). METHODS: transversal study where 60 POS women with ages from 18 to 35 years old, with no hormone intake, were evaluated. IR was assessed through the quantitative insulin sensitivity check index (QUICKI) and defined as QUICKI <0.33. The following variables have been compared between the groups with or without IR: anthropometric (weight, height, waist circumference, arterial blood pressure, cardiac frequency), laboratorial (homocysteine, interleucines-6, factor of tumoral-&#945; necrosis, testosterone, fraction of free androgen, total cholesterol and fractions, triglycerides, C reactive protein, insulin, glucose), and ultrasonographical (distensibility and carotid intima-media thickness, dilation mediated by the brachial artery flux). RESULTS: Eighteen women (30%) presented IR and showed significant differences in the following anthropometric markers, as compared to the women without IR (POS with and without IR respectively): body mass index (35.56±5.69 kg/m² versus 23.90±4.88 kg/m², p<0.01), waist (108.17±11.53 versus 79.54±11.12 cm, p<0.01), systolic blood pressure (128.00±10.80 mmHg versus 114.07±8.97 mmHg, p<0.01), diastolic blood pressure (83.67±9.63 mmHg versus 77.07±7.59 mmHg, p=0.01). It has also been observed significant differences in the following laboratorial markers: triglycerides (120.00±56.53 mg/dL versus 77.79±53.46 mg/dL, p=0.01), HDL (43.06±6.30 mg/dL versus 40.45±10.82 mg/dL, p=0.01), reactive C protein (7.98±10.54 mg/L versus 2.61±3.21 mg/L, p<0.01), insulin (28.01±18.18 µU/mL versus 5.38±2.48 µU/mL, p<0.01), glucose (93.56±10.00 mg/dL versus 87.52±8.75 mg/dL, p=0.02). Additionally, two out of the three ultrasonographical markers of cardiovascular risk were also different between the groups: carotid distensibility (0.24±0.05 mmHg-1 versus 0.30±0.08 mmHg-1, p<0.01) and carotid intima-media thickness (0.52±0.08 mm versus 0.43±0.09, p<0.01). Besides, the metabolic syndrome ratio was higher in women with IR (nine cases=50% versus three cases=7.1%, p<0.01). CONCLUSIONS: POS and IR women present significant differences in several ultrasonographical, seric and anthropometric markers, which point out to higher cardiovascular risk, as compared to women without POS and IR. In face of that, the systematic IR evaluation in POS women may help to identify patients with cardiovascular risk

Obesity and altered arterial structure in young women with micropolycystic ovary syndrome

OBJETIVO: comparar os fatores ecográficos de risco cardiovascular em pacientes obesas e não obesas, com síndrome dos ovários micropolicísticos (SOMP). MÉTODOS: foram incluídas 30 pacientes obesas com SOMP (Índice de massa corporal, IMC>30 kg/m²) e 60 não obesas (IMC<30 kg/m²), com idade entre 18 e 35 anos neste estudo transversal. Foram avaliados: a dilatação mediada por fluxo (DMF) da artéria braquial, espessura íntima-média da artéria carótida (IMT), o índice de rigidez da artéria carótida (&#946;), as medidas antropométricas, pressão sanguínea sistólica (PAS) e diastólica (PAD). As mulheres estavam sem nenhum tratamento prévio e nenhuma delas apresentava qualquer comorbidade (além da SOMP e/ou da obesidade).Na análise estatística, foram utilizados os testes t não-pareado ou de Mann-Whitney. RESULTADOS: as pacientes obesas com SOMP apresentaram maior peso em relação às não obesas (92,1±11,7 kg versus 61,4±10,7 kg, p<0,0001), bem como a medida da cintura que também, foi mais elevada nas pacientes obesas (105,0±10,4 cm versus 78,5±9,8 cm, p<0,0001). A PAS das pacientes obesas foi superior quando comparadas às não obesas (126,1±10,9 mmHg versus 115,8±9,0 mmHg, p<0,0001) e a IMT também foi maior nas obesas (0,51±0,07 mm versus 0,44±0,09 mm, p<0,0001). Não houve diferença entre os grupos quanto à dilatação mediada por fluxo (DMF) da artéria braquial ou ao índice de rigidez da artéria carótida (&#946;). CONCLUSÕES: a obesidade em portadoras jovens de SOMP está associada a níveis pressóricos mais elevados e à alteração da estrutura arterial, representada pela maior espessura íntima-média da artéria carótida.PURPOSE: to compare echographical cardiovascular risk factors between obese and non-obese patients with micropolycystic ovarian syndrome (MPOS). METHODS: in this transversal study, 30 obese (Body Mass Index, BMI>30 kg/m²) and 60 non-obese (BMI<30 kg/m²) MPOS patients, aging between 18 and 35 years old, were included. The following variables were measured: flow-mediated dilatation (FMD) of the brachial artery, thickness of the intima-media of the carotid artery (IMT), anthropometric data, systolic arterial pressure (SAP) and diastolic arterial pressure (DAP). The women had no previous medical treatment and no comorbidity besides MPOS and obesity. For statistical analysis, the non-paired tand Mann-Whitney's tests were used. RESULTS: obese weighted more than non-obese patients (92.1±11.7 kg versus 61.4±10.7 kg, p<0.0001) and had a larger waist circumference (105.0±10.4 cm versus 78.5±9.8 cm, p<0.0001). The SBP of obese patients was higher than that of the non-obese ones (126.1±10.9 mmHg versus 115.8±9.0 mmHg, p<0.0001) and the IMT was also bigger (0.51±0.07 mm versus 0.44±0.09 mm, p<0.0001). There was no significant difference between the groups as to FMD and carotid rigidity index (&#946;). CONCLUSIONS: obesity in young women with MPOS is associated with higher blood pressure and alteration of arterial structure, represented by a thicker intima-media of the carotid artery

Validação psicométrica da versão em português brasileiro da Body Image Scale – HIV para pessoas vivendo com HIV/AIDS

Introduction: Body Image can be defined as the mental representation of body identity. The surroundings, the gaze of the other, they emotions, they integrity, and our own fragility are elements of this representation. The social stigma caused by body changes in people living with HIV / AIDS may be more intense than the fear of death itself, being important to assess the impact of these changes in the course of treatment. Objective: To perform the psychometric validation of the Brazilian Portuguese version of the Body Image Scale - HIV for a sample of Brazilians, of both sexes, living with HIV / AIDS. Methods: The total of 1050 patients were recruited from the São Bernardo do Campo HIV/AIDS program, aged between 18 and 78 years. Confirmatory factor analysis using the Unweighted Least Square and listwise deletion was used to determine the adherence of the data to the models tested. Results: Adequate coefficients of internal reliability and evidence of construct validity were established for the Brazilian version of BIS-HIV in the unifactorial model. Conclusion:This scale, with evidenced psychometric qualities, provides a useful tool for quantitative investigations of body image in people with HIV/AIDS in the Brazilian context and extends the possibility of future cross-cultural research.Introdução: a Imagem Corporal pode ser definida como a representação mental da identidade corporal. O meio que cerca o sujeito, o olhar do outro, suas emoções, a integridade e a própria fragilidade do corpo são elementos próprios desta representação. O estigma social provocado pelas alterações corporais nas pessoas que vivem com HIV/AIDS pode ser mais intenso que o próprio medo da morte, sendo importante acompanhar o impacto dessas alterações do decurso do tratamento. Objetivo: realizar a validação psicométrica da versão em português brasileiro da Body Image Scale – HIV para uma amostra de brasileiros, de ambos os sexos, vivendo com HIV/AIDS. Método: foram recrutados 1050 pacientes de um ambulatório de HIV/AIDS de São Bernardo do Campo, São Paulo, Brasil, com idades entre 18 e 78 anos. A análise fatorial confirmatória, utilizando o Unweighted Least Square e deleção listwise, foi usada para determinar a aderência dos dados aos modelos testados. Resultados: coeficientes adequados de confiabilidade interna e evidência de validade de construto foram estabelecidos para a versão brasileira da BIS-HIV no modelo unifatorial. Conclusão: a escala foi validada e com suas qualidades psicométricas evidenciadas, fornece uma ferramenta útil para investigações quantitativas da imagem corporal em pessoas com HIV/AIDS no contexto brasileiro e amplia a possibilidade de futuras pesquisas transculturais