Buscar
Mostrando ítems 1-10 de 651
Elementary recursive quantifier elimination based on Thom encoding and sign determination
(Elsevier Science, 2017-08)
We describe a new quantifier elimination algorithm for real closed fields based onThom encoding and sign determination. The complexity of this algorithm is elemen-tary recursive and its proof of correctness is completely ...
Elimination of quantifiers of a theory of real closed rings.
(2022-10-09)
Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex in von Neumann regular real closed rings that are divisible-proyectable and sc-regular. In this paper, a local divisibility ...
Quantifier elimination for elementary geometry and elementary affine geometry
(Wiley VCH Verlag, 2012-11)
We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending FO(β≡) and FO(β), respectively, with new function symbols. Here, β ...
Organic acids to eliminate interference by phosphorus in the analysis of silicon by molecular absorption
(Universidad Nacional de Colombia - Sede Medellín - Facultad de Ciencias Agrarias, 2017-05-01)
One of the problems for quantifying the amount of silicon available by molecular absorption is the elimination of chemical interference caused by available phosphorus. The aim of this work was to evaluate different organic ...
Carboxymethylcellulose and psyllium effects in sand output of horses with asymptomatic sand accumulation
(Arquivo Brasileiro Medicina Veterinaria Zootecnia, 2020-09-01)
The aim of this study was to evaluate the effects of Psyllium (PSY) and Carboxymethylcellulose (CMC) administration on fecal elimination of sand in horses with asymptomatic sand accumulations. Eight horses were selected ...
Long-Term Clearance and Biodistribution of Magnetic Nanoparticles Assessed by AC Biosusceptometry
(2022-03-01)
Once administered in an organism, the physiological parameters of magnetic nanoparticles (MNPs) must be addressed, as well as their possible interactions and retention and elimination profiles. Alternating current ...
Ultrasound efficiency in relation to sodium hypochlorite and filtration adsorption in microbial elimination in a water treatment plant
(Brazilian Archives of Biology and Technology, 2005-09-01)
Comparou-se diferentes processos: ultra-som, cloração e filtração/adsorção para eliminação de microrganismos e adequação de outros parâmetros exigidos para água de abastecimento público. Para avaliar a influência de cada ...