maintaining only frequent itemsets to mine approximate frequent itemsets over online data streams

IEEE

Inspection Methods in Programming

The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses on the routine aspects of programming which involve the application of previous experience with similar programs. I call this programming by inspection. Programming is viewed here as a kind of engineering activity. Analysis and synthesis by inspection area prominent part of expert problem solving in many other engineering disciplines, such as electrical and mechanical engineering. The notion of inspections methods in programming developed in this work is motivated by similar notions in other areas of engineering. This work is also motivated by current practical concerns in the area of software engineering. The inadequacy of current programming technology is universally recognized. Part of the solution to this problem will be to increase the level of automation in programming. I believe that the next major step in the evolution of more automated programming will be interactive systems which provide a mixture of partially automated program analysis, synthesis and verification. One such system being developed at MIT, called the programmer's apprentice, is the immediate intended application of this work. This report concentrates on the knowledge are of the programmer's apprentice, which is the form of a taxonomy of commonly used algorithms and data structures. To the extent that a programmer is able to construct and manipulate programs in terms of the forms in such a taxonomy, he may relieve himself of many details and generally raise the conceptual level of his interaction with the system, as compared with present day programming environments. Also, since it is practical to expand a great deal of effort pre-analyzing the entries in a library, the difficulty of verifying the correctness of programs constructed this way is correspondingly reduced. The feasibility of this approach is demonstrated by the design of an initial library of common techniques for manipulating symbolic data. This document also reports on the further development of a formalism called the plan calculus for specifying computations in a programming language independent manner. This formalism combines both data and control abstraction in a uniform framework that has facilities for representing multiple points of view and side effects.

Review of inspection techniques based on the elastic and inelastic scattering of X-rays and their potential in the food and agricultural industry

C.R. Bull, R. Zwiggelaar and R.D. Speller, 'Review of inspection techniques based on the elastic and inelastic scattering of X-rays and their potential in the food and agricultural industry', Journal of Food Engineering 33 (1-2), 167-179 (1997)

Inspection of teats by colour image analysis for automatic milking systems

C.R. Bull, N.J.B. McFarlane, R. Zwiggelaar, C.J. Allen and T.T. Mottram, 'Inspection of teats by colour image analysis for automatic milking systems', Computers and Electronics in Agriculture 15 (1), 15-26 (1996)

Radium and barium removal through blending hydraulic fracturing fluids with acid mine drainage.

Wastewaters generated during hydraulic fracturing of the Marcellus Shale typically contain high concentrations of salts, naturally occurring radioactive material (NORM), and metals, such as barium, that pose environmental and public health risks upon inadequate treatment and disposal. In addition, fresh water scarcity in dry regions or during periods of drought could limit shale gas development. This paper explores the possibility of using alternative water sources and their impact on NORM levels through blending acid mine drainage (AMD) effluent with recycled hydraulic fracturing flowback fluids (HFFFs). We conducted a series of laboratory experiments in which the chemistry and NORM of different mix proportions of AMD and HFFF were examined after reacting for 48 h. The experimental data combined with geochemical modeling and X-ray diffraction analysis suggest that several ions, including sulfate, iron, barium, strontium, and a large portion of radium (60-100%), precipitated into newly formed solids composed mainly of Sr barite within the first ∼ 10 h of mixing. The results imply that blending AMD and HFFF could be an effective management practice for both remediation of the high NORM in the Marcellus HFFF wastewater and beneficial utilization of AMD that is currently contaminating waterways in northeastern U.S.A.