985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Autonomous underwater vehicles (AUV) represent a challenging control problem with complex, noisy, dynamics. Nowadays, not only the continuous scientific advances in underwater robotics but the increasing number of subsea missions and its complexity ask for an automatization of submarine processes. This paper proposes a high-level control system for solving the action selection problem of an autonomous robot. The system is characterized by the use of reinforcement learning direct policy search methods (RLDPS) for learning the internal state/action mapping of some behaviors. We demonstrate its feasibility with simulated experiments using the model of our underwater robot URIS in a target following task

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Interpretability and power of genome-wide association studies can be increased by imputing unobserved genotypes, using a reference panel of individuals genotyped at higher marker density. For many markers, genotypes cannot be imputed with complete certainty, and the uncertainty needs to be taken into account when testing for association with a given phenotype. In this paper, we compare currently available methods for testing association between uncertain genotypes and quantitative traits. We show that some previously described methods offer poor control of the false-positive rate (FPR), and that satisfactory performance of these methods is obtained only by using ad hoc filtering rules or by using a harsh transformation of the trait under study. We propose new methods that are based on exact maximum likelihood estimation and use a mixture model to accommodate nonnormal trait distributions when necessary. The new methods adequately control the FPR and also have equal or better power compared to all previously described methods. We provide a fast software implementation of all the methods studied here; our new method requires computation time of less than one computer-day for a typical genome-wide scan, with 2.5 M single nucleotide polymorphisms and 5000 individuals.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the accounting literature, interaction or moderating effects are usually assessed by means of OLS regression and summated rating scales are constructed to reduce measurement error bias. Structural equation models and two-stage least squares regression could be used to completely eliminate this bias, but large samples are needed. Partial Least Squares are appropriate for small samples but do not correct measurement error bias. In this article, disattenuated regression is discussed as a small sample alternative and is illustrated on data of Bisbe and Otley (in press) that examine the interaction effect of innovation and style of use of budgets on performance. Sizeable differences emerge between OLS and disattenuated regression

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente trabajo ha consistido en elaborar el material didáctico para la educación ambiental no formal de los ciudadanos de Nicaragua, con nivel escolar equivalente a sexto grado. Este material en un futuro cercano será la base del programa de alfabetización ambiental “Yo, Sí Puedo Cuidar el Ambiente”,coordinado por la “Red Universitaria Yo, Sí Puedo” en distintas partes de Nicaragua. El resultado del proyecto es una cartilla destinada al alumno y una Guía Metodológica para el educador. Para la realización de este proyecto ha sido necesaria una estancia de tres meses y medio para la recopilación de información y la elaboración de material didáctico. El principal objetivo del material elaborado es contribuir en la sensibilización y la formación de valotres ambientales de los participantes, mejorando asi su calidad de vida y su entorno

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A total of 138 isolates, 118 methicillin-resistant Staphylococcus aureus (MRSA) isolates (staphylococcal cassette chromosome type II, 20 isolates, type III, 39 isolates and type IV, 59 isolates) and 20 methicillin-sensitive S. aureus isolates were evaluated by phenotypic methods: cefoxitin and oxacillin disk diffusion (DD), agar dilution (AD), latex agglutination (LA), oxacillin agar screening (OAS) and chromogenic agar detection. All methods showed 100% specificity, but only the DD tests presented 100% sensitivity. The sensitivity of the other tests ranged from 82.2% (OAS)-98.3% (AD). The LA test showed the second lowest sensitivity (86.4%). The DD test showed high accuracy in the detection of MRSA isolates, but there was low precision in the detection of type IV isolates by the other tests, indicating that the genotypic characteristics of the isolates should be considered.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The generation of an antigen-specific T-lymphocyte response is a complex multi-step process. Upon T-cell receptor-mediated recognition of antigen presented by activated dendritic cells, naive T-lymphocytes enter a program of proliferation and differentiation, during the course of which they acquire effector functions and may ultimately become memory T-cells. A major goal of modern immunology is to precisely identify and characterize effector and memory T-cell subpopulations that may be most efficient in disease protection. Sensitive methods are required to address these questions in exceedingly low numbers of antigen-specific lymphocytes recovered from clinical samples, and not manipulated in vitro. We have developed new techniques to dissect immune responses against viral or tumor antigens. These allow the isolation of various subsets of antigen-specific T-cells (with major histocompatibility complex [MHC]-peptide multimers and five-color FACS sorting) and the monitoring of gene expression in individual cells (by five-cell reverse transcription-polymerase chain reaction [RT-PCR]). We can also follow their proliferative life history by flow-fluorescence in situ hybridization (FISH) analysis of average telomere length. Recently, using these tools, we have identified subpopulations of CD8+ T-lymphocytes with distinct proliferative history and partial effector-like properties. Our data suggest that these subsets descend from recently activated T-cells and are committed to become differentiated effector T-lymphocytes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

