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...

uncertainty associated with mixing models is often substantial, but has not yet been fully incorporated in models. the objective of this study is to develop and apply a bayesian-mixing model that estimates probability distributions of source contributions to a mixture associated with multiple sources for assessing the uncertainty estimation in sediment fingerprinting in zidasht catchment, iran....