Semantic labeling is a transformation technique for proving the termination of rewrite systems. The semantic part is given by a quasi-model of the rewrite rules. In this paper we present a variant of semantic labeling in which the quasi-model condition is only demanded for the usable rules induced by the labeling. Our variant is less powerful in theory but maybe more useful in practice.

This paper addresses the problem of learning control policies in very high dimensional state spaces. We propose a linear dimensionality reduction algorithm that discovers predictive projections: projections in which accurate predictions of future states can be made using simple nearest neighbor style learning. The goal of this work is to extend the reach of existing reinforcement learning algor...

Testing (conditional) independence of multivariate random variables is a task central to statistical inference and modelling in general though unfortunately one for which to date there does not exist a practicable workflow. State-of-art workflows suffer from the need for heuristic or subjective manual choices, high computational complexity, or strong parametric assumptions. We address these pro...

In this paper, photovoltaic (PV) grid-connected inverter which is the core device in PV grid-connected system has been in depth research.An improved predictive current controller has been developed by the Authors for single-phase grid-connected voltage source inverters (VSI).Based on DSP TMS320LF2407A, a 10 kW single-phase grid-connected inverter has been built in this paper.Thus is aimed at us...

Application of data mining methods as a decision support system has a great benefit to predict survival of new patients. It also has a great potential for health researchers to investigate the relationship between risk factors and cancer survival. But due to the imbalanced nature of datasets associated with breast cancer survival, the accuracy of survival prognosis models is a challenging issue...

Background: Health is a state of complete physical, mental and social well-being and not merely the absence of disease or infirmity. Social, economic and cultural factors are main effective factors on person’s health. As university students are the spiritual resources of each society and the future manufacturers of their own country, the present study aimed to determine the predictive factors f...

Background: Diagnosis of anemia is challenging in resource-poor settings due to inadequate laboratory resources. This study assessed the validity of the Tallquist haemoglobinometer in assessing anemia among pregnant women in Osogbo, Southwestern Nigeria.   Methods: This was a cross -   sectional study, in which 200 pregnant women of reproductive age were selected using multist...