199 research outputs found
InfluĂȘncia da suspensĂŁo na segurança e no conforto de um pulverizador autopropelido
Sexual reproduction in freshwater fairy shrimp, Dendrocephalus brasiliensis (Pesta, 1921) inferred by Amplified Fragment Length Polymorphism markers
Toxoplasmosis serology: an efficient hemagglutination procedure to detect IgG and IgM antibodies
In search of an efficient but simple, low cost procedure for the serodiagnosis of Toxoplasmosis, especially suited for routine laboratories facing technical and budget limitations as in less developed countries, the diagnostic capability of HematoxoÂź , an hemagglutination test for toxoplasmosis, was evaluated in relation to a battery of tests including IgG- and IgM-immunofluorescence tests, hemagglutination and an IgM-capture enzymatic assay. Detecting a little as 5 I.U. of IgG antitoxoplasma antibodies, HematoxoÂź showed a straight agreement as to reactivity and non-reactivity for the 443 non-reactive and the 387 reactive serum samples, included in this study. In 23 cases presenting a serological pattern of acute toxoplasmosis and showing IgM antibodies, HematoxoÂź could detect IgM antibodies in 18, indicated by negativation or a significant decrease in titers as a result of treating samples with 2-mercapto-ethanol. However, a neat increase in sensitivity for IgM specific antibodies could be achieved by previously removing IgG from the sample, as demonstrated in a series of acute toxoplasmosis sera. A simple procedure was developed for this purpose, by reconstituting a lyophilized suspension of Protein A - rich Staphylococcus with the lowest serum dilution to be tested. Of low cost and easy to perform, HematoxoÂź affords not only a practical qualitative procedure for screening reactors and non-reactors, as in prenatal services, but also quantitative assays that permit to titrate antibodies as well as to identify IgM antibodies
PARASITOIDES (HYMENOPTERA) DE MOSCAS-DAS-FRUTAS (DIPTERA: TEPHRITIDAE) NO SEMIĂRIDO DO ESTADO DO CEARĂ, BRASIL
Dissimilaridade genĂ©tica entre genĂłtipos de trigo avaliados em cultivo hidropĂŽnico sob estresse por alumĂnio
The Strategy Challenge in SMT Solving
Abstract. High-performance SMT solvers contain many tightly integrated, hand-crafted heuristic combinations of algorithmic proof methods. While these heuristic combinations tend to be highly tuned for known classes of problems, they may easily perform badly on classes of problems not anticipated by solver developers. This issue is becoming increasingly pressing as SMT solvers begin to gain the attention of practitioners in diverse areas of science and engineering. We present a challenge to the SMT community: to develop methods through which users can exert strategic control over core heuristic aspects of SMT solvers. We present evidence that the adaptation of ideas of strategy prevalent both within the Argonne and LCF theorem proving paradigms can go a long way towards realizing this goal. Prologue. Bill McCune, Kindness and Strategy, by Grant Passmore I would like to tell a short story about Bill, of how I met him, and one way his work and kindness impacted my life
MĂ©todo fluorescente (diacetato de fluoresceĂna e brometo de etĂdeo) para o estudo da viabilidade de Cryptococcus neoformans em lĂquor
Crescimento e nutrição mineral de Eucalyptus maculata e Eucalyptus urophylla em solução nutritiva com concentração crescente de cobre
- âŠ