529 resultados para formal methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we introduce the Stochastic Adams-Bashforth (SAB) and Stochastic Adams-Moulton (SAM) methods as an extension of the tau-leaping framework to past information. Using the theta-trapezoidal tau-leap method of weak order two as a starting procedure, we show that the k-step SAB method with k >= 3 is order three in the mean and correlation, while a predictor-corrector implementation of the SAM method is weak order three in the mean but only order one in the correlation. These convergence results have been derived analytically for linear problems and successfully tested numerically for both linear and non-linear systems. A series of additional examples have been implemented in order to demonstrate the efficacy of this approach.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Disclosed are methods for detecting the presence of a carcinoma or an increased likelihood that a carcinoma is present in a subject. More particularly, the present invention discloses methods for diagnosis, screening, treatment and monitoring of carcinomas associated with aberrant DNA methylation of the MED15 promoter region

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This workshop will snapshot Bourdieu's sociology. In recognition of Bourdieu's work as a powerful theoretical instrument to speculate the reproduction of social orders and cultural values, the workshop will firstly discuss the core concepts of habitus, capital, and field – the foundational triad of Bourdieu's sociology. Although Bourdieu's original work was built on some quantitative studies, his sociology has been largely qualitatively used in education research. Different from the bulk of extant research, the workshop will secondly showcase some quantitative and mixed methods research that uses a Bourdieusian framework. Mindful of such a framework helping understand social practice at a macro level, the workshop will then make an attempt to think through the macro and the micro by weaving together Bourdieu's sociology with Garfinkel's ethnomethodology. The workshop will conclude with some reflections and communications in terms of how to better realise the full value of Bourdieu in education research.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fractional differential equations are becoming increasingly used as a powerful modelling approach for understanding the many aspects of nonlocality and spatial heterogeneity. However, the numerical approximation of these models is demanding and imposes a number of computational constraints. In this paper, we introduce Fourier spectral methods as an attractive and easy-to-code alternative for the integration of fractional-in-space reaction-diffusion equations described by the fractional Laplacian in bounded rectangular domains ofRn. The main advantages of the proposed schemes is that they yield a fully diagonal representation of the fractional operator, with increased accuracy and efficiency when compared to low-order counterparts, and a completely straightforward extension to two and three spatial dimensions. Our approach is illustrated by solving several problems of practical interest, including the fractional Allen–Cahn, FitzHugh–Nagumo and Gray–Scott models, together with an analysis of the properties of these systems in terms of the fractional power of the underlying Laplacian operator.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Whole genome sequences are generally accepted as excellent tools for studying evolutionary relationships. Due to the problems caused by the uncertainty in alignment, existing tools for phylogenetic analysis based on multiple alignments could not be directly applied to the whole-genome comparison and phylogenomic studies. There has been a growing interest in alignment-free methods for phylogenetic analysis using complete genome data. The “distances” used in these alignment-free methods are not proper distance metrics in the strict mathematical sense. In this study, we first review them in a more general frame — dissimilarity. Then we propose some new dissimilarities for phylogenetic analysis. Last three genome datasets are employed to evaluate these dissimilarities from a biological point of view.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper the issue of finding uncertainty intervals for queries in a Bayesian Network is reconsidered. The investigation focuses on Bayesian Nets with discrete nodes and finite populations. An earlier asymptotic approach is compared with a simulation-based approach, together with further alternatives, one based on a single sample of the Bayesian Net of a particular finite population size, and another which uses expected population sizes together with exact probabilities. We conclude that a query of a Bayesian Net should be expressed as a probability embedded in an uncertainty interval. Based on an investigation of two Bayesian Net structures, the preferred method is the simulation method. However, both the single sample method and the expected sample size methods may be useful and are simpler to compute. Any method at all is more useful than none, when assessing a Bayesian Net under development, or when drawing conclusions from an ‘expert’ system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a solid foundation for Business Process Management (BPM) research. The BPM discipline develops methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Mainstream business process modeling notations and workflow management systems are using token-based semantics borrowed from Petri nets. Moreover, state-of-the-art BPM analysis techniques are using Petri nets as an internal representation. Users of BPM methods and tools are often not aware of this. This paper aims to unveil the seminal role of Petri nets in BPM.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background Spatial analysis is increasingly important for identifying modifiable geographic risk factors for disease. However, spatial health data from surveys are often incomplete, ranging from missing data for only a few variables, to missing data for many variables. For spatial analyses of health outcomes, selection of an appropriate imputation method is critical in order to produce the most accurate inferences. Methods We present a cross-validation approach to select between three imputation methods for health survey data with correlated lifestyle covariates, using as a case study, type II diabetes mellitus (DM II) risk across 71 Queensland Local Government Areas (LGAs). We compare the accuracy of mean imputation to imputation using multivariate normal and conditional autoregressive prior distributions. Results Choice of imputation method depends upon the application and is not necessarily the most complex method. Mean imputation was selected as the most accurate method in this application. Conclusions Selecting an appropriate imputation method for health survey data, after accounting for spatial correlation and correlation between covariates, allows more complete analysis of geographic risk factors for disease with more confidence in the results to inform public policy decision-making.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bayesian networks (BNs) are tools for representing expert knowledge or evidence. They are especially useful for synthesising evidence or belief concerning a complex intervention, assessing the sensitivity of outcomes to different situations or contextual frameworks and framing decision problems that involve alternative types of intervention. Bayesian networks are useful extensions to logic maps when initiating a review or to facilitate synthesis and bridge the gap between evidence acquisition and decision-making. Formal elicitation techniques allow development of BNs on the basis of expert opinion. Such applications are useful alternatives to ‘empty’ reviews, which identify knowledge gaps but fail to support decision-making. Where review evidence exists, it can inform the development of a BN. We illustrate the construction of a BN using a motivating example that demonstrates how BNs can ensure coherence, transparently structure the problem addressed by a complex intervention and assess sensitivity to context, all of which are critical components of robust reviews of complex interventions. We suggest that BNs should be utilised to routinely synthesise reviews of complex interventions or empty reviews where decisions must be made despite poor evidence.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The effects of tillage practises and the methods of chemical application on atrazine and alachlor losses through run-off were evaluated for five treatments: conservation (untilled) and surface (US), disk and surface, plow and surface, disk and preplant-incorporated, and plow and preplant-incorporated treatments. A rainfall simulator was used to create 63.5 mm h-1 of rainfall for 60 min and 127 mm h-1 for 15 min. Rainfall simulation occurred 24-36 h after chemical application. There was no significant difference in the run-off volume among the treatments but the untilled treatment significantly reduced erosion loss. The untilled treatments had the highest herbicide concentration and the disk treatments were higher than the plow treatments. The surface treatments showed a higher concentration than the incorporated treatments. The concentration of herbicides in the water decreased with time. Among the experimental sites, the one with sandy loam soil produced the greatest losses, both in terms of the run-off volume and herbicide loss. The US treatments had the highest loss and the herbicide incorporation treatments had smaller losses through run-off as the residue cover was effective in preventing herbicide losses. Incorporation might be a favorable method of herbicide application to reduce the herbicide losses by run-off.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objectives: Research about the outcomes of schizophrenia and the factors that determine them in developing countries is still limited. In this study, we interviewed experienced Vietnamese psychiatrists to examine their perspectives on outcome determinants in their country. The qualitative approach aimed to complement existing epidemiological knowledge and contribute to debate around the hypothesis that recovery is better in developing countries. Methods: Fifteen Vietnamese psychiatrists working in five leading psychiatric facilities participated in semi-structured interviews. Thematic content analysis of their expressed views identified three themes related to important outcome determinants in Vietnam: access to contemporary treatment, established patient-level prognostic indicators, and sociocultural variables. Results: The improving accessibility of modern treatment (including new medications, specialist staff and facilities) and increasing community adoption of a medical perspective on mental illness were seen as factors leading to improved outcomes, particularly in urban areas. However, some psychiatrists also identified the potentially beneficial nature of some aspects of Vietnamese society and culture being eroded by modernization, including traditional family structures, forms of employment and lifestyles. Conclusions: The perspectives of psychiatrists in this study suggest that socioeconomic change may be exerting conflicting influences on the outcomes of schizophrenia in Vietnam and other developing countries. Their views have implications in terms of how adequate treatment and support for people with severe mental illness can be provided in the context of limited resources, staffing and formal treatment options. Further research is needed to establish current recovery rates and prospectively explore the impact of modernization on outcomes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this chapter we discuss how utilising the participatory visual methodology, photovoice, in an aged care context with its unique communal setting raised several ‘fuzzy boundary’ ethical dilemmas. To illustrate these challenges, we draw on immersive field notes from an ongoing qualitative longitudinal research (QLR) exploring the lived experience of aged care from the perspective of older residents, and focus on interactions with one participant, 81 year old Cassie. We explore how the camera, which is integral to the photovoice method, altered the researcher/participant ethical dynamics by becoming a continual ‘connector’ to the researcher. The camera took on a distinct agency, acting as a non-threatening ‘portal’ that lengthened contact, provided informal opportunities to alter the relationship dynamics and enabled unplanned participant revelation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Many preterm neonates display difficulty establishing suck-feeding competence in the weeks following birth. Ineffective management of transitional feeding issues may cause patient complications, and can contribute to increased length of stay. Aims: Given that many neonatal nurseries appear to vary in their neonatal feeding management practices, the aim of this study was to investigate and document the routine level of support and intervention currently provided for preterm neonates with transitional feeding issues across the various level II (special care) nurseries (SCNs) in Queensland, Australia. Methods: A questionnaire was mailed to all Queensland SCNs in 2005 (n = 36). The questionnaire contained a series of closed-choice and short-answer questions designed to obtain information from each SCN regarding their current practices for managing transitional feeding issues in preterm neonates. Results were confirmed during a follow-up phone call. Results: Responses were obtained from 29 SCNs (80.6%). None of these nurseries reported having any formal, written policies regarding the management of transitional feeding issues in preterm neonates. Wide variations were reported in relation to the suck-feeding assessments and interventions used by staff within the various SCNs. Of the 29 nurseries, 4 (13.8%) reported using checklists or assessments to judge readiness for suck-feeds, and 5 (17.2%) reported using pulse oximetry to judge tolerance of suck-feeding attempts. Eighteen SCNs (62.1%) reported offering some form of active intervention to assist neonates with transitional feeding issues, with the most common intervention techniques reported being non-nutritive sucking during tube feeds, pre-feeding oral stimulation, and actively pacing suck-feeds. Twenty-two SCNs (75.4%) reported having access to a lactation consultant to assist mothers with breastfeeding issues. Conclusions: Differences were reported in the routine management of transitional feeding issues in preterm neonates across the various SCNs in Queensland. It is suggested that evidence based guidelines need to be developed, and that, in order to do this, further research studies are required to determine current best practice, as well as to answer remaining questions. © 2008 Elsevier Ireland Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: The use of large-volume electrolyte balanced solutions as preparation for colonoscopy often results in poor patient compliance and acceptance. The tolerance, safety, and efficacy of high-versus low volume colon-cleansing methods as preparation for colonoscopy in children were compared by randomized operator-blinded trial. Methods: Twenty-nine children ages 3.6-14.6 years had either high-volume nasogastric balanced polyethylene glycol electrolyte lavage (20 ml/kg/h) until the effluent was clear (n = 15), or two oral doses of sodium phosphate solution (22.5-45 ml) separated by oral fluid intake (n = 14). Results: Both preparations were equally effective. The low-volume preparation was better tolerated and caused less discomfort that the high-volume preparation, judging by serial nurse observations. The incidence of abdominal symptoms, diarrhea, sleep disturbance, and vomiting was not significantly different between the two groups. Both groups had a small reduction in mean hematocrit and serum calcium levels. The sodium phosphate preparation caused increases in mean serum sodium concentrations from 140 to 145 mmol/L and serum phosphate concentrations from 1.41 to 2.53 mmol/L. Ten hours after the commencement of the preanesthetic fast, these concentrations had returned to normal. Conclusions: There are advantages in terms of tolerance, discomfort, and case of administration with acceptable colonic cleansing with the use of the less-invasive oral sodium phosphate low-volume colon-cleansing preparation in children. Safe use requires ensuring an adequate oral fluid intake during the preparation time and avoidance of use in patients with renal insufficiency.