OBJECTIVE To validate the Archimedes model of diabetes and its complications for a variety of populations, organ systems, treatments, and outcomes. RESEARCH DESIGN AND METHODS We simulated a variety of randomized controlled trials by repeating in the model the steps taken for the real trials and comparing the results calculated by the model with the results of the trial. Eighteen trials were ...

XML syntax and semantic validations are critical to the correct service transaction specification and service integration based on existing distributed and heterogeneous computing services. Current industry practice of XSLT-based Schematron validation may produce invalid results, and contributes a reusable XML validator component that supports sound integrated syntax/semantic validations and ev...

In the software measurement validations, assessing the validation of software metrics in software engineering is a very difficult task due to lack of theoretical methodology and empirical methodology [41, 44, 45]. During recent years, there have been a number of researchers addressing the issue of validating software metrics. At present, software metrics are validated theoretically using proper...

The fully nonlinear and weakly dispersive Green-Naghdi equations for shallow water waves of large amplitude is studied. An hybrid finite volume and finite difference splitting approach is proposed. Numerical validations are then performed in one horizontal dimension.

We introduce the Sync-Phase technique for software transactional memory. Time is divided into two different alternating phases: computation phases and commit (synchronization) phases. Transactions are only allowed to commit during a commit phase, which allows execution without validation (or the need for cache synchronization) during computation phases. Phases can be determined through time or ...