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)
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)
Classical galactosemia is an inborn error of carbohydrate metabolism in which patients accumulate high concentration of galactose in the brain. The most common treatment is a galactose-restricted diet. However, even treated patients develop several complications. One of the most common symptoms is motor coordination impairment, including affected gait,(More)
  • 1