We consider the general nonlinear optimization problem in 01 variables and provide an explicit equivalent convex positive semidefinite program in 2 − 1 variables. The optimal values of both problems are identical. From every optimal solution of the former one easily find an optimal solution of the latter and conversely, from every solution of the latter one may construct an optimal solution of ...

We show that the closure of the value set of a real linear recurrence sequence is the union of a countable set and a finite collection of intervals. Conversely, any finite collection of closed intervals is the closure of the value set of some recurrence sequence.

Intersection cuts were introduced by Balas and the corner polyhedron by Gomory. It is a classical result that intersection cuts are valid for the corner polyhedron. In this paper we show that, conversely every nontrivial facet-defining inequality for the corner polyhedron is an intersection cut.

Dependability encompasses diierent classes of system properties, related to security, reliability, or safety. This paper examines the relevance of the security concept of noninterference to safety-related properties, and conversely the applicability of fault-tolerance mechanisms usually applied to provide safety and reliability in the security domain.

The technology of optical coherence tomography (OCT) has evolved from time-domain to frequencydomain imaging. Time-domain OCT is most often performed using proximal balloon occlusion; as such, dimensions are smaller than measured using intravascular ultrasound (IVUS), presumably due to diminished perfusion pressure. Conversely, frequency-domain OCT does not require proximal balloon occlusion, t...

This paper analyzes the problem of checking the integrity of files stored on remote servers. Since servers are prone to successful attacks by malicious hackers, the result of simple integrity checks run on the servers cannot be trusted. Conversely, downloading the files from the server to the verifying host is impractical. Two solutions are proposed, based on challenge-response

For any given order of stochastic dominance, standard concentration curves are decomposed into contribution curves corresponding to within-group inequalities, between-group inequalities, and transvariational inequalities. We prove, for all orders, that contribution curve dominance implies systematically welfare-improving tax reforms and conversely. Accordingly, we point out some undesirable fis...

Would adding instructional elements to minimalist-based instruction increase the rate and retention of learning? Logically, it might be expected that providing learners with additional instructional aids would result in increased learning. Conversely, I found that the additional instructional features actually distracted the learner from the critical instruction, but not significantly. Furtherm...

By adjustment of the electronic properties of the ancilliary ligands, high selectivity can be achieved for either [4 + 2] or [4 + 3] cycloaddition reactions of allene-dienes catalyzed by gold(I). Triarylphosphitegold(I) complexes are employed as catalysts for a [4 + 2] cycloaddition reaction leading to alkylidenecyclohexenes. Conversely, di-tert-butylbiphenylphosphinegold(I)-catalyzed reactions...

Kock, A. and I. Moerdijk, Every &endue comes from a local equivalence relation, Journal of Pure and Applied Algebra 82 (1992) 155-174. We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an &endue topos. Our main result is that conversely, every &endue can be obtained in this way.