985 resultados para Formal Methods
Resumo:
In this paper, we propose two active learning algorithms for semiautomatic definition of training samples in remote sensing image classification. Based on predefined heuristics, the classifier ranks the unlabeled pixels and automatically chooses those that are considered the most valuable for its improvement. Once the pixels have been selected, the analyst labels them manually and the process is iterated. Starting with a small and nonoptimal training set, the model itself builds the optimal set of samples which minimizes the classification error. We have applied the proposed algorithms to a variety of remote sensing data, including very high resolution and hyperspectral images, using support vector machines. Experimental results confirm the consistency of the methods. The required number of training samples can be reduced to 10% using the methods proposed, reaching the same level of accuracy as larger data sets. A comparison with a state-of-the-art active learning method, margin sampling, is provided, highlighting advantages of the methods proposed. The effect of spatial resolution and separability of the classes on the quality of the selection of pixels is also discussed.
Resumo:
BACKGROUND: Video-assisted thoracoscopic debridement has been shown to be a safe and efficient procedure for empyema in the adult patient. Its place in the management of childhood empyema remains controversial. METHODS: Over an 18-month period, 9 children were operated upon for pleural empyema. All children were initially treated with appropriate antibiotics and chest-tube drainage. Indication for surgery were persistent clinical symptoms and loculation of pleural fluid 5 to 7 days following initial treatment. In case of a duration of the illness of less than 14 days, an initial attempt was made to debride the pleural space by thoracoscopy. RESULTS: Mean duration of the illness prior to surgery was 15 days (range: 10-23 days), and mean duration of preoperative conservative treatment 10 days (range: 5-20 days). In five of the nine patients thoracoscopy was performed. In all patients thoracoscopy failed to provide adequate clearance of the diseased pleural space because of the advanced stage of the disease. The procedure was converted to a formal thoracotomy in four patients, the fifth patient continued to deteriorate and required formal thoracotomy and decortication seven days later. CONCLUSION: This limited experience suggests that, with the current management and indications, video-assisted thoracoscopic surgery adds little benefit to the treatment of childhood empyema.
Resumo:
Practical guidelines for monitoring and measuring compounds such as jasmonates, ketols, ketodi(tri)enes and hydroxy-fatty acids as well as detecting the presence of novel oxylipins are presented. Additionally, a protocol for the penetrant analysis of non-enzymatic lipid oxidation is described. Each of the methods, which employ gas chromatography/mass spectrometry, can be applied without specialist knowledge or recourse to the latest analytical instrumentation. Additional information on oxylipin quantification and novel protocols for preparing oxygen isotope-labelled internal standards are provided. Four developing areas of research are identified: (i) profiling of the unbound cellular pools of oxylipins; (ii) profiling of esterified oxylipins and/or monitoring of their release from parent lipids; (iii) monitoring of non-enzymatic lipid oxidation; (iv) analysis of unstable and reactive oxylipins. The methods and protocols presented herein are designed to give technical insights into the first three areas and to provide a platform from which to enter the fourth area.
Resumo:
Traditional culture-dependent methods to quantify and identify airborne microorganisms are limited by factors such as short-duration sampling times and inability to count nonculturableor non-viable bacteria. Consequently, the quantitative assessment of bioaerosols is often underestimated. Use of the real-time quantitative polymerase chain reaction (Q-PCR) to quantify bacteria in environmental samples presents an alternative method, which should overcome this problem. The aim of this study was to evaluate the performance of a real-time Q-PCR assay as a simple and reliable way to quantify the airborne bacterial load within poultry houses and sewage treatment plants, in comparison with epifluorescencemicroscopy and culture-dependent methods. The estimates of bacterial load that we obtained from real-time PCR and epifluorescence methods, are comparable, however, our analysis of sewage treatment plants indicate these methods give values 270-290 fold greater than those obtained by the ''impaction on nutrient agar'' method. The culture-dependent method of air impaction on nutrient agar was also inadequate in poultry houses, as was the impinger-culture method, which gave a bacterial load estimate 32-fold lower than obtained by Q-PCR. Real-time quantitative PCR thus proves to be a reliable, discerning, and simple method that could be used to estimate airborne bacterial load in a broad variety of other environments expected to carry high numbers of airborne bacteria. [Authors]
Resumo:
BACKGROUND: Protein-energy malnutrition is highly prevalent in aged populations. Associated clinical, economic, and social burden is important. A valid screening method that would be robust and precise, but also easy, simple, and rapid to apply, is essential for adequate therapeutic management. OBJECTIVES: To compare the interobserver variability of 2 methods measuring food intake: semiquantitative visual estimations made by nurses versus calorie measurements performed by dieticians on the basis of standardized color digital photographs of servings before and after consumption. DESIGN: Observational monocentric pilot study. SETTING/PARTICIPANTS: A geriatric ward. The meals were randomly chosen from the meal tray. The choice was anonymous with respect to the patients who consumed them. MEASUREMENTS: The test method consisted of the estimation of calorie consumption by dieticians on the basis of standardized color digital photographs of servings before and after consumption. The reference method was based on direct visual estimations of the meals by nurses. Food intake was expressed in the form of a percentage of the serving consumed and calorie intake was then calculated by a dietician based on these percentages. The methods were applied with no previous training of the observers. Analysis of variance was performed to compare their interobserver variability. RESULTS: Of 15 meals consumed and initially examined, 6 were assessed with each method. Servings not consumed at all (0% consumption) or entirely consumed by the patient (100% consumption) were not included in the analysis so as to avoid systematic error. The digital photography method showed higher interobserver variability in calorie intake estimations. The difference between the compared methods was statistically significant (P < .03). CONCLUSIONS: Calorie intake measures for geriatric patients are more concordant when estimated in a semiquantitative way. Digital photography for food intake estimation without previous specific training of dieticians should not be considered as a reference method in geriatric settings, as it shows no advantages in terms of interobserver variability.
Resumo:
This paper describes a bibliographic analysis of the vision of Marshal McLuhan and the vision adopted by diverse current authors regarding the use of new interactive learning technologies. The paper also analyzes the transformation that will have to take place in the formal surroundings of education in order to improve their social function. The main points of view and contributions made by diverse authors are discussed. It is important that all actors involved in the educational process take in consideration these contributions in order to be ready for future changes.
Resumo:
BACKGROUND: Finding genes that are differentially expressed between conditions is an integral part of understanding the molecular basis of phenotypic variation. In the past decades, DNA microarrays have been used extensively to quantify the abundance of mRNA corresponding to different genes, and more recently high-throughput sequencing of cDNA (RNA-seq) has emerged as a powerful competitor. As the cost of sequencing decreases, it is conceivable that the use of RNA-seq for differential expression analysis will increase rapidly. To exploit the possibilities and address the challenges posed by this relatively new type of data, a number of software packages have been developed especially for differential expression analysis of RNA-seq data. RESULTS: We conducted an extensive comparison of eleven methods for differential expression analysis of RNA-seq data. All methods are freely available within the R framework and take as input a matrix of counts, i.e. the number of reads mapping to each genomic feature of interest in each of a number of samples. We evaluate the methods based on both simulated data and real RNA-seq data. CONCLUSIONS: Very small sample sizes, which are still common in RNA-seq experiments, impose problems for all evaluated methods and any results obtained under such conditions should be interpreted with caution. For larger sample sizes, the methods combining a variance-stabilizing transformation with the 'limma' method for differential expression analysis perform well under many different conditions, as does the nonparametric SAMseq method.
Resumo:
The aim of this study is to determine the profile of dependent elderly people users of the home care services (SAD) of the regional council in Osona (Consell Comarcal d´Osona) , and the characteristics of formal and informal types of support they use. Methodology. An observational study of a transversal format has been carried out, with retrospective and descriptive purposes. The target population is 63 people (26 men and 37 women) included in the program of the regional SAD They have a recognized dependence grade approved by the law 39 /2006, December 14th , promoting the individual autonomy and care of elderly people in a dependent situation. The data were collected by social workers of basic social services, first with a home visit and followed by handed out questionnaires, specifically designed for this study, in order to obtain information on socio-demographic characteristics, and the type of support formal and informal. The obtained results on the SAD users are women in a 58.7% and a 41.3 % are men. The 84% of the total sampling are 80 years old and more, being the average age of 85.2 years old. 45% of them are married, 41% are widows and widowers and 14% are single. 54% are rated with severe dependence (grade II), 42.8% with high dependence (grade III). 86% live accompanied. 100% have an informal caregiver and a 95% of the times, the caregiver is a relative who in 73% of the cases the dedication time is permanent. The coverage of the SAD has an average of 4.27 hours per week and per user. The formal services most used are the technical (62%), also the assessment of an occupational therapist at home (57%) and the telecare service in a (56%). Conclusions. The SAD is used primarily for women in an advanced age and severe dependence. The informal assistance structures have an informal caregiver, being a member of the family mostly, living with the dependent, and mainly in a permanent dedication basis. The SAD has a varied intensity in each case. The formal support services complementary to the SAD, are largely used in all cases.
Resumo:
This is the report of the first workshop on Incorporating In Vitro Alternative Methods for Developmental Neurotoxicity (DNT) Testing into International Hazard and Risk Assessment Strategies, held in Ispra, Italy, on 19-21 April 2005. The workshop was hosted by the European Centre for the Validation of Alternative Methods (ECVAM) and jointly organized by ECVAM, the European Chemical Industry Council, and the Johns Hopkins University Center for Alternatives to Animal Testing. The primary aim of the workshop was to identify and catalog potential methods that could be used to assess how data from in vitro alternative methods could help to predict and identify DNT hazards. Working groups focused on two different aspects: a) details on the science available in the field of DNT, including discussions on the models available to capture the critical DNT mechanisms and processes, and b) policy and strategy aspects to assess the integration of alternative methods in a regulatory framework. This report summarizes these discussions and details the recommendations and priorities for future work.