Often, theorem checkers like PVS are used to check an existing proof, which is part of some document. Since there is a large diierence between the notations used in the documents and the notations used in the theorem checkers, it is usually a laborious task to convert an existing proof into a format which can be checked by a machine. In the system that we propose, the author is assisted in the ...

Organic wastes are extensively increasing with increased human populations, intensive agriculture and industrialization. The disposal of wastes has become important for a healthy quality of environment. In this regard recycling of utilizable organic wastes is feasible. The recycling of wastes through vermicomposting reduces problems of disposal of organic wastes. Vermicomposting, a novel techni...

The potential infectivity of 1129 randomly selected plasma specimens was directly assayed by hepatitis B virus (HBV) DNA dot-hybridization. Presence or absence of HBV was then correlated with a biochemical profile of 20 common analytes obtained on these same specimens. We found that potentially infectious specimens could not be identified on the basis of any combination of simple biochemical te...

Disposal of metal finishing wastes is one of the most critical industrial waste problems in the United States today. Recent legislation greatly restricts the discharge of most heavy metals to watercourses and future discharge regulations may further restrict their release to the environment. Furthermore, interest in developing possible methods for reclaiming metals from plating waste streams is...

Introduction During this research project, we attempted to identify and overcome barriers and resistance to the establishment of organic waste (leaf and yard waste and food waste) collection and diversion programs within public and private institutions in the region that generate large amounts of organic wastes. As only 2.4% of food waste (EPA 1997) is recovered or recycled, there is 97.6% of f...

Navigation is one of the most critical aspects of browsing pages in the World Wide Web. Users spend a significant amount of time moving from page to page in search of the desired information. The poor usability of Web pages and lack of good navigation tools wastes user time, increases the Internet traffic, and contributes to the user's frustration. This research studies and evaluates three page...

BACKGROUND Improper treatment of infectious waste can cause numerous adverse environmental and health effects such as transmission of diseases through health personnel and other susceptible groups,who come in contact with such wastes. On the other hand, selection of appropriate treatment alternatives in infectious waste management has become a challenging task for public health authorities espe...

Why recycle? The most commonly stated reason for recycling is to reduce burdens associated with the disposal of our never-ending stream of wastes. Waste disposal potentially causes air and water pollution and is costly; moreover, landfi lls compete with other land uses. In addition, recycling can extend our supply of materials to alleviate scarcity and to moderate rising prices of raw materials...

Biomass from a full-scale anaerobic digester treating nitrogen-rich wastes was characterized by methanogenic batch activity assays at different ammonia concentrations. SAO was demonstrated by isotopic C fractionation of biogas components, at 3 – 6 gN-TAN. Microbial inhibition was found at 6 gN-TAN both in the acetate consumption rate and by genetic expression studies. Several homoacetogenic eub...

A potentially-economic three-fold strategy, to use solid olive wastes in water purification, is presented. Firstly, oil remaining in solid waste (higher than 5% of waste) was recovered by the Soxhlet extraction technique, which can be useful for the soap industry. Secondly, the remaining solid was processed to yield relatively high-surface area active carbon (AC). Thirdly, the resulting carbon ...