A post-placement side-effect removal algorithm

Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance. This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the state-changing part in a suitable location in a transformed version of the program. This creates a program which is semantically equivalent to the original but guaranteed to be free from side-effects. The paper also reports the results of an empirical study which demonstrates that the application of the algorithm causes a significant improvement in program comprehension

Towards Effective Codebookless Model for Image Classification

The bag-of-features (BoF) model for image classification has been thoroughly studied over the last decade. Different from the widely used BoF methods which modeled images with a pre-trained codebook, the alternative codebook free image modeling method, which we call Codebookless Model (CLM), attracted little attention. In this paper, we present an effective CLM that represents an image with a single Gaussian for classification. By embedding Gaussian manifold into a vector space, we show that the simple incorporation of our CLM into a linear classifier achieves very competitive accuracy compared with state-of-the-art BoF methods (e.g., Fisher Vector). Since our CLM lies in a high dimensional Riemannian manifold, we further propose a joint learning method of low-rank transformation with support vector machine (SVM) classifier on the Gaussian manifold, in order to reduce computational and storage cost. To study and alleviate the side effect of background clutter on our CLM, we also present a simple yet effective partial background removal method based on saliency detection. Experiments are extensively conducted on eight widely used databases to demonstrate the effectiveness and efficiency of our CLM method

Review of mycotoxin reduction in food and feed: from prevention in the field to detoxification by adsorption or transformation

Mycotoxins are secondary metabolites present worldwide in agricultural commodities and produced by filamentous fungi that cause a toxic response (mycotoxicosis) when ingested by animals. Prevention of mycotoxicoses includes pre- and post-harvest strategies. The best way to reduce the mycotoxin content in food and feed is the prevention of mycotoxin formation in the field, but this is often not sufficient, so other methods are needed. To decontaminate and/or detoxify mycotoxin-contaminated food and feed, the most prevalent approach in the feed industry is the inclusion of sorbent materials in the feed thus obtaining more or less selective removal of toxins by adsorption during passage through the gastrointestinal tract. Another reliable approach is to add enzymes or microorganisms capable of detoxifying some mycotoxins. Through a comprehensive review of published reports on the strategies for mycotoxin removal, this present work aims to update our understanding of mycotoxin removal. It provides an insight into the detoxification of mycotoxin present in food and feed. In the future, more emphasis needs to be placed on adsorption of mycotoxins in the gastrointestinal tract. Concerning the enzymatic transformation of mycotoxins, further efforts are required in understanding detoxification reactions, the toxicity of transformation products and in the characterization of enzymes responsible for transformations

On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

We prove that the Tiden and Arnborg algorithm for equational unification modulo one-sided distributivity is not polynomial time bounded as previously thought. A set of counterexamples is developed that demonstrates that the algorithm goes through exponentially many steps.Comment: In Proceedings UNIF 2010, arXiv:1012.455

A critical review of the formation of mono- and dicarboxylated metabolic intermediates of alkylphenol polyethoxylates during wastewater treatment and their environmental significance

This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2010 Taylor & Francis.Alkylphenoxyacetic acids, the metabolic biodegradation products of alkylphenol ethoxylates, are commonly found in wastewaters and sewage effluents. These persistent hydrophilic derivatives possess intrinsic estrogenic activity, which can mimic natural hormones. Their concentrations increase through the sewage treatment works as a result of biodegradation and biotransformation, and when discharged can disrupt endocrine function in fish. These acidic metabolites represent the dominant alkylphenolic compounds found in wastewater effluent and their presence is cause for concern as, potentially, through further biotransformation and biodegradation, they can act as sources of nonylphenol, which is toxic and estrogenic. The authors aim to assess the mechanisms of formation as well as elimination of alkylphenoxyacetic acids within conventional sewage treatment works with the emphasis on the activated sludge process. In addition, they evaluate the various factors influencing their degradation and formation in laboratory scale and full-scale systems. The environmental implications of these compounds are considered, as is the need for tertiary treatment processes for their removal

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted