We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Abstract. Perfusion data characterize the regional blood flow in human tissue. For each voxel, a time-intensity curve (TIC) represents the enhancement of a contrast agent (CA). Par...
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...