Lissom, a source level proof carrying code platform

This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that formal verification tools can be put to practice in a realistic environment, and be used to solve complex and concrete problems. The attractiveness of the problems that PCC addresses has already brought students to show interest in this pro ject

Centro de acolhimento Santa Efigênia destinado a pessoas em situação de rua no bairro Taquara

Indisponível

ANÁLISE DAS PROPRIEDADES FÍSICAS DA MADEIRA DAS ESPÉCIES Azadirachta indica A. Juss. E Prosopis juliflora (Sw.) DC

A exploração da mata nativa para uso como fonte energética e a inserção e proliferação de espécies exóticas, ambos prejudicam o ecossistema e afetam a biodiversidade da Caatinga. Este trabalho busca avaliar o uso da madeira de duas espécies exóticas como lenha, através da análise das propriedades físicas das madeiras e do cálculo IVC, objetivando-se apontar a utilização dessas espécies exóticas, como forma de preservar a mata nativa. Foram coletadas amostras de 10 indivíduos por espécie, e realizadas as análises do teor de umidade e da densidade, e com os valores observados calculou-se os IVC’s. foi verificado que a espécie A. indica A. Juss. apresentou alto teor de umidade, o que influenciou no IVC da espécie. A densidade para ambas as espécies apresentou bons índices. O IVC da espécie A. indica A. Juss. foi de 0,015597, e o da espécie P. juliflora (Sw.) DC foi de 0,021866. Foi concluído que ambas as espécies podem ser utilizadas, onde para que a espécie A. indica A. Juss. possa ser utilizado é necessário passar por um processo de secagem

Pancreatitis as a severe complication of leptospirosis with fatal outcome: a case report

Leptospirosis is a globally distributed zoonosis with a broad clinical spectrum. This disease mostly affects liver and kidney tissues. Other organs such as the pancreas, can be affected by leptospirosis-induced vasculitis. In addition, cardiac manifestations are common, and the presence of transient ECG abnormalities can be found in 70% of the patients. We report a male patient who presented with an atypical leptospirosis that progressed with severe acute pancreatitis, acute kidney injury and atrial fibrillation. Early diagnosis and adequate supportive therapy are crucial for the appropriated management of symptoms

Immune system challenge improves recognition memory and reverses malaria-induced cognitive impairment in mice

The immune system plays a role in the maintenance of healthy neurocognitive function. Different patterns of immune response triggered by distinct stimuli may affect nervous functions through regulatory or deregulatory signals, depending on the properties of the exogenous immunogens. Here, we investigate the effect of immune stimulation on cognitive-behavioural parameters in healthy mice and its impact on cognitive sequelae resulting from non-severe experimental malaria. We show that immune modulation induced by a specific combination of immune stimuli that induce a type 2 immune response can enhance long-term recognition memory in healthy adult mice subjected to novel object recognition task (NORT) and reverse a lack of recognition ability in NORT and anxiety-like behaviour in a light/dark task that result from a single episode of mild Plasmodium berghei ANKA malaria. Our findings suggest a potential use of immunogens for boosting and recovering recognition memory that may be impaired by chronic and infectious diseases and by the effects of ageing

Scientific evidence on disk hernia in elderly person / Evidências científicas sobre hérnia de disco na pessoa idosa

Objetivo: identificar as produções científicas sobre hérnia de disco na pessoa idosa. Método: protocolo de scoping review segundo o método do Joanna Briggs Institute com artigos das bases de dados CINAHL, Scopus, Cochrane, Web of Science, MEDLINE e ScienceDirect. Analisaram-se 10 artigos cujos critérios de inclusão foram investigações primárias e/ou secundárias, qualitativas e quantitativas escritos em inglês, português e espanhol, formando 3 categorias temáticas. O recorte do estudo foi delimitado a partir da observação na prática profissional dos pesquisadores sobre o aumento de casos de idosos com hérnia de disco. Resultados: a cirurgia representa constante indicação médica para o tratamento da hérnia de disco. Conclusão: a lombalgia decorrente da hérnia de disco é uma frequente causa de incapacidade nos adultos e idosos com protocolos cirúrgicos constantes, principalmente quando há compressão neural. No entanto, estudos mostram a possibilidade de regressão quando os pacientes são submetidos aos tratamentos conservadores.

Analno-vulvarna atrezija i ageneza kokcigealnih kralježaka u puleta - prikaz slučaja

Anal-vulvar atresia and agenesis of the coccygeal vertebrae is a rare condition that has never been reported before in donkeys, and only a single case in sheep. In this light, we sought to describe the surgical approach and postoperative care of a newborn donkey with this congenital abnormality. A female donkey was treated that was less than 24 hours old, weighing 15 kg, with increased perineal volume and the absence of an anus. The diagnosis was made by clinical examination, which also found an absence of the vulva and coccygeal vertebrae. A surgical approach followed using anoplasty and temporary fixation of a plastic probe, and a urethra attached to the skin. The postoperative period was followed by daily cleansing, antibiotic, anti-inflammatory and analgesic therapy, and removal of the plastic tube at 10 days. The early diagnosis and treatment enabled complete success and the animal’s recovery.Analno-vulvarna atrezija i ageneza kokcigealnih kralježaka rijetko je stanje koje dosad nije opisano u magaraca, naime opisano je samo u jednom slučaju u ovce. Upravo smo zbog toga nastojali opisati kirurški pristup i poslijeoperacijsku njegu u novorođenog puleta s ovom kongenitalnom abnormalnošću. Riječ je o ženki, staroj manje od 24 sata, tjelesne mase 15 kg, s povećanim perinealnim volumenom i bez anusa. Dijagnoza je postavljena na temelju kliničkog pregleda koji je otkrio i odsutnost vulve i kokcigealnih kralježaka. Uslijedio je kirurški zahvat s anoplastikom i privremenim postavljanjem plastične sonde i uretre pričvršćene za kožu. Poslijeoperacijski je period uključio dnevno čišćenje, antibiotičku, protuupalnu i analgetičku terapiju te uklanjanje plastične cijevi nakon deset dana. Rana dijagnoza i liječenje omogućili su potpun uspjeh u oporavku životinje