We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verifica...

This paper reviews the use of additives to reduce odor and ammonia (NH3) emissions from livestock wastes. Reduction of NH3 volatilization has been shown to be possible, particularly with acidifying and adsorbent additives, and potential exists to develop further practical and cost-effective additives in this area. Masking, disinfecting, and oxidizing agents can provide short-term control of mal...

there has been a great increase in the consumption of various food additives in recent years. the purpose of this study was to identify the incidence of sensitization to food additives by using skin prick test in patients with allergy and to determine the concordance rate between positive skin tests and oral challenge in hypersensitivity to additives. this cross-sectional study included 125 (fe...

The objectives of this experiment were to investigate effects of dietary replacement of maize with bakery by-product (BB) with or without enzyme supplementation on the performance of laying hens and egg quality characteristics. A total number of one hundred and eighty 87-week-old Hy-Line Leghorn hens, with an average laying rate of 56.7±3.8% (late production phase) and 1470±14 g live body weigh...

The hallowed notion that oxidative damage causes aging and that vitamins might preserve our youth is now in doubt

We studied the influence of using different powders and several additives on the shaping process and critical current density of sintered bulk YBa2Cu30x' It was found that all additives used facilitated the shaping process. Silver and most organic additives influenced the critical current density only little, Zinc reduced it to zero, but an ethylenebisstearoylamide compound doubled the critical...

We present a series of definitions and theorems demonstrating how to reduce the requirements for proving system refinements ensuring containment of fair stuttering runs. A primary result of the work is the ability to reduce the requisite proofs on runs of a system of interacting state machines to a set of definitions and checks on single steps of a small number of state machines corresponding t...

Food Poisoning Associated with the Ingestion of Fiddleheads – Quebec 1999. . 165 Waterborne Outbreak of Gastroenteritis Associated with a Contaminated Municipal Water Supply, Walkerton, Ontario, May-June 2000 . . . . . . 170 An Outbreak of Salmonella Enteritidis Linked to Baked Goods from a Local Bakery in Lower Mainland, British Columbia . . . . . . . . . . 173 Accidental Exposure to Smallpox ...

A 40-year-old healthy male employed in a bakery presented with a single lung nodule and underwent investigations to rule out pulmonary carcinoma. Biopsy was positive for yeast cells, which did not match common fungal pathogens. PCR assay of paraffin-embedded tissue and nucleotide sequencing with ribosomal ITS1-ITS2 universal primers revealed the presence of Saccharomyces cerevisiae.