Several types of weighted-automata models and formalisms to specify and verify constraints on accumulated weights have been studied in the past. The lack of monotonicity for weight functions with positive and negative values as well as for ratios of the accumulated values of non-negative weight functions renders many verification problems to be undecidable or computationally hard. Our contribut...

Dear Madam, The P.T. assay, first described in 1935 by Quick et al. soon became the monitoring of oral anticoagulant therapy. The P.T. measures the affect of reduction in the Vit. K dependent coagulant factors II, VII and X. Because the Prothrombin Time Ratio (P.T.R.) is markedly affected by the activity of thromboplastin, the W. It helps to determine the intensity of anti-coagulation therapy b...

In order to test the hypothesis suggested in a recent report that the birthweight ratio might be a useful predictor of several important clinical outcome measures in babies of less than 31 weeks' gestation, we examined the association between the birthweight ratio and aspects of both short and long term outcome in 436 Leeds babies of less than 31 weeks' gestation. Unlike the report, and contrar...

We propose density-ratio bagging (dragging), a semi-supervised extension of bootstrap aggregation (bagging) method. Additional unlabeled training data are used to calculate the weight on each labeled training point by a density-ratio estimator. The weight is then used to construct a weighted labeled empirical distribution, from which bags of bootstrap samples are drawn. Asymptotically, dragging...

In this paper, we investigate the problem of exploiting global information to improve the performance of SVMs on large scale classification problems. We first present a unified general framework for the existing min-max machine methods in terms of within-class dispersions and between-class dispersions. By defining a new within-class dispersion measure, we then propose a novel max-margin ratio m...

Introduction. In my note on A 5 curve theorem generalizing the theorem of Carnot, I introduced the notion of curve cross ratio. This extension of the ordinary cross ratio is the simplest situationally invariant (3.4) case of the generalized or hypersurface cross ratio of n + l pairs of hypersurfaces in w-space which is the subject of the following lines. The generalized cross ratio is a t the s...

In a seminal paper of Charikar et al. on the smallest grammar problem, the authors derive upper and lower bounds on the approximation ratios for several grammar-based compressors. Here we improve the lower bound for the famous RePair algorithm from Ω( √ log n) to Ω(log n/ log log n). The family of words used in our proof is defined over a binary alphabet, while the lower bound from Charikar et ...

We link the reverse KL divergence with adversarial learning. This insight enables learning to synthesize realistic samples in two settings: (i) Given a set of samples from the true distribution, an adversarially learned likelihood-ratio and a new entropy bound are used to learn a GAN model, that improves synthesized sample quality relative to previous GAN variants. (ii) Given an unnormalized di...

Isotope Ratio Mass Spectrometry (IRMS) is a specialized technique used to provide information about the geographic, chemical, and biological origins of substances. The ability to determine the source of an organic substance stems from the relative isotopic abundances of the elements which comprise the material. Because the isotope ratios of elements such as carbon, hydrogen, oxygen, sulfur, and...