Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Influência do nevoeiro salino na degradação de materiais cerâmicos aplicados em construções

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Summer Vacations not Only a Memory for Life, but Also a Rare Infection

Introduction: Rhinoscleroma is a rare, chronic, granulomatous disease that most frequently affects the upper respiratory tract, especially the nasal cavity and sometimes extends through the lower respiratory tract. Is associated with Klebsiella rhinoscleromatis, which is endemic in certain geographic regions namely Central America. The pathogenesis and risk factors remain unclear. Clinical case: We report a five years Old Portuguese boy, previously healthy, brought to the Emergency Department with epistaxis, without other accompanying signs or symptoms. The Otorhinolaryngologist (ORL) performed rhinoscopy and identified an intranasal bleeding mass. The MRI revealed an intranasal mass with extension to the ethmoid bone sinus, and performed biopsy. The histopathology was vital, making the diagnosis of Rhinoscleroma. The child had traveled abroad for the first time on vacations a year before to Dominican Republic. The bacteriologic exam identified a Klebsiella spp. sensible to the association of amoxicillin and clavulanic acid. Blood test performed excluded association of immunodeficiency. Since it’s a rare disease genetic study are under course. Monthly evaluation by ORL and pediatrician was performed which documented progressive reduction until total disappearing of the macro and microscopic lesion, and negative bacteriologic exam. Six months of antibiotic therapy were completed without any known secondary effects. The child remained asymptomatic up to the last visit, 3 months following treatment and has shown no evidence of recurrence. Conclusion: Globalization and free transit of people to areas far from origin countries here some rare diseases are endemic brings a new challenge to modern medicine. Sometimes vacations bring more than memories.

Imunodeficiência Combinada Grave – O Diagnóstico Precoce é Importante?

Introdução: Os doentes com Imunodeficiência Combinada Grave (SCID) não diagnosticados evoluem inexoravelmente para a morte no primeiro ano de vida. Um elevado índice de suspeição é fundamental para o diagnóstico precoce, o factor mais importante para a sobrevida destas crianças. Objectivo: Apresentam-se três casos clínicos ilustrativos da importância da precocidade diagnóstica no prognóstico final. Casos clínicos: Caso clínico 1: Lactente do sexo masculino, com antecedentes de infecções respiratórias de repetição, internado aos sete meses na UCIP do HDE por pneumonia a Adenovírus com insuficiência respiratória. Necessitou de ventilação mecânica e de duas transfusões de concentrado eritrocitário na primeira semana de internamento. Teve exantema exuberante, interpretado como toxidermia. Evoluiu para doença pulmonar sequelar grave. Aos nove meses foi feito o diagnóstico de SCID hipomorfa com doença do enxerto contra o hospedeiro pós-transfusional, controlada com imunossupressão (ciclosporina e glucocorticoides). Não foi transplantado com células progenitoras hematopoiéticas por não reunir condições clínicas. Na sequência de uma intercorrência respiratória veio a falecer aos 14 meses. Caso clínico 2: Lactente do sexo masculino, internado aos 6 meses no HDE por pneumonia intersticial hipoxemiante. Isolado P. jiroveci no lavado bronco-alveolar e feito o diagnóstico presuntivo de BCGite disseminado em criança com SCID T-B+NK-. Após estabilização clínica e esplenectomia foi transplantado com células progenitoras hematopoiéticas de dador fenoidêntico não aparentado. Dada a BCGite disseminada necessitou de vários ciclos de infusão de células do dador para uma reconstituição imunitária lenta e progressiva. Seis meses pós-transplante está clinicamente bem, com quimerismo linfóide T e NK completo. Caso clínico 3: Lactente do sexo masculino, internado aos 17 dias de vida por infecção respiratória alta e bacteriémia a M. catarrhalis. Reinternado quinze dias depois por sépsis a MRSA e linfopénia. A avaliação efectuada permitiu o diagnóstico de SCID T-B+NK- por defeito na cadeia gamma comum. Transplantado com células progenitoras hematopoiéticas de dador genoidêntico aos 4 meses, sem condicionamento. Clinicamente bem, seis meses pós-transplante, com reconstituição imunitária satisfatória. Conclusão: Esta doença tem uma prevalência não negligenciável e apenas com elevado indice de suspeição se pode estabelecer um plano de tratamento eficaz.

