In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
This poster will outline the Digitisation Strategy Toolkit created as part of the LIFE-SHARE project. The toolkit is based on the lifecycle model created by the LIFE project and ex...
Beccy Shipman, Matthew Herring, Ned Potter, Bo Mid...
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
Brian F. Gore, Becky L. Hooey, Nancy Haan, Deborah...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Due to the diversity of different wipe effects, wipe transition is considered complex and difficult to detect. This paper identifies two common characteristics of different wipes,...