985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ground-penetrating radar (GPR) and microgravimetric surveys have been conducted in the southern Jura mountains of western Switzerland in order to map subsurface karstic features. The study site, La Grande Rolaz cave, is an extensive system in which many portions have been mapped. By using small station spacing and careful processing for the geophysical data, and by modeling these data with topographic information from within the cave, accurate interpretations have been achieved. The constraints on the interpreted geologic models are better when combining the geophysical methods than when using only one of the methods, despite the general limitations of two-dimensional (2D) profiling. For example, microgravimetry can complement GPR methods for accurately delineating a shallow cave section approximately 10 X 10 mt in size. Conversely, GPR methods can be complementary in determining cavity depths and in verifying the presence of off-line features and numerous areas of small cavities and fractures, which may be difficult to resolve in microgravimetric data.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the last five years, Deep Brain Stimulation (DBS) has become the most popular and effective surgical technique for the treatent of Parkinson's disease (PD). The Subthalamic Nucleus (STN) is the usual target involved when applying DBS. Unfortunately, the STN is in general not visible in common medical imaging modalities. Therefore, atlas-based segmentation is commonly considered to locate it in the images. In this paper, we propose a scheme that allows both, to perform a comparison between different registration algorithms and to evaluate their ability to locate the STN automatically. Using this scheme we can evaluate the expert variability against the error of the algorithms and we demonstrate that automatic STN location is possible and as accurate as the methods currently used.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Gaseous N losses from soil are considerable, resulting mostly from ammonia volatilization linked to agricultural activities such as pasture fertilization. The use of simple and accessible measurement methods of such losses is fundamental in the evaluation of the N cycle in agricultural systems. The purpose of this study was to evaluate quantification methods of NH3 volatilization from fertilized surface soil with urea, with minimal influence on the volatilization processes. The greenhouse experiment was arranged in a completely randomized design with 13 treatments and five replications, with the following treatments: (1) Polyurethane foam (density 20 kg m-3) with phosphoric acid solution absorber (foam absorber), installed 1, 5, 10 and 20 cm above the soil surface; (2) Paper filter with sulfuric acid solution absorber (paper absorber, 1, 5, 10 and 20 cm above the soil surface); (3) Sulfuric acid solution absorber (1, 5 and 10 cm above the soil surface); (4) Semi-open static collector; (5) 15N balance (control). The foam absorber placed 1 cm above the soil surface estimated the real daily rate of loss and accumulated loss of NH3N and proved efficient in capturing NH3 volatized from urea-treated soil. The estimates based on acid absorbers 1, 5 and 10 cm above the soil surface and paper absorbers 1 and 5 cm above the soil surface were only realistic for accumulated N-NH3 losses. Foam absorbers can be indicated to quantify accumulated and daily rates of NH3 volatilization losses similarly to an open static chamber, making calibration equations or correction factors unnecessary.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nickel, although essential to plants, may be toxic to plants and animals. It is mainly assimilated by food ingestion. However, information about the average levels of elements (including Ni) in edible vegetables from different regions is still scarce in Brazil. The objectives of this study were to: (a) evaluate and optimize a method for preparation of vegetable tissue samples for Ni determination; (b) optimize the analytical procedures for determination by Flame Atomic Absorption Spectrometry (FAAS) and by Electrothermal Atomic Absorption (ETAAS) in vegetable samples and (c) determine the Ni concentration in vegetables consumed in the cities of Lorena and Taubaté in the Vale do Paraíba, State of São Paulo, Brazil. By means of the analytical technique for determination by ETAAS or FAAS, the results were validated by the test of analyte addition and recovery. The most viable method tested for quantification of this element was HClO4-HNO3 wet digestion. All samples but carrot tissue collected in Lorena contained Ni levels above the permitted by the Brazilian Ministry of Health. The most disturbing results, requiring more detailed studies, were the Ni concentrations measured in carrot samples from Taubaté, where levels were five times higher than permitted by Brazilian regulations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

