A key requirement in the design of diagnostic accuracy studies is that all study participants receive both the test under evaluation and the reference standard test. For a variety of practical and ethical reasons, sometimes only a proportion of patients receive the reference standard, which can bias the accuracy estimates. Numerous methods have been described for correcting this partial verific...

Embedded systems that follow a secure and low-power design methodology are, besides keeping strict design constraints, heavily dependent on comprehensive test and verification procedures. The large set of possible test vectors and the increasing density of System-on-Chip designs call for the introduction of hardware-accelerated techniques to solve the verification time problem. As already descr...

A key requirement in the design of diagnostic accuracy studies is that all study participants receive both the test under evaluation and the reference standard test. For a variety of practical and ethical reasons, sometimes only a proportion of patients receive the reference standard, which can bias the accuracy estimates. Numerous methods have been described for correcting this partial verific...

The damping ratio of chassis suspension is a key parameter for damping matching of in-wheel motor vehicles (IWMVs). Because the motor is attached to the driving wheel, the initial design method of the damping ratio for traditional cars is not entirely suitable for IWMVs. This paper proposes an innovative initial design method of the damping ratio for IWMVs. Firstly, a traveling vibration model ...

Two experiments were conducted to test the hypothesis that motor simulation contributes to the processing of idioms. A semantic interference paradigm was applied. Critically, imageability of idioms was manipulated. Results of the experiments suggested that processing of highly imageable idioms involved motor simulation in both meaning and familiarity verification tasks. However, low-imageable i...

We report on our experience with a new test generation language for processor verification. The verification of two superscalar multiprocessors is described and we show the ease of expressing complex verification tasks. The cost and benefit are demonstrated: training takes up to six months; the simulation time required for a desired level of coverage has decreased by a factor of twenty; the num...

A Geant4 hadronic process verification suite has been designed to test and optimize Geant4 hadronic models in the cascade energy range. It focuses on quantities relevant to the LHC radiation environment and spallation source targets. The general structure of the suite is presented, including the user interface, stages of verification, management of experimental data, event generation, and compa...

We report on our experience with a new test generation language for processor verification. The verification of two superscalar multiprocessors is described and we show the ease of expressing complex verification tasks. The cost and benefit are demonstrated: training takes up to six months; the simulation time required for a desired level of coverage has decreased by a factor of twenty; the num...

This paper addresses the problem of biometric audiovisual person authentication in realistic acquisition conditions. Differences in environmental factors or acquisition devices between enrollment and test conditions modify the verification scores distribution and degrade verification performance if not taken into account. A theoretical framework that incorporates quality measures to biometric a...

In this paper, prosodic information, a very special and important feature of Mandarin speech, is used for Mandarin word verification. A two-stage strategy, with recognition followed by verification, is adopted in word recognition of telephone speech. For word recognition, 94 right context-dependent INITIALs, 37 context-independent FINALs in Mandarin speech and one silence model are used as the ...