884 resultados para fact extraction
Resumo:
Background: The insecticides dichlorvos, paradichlorobenzene and naphthalene have been commonly used to eradicate pest insects from natural history collections. However, it is not known how these chemicals affect the DNA of the specimens in the collections. We thus tested the effect of dichlorvos, paradichlorobenzene and naphthalene on DNA of insects (Musca domestica) by extracting and amplifying DNA from specimens exposed to insecticides in two different concentrations over increasing time intervals. Results: The results clearly show that dichlorvos impedes both extraction and amplification of mitochondrial and nuclear DNA after relatively short time, whereas paradichlorobenzene and naphthalene do not. Conclusion: Collections treated with paradichlorobenzene and naphthalene, are better preserved concerning DNA, than those treated with dichlorvos. Non toxic pest control methods should, however, be preferred due to physical damage of specimens and putative health risks by chemicals.
Resumo:
We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.
Resumo:
In this note I consider the fuI! surplus extraction in an auction with private but possibly correlated values. I show that fuI! extraction in the continuum of types case is not possible in general. Neither is approximate fuI! surplus extraction if the sel!er is budget constrained.
Resumo:
Em anos recentes, surgiram numerosos casos de intoxicação alimentar envolvendo patógenos emergentes. Estes casos levaram a um aumento da preocupação com a preservação dos alimentos minimamente processados e com a segurança alimentar. Este fato está induzindo a pesquisa por inibidores para estes patógenos e fatores para prolongar a vida de prateleira de produtos alimentícios. Entre as novas alternativas na preservação está a utilização de peptídeos antimicrobianos produzidos por bactérias. No presente trabalho uma bactéria identificada como Bacillus amyloliquefaciens LBM 5006 isolada de solos de mata Atlântica de Santa Catarina foi selecionada dentre outros microrganismos e sua capacidade de produzir antimicrobianos foi avaliada. O extrato bruto da cultura do isolado LBM 5006 foi caracterizado, sendo ativo contra importantes bactérias patogênicas e deteriorantes como Listeria monocytogenes, Bacillus cereus, Erwinia carotovora, Escherichia coli, dentre outras. Houve maior produção do antimicrobiano quando a bactéria foi propagada em caldo infusão de cérebro e coração (BHI) a 37o C durante 48 h. Após concentração, a atividade antimicrobiana resistiu ao tratamento com enzimas proteolíticas. A atividade antimicrobiana foi verificada em pHs ácidos, sendo inibida em pH 9 e 10. O extrato foi purificado por meio de cromatografia de gel filtração e extração com butanol. O teste qualitativo de ninidrina, juntamente com a espectroscopia de infravermelho e ultravioleta, feitos com a substância purificada revelou que o antimicrobiano possui natureza protéica. O antimicrobiano apresentou um efeito bacteriostático contra 106 UFC/mL de Listeria monocytogenes na concentração de 25 AU/ml.
Resumo:
An analytical procedure based on manual dynamic headspace solid-phase microextraction (HS-SPME) method and the conventional extraction method by liquid–liquid extraction (LLE), were compared for their effectiveness in the extraction and quantification of volatile compounds from commercial whiskey samples. Seven extraction solvents covering a wide range of polarities and two SPME fibres coatings, has been evaluated. The highest amounts extracted, were achieved using dichloromethane (CH2Cl2) by LLE method (LLECH2Cl2)(LLECH2Cl2) and using a CAR/PDMS fibre (SPMECAR/PDMS) in HS-SPME. Each method was used to determine the responses of 25 analytes from whiskeys and calibration standards, in order to provide sensitivity comparisons between the two methods. Calibration curves were established in a synthetic whiskey and linear correlation coefficient (r ) were greater than 0.9929 for LLECH2Cl2LLECH2Cl2 and 0.9935 for SPMECAR/PDMS, for all target compounds. Recoveries greater than 80% were achieved. For most compounds, precision (expressed by relative standard deviation, R.S.D.) are very good, with R.S.D. values lower than 14.78% for HS-SPME method and than 19.42% for LLE method. The detection limits ranged from 0.13 to 19.03 μg L−1 for SPME procedure and from 0.50 to 12.48 μg L−1 for LLE. A tentative study to estimate the contribution of a specific compound to the aroma of a whiskey, on the basis of their odour activity values (OAV) was made. Ethyl octanoate followed by isoamyl acetate and isobutyl alcohol, were found the most potent odour-active compounds.
Resumo:
This paper reports on the development and optimization of a modified Quick, Easy, Cheap Effective, Rugged and Safe (QuEChERS) based extraction technique coupled with a clean-up dispersive-solid phase extraction (dSPE) as a new, reliable and powerful strategy to enhance the extraction efficiency of free low molecular-weight polyphenols in selected species of dietary vegetables. The process involves two simple steps. First, the homogenized samples are extracted and partitioned using an organic solvent and salt solution. Then, the supernatant is further extracted and cleaned using a dSPE technique. Final clear extracts of vegetables were concentrated under vacuum to near dryness and taken up into initial mobile phase (0.1% formic acid and 20% methanol). The separation and quantification of free low molecular weight polyphenols from the vegetable extracts was achieved by ultrahigh pressure liquid chromatography (UHPLC) equipped with a phodiode array (PDA) detection system and a Trifunctional High Strength Silica capillary analytical column (HSS T3), specially designed for polar compounds. The performance of the method was assessed by studying the selectivity, linear dynamic range, the limit of detection (LOD) and limit of quantification (LOQ), precision, trueness, and matrix effects. The validation parameters of the method showed satisfactory figures of merit. Good linearity (View the MathML sourceRvalues2>0.954; (+)-catechin in carrot samples) was achieved at the studied concentration range. Reproducibility was better than 3%. Consistent recoveries of polyphenols ranging from 78.4 to 99.9% were observed when all target vegetable samples were spiked at two concentration levels, with relative standard deviations (RSDs, n = 5) lower than 2.9%. The LODs and the LOQs ranged from 0.005 μg mL−1 (trans-resveratrol, carrot) to 0.62 μg mL−1 (syringic acid, garlic) and from 0.016 μg mL−1 (trans-resveratrol, carrot) to 0.87 μg mL−1 ((+)-catechin, carrot) depending on the compound. The method was applied for studying the occurrence of free low molecular weight polyphenols in eight selected dietary vegetables (broccoli, tomato, carrot, garlic, onion, red pepper, green pepper and beetroot), providing a valuable and promising tool for food quality evaluation.