For successful treatment of prosthetic joint infection, the identification of the infecting microorganism is crucial. Cultures of synovial fluid and intraoperative periprosthetic tissue represent the standard method for diagnosing prosthetic joint infection. Rapid and accurate diagnostic tools which can detect a broad range of causing microorganisms and their antimicrobial resistance are increasingly needed. With newer diagnostic techniques, such as sonication of removed implants, microcalorimetry, molecular methods and mass spectrometry, the sensitivity has been significantly increased. In this article, we describe the conventional and newer diagnostic techniques with their advantages and potential future applications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The influence of hole-hole (h-h) propagation in addition to the conventional particle-particle (p-p) propagation, on the energy per particle and the momentum distribution is investigated for the v2 central interaction which is derived from Reid¿s soft-core potential. The results are compared to Brueckner-Hartree-Fock calculations with a continuous choice for the single-particle (SP) spectrum. Calculation of the energy from a self-consistently determined SP spectrum leads to a lower saturation density. This result is not corroborated by calculating the energy from the hole spectral function, which is, however, not self-consistent. A generalization of previous calculations of the momentum distribution, based on a Goldstone diagram expansion, is introduced that allows the inclusion of h-h contributions to all orders. From this result an alternative calculation of the kinetic energy is obtained. In addition, a direct calculation of the potential energy is presented which is obtained from a solution of the ladder equation containing p-p and h-h propagation to all orders. These results can be considered as the contributions of selected Goldstone diagrams (including p-p and h-h terms on the same footing) to the kinetic and potential energy in which the SP energy is given by the quasiparticle energy. The results for the summation of Goldstone diagrams leads to a different momentum distribution than the one obtained from integrating the hole spectral function which in general gives less depletion of the Fermi sea. Various arguments, based partly on the results that are obtained, are put forward that a self-consistent determination of the spectral functions including the p-p and h-h ladder contributions (using a realistic interaction) will shed light on the question of nuclear saturation at a nonrelativistic level that is consistent with the observed depletion of SP orbitals in finite nuclei.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Guilbert ER, Morin D, Guilbert AC, Gagnon H, Robitaille J, Richardson M. International Journal of Nursing Practice 2011; 17: 315-321 Task-shifting in the delivery of hormonal contraceptive methods: Validation of a questionnaire and preliminary results In order to palliate the access problem to effective contraceptive methods in Quebec, Canada, as well as to legitimate nurses' practices in family planning, a collaborative agreement was developed that allow nurses, in conjunction with pharmacists, to give hormonal contraceptives to healthy women of reproductive age for a 6 month period. Training in hormonal contraception was offered to targeted nurses before they could begin this practice. A questionnaire, based on Rogers's theory of diffusion of innovations, was elaborated and validated to specifically evaluate this phenomenon. Preliminary results show that the translation of training into practice might be suboptimal. The validated questionnaire can now be used to fully understand the set of factors influencing this new practice.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The soil water available to crops is defined by specific values of water potential limits. Underlying the estimation of hydro-physical limits, identified as permanent wilting point (PWP) and field capacity (FC), is the selection of a suitable method based on a multi-criteria analysis that is not always clear and defined. In this kind of analysis, the time required for measurements must be taken into consideration as well as other external measurement factors, e.g., the reliability and suitability of the study area, measurement uncertainty, cost, effort and labour invested. In this paper, the efficiency of different methods for determining hydro-physical limits is evaluated by using indices that allow for the calculation of efficiency in terms of effort and cost. The analysis evaluates both direct determination methods (pressure plate - PP and water activity meter - WAM) and indirect estimation methods (pedotransfer functions - PTFs). The PTFs must be validated for the area of interest before use, but the time and cost associated with this validation are not included in the cost of analysis. Compared to the other methods, the combined use of PP and WAM to determine hydro-physical limits differs significantly in time and cost required and quality of information. For direct methods, increasing sample size significantly reduces cost and time. This paper assesses the effectiveness of combining a general analysis based on efficiency indices and more specific analyses based on the different influencing factors, which were considered separately so as not to mask potential benefits or drawbacks that are not evidenced in efficiency estimation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Considering nitrogen mineralization (N) of soil organic matter is a key aspect for the efficient management of N fertilizers in agricultural systems. Long-term aerobic incubation is the standard technique for calibrating the chemical extraction methods used to estimate the potentially mineralizable N in soil. However, the technique is laborious, expensive and time-consuming. In this context, the aims of this study were to determine the amount of soil mineralizable N in the 0-60 cm layer and to evaluate the use of short-term anaerobic incubation instead of long-term aerobic incubation for the estimation of net N mineralization rates in soils under sugarcane. Five soils from areas without previous N fertilization were used in the layers 0-20, 20-40 and 40-60 cm. Soil samples were aerobically incubated at 35 ºC for 32 weeks or anaerobically incubated (waterlogged) at 40 ºC for seven days to determine the net soil N mineralization. The sand, silt and clay contents were highly correlated with the indexes used for predicting mineralizable N. The 0-40 cm layer was the best sampling depth for the estimation of soil mineralizable N, while in the 40-60 cm layer net N mineralization was low in both incubation procedures. Anaerobic incubation provided reliable estimates of mineralizable N in the soil that correlated well with the indexes obtained using aerobic incubation. The inclusion of the pre-existing NH4+-N content improved the reliability of the estimate of mineralizable N obtained using anaerobic incubation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND: Dietary fluoride supplements were first introduced to provide systemic fluoride in areas where water fluoridation is not available. Since 1990, the use of fluoride supplements in caries prevention has been re-evaluated in several countries. OBJECTIVES: To evaluate the efficacy of fluoride supplements for preventing dental caries in children. SEARCH METHODS: We searched the Cochrane Oral Health Group's Trials Register (to 12 October 2011), the Cochrane Central Register of Controlled Trials (CENTRAL) (The Cochrane Library 2011, Issue 3), MEDLINE via OVID (1950 to 12 October 2011), EMBASE via OVID (1980 to 12 October 2011), WHOLIS/PAHO/MEDCARIB/LILACS/BBO via BIREME (1982 to 12 October 2011), and Current Controlled Trials (to 12 October 2011). We handsearched reference lists of articles and contacted selected authors. SELECTION CRITERIA: We included randomised or quasi-randomised controlled trials comparing, with minimum follow-up of 2 years, fluoride supplements (tablets, drops, lozenges) with no fluoride supplement or with other preventive measures such as topical fluorides in children less than 16 years of age at the start. The main outcome was caries increment measured by the change in decayed, missing and filled tooth surfaces (DMFS). DATA COLLECTION AND ANALYSIS: Two review authors, independently and in duplicate, assessed the eligibility of studies for inclusion, and carried out risk of bias assessment and data extraction. In the event of disagreement, we sought consensus and consulted a third review author. We contacted trial authors for missing information. We used the prevented fraction (PF) as a metric for evaluating the efficacy of the intervention. The PF is defined as the mean caries increment in controls minus mean caries increment in the treated group divided by mean caries increment in controls. We conducted random-effects meta-analyses when data could be pooled. We assessed heterogeneity in the results of the studies by examining forest plots and by using formal tests for homogeneity. We recorded adverse effects (fluorosis) when the studies provided relevant data. MAIN RESULTS: We included 11 studies in the review involving 7196 children.In permanent teeth, when fluoride supplements were compared with no fluoride supplement (three studies), the use of fluoride supplements was associated with a 24% (95% confidence interval (CI) 16 to 33%) reduction in decayed, missing and filled surfaces (D(M)FS). The effect of fluoride supplements was unclear on deciduous or primary teeth. In one study, no caries-inhibiting effect was observed on deciduous teeth while in another study, the use of fluoride supplements was associated with a substantial reduction in caries increment.When fluoride supplements were compared with topical fluorides or with other preventive measures, there was no differential effect on permanent or deciduous teeth.The review found limited information on the adverse effects associated with the use of fluoride supplements. AUTHORS' CONCLUSIONS: This review suggests that the use of fluoride supplements is associated with a reduction in caries increment when compared with no fluoride supplement in permanent teeth. The effect of fluoride supplements was unclear on deciduous teeth. When compared with the administration of topical fluorides, no differential effect was observed. We rated 10 trials as being at unclear risk of bias and one at high risk of bias, and therefore the trials provide weak evidence about the efficacy of fluoride supplements.