Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed ...

The contamination of melamine was evaluated in 69 infants along with follow up formula samples collected from the market for the first time in Iran using HPLC method. Since there are no previous data concerning the contamination level of melamine in all brands of infant formula samples consumed using the HPLC method in Iran, this study is the first investigation in this regard. Our results show...

The principles of Ultrasonic Computed Tomography (UCT) are reviewed in this paper. The UCT is a powerful nondestructive technique in medicine and recently in industry to reveal an image of a slice of an object or body. The advantage of UCT over other conventional techniques in imaging is that a computed tomogram yields quantitative information about the section of interest. Experimental works o...

Over the past few years considerable research attention has been assigned to extremophiles as sources of extremozymes due to their applicability in industrial processes, and the development of eco-friendly technologies. The establishment of efficient production strategies for heterologous proteins is an empirical process requiring broad background knowledge on available expression systems toget...