Learn More
Starting point of our work is a previous paper by Flarup, Koiran, and Lyaudet [5]. There the expressive power of certain families of polynomials is investigated. Among other things it is shown that polynomials arising as permanents of bounded tree-width matrices have the same expressiveness as polynomials given via arithmetic formulas. A natural question is(More)
Elevated blood levels of apolipoprotein(a), the component of lipoprotein(a) that distinguishes it from low density lipoprotein, are a major risk factor for atherosclerosis. The apolipoprotein(a) gene is highly similar to the plasminogen gene and to at least four other genes or pseudogenes. The 5' untranslated and flanking sequences of these six genes(More)
The lipoprotein Lp(a), a major inherited risk factor for atherosclerosis, consists of a low density lipoprotein-like particle containing apolipoprotein B-100 plus the distinguishing component apolipoprotein(a) (apo(a)). Human apo(a) contains highly repeated domains related to plasminogen kringle four plus single kringle five and protease-like domains.(More)
We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [11], [10]). More precisely, based on a real analogue of Fagin’s theorem [11] we deal with two classes MAX-NPR and MIN-NPR of maximization and minimization(More)