Punção Acidental da Dura - Considerações Teóricas. Proposta de Revisão de Protocolo

A punção acidental da dura-mater (PD) é uma complicação ocasional na realização do bloqueio epidural. A sua incidência pode chegar aos 4,4%, sendo as grávidas um grupo de risco pela idade, alterações fisiológicas e anatómicas da gravidez. O sintoma mais frequente é a cefaleia (Cefaleia pós-punção da dura – CPPD), que tem como principal característica ser postural, melhorar com o decúbito e a compressão abdominal. Esta pode ser incapacitante, privando a mãe do contacto com o bebé e impossibilitando-a na prestação de cuidados. Além da cefaleia, a punção da dura pode apresentar-se com outros sintomas tais como náuseas, fotofobia, rigidez cervical e tonturas. Estes sintomas (meníngeos e tentoriais) são associados a tracção de estruturas. Neste artigo são abordados o quadro clínico, as medidas profilácticas e de tratamento. É feita uma proposta de revisão do protocolo de actuação perante um quadro de punção acidental da Dura.

Intercorrências da Anestesia Regional em Obstetrícia. Avaliação Retrospectiva

Os autores fizeram uma revisão retrospectiva de 1902 grávidas submetidas a analgesia/anestesia regional no período decorrente de Julho a Dezembro de 2001. Foram detectadas 21 intercorrências relacionadas com a execução da técnica e complicações posteriores. Destaca-se a Punção acidental da dura-mater como intercorrência mais frequente (66%), obrigando a intervenção terapêutica e maior tempo de internamento hospitalar.

DOSE RESPONSE EFFECT OF Paracoccidioides brasiliensis IN AN EXPERIMENTAL MODEL OF ARTHRITIS

Paracoccidioidomycosis (PCM) is caused by the dimorphic fungus Paracoccidioides brasiliensis (Pb) and corresponds to prevalent systemic mycosis in Latin America. The aim of the present work was to evaluate the dose response effect of the fungal yeast phase for the standardization of an experimental model of septic arthritis. The experiments were performed with groups of 14 rats that received doses of 103, 104 or 105 P. brasiliensis (Pb18) cells. The fungi were injected in 50 µL of phosphate-buffered saline (PBS) directly into the knee joints of the animals. The following parameters were analyzed in this work: the formation of swelling in knees infused with yeast cells and the radiological and anatomopathological alterations, besides antibody titer by ELISA. After 15 days of infection, signs of inflammation were evident. At 45 days, some features of damage and necrosis were observed in the articular cartilage. The systemic dissemination of the fungus was observed in 11% of the inoculated animals, and it was concluded that the experimental model is able to mimic articular PCM in humans and that the dose of 105 yeast cells can be used as standard in this model.

Serviços pós-4G em redes de satélite LEO com recepção multi-pacote e com handover

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Anestesia para Drepanocitose e Gravidez. A Propósito de um Caso Clínico

A propósito de uma parturiente com anemia falciforme, os autores revêem o quadro clínico desta patologia hematológica com repercussão multi-orgânica, e focam as particularidades da mesma durante a gravidez. Em função dos factores que podem desencadear um agravamento (ou uma agudização) do quadro, salientam as facetas mais importantes do acto anestésico, desde as possíveis técnicas até às medidas profilácticas do peri-operatório. A revisão é intercalada com a descrição do caso clínico da parturiente com anemia falciforme.

Avaliação do Tratamento da Dor Aguda em Obstetrícia

