Controllability and observability problems may manifest themselves during the application of a test or checking sequence in a test architecture where there are multiple remote testers. These problems often require the...
详细信息
Image quality assessment plays an important role in various image-processing applications. In this work, we evaluate image quality criteria based on mean square error, signal to noise error, and quality and structural...
详细信息
Image quality assessment plays an important role in various image-processing applications. In this work, we evaluate image quality criteria based on mean square error, signal to noise error, and quality and structural similarity indices on ultrasound imaging of the carotid artery. These criteria as well as statistical and texture features were computed on 80 images recorded from two different ultrasound scanners before and after despeckle filtering, and after despeckle filtering and normalization. Results showed that image quality was improved after despeckle filtering and normalization for both scanners. This finding is also in agreement with the optical perception evaluation carried out by two vascular experts.
Atherosclerosis is the major cause of heart attack and stroke in the western world. In this paper we present a computerized method for segmenting the athrerosclerotic carotid plaque from ultrasound images. The method ...
详细信息
Atherosclerosis is the major cause of heart attack and stroke in the western world. In this paper we present a computerized method for segmenting the athrerosclerotic carotid plaque from ultrasound images. The method uses the blood flow image first to detect the initial contour of the plaque, and then despeckle filtering and snakes to deform the initial contour for best fit of plaque boundaries. The accuracy and reproducibility of this method was tested using 35 longitudinal ultrasound images of carotid arteries and the results were compared with the manual delineations of an expert. The comparison showed that the computerized method gives satisfactory results with no manual correction needed in most of the cases. The true positive fraction, TPF, true negative fraction, TNF, false negative fraction, FNF and false positive fraction, FPF, were 86.44%, 84.03%, 8.5%, and 7% respectively.
This paper gives an insight into the readiness of Small and Medium Sized Enterprises (SMEs) for accepting e-government services in the UK. We conducted a survey of 128 SMEs, which revealed that there is a moderate dem...
详细信息
This paper gives an insight into the readiness of Small and Medium Sized Enterprises (SMEs) for accepting e-government services in the UK. We conducted a survey of 128 SMEs, which revealed that there is a moderate demand for e-government services, but they were not rated as efficient and essential for SMEs' businesses as conventional services. The proliferation of the UK government's websites, which requires co-ordination between several organisations/multiple sites, and inadequate awareness of such services, do not comply with the common concepts of e-governance and, consequently, have an impact on the SMEs acceptance of e-government services in the UK.
Using the Internet for electronic business has become an area of action for the Australian government. This paper presents research results from two regional areas, which indicate that while most manufacturing SMEs us...
详细信息
The higher-order π-calculus is an extension of the π-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sangiorgi in his thesis where a character...
The higher-order π-calculus is an extension of the π-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sangiorgi in his thesis where a characterisation of a contextual equivalence for higher-order π-calculus is provided using labelled transition systems and normal bisimulations. Unfortunately the proof technique used there requires a restriction of the language to only allow finite types. We revisit this calculus and offer an alternative presentation of the labelled transition system and a novel proof technique which allows us to provide a fully abstract characterisation of contextual equivalence using labelled transitions and bisimulations for higher-order π-calculus with recursive types also.
This paper addresses the issue of selective disclosure of verifiable content. It extends previous work relating to Content Extraction Signatures [21] to implement a more complex structure that encodes a richer, more f...
详细信息
Consider two strings A and B of lengths n and m respectively, with n m. The problem of computing global and local alignments between A and all m2 substrings of B can be solved by the classical Needleman-Wunsch and Smi...
详细信息
A new method based on a multicriteria classification algorithm, which is applied on data extracted from the electrocardiographic signal and the patient's history, is described for the detection of ischaemic episod...
详细信息
A new method based on a multicriteria classification algorithm, which is applied on data extracted from the electrocardiographic signal and the patient's history, is described for the detection of ischaemic episodes in long duration electrocardiographic recordings. The classification procedure is embedded into a four-stage system of automated ischaemia diagnosis. Using a task-specific cardiac beat database the multicriteria method was properly adjusted to classify each presented cardiac beat as ischaemic or normal. The method was tested using the cardiac beat database and we achieved good results, equal or even better than other reported methods, demonstrating the efficiency of the proposed methodology.
暂无评论