Based on a new parametric kernel function, this paper presents a primaldual large-update interior-point algorithm (IPM) for semi-definite optimization (SDO) problems. The new parametric function is neither self-regular function nor the usual logarithmic barrier function. It is strongly convex and possesses some novel analytic properties. We analyse this new parametric kernel function and show t...

Non-parametric tests that deal with two samples include scores tests (such as the Wilcoxon rank sum test, normal scores test, log istic scores test, Cauchy scores test, etc.) and Fisher’s randomization test. B ecause the non-parametric tests generally require a large amount of computational work, there are few studies on small-sample properties, although asymptotic properties with regard to var...

BACKGROUND Early detection of heart failure is essential to effectively reduce related mortality. The quantification of the mechanical properties of the myocardium, a primordial indicator of the viability of the cardiac tissue, is a key element in patient's care. Despite an incremental utilization of multi-parametric magnetic resonance imaging (MRI) for cardiac tissue characteristics and functi...

Software reliability has become more important than ever in recent years, as a wide spectrum of software solutions are being used on various platforms. To this end, runtime monitoring is one of the most promising and feasible solutions for enhancing software reliability. In particular, runtime monitoring of parametric properties (parametric monitoring) has been receiving growing attention for i...

A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. This paper proposes to use Cousot and Cousot’s Cardinal power domain to capture functional dependencies of analysis output on its input and obtain a parametric analysis by parametrizing a non-parametric base analys...

We propose parametric geons as a volumetric description of object components for qualitative object recognition. Parametric geons are seven qualitative shape types deened by parameterized equations which control the size and degree of tapering and bending. The models provide global shape constraints which make model recovery procedures robust against noise and minor variations in object shape. ...

We consider the problem of parametric verification over a class of systems of processes competing for access to shared resources. We suppose the access to the resources to be controlled according to a FIFO-based policy with a possibility of distinguishing low-priority and high-priority resource requests. We propose a model of the concerned systems based on extended automata with queues. Over th...