892 resultados para B formal method
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Human fungal infections have increased at an alarming rate in recent years, particularly in immunocompromised individuals. Cryptococcosis is the second most prevalent systemic fungal infection worldwide, and the most prevalent systemic infection in immunocompromised individuals, representing more than 70% of cases. The incidence of cryptococcosis is high in people with HIV/acquired immunodeficiency syndrome (AIDS), with recent estimates indicating that there are one million cases of cryptococcal meningitis globally per year in AIDS patients. The aim of this research was to develop a rapid flow cytometric antifungal susceptibility test and to compare the results with the standard methods. A reference strain and clinical isolates of Cryptococcus neoformans and Cryptococcus gattii were tested for susceptibility to amphotericin B by flow cytometry using propidium iodide as indicator of viability. Flow cytometry (FC) results were compared with the minimum inhibitory concentration (MIC) values determined by microdilution. The antifungal activity of amphotericin B ranged from MICs of 0.06 to 2μg/ml for the 11 isolates studied. The same results were found by FC. The FC method allows same-day results, assisting in the selection of appropriate antifungal therapies. These results demonstrate an excellent correlation between FC and the classic methods of testing for susceptibility to antifungal agents. This rapid diagnosis method makes it possible to quickly administer effective therapeutic interventions, often saving lives.
Resumo:
A new measurement of the B-11(p,alpha(0))Be-8 has been performed applying the Trojan horse method (THM) to the H-2(B-11,alpha Be-8(0))n quasi-free reaction induced at a laboratory energy of 27 MeV. The astrophysical S(E) factor has been extracted from similar to 600 keV down to zero energy by means of an improved data analysis technique and it has been compared with direct data available in the literature. The range investigated here overlaps with the energy region of the light element LiBeB stellar burning and with that of future aneutronic fusion power plants using the B-11+p fuel cycle. The new investigation described here confirms the preliminary results obtained in the recent TH works. The origin of the discrepancy between the direct estimate of the B-11(p,alpha(0))Be-8 S(E)-factor at zero energy and that from a previous THM investigation is quantitatively corroborated. The results obtained here support, within the experimental uncertainties, the low-energy S(E)-factor extrapolation and the value of the electron screening potential deduced from direct measurements.
Resumo:
Background: Clinical multistage risk assessment associated with electrocardiogram (ECG) and NT-proBNP may be a feasible strategy to screen hypertrophic cardiomyopathy (HCM). We investigated the effectiveness of a screening based on ECG and NT-proBNP in first-degree relatives of patients with HCM. Methods and Results: A total of 106 first-degree relatives were included. All individuals were evaluated by echocardiography, ECG, NT-proBNP, and molecular screening (available for 65 individuals). From the 106 individuals, 36 (34%) had diagnosis confirmed by echocardiography. Using echocardiography as the gold standard, ECG criteria had a sensitivity of 0.71, 0.42, and 0.52 for the Romhilt-Estes, Sokolow-Lyon, and Cornell criteria, respectively. Mean values of NT-ProBNP were higher in affected as compared with nonaffected relatives (26.1 vs. 1290.5, P < .001). The AUC of NT-proBNP was 0.98. Using a cutoff value of 70 pg/mL, we observed a sensitivity of 0.92 and specificity of 0.96. Using molecular genetics as the gold standard, ECG criteria had a sensitivity of 0.67, 0.37, and 0.42 for the Romhilt-Estes, Sokolow-Lyon, and Cornell criteria, respectively. Using a cutoff value of 70 pg/mL, we observed a sensitivity of 0.83 and specificity of 0.98. Conclusion: Values of NT-proBNP above 70 pg/mL can be used to effectively select high-risk first-degree relatives for HCM screening. (J Cardiac Fail 2012;18:564-568)
Resumo:
BACKGROUND Quantitative light intensity analysis of the strut core by optical coherence tomography (OCT) may enable assessment of changes in the light reflectivity of the bioresorbable polymeric scaffold from polymer to provisional matrix and connective tissues, with full disappearance and integration of the scaffold into the vessel wall. The aim of this report was to describe the methodology and to apply it to serial human OCT images post procedure and at 6, 12, 24 and 36 months in the ABSORB cohort B trial. METHODS AND RESULTS In serial frequency-domain OCT pullbacks, corresponding struts at different time points were identified by 3-dimensional foldout view. The peak and median values of light intensity were measured in the strut core by dedicated software. A total of 303 corresponding struts were serially analyzed at 3 time points. In the sequential analysis, peak light intensity increased gradually in the first 24 months after implantation and reached a plateau (relative difference with respect to baseline [%Dif]: 61.4% at 12 months, 115.0% at 24 months, 110.7% at 36 months), while the median intensity kept increasing at 36 months (%Dif: 14.3% at 12 months, 75.0% at 24 months, 93.1% at 36 months). CONCLUSIONS Quantitative light intensity analysis by OCT was capable of detecting subtle changes in the bioresorbable strut appearance over time, and could be used to monitor the bioresorption and integration process of polylactide struts.
Resumo:
We describe a method to design dominant-negative proteins (D-N) to the basic helix–loop–helix–leucine zipper (B-HLHZip) family of sequence-specific DNA binding transcription factors. The D-Ns specifically heterodimerize with the B-HLHZip dimerization domain of the transcription factors and abolish DNA binding in an equimolar competition. Thermal denaturation studies indicate that a heterodimer between a Myc B-HLHZip domain and a D-N consisting of a 12-amino acid sequence appended onto the Max dimerization domain (A-Max) is −6.3 kcal⋅mol−1 more stable than the Myc:Max heterodimer. One molar equivalent of A-Max can totally abolish the DNA binding activity of a Myc:Max heterodimer. This acidic extension also has been appended onto the dimerization domain of the B-HLHZip protein Mitf, a member of the transcription factor enhancer binding subfamily, to produce A-Mitf. The heterodimer between A-Mitf and the B-HLHZip domain of Mitf is −3.7 kcal⋅mol−1 more stable than the Mitf homodimer. Cell culture studies show that A-Mitf can inhibit Mitf-dependent transactivation both in acidic extension and in a dimerization-dependent manner. A-Max can inhibit Myc-dependent foci formation twice as well as the Max dimerization domain (HLHZip). This strategy of producing D-Ns may be applicable to other B-HLHZip or B-HLH proteins because it provides a method to inhibit the DNA binding of these transcription factors in a dimerization-specific manner.
Resumo:
We describe a novel high resolution DNA based typing approach for HLA class I alleles, which identifies the recombinational motifs present in exons 2 and 3 of the HLA class I genes. Unique identification patterns for 201 known HLA-A, HLA-B, and HLA-Cw alleles were generated by the use of only 40 probes, which were targeted at these common motifs. The unambiguous identification of the alleles was achieved by the development of a new and powerful allelic separation technique that allows isolation of single alleles after amplification. To validate the method, we have used locus-specific primers to amplify exons 2 and 3 of HLA-A, HLA-B, and HLA-Cw loci from 22 heterozygous and 41 homozygous cell lines. After amplification, the allelic fragments from each locus were separated, blotted, and hybridized with the 40 probes. In all cases, the allelic products could be separated and 81 different class I alleles, 33 HLA-A, 30 HLA-B, and 18 HLA-Cw, were identified according to the predicted probe hybridization patterns.
Resumo:
Type-written ms.
Resumo:
"This work is chiefly derived from the writings of Leslie, Fletcher, and Simpson." -Pref.
Resumo:
Univariate linkage analysis is used routinely to localise genes for human complex traits. Often, many traits are analysed but the significance of linkage for each trait is not corrected for multiple trait testing, which increases the experiment-wise type-I error rate. In addition, univariate analyses do not realise the full power provided by multivariate data sets. Multivariate linkage is the ideal solution but it is computationally intensive, so genome-wide analysis and evaluation of empirical significance are often prohibitive. We describe two simple methods that efficiently alleviate these caveats by combining P-values from multiple univariate linkage analyses. The first method estimates empirical pointwise and genome-wide significance between one trait and one marker when multiple traits have been tested. It is as robust as an appropriate Bonferroni adjustment, with the advantage that no assumptions are required about the number of independent tests performed. The second method estimates the significance of linkage between multiple traits and one marker and, therefore, it can be used to localise regions that harbour pleiotropic quantitative trait loci (QTL). We show that this method has greater power than individual univariate analyses to detect a pleiotropic QTL across different situations. In addition, when traits are moderately correlated and the QTL influences all traits, it can outperform formal multivariate VC analysis. This approach is computationally feasible for any number of traits and was not affected by the residual correlation between traits. We illustrate the utility of our approach with a genome scan of three asthma traits measured in families with a twin proband.
Resumo:
Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool. The method was derived from an analysis of concurrency failures in Java components, but was not applied in practice. In this paper, we explore the method by applying it to an implementation of the well-known readers-writers problem and a number of mutants of that implementation. We only apply it to a single, well-known example, and so we do not attempt to draw any general conclusions about the applicability or effectiveness of the method. However, the exploration does point out several strengths and weaknesses in the method, which enable us to fine-tune the method before we carry out a more formal evaluation on other, more realistic components.
Resumo:
Future teachers must be competent in creating educational settings, which provide tools to their students future they can develop a conscious mind, able to interpret their experiences, to make decisions and imagine innovative solutions to help you participate autonomously and responsible in society. This requires an educational system that allows them to integrate the subjective into a broader spatial and temporal context. La patrimonializatión of “Cultural artefacts” and oral history, the basis of which, are found in the active mind and links both the personal and the group experience, don’t only serve as a catalyst to achieving this goal, but rather, they facilitate the implementation of established practice in infant education. To gain this experience we offer the opportunity for students of their degree in Infant Education in the Public University of Navarre, training within the framework of social didactics, allowing students to learn about established practice from iconic, materials and oral sources in the Archive of Intangible Cultural Heritage of Navarra. The vidences points to their effectiveness and presented in a work in progress.