The purpose of the paper is to provide an automatic transformation of parallel programs of an imperative probabilistic guarded command language (called Probmela) into probabilistic reactive module specifications. The latter serve as basis for the input language of the symbolic MTBDD-based probabilistic model checker PRISM, while Probmela is the modeling language of the model checker LiQuor whic...

Hydrothermal carbonization (HTC) can process anaerobic digestion effluent (ADE) from sewage sludge into hydrochar and liquor. The objective of this study was to assess the effects HTC temperature, time, initial ADE pH on yields properties conducted at different (original ~8.2 modified ~6.8), temperatures (180 260 °C) times (30 70 min) following a central composite design. Hydrochar original ran...

Production of propionic acid by Propionibacterium shermanii CDB 10014 was enhanced by a pH value of 6.5 and by temperatures in the range 35-37 °C. Depending on the type of yeast extract, succinic acid can be produced in higher proportions, with decreasing propionic acid yields. With respect to propionic acid production, Difco yeast extract has shown the best results when yeast extract preparati...

Red maple, sweet gum, trembling aspen, red alder, and Eucalyptus globulus samples were pretreated with dilute sulfuric acid and green liquor before enzymatic saccharification. Substrates showed different levels of delignification and sugar recovery, depending on the applied pretreatments and the syringaldehyde/vanillin ratio (S/V). Three major conclusions were drawn in this research. First, lig...

The Delhi High Court has rejected the petition filed by Bayer Corporation seeking to stop the Drugs Controller of India (DCGI) from registering a generic version of a patented cancer drug. The case was filed in 2008 by Bayer to try and introduce "patent linkage" which involves linking the registration (marketing approval) of drugs with their patent status. If Bayer's plea for "patent linkage" h...

he Technical Association of the Pulp and Paper Industry (TAPPI) sponsored a Paper InT dustry Research Needs workshop at the State University of New York, College of Environmental Science and Forestry in Syracuse, New York, May 26-28,1992, The Pulping and Bleaching Processes Panel identified the major need in kraft black liquor recovery, namely, an affordable, incremental, chemical recovery capa...

Three babies said to have had 'meconium stained liquor' were subsequently found never to have passed meconium. The green discoloured liquor was the result of bilious vomiting in utero secondary to intestinal obstruction.

In this paper, a new series of anion exchange membranes have been produced from linear engineering plastics poly(2,6dimethyl-1,4-phenylene oxide) (PPO) by conducting the processes of bromination, chlomethylization and amination. By using this series of membranes, the runs of sulfuric acid recovery from titanium white waste liquor were experimentally conducted. The effects of some important fact...

Alcohol consumption is a major risk factor for cancers of the mouth and pharynx (oral cancer), but the differential risks by beverage type are unclear. In this 1992-1995 study, the authors examined oral cancer risk in Puerto Rico, comparing alcohol intake among 286 male cases aged 21-79 years and 417 population-based male controls, frequency matched by age. Heavy consumers of liquor (>/=43 drin...