A novel general method for constructing nonparametric hypotheses tests based on the field of symbolic analysis is introduced in this paper. Several existing entropy that have been used testing central several branches science (particularly economics and statistics) are particular cases approach. This family uses few assumptions, which increases applicability any symbolic-based test. Additionall...

In this review, we present an overview of the main aspects related to statistical evaluation medical tests for diagnosis and prognosis. Measures diagnostic performance binary tests, such as sensitivity, specificity, predictive values, are introduced, extensions case continuous-outcome detailed. Special focus is placed on receiver operating characteristic (ROC) curve its estimation, with emphasi...

We present a novel approach for solving the probabilistic bounded reachability problem of hybrid systems with parameter uncertainty. Standard approaches to this problem require numerical solutions for large optimization problems, and become unfeasible for systems involving nonlinear dynamics over the reals. Our approach combines randomized sampling of probabilistic system parameters, SMT-based ...