The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a user. The system parameters are typically used to minimise the execution time. However, by the coupling of a performance model with an application, system parameters can be determined without user intervention. In the ...

Many program veriication, testing and performance prediction techniques rely on analysis of statically-identiied control-ow paths. However, some such paths may be semantically`dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for ...

Saccade planning requires a geometric transformation between the retinal stimulus position and the desired motor plan to acquire the target. This reference frame transformation problem has, however, never been considered for velocity signals. Therefore we asked whether a separate 3D visuomotor transformation of velocity signals was theoretically required by modeling the underlying geometry. We ...

In this two-part paper, the impact of level-II Weather Surveillance Radar-1988 Doppler (WSR-88D) radar reflectivity and radial velocity data on the prediction of a cluster of tornadic thunderstorms in the Advanced Regional Prediction System (ARPS) model is studied. Radar reflectivity data are used primarily in a cloud analysis procedure that retrieves the amount of hydrometeors and adjusts in-c...

This paper provides results regarding keystroke savings and text composition time from a long-term evaluation of a Swedish word prediction program. The evaluation was carried out as a single-case pilot study for one participant with dyslexia and no motor disabilities. During 13 months of training, during which a speech synthesis facility was introduced, his performance was shown to improve both...

Given the increasing number of available genomic sequences, one now faces the task of identifying their functional parts, like the protein coding regions. The gene prediction problem can be addressed in several ways. One of the most promising methods makes use of similarity information between the genomic DNA and previously annotated sequences (proteins, cDNAs and ESTs). Recently, given the hug...

Abstract. Given the number of available genomic DNA, one now faces the task of identifying the functional parts of such raw sequence data, like the protein-coding regions. The gene prediction problem can be addressed in several ways. The most recently methods make use of the similarities between regions of two unannotated genomic sequences in order to find their genes. In this paper we present ...

The performance prediction of axial flow compressors at different speeds and under various pressure ratio conditions are still being developed because of costly empirical experiments. One-dimensional modeling is a simple, fast and accurate method for performance prediction in any type of compressor with different geometries. In this approach, inlet flow conditions and compressor geometry are kn...

This paper presents a new methodology for complete solution of general shape deep drawn parts. Evaluation of forming severity, estimation of the punch load and prediction of the thickness variation are the major results obtained in this work. The punch work is the summation of the homogenous work of flange deformation and bending and frictional works. To evaluate the strain energy of the flange...

conclusion the myocardial grayscale intensity, velocity and displacement can effectively reflect the situation of steiri in patients after cardiac operation, and ti (cvi) has a higher performance in discriminating between patients with and without steiri. background the timely diagnosis of presence or absence of reperfusion injury after cardiac operation is critical for the patient’s outcome. w...