SUMMARY The main objective was to evaluate the association between SNPs and haplotypes of the FABP1-4 genes and type 2 diabetes, as well as its interaction with fat intake, in one general Spanish population. The association was replicated in a second population in which HOMA index was also evaluated. METHODS 1217 unrelated individuals were selected from a population-based study [Hortega study: 605 women; mean age 54 y; 7.8% with type 2 diabetes]. The replication population included 805 subjects from Segovia, a neighboring region of Spain (446 females; mean age 52 y; 10.3% with type 2 diabetes). DM2 mellitus was defined in a similar way in both studies. Fifteen SNPs previously associated with metabolic traits or with potential influence in the gene expression within the FABP1-4 genes were genotyped with SNPlex and tested. Age, sex and BMI were used as covariates in the logistic regression model. RESULTS One polymorphism (rs2197076) and two haplotypes of the FABP-1 showed a strong association with the risk of DM2 in the original population. This association was further confirmed in the second population as well as in the pooled sample. None of the other analyzed variants in FABP2, FABP3 and FABP4 genes were associated. There was not a formal interaction between rs2197076 and fat intake. A significant association between the rs2197076 and the haplotypes of the FABP1 and HOMA-IR was also present in the replication population. CONCLUSIONS The study supports the role of common variants of the FABP-1 gene in the development of type 2 diabetes in Caucasians.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND Persons with schizophrenia and related disorders may be particularly sensitive to a number of determinants of service use, including those related with illness, socio-demographic characteristics and organizational factors. The objective of this study is to identify factors associated with outpatient contacts at community mental health services of patients with schizophrenia or related disorders. METHODS This cross-sectional study analyzed 1097 patients. The main outcome measure was the total number of outpatient consultations during one year. Independent variables were related to socio-demographic, clinical and use of service factors. Data were collected from clinical records. RESULTS The multilevel linear regression model explained 46.35% of the variance. Patients with significantly more contacts with ambulatory services were not working and were receiving welfare benefits (p = 0.02), had no formal education (p = 0.02), had a global level of severity of two or three (four being the most severe) (p < 0.001), with one or more inpatient admissions (p < 0.001), and in contact with both types of professional (nurses and psychiatrists) (p < 0.001). The patients with the fewest ambulatory contacts were those with diagnoses of persistent delusional disorders (p = 0.04) and those who were attended by four of the 13 psychiatrists (p < 0.001). CONCLUSIONS As expected, the variables that explained the use of community service could be viewed as proxies for severity of illness. The most surprising finding, however, was that a group of four psychiatrists was also independently associated with use of ambulatory services by patients with schizophrenia or related disorders. More research is needed to carefully examine how professional support networks interact to affect use of mental health.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study compares the diagnostic accuracy of the TF-Test® (TFT) for human parasitosis with results obtained using the traditional Kato-Katz (KK), Hoffman-Pons-Janer (HPJ), Willis and Baermann-Moraes (BM) techniques. Overall, four stool samples were taken from each individual; three alternate-day TFT stool samples and another sample that was collected in a universal container. Stool samples were taken from 331 inhabitants of the community of Quilombola Santa Cruz. The gold standard (GS) for protozoa detection was defined as the combined results for TFT, HPJ and Willis coproscopic techniques; for helminth detection, GS was defined as the combined results for all five coproscopic techniques (TFT, KK, HPJ, Willis and BM). The positivity rate of each method was compared using the McNemar test. While the TFT exhibited similar positivity rates to the GS for Entamoeba histolytica/dispar (82.4%) and Giardia duodenalis (90%), HPJ and Willis techniques exhibited significantly lower positivity rates for these protozoa. All tests exhibited significantly lower positivity rates compared with GS for the diagnosis of helminths. The KK technique had the highest positivity rate for diagnosing Schistosoma mansoni (74.6%), while the TFT had the highest positivity rates for Ascaris lumbricoides (58.1%) and hookworm (75%); HPJ technique had the highest positivity rate for Strongyloides stercoralis (50%). Although a combination of tests is the most accurate method for the diagnosis of enteral parasites, the TFT reliably estimates the prevalence of protozoa and selected helminths, such as A. lumbricoides and hookworm. Further studies are needed to evaluate the detection accuracy of the TFT in samples with varying numbers of parasites.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this study we compared two polymerase chain reaction (PCR) methods using either 16S ribosomal RNA (rRNA) or 23S rRNA gene primers for the detection of different Leptospira interrogans serovars. The performance of these two methods was assessed using DNA extracted from bovine tissues previously inoculated with several bacterial suspensions. PCR was performed on the same tissues before and after the formalin-fixed, paraffin-embedding procedure (FFPE tissues). The 23S rDNA PCR detected all fresh and FFPE positive tissues while the 16S rDNA-based protocol detected primarily the positive fresh tissues. Both methods are specific for pathogenic L. interrogans. The 23S-based PCR method successfully detected Leptospira in four dubious cases of human leptospirosis from archival tissue specimens and one leptospirosis-positive canine specimen. A sensitive method for leptospirosis identification in FFPE tissues would be a useful tool to screen histological specimen archives and gain a better assessment of human leptospirosis prevalence, especially in tropical countries, where large outbreaks can occur following the rainy season.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' Threshold Theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The diagnosis of schistosomiasis is problematic in low-intensity transmission areas because parasitological methods lack sensitivity and molecular methods are neither widely available nor extensively validated. Helmintex is a method for isolating eggs from large faecal samples. We report preliminary results of a comparative evaluation of the Helmintex and Kato-Katz (KK) methods for the diagnosis of schistosomiasis in a low-intensity transmission area in Bandeirantes, Paraná, southern Brazil. Eggs were detected by both methods in seven patients, whereas only Helmintex yielded positive results in four individuals. The results confirm the previously demonstrated higher sensitivity of the Helmintex method compared with the KK method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Laboratory diagnosis of intestinal schistosomiasis mansoni can be accomplished through various methods of stool examination to detect parasites, ranging from the most classic tests (Kato-Katz) to several methods that are still undergoing validation. This study was conducted to assess two new parasite identification methods for diagnosing schistosomiasis mansoni in residents of a low endemic area in the municipality of Maranguape, in the state of Ceará, Brazil using the Kato-Katz method as a reference and serology (enzyme-linked immunosorbent assay) for the screening of patients. The Kato-Katz, the saline gradient method and the Helmintex® method parasite identification methods were employed only in subjects who exhibited positive serologic tests. The test results were then analysed and treatment of positive individuals was subsequently performed. After comparing the test results, we observed that the saline gradient method and the Helmintex® method were more effective in diagnosing schistosomiasis mansoni in the study area compared with the Kato-Katz method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: Antitumor necrosis factor a agents have significantly improved the management of Crohn's disease (CD), but not all patients benefit from this therapy. We used data from the Swiss Inflammatory Bowel Disease Cohort Study and predefined appropriateness criteria to examine the appropriateness of use of infliximab (IFX) in CD patients. METHODS: EPACT II (European Panel on the Appropriateness of CD Therapy, 2007; www.epact.ch) appropriateness criteria have been developed using a formal explicit panel process combining evidence from the published literature and expert opinion. Questionnaires relating to EPACT II criteria were used at enrollment and follow-up of all Swiss Inflammatory Bowel Disease Cohort Study patients. A step-by-step analysis of all possible indications for IFX therapy in a given patient allowed identification of the most appropriate indication and final classification in a single appropriateness category (appropriate, uncertain, inappropriate). RESULTS: Eight hundred and twenty-one CD patients were prospectively enrolled between November 2006 and March 2009. IFX was administered to 146 patients (18%) at enrollment and was most frequently used for complex fistulizing disease and for the maintenance of remission induced by biological therapy. IFX therapy was considered appropriate in 44%, uncertain in 44%, and inappropriate in 10% of patients. CONCLUSION: In this cohort, 9 out of 10 indications for IFX therapy were clinically generally acceptable (appropriate or uncertain) according to EPACT II criteria. Uncertain indications resulted mainly from the current more liberal use of IFX in clinical practice as compared with the EPACT II criteria.