Total: 1000, showing 61 - 70. Order by Relevance · Date · Visits · Title
results per page: 10 · 25 · 50
Submited: any time · last month · last 6 months · last year

61. A comparison of tabular expression-based testing strategies

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 description

62. Testing regression models with residuals as data by Xia Hua.

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 description

63. Improving fault coverage and minimising the cost of fault identification when testing from finite state machines

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 description

64. Issues in identifying children with specific arithmetic difficulties through standardised testing: a critical discussion of different cases

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 description

65. Reflections on a Century of College Admissions Tests

Richard 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 description

66. A synthetic Earth gravity model designed specifically for testing regional gravimetric geoid determination algorithms

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 description

67. An approach for automated grading of Java GUI-based student programs.

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 description

68. HER2 testing in the UK: recommendations for breast and gastric in-situ hybridisation methods

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 description

69. A cointegration study of aggregate imports using likelihood based testing principles

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 description

70. Nanomechanics of Nucleic Acid Structures Investigated with AFM Based Force Spectroscopy

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 description

About

libsearch.com is a federated search engine harvesting 368 digital libraries and institutional repositories. We are currently providing access to 3,203,198 documents and our index is updated on a daily basis.


Site powered by:    
Open Archive Engine