Feng, X Parnas, DL Tse, TH O'Callaghan, T,
Tabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This pape...
complete descriptionhttp://hdl.handle.net/10722/123859
Hua, Xia, Ph. D. Massachusetts Institute of Technology,
Abstract In polynomial regression ... . In this thesis, I developed a residual based test, the turning point test for residuals, which tests the hypothesis that the kth order polynomial regression hol...
complete descriptionhttp://hdl.handle.net/1721.1/60192
Guo, Qiang,
Software needs to be adequately tested in order to increase the confidence that the system being developed is reliable. However, testing is a complicated and expensive process. Formal specification ba...
complete descriptionhttp://bura.brunel.ac.uk/handle/2438/3064
Voutsina, Chronoula, Ismail, Qaimah,
The paper discusses issues related to the identification of children with extreme difficulties in arithmetic who are regarded as potentially having dyscalculia. We present cases of 7 year old children...
complete descriptionRichard C. Atkinson and Saul Geiser,
Standardized testing for college admissions has grown exponentially since the first administration of the old “College Boards” in 1901. This paper surveys major developments since then: the introducti...
complete descriptionhttp://www.escholarship.org/uc/item/49z7127p
Baran, I., Kuhn, M., Claessens, S. J., Featherstone, W. E., Holmes, S. A., Vaníček, P.,
A synthetic [simulated] Earth gravity model (SEGM) of the geoid, gravity and topography has been constructed over Australia specifically for validating regional gravimetric geoid determination theorie...
complete descriptionhttp://hdl.handle.net/1882/25919
Feng, Man Yu.,
This thesis introduces an automated grader for Java(TM) programs called GUIGrader that allows students a degree of flexibility in graphical user interface (GUI) design. A previously published solution...
complete descriptionhttp://hdl.handle.net/1882/43641
Bartlett, J. M. S., Starczynski, J., Atkey, N., Kay, E., O'Grady, A., Gandy, M., Ibrahim, M., Jasani...
These guidelines supplement existing guidelines on HER2 testing by immunohistochemistry and in-situ hybridisation(ISH) methods in the UK. They provide a specific focus on aspects of guidance relevant ...
complete descriptionhttp://hdl.handle.net/10147/229951
Kleibergen, F.R., Dijk, H.K. van, Urbain, J-P.,
The effect which the oil price time series has on the long run properties of Vector AutoRegressive (VAR) models for price levels and import demand is investigated. As the oil price variable is assumed...
complete descriptionhttp://hdl.handle.net/1765/11328
Rabbi, Mahir Haroon,
Nucleic acids are subjected to many different mechanical loadings inside. These loadings could cause large deformations and conformational changes to these molecules. This is why the mechanical pro...
complete descriptionhttp://hdl.handle.net/10161/3118