This paper discusses the problem of single-channel speech enhancement in variable noise-level environment. Commonly used, singlechannel subtractive-type speech enhancement algorithms always assume that the background noise level is fixed or slowly varying. In fact, the background noise level may vary quickly. This condition usually results in wrong speech/noise detection and wrong speech enhanc...

the late detection of the kick (the entrance of underground fluids into oil wells) leads to oil wellblowouts. it causes human life loss and imposes a great deal of expenses on the petroleum industry.this paper presents the application of adaptive neuro-fuzzy inference system designed for an earlierkick detection using measurable drilling parameters. in order to generate the initial fuzzy infere...

Various strategies employed in genomic DNA cloning by subtractive hybridization have been examined by computer simulations, with the comparison between the predictions and the published results. The result shows that the efficiency of target sequence enrichment and the sensitivity to experimental conditions depend strongly on the enrichment strategy employed. The strategy selecting only tester/...

The effect of different kinds of weight normalization on the outcome of a simple competitive learning rule is analysed. It is shown that there are important differences in the representation formed depending on whether the constraint is enforced by dividing each weight by the same amount (“divisive enforcement”), or subtracting a fixed amount from each weight (“subtractive enforcement”). For th...

Prediction of cutting forces is very important for the design of cutting tools and for process planning. This paper presents a fuzzy modelling method of cutting forces based on subtractive clustering. The subtractive clustering combined with the least-square algorithm identifies the fuzzy prediction model directly from the information obtained from the sensors. In the micro-milling experimental...

: Answering a question by Honsell and Plotkin, we show that there are two equations between λ-terms, the so-called subtractive equations, consistent with λ-calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of λ-calculus, by studying the connection between the noti...