Transverse mass and rapidity distributions for charged pions, charged kaons, protons, and antiprotons are reported for square root of [sNN]=200 GeV pp and Au+Au collisions at Relativistic Heary Ion Collider (RHIC). Chemical and kinetic equilibrium model fits to our data reveal strong radial flow and long duration from chemical to kinetic freeze-out in central Au+Au collisions. The chemical freeze-out temperature appears to be independent of initial conditions at RHIC energies.

The incidence of HBsAg loss is about 0.8% in cirrhosis type B. Prognostic factors for clearance of HBsAg are initial HBeAg positivity and therapy with alpha interferon. Patients with cirrhosis type B, who lose HBsAg, have a low risk for liver cancer or liver-related death.

This study reports a clinicopathological analysis of 105 patients whose liver histology showed a pattern of alcohol-like steatohepatitis. There were 32 nonalcoholic, 21 asymptomatic ambulatory, and 52 hospitalized alcoholic hepatitis patients. Female sex, obesity, and diabetes predominated in nonalcoholics. Clinical and laboratory presentation were similar in nonalcoholics and ambulatory alcoholics, but different from the hospitalized alcoholics. Histology showed an increasing degree of severity of hepatocellular damage, Mallory bodies, neutrophil and mononuclear infiltration, and pericellular and portal fibrosis from the nonalcoholics to the hospitalized alcoholics, with ambulatory alcoholics displaying an intermediate degree of severity. Steatosis and glycogenated nuclei were prevalent in the obese, diabetic nonalcoholics, of whom 47% had significant fibrosis and 8% cirrhosis, the latter present in 38% and 89% of ambulatory and hospitalized alcoholic hepatitis (P = 0.0001), respectively. In asymptomatic subjects with suspected liver disease, a liver biopsy is the only way of establishing the type and severity of liver lesions.

No abstract

Symbolic evaluation is the execution of software and software designs on inputs given as symbolic or explicit constants along with constraints on these inputs. Efficient symbolic evaluation is now feasible due to recent advances in efficient decision procedures and symbolic model checking. Symbolic evaluation can be applied to partially implemented descriptions and provides wider coverage and greater assurance than testing and tmditional simulation alone. Unlike full formal verification, symbolic evaluation can be used in a partial manner that is more likely to succeed and yield some degree of assurance. Its main advantage is that it can be used within a smooth spectrum of analyses ranging from refutation based on explicit-state simulation to full-blown verification.