… Javier Esparza … Then, TN contains a computation n = nonln2.., satisfying ¢1U¢2: ni ~ ¢1
for some i _ 0 and nj ~ ¢1 for every j, 0 <_ j < i. If i < 2 k - 1, then this computation satisfies ¢1U2h¢2 …

Soon after HIV was discovered as the cause of AIDS in 1983–1984, there was an expectation
that a preventive vaccine would be rapidly developed. In trying to achieve that goal, three …

Background: there is no longitudinal evidence about the association between the loss of total
appendicular skeletal muscle (TASM) and cytokines. Objective: to investigate whether high …

… There exists an integer A such that XI+J is a semi-positive invariant. By (1), both I and AI+J
are sums of minimal invariants. Since J = (XI+J)−XI, the invariant J is a linear combination of …

… (F, Q, 6, I, F) which differs from an MA only in the nature of J. J is now a function that assigns
to every pair of Q x F a positive boolean formula with Q as set of variables. As in the case of …

… Javier Esparza Mogens Nielsen … Esparza has recently showed that UB is undecidable for
BPP-nets [20]. The result can be trasferred to Basic Parallel Processes. Other branching …

OBJECTIVE The Pima Indians of Arizona have the highest reported prevalences of obesity
and non-insulin-dependent diabetes mellitus (NIDDM). In parallel with abrupt changes in …

OBJECTIVE—Type 2 diabetes and obesity have genetic and environmental determinants.
We studied the effects of different environments on these diseases in Pima Indians in Mexico …

… Esparza, and O. Maler. Reachability analysis of pushdown automata: Application to
model-… J. Esparza and J. Knoop. An automata-theoretic approach to interprocedural dataflow …

: The objective of this study was to estimate the global distribution and regional spread of
different HIV-1 genetic subtypes and circulating recombinant forms (CRFs) in the year 2000. …