Static analyses based on typestates are important in certifying correctness of code contracts. Such rely Deterministic Finite Automata (DFAs) to specify properties an object. We target the analysis contracts low-latency environments, where many useful impractical codify as DFAs and/or size their associated leads sub-par performance. To address this bottleneck, we present a lightweight compositi...

monitoring and controlling air quality parameters form an important subject of atmospheric and environmental research today due to the health impacts caused by the different pollutants present in the urban areas. the support vector machine (svm), as a supervised learning analysis method, is considered an effective statistical tool for the prediction and analysis of air quality. the work present...

this paper aims to propose an effective paroxysmal atrial fibrillation (paf) predictor which is based on the analysis of the heart rate variability (hrv) signal. predicting the onset of paf, based on non-invasive techniques, is clinically important and can be invaluable in order to avoid useless therapeutic intervention and to minimize the risks for the patients. this method consists of four st...

In high dynamic conditions, using vector tracking loops instead of scalar tracking loops in GPS receivers is proved as an efficient method to compensate the performance. The Minimum Mean Squared Error detector as a multiuser detector is applied in the vector tracking loop for more reliability and efficiency. The Kalman filter does the two tasks of tracking and extracting the navigation data aft...

In our previous paper [International Journal of Theoretical Physics, 41 (2002), 1165-1190] we have shown, following the tradition of synthetic differential geometry, that div and rot are uniquely determined, so long as we require that the divergence theorem and the Stokes theorem should hold on the infinitesimal level. In this paper we will simplify the discussion considerably in terms of diffe...