Os autores propuseram-se avaliar o tratamento da dor aguda no trabalho de parto e parto, (88 casos) e no post-operatório de cesariana (53 casos). Para a avaliação da dor utilizaram a VAS e a escala descritiva de dor; o grau de satisfação materna foi inquirido às 48 horas de internamento. A forma de administração influenciou a eficácia analgésica na altura do parto. Quanto à avaliação do pós-operatório às 2 horas após cesariana 24,5% das puérperas referiram VAS >3 e às 6 horas 20,8%, apesar de terem prescrição fixa de analgésicos. Às 24 horas 40% das puérperas referiram VAS >3 e às 48 horas 30%. Das 141 puérperas, 56 consideraram-se muito satisfeitas, 84 satisfeitas e apenas 1 insatisfeita.

Alterações da função ventilatória na blastomicose pulmonar: correlação radiológica e espirográfica

Os autores estudam 10 casos de blastomicose pulmonar, sendo feita a correlação radiológica e espirográfica. Encontraram em todos os casos as alterações radiológicas clássicas do blastomicose (nodulacões, infiltrados, fibrose e enfisema). Em 4 casos encontraram alterações da função ventilatória caracterizadas por insuficiência ventilatória obstrutiva. Comentam que em 2 casos a radiotugia pulmonar mostrou a presença de enfisema embora a espirografia não mostrasse anormalidades. Chamam a atenção para a importância do estudo da função respiratória na blastomicose pulmonar, acentuando a necessidade do estudo funcional em maior número de pacientes a fim de se estabelecerem conclusões mais significativas sôbre o tipo de alteração ventilatória que ocorre nesses pacientes.

O ensino de matemática no CPES: análise de manuais

Dissertação para obtenção do Grau de Mestre em Ensino de Matemática

Effect of C282Y Genotype on Self-Reported Musculoskeletal Complications in Hereditary Hemochromatosis

OBJECTIVE: Arthropathy that mimics osteoarthritis (OA) and osteoporosis (OP) is considered a complication of hereditary hemochromatosis (HH). We have limited data comparing OA and OP prevalence among HH patients with different hemochromatosis type 1 (HFE) genotypes. We investigated the prevalence of OA and OP in patients with HH by C282Y homozygosity and compound heterozygosity (C282Y/H63D) genotype. METHODS: A total of 306 patients with HH completed a questionnaire. Clinical and demographic characteristics and presence of OA, OP and related complications were compared by genotype, adjusting for age, sex, body mass index (BMI), current smoking and menopausal status. RESULTS: In total, 266 of the 306 patients (87%) were homozygous for C282Y, and 40 (13%) were compound heterozygous. The 2 groups did not differ by median age [60 (interquartile range [IQR] 53 to 68) vs. 61 (55 to 67) years, P=0.8], sex (female: 48.8% vs. 37.5%, P=0.18) or current smoking habits (12.4% vs. 10%, P=0.3). As compared with compound heterozygous patients, C282Y homozygous patients had higher median serum ferritin concentration at diagnosis [1090 (IQR 610 to 2210) vs. 603 (362 to 950) µg/L, P<0.001], higher median transferrin saturation [80% (IQR 66 to 91%) vs. 63% (55 to 72%), P<0.001]) and lower median BMI [24.8 (22.1 to 26.9) vs. 26.2 (23.5 to 30.3) kg/m2, P<0.003]. The overall prevalence of self-reported OA was significantly higher with C282Y homozygosity than compound heterozygosity (53.4% vs. 32.5%; adjusted odds ratio [aOR] 2.4 [95% confidence interval 1.2-5.0]), as was self-reported OP (25.6% vs. 7.5%; aOR 3.5 [1.1-12.1]). CONCLUSION: Patients with C282Y homozygosity may be at increased risk of musculoskeletal complications of HH.

O Códice Polifónico de Arouca. Estudo e Transcrição

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências Musicais/Variante de Musicologia Histórica