Learn More
specification to a concrete implementation. Certifiers and accreditors must be represented because they are the ones responsible for attesting that the implementation is faithful to the specification. Various sets of system users are represented and include typical users, operators, and administrators. The most senior members of the team, who serve as(More)
Immune reconstitution inflammatory syndrome (IRIS) is a recently described entity in which severely immunodepressed HIV patients, after being started on HAART, develop inflammatory reactions to several pathogens. We present a patient who developed extensive Molluscum Contagiosum (MC) lesions shortly after being started on HAART. With the progression of(More)
Rodents can recognize pain-related responses in conspecifics. Therefore, cohabitation with a conspecific animal with chronic pain can potentially promote a stressful situation, which can trigger behavioral changes such as anxiety and depression and alter nociceptive responses. In this study we investigated the effect of cohabitation with a mouse undergoing(More)
Requirements speciications for high assurance secure systems are rare in the open literature. This paper presents a case study in the development of a requirements document for a multilevel secure system that must meet stringent a s-surance and evaluation requirements. The system is secure, yet combines popular commercial components with specialized high(More)
Requirements specifications for high assurance secure systems are rare in the open literature. This paper examines the development of a requirements document for a multilevel secure system that must meet stringent assurance and evaluation requirements. The system is designed to be secure, yet combines popular commercial components with specialized high(More)
The aim of this study was to describe the stability to thermal degradation and the chemical composition of woody biomass which was subjected to the torrefaction process. Particles of eucalyptus wood were thermally treated in a rotary roaster heated at a rate of 5 °C/min. The final heating temperatures were 170, 220 and 260 °C and residence time was equal to(More)
BACKGROUND Popliteal artery aneurysm (PAA) thromboembolic complications may result in limb loss. We review our experience reporting outcomes in terms of complications and early and long-term patency rates. METHODS From 2004 to 2013, 116 PAA required surgical repair at Coimbra Hospital and Universitary Centre, Portugal. Outcomes were analyzed using(More)
  • 1