Vinicius Nunes

Learn More
Some domains, specially those of critical systems, require dependable software. Ensuring dependability is not a trivial problem. Model checking can be used to estimate the reliability of a software through models that represent the behavior of the system. Through these models it is possible to estimate and measure quantitatively properties such as(More)
This case report shows the clinical development of a patient with systemic paracoccidioidomycosis presenting with lymphatic-intestinalmanifestation. The patient initially had a substantial clinical improvement but had a recrudescence after six months of sulfamethoxazoletrimethoprim oral treatment, with the emergence of feverish syndrome, lumbar pain, and(More)
Purpose: To describe a new model of actinic enteritis that does not use radiotherapy machines. Methods: Sixteen Wistar rats were divided into four groups, consisting of four animals each: control (group A), two weeks after irradiation (group B), five weeks after irradiation (group C) and eight weeks after irradiation (group D). Animals were given a 10Gy(More)
BACKGROUND Peritoneal cavity lavage is used widely in the treatment of peritonitis. Nonetheless, some studies question its rationale and prove it to be deleterious to the mesothelium. The present study aims to determine whether 0.9% and 3.0% saline lavage of the peritoneal cavity have an effect on the early systemic inflammatory response, namely, in the(More)
AIM To determine the sensitivity and specificity of liver stiffness measurement (LSM) and serum markers (SM) for liver fibrosis evaluation in chronic hepatitis C. METHODS Between 2012 and 2014, 81 consecutive hepatitis C virus (HCV) patients had METAVIR score from liver biopsy compared with concurrent results from LSM [transient elastography (TE)(More)
  • 1