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)

Musculoskeletal symptoms among female garment factory workers in Sri Lanka.

OBJECTIVES: To assess the prevalence of musculoskeletal symptoms and their association with sociodemographic risk factors among female garment factory workers in Sri Lanka. METHODS: 1058 randomly selected female garment factory workers employed in the free trade zone of Kogalla, Sri Lanka were recruited to complete two interviewer-administered questionnaires assessing musculoskeletal symptoms and health behaviors. DISCUSSION: Musculoskeletal complaints among female garment workers in the FTZ of Kogalla are less common than expected. Sociocultural factors may have resulted in underreporting and similarly contribute to the low rates of healthcare utilization by these women. RESULTS: 164 (15.5%) of workers reported musculoskeletal symptoms occurring more than 3 times or lasting a week or more during the previous 12-month period. Back (57.3%) and knee (31.7%) were the most common sites of pain. Although most symptomatic women reported that their problems interfered with work and leisure activities, very few missed work as a result of their pain. Prevalence correlated positively with increased age and industry tenure of less than 12 months. Job type, body mass index, and education were not significant predictors of musculoskeletal symptoms.

What's wrong with factory farming?

© The Author 2014.Factory farming continues to grow around the world as a low-cost way of producing animal products for human consumption. However, many of the practices associated with intensive animal farming have been criticized by public health professionals and animal welfare advocates. The aim of this essay is to raise three independent moral concerns with factory farming, and to explain why the practices associated with factory farming flourish despite the cruelty inflicted on animals and the public health risks imposed on people. I conclude that the costs of factory farming as it is currently practiced far outweigh the benefits, and offer a few suggestions for how to improve the situation for animals and people.

The CO2 microalgae biorefinery: high value products and biofuels using halophilic microalgae in the “D-Factory”

Fuel-only algal systems are not economically feasible because yields are too low and costs too high for producing microalgal biomass compared to using agricultural residues e.g. straw. Biorefineries which integrate biomass conversion processes and equipment to produce fuels, power and chemicals from biomass, offer a solution. The CO2 microalgae biorefinery (D-Factory) is a 10 million Euro FP7-funded project which will cultivate the microalga Dunaliella in highly saline non-potable waters in photobioreactors and open raceways and apply biorefinery concepts and European innovations in biomass processing technologies to develop a basket of compounds from Dunaliella biomass, including the high value nutraceutical, β-carotene, and glycerol. Glycerol now finds markets both as a green chemical intermediate and as a biofuel in CHP applications as a result of novel combustion technology. Driving down costs by recovering the entire biomass of Dunaliella cells from saline cultivation water poses one of the many challenges for the D-Factory because Dunaliella cells are both motile, and do not possess an external cell wall, making them highly susceptible to cell rupture. Controlling expression of desired metabolic pathways to deliver the desired portfolio of compounds flexibly and sustainably to meet market demand is another. The first prototype D-Factory in Europe will be operational in 48 months, and will serve as a robust manifestation of the business case for global investment in algae biorefineries and in large-scale production of microalgae.