This paper presents a novel implementation of memoing evaluation SSW94] by source-to-source transformation. The transformation proceeds in two steps: The rst step consists of magic sets rewriting BR91], a standard transformation in deductive databases, application to Prolog has not been considered yet. The second transformation rewrites bottom-up rules to Prolog clauses. This bottom-up to top-d...

Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax trees in Stratego, a rewriting system extended with ...

We consider the source extraction problem for stereo instantaneous musical mixtures with more than two sources. We prove that usual separation methods based only on spatial diversity have performance limitations when the sources overlap in the time-frequency plane. We propose a new separation scheme combining spatial diversity and structured source priors. We present possible priors based on no...

Background: Miniature neutron sources with high neutron flux have abundant applications in medicine, industry and researches. The most important general characteristic of miniature neutron sources is their diameter which is 3mm in average. In this research, we have surveyed and designed an Am-Be miniature neutron source fabrication. Materials and Methods: This investigation resulted in creation...

Source-to-source translation of programs from one high level language to another has been shown to be an effective aid to programming in many cases. By the use of this approach, it is sometimes possible to produce software more cheaply and reliably. However, the full potential of this technique has not yet been realized. It is proposed to make sourceto-source translation more effective by the u...

To attain the benefits of simultaneous shooting in marine data acquisition, either the simultaneous sources have to be placed far apart to minimize the interferences from one another or sufficient attenuation of the interferences is necessary. Attenuating the interferences in a domain where they are randomly distributed has a potential of attenuating the signals particularly when they have conf...

in this paper, the electrical consumption of a research center building is derived of the bills, then with defining of fuzzy bus thermal coefficient objective function for heating, the amount of available heat selling to research center building consumer that is produced by biomass solar hybrid source is calculated. with the capacity determination of biomass solar hybrid source to provide therm...

according to iranian code of practice for seismic resistant design of buildings standard no. 2800, yazd is located in the place with the medium earthquake hazard [1]. due to the position of yazd with many historical and important buildings, maintaining these traditional heritages is an important task in civil engineering field. on account of these mentioned valuable buildings and region potenti...