Carlos E. Ortiz

Learn More
We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order formula) which, on the one hand, captures uniform circuit classes such as AC 0 and TC 0 over arithmetic models, namely, finite structures with linear order and arithmetic relations, and, on(More)
We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order formula) which, on the one hand, captures uniform circuit classes such as AC 0 and TC 0 over arithmetic models , namely, finite structures with linear order and arithmetic relations, and, on(More)
We present a second order logic of proportional quantifiers, SOLP, which is essentially a first order language extended with quantifiers that act upon second order variables of a given arity r, and count the fraction of elements in a subset of r–tuples of a model that satisfy a formula. Our logic is capable of expressing proportional versions of different(More)
The Muller F element (4.2 Mb, ~80 protein-coding genes) is an unusual autosome of Drosophila melanogaster; it is mostly heterochromatic with a low recombination rate. To investigate how these properties impact the evolution of repeats and genes, we manually improved the sequence and annotated the genes on the D. erecta, D. mojavensis, and D. grimshawi F(More)
We formulate a formal syntax of approximate formulas for the logic with counting quantifiers, SOLP, studied by us in [1], where we showed the following facts: (i) In the presence of a built–in (linear) order, SOLP can describe NP–complete problems and fragments of it capture classes like P and NL; (ii) weakening the ordering relation to an almost order (in(More)
We present a second order logic of proportional quantifiers, , which is essentially a first order language extended with quantifiers that act upon second order variables of a given arity r, and count the fraction of elements in a subset of r– tuples of a model that satisfy a formula. Our logic is capable of expressing proportional versions of different(More)
The first order logic Ring(0, +, * , <) for finite residue class rings with order is presented, and extensions of this logic with generalized quantifiers are given. It is shown that this logic and its extensions capture DLOGT IM E-uniform circuit complexity classes ranging from AC 0 to T C 0. Separability results are obtained for the hierarchy of these(More)
From an epidemiologic point of view, right-sided infective endocarditis (RSIE) affects different types of patients: intravenous drug users (IDUs), cardiac device carriers (pacemakers and implantable automatic defibrillators), and the "3 noes" endocarditis group: no left-sided, no IDUs, no cardiac devices. Our objective is to describe and compare the(More)
OBJECTIVE To evaluate the efficacy and safety of pemetrexed, carboplatin and bevacizumab (PCB) followed by maintenance therapy with pemetrexed and bevacizumab (PB) in chemotherapy-naïve patients with stage IV non-squamous non-small cell lung cancer (NSCLC) through the influence of thymidylate synthase (TS) protein and mRNA expression on several outcomes.(More)
Separations among the first order logic Ring(0, +, *) of finite residue class rings, its extensions with generalized quantifiers, and in the presence of a built-in order are shown, using algebraic methods from class field theory. These methods include classification of spectra of sentences over finite residue classes as systems of congruences, and the study(More)