529 resultados para formal methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis a new approach for solving a certain class of anomalous diffusion equations was developed. The theory and algorithms arising from this work will pave the way for more efficient and more accurate solutions of these equations, with applications to science, health and industry. The method of finite volumes was applied to discretise the spatial derivatives, and this was shown to outperform existing methods in several key respects. The stability and convergence of the new method were rigorously established.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Successful management of atopic dermatitis poses a significant and ongoing challenge to parents of affected children. Despite frequent reports of child behaviour problems and parenting difficulties, there is a paucity of literature examining relationships between child behaviour and parents' confidence and competence with treatment. Objectives: To examine relationships between child, parent, and family variables, parents' self-efficacy for managing atopic dermatitis, self-reported performance of management tasks, observed competence with providing treatment, and atopic dermatitis severity. Design: Cross-sectional study design. Participants A sample of 64 parent-child dyads was recruited from the dermatology clinic of a paediatric tertiary referral hospital in Brisbane, Australia. Methods: Parents completed self-report questionnaires examining child behaviour, parents' adjustment, parenting conflict, parents' relationship satisfaction, and parents' self-efficacy and self-reported performance of key management tasks. Severity of atopic dermatitis was assessed using the Scoring Atopic Dermatitis index. A routine home treatment session was observed, and parents' competence in carrying out the child's treatment assessed. Results: Pearson's and Spearman's correlations identified significant relationships (p< .05) between parents' self-efficacy and disease severity, child behaviour difficulties, parent depression and stress, parenting conflict, and relationship satisfaction. There were also significant relationships between each of these variables and parents' self-reported performance of management tasks. More profound child behaviour difficulties were associated with more severe atopic dermatitis and greater parent stress. Using multiple linear regressions, significant proportions of variation in parents' self-efficacy and self-reported task performance were explained by child behaviour difficulties and parents' formal education. Self-efficacy emerged as a likely mediator for relationships between both child behaviour and parents' education, and self-reported task performance. Direct observation of treatment sessions revealed strong relationships between parents' treatment competence and parents' self-efficacy, outcome expectations, and self-reported task performance. Less competent task performance was also associated with greater parent-reported child behaviour difficulties, parent depression and stress, parenting conflict, and relationship dissatisfaction. Conclusion: This study revealed the importance of child behaviour to parents' confidence and practices in the context of atopic dermatitis management. Children with more severe atopic dermatitis are at risk of presenting with challenging behaviour problems and their parents struggle to manage the condition successfully.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis develops a novel approach to robot control that learns to account for a robot's dynamic complexities while executing various control tasks using inspiration from biological sensorimotor control and machine learning. A robot that can learn its own control system can account for complex situations and adapt to changes in control conditions to maximise its performance and reliability in the real world. This research has developed two novel learning methods, with the aim of solving issues with learning control of non-rigid robots that incorporate additional dynamic complexities. The new learning control system was evaluated on a real three degree-of-freedom elastic joint robot arm with a number of experiments: initially validating the learning method and testing its ability to generalise to new tasks, then evaluating the system during a learning control task requiring continuous online model adaptation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Integration of biometrics is considered as an attractive solution for the issues associated with password based human authentication as well as for secure storage and release of cryptographic keys which is one of the critical issues associated with modern cryptography. However, the widespread popularity of bio-cryptographic solutions are somewhat restricted by the fuzziness associated with biometric measurements. Therefore, error control mechanisms must be adopted to make sure that fuzziness of biometric inputs can be sufficiently countered. In this paper, we have outlined such existing techniques used in bio-cryptography while explaining how they are deployed in different types of solutions. Finally, we have elaborated on the important facts to be considered when choosing appropriate error correction mechanisms for a particular biometric based solution.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We aim to design strategies for sequential decision making that adjust to the difficulty of the learning problem. We study this question both in the setting of prediction with expert advice, and for more general combinatorial decision tasks. We are not satisfied with just guaranteeing minimax regret rates, but we want our algorithms to perform significantly better on easy data. Two popular ways to formalize such adaptivity are second-order regret bounds and quantile bounds. The underlying notions of 'easy data', which may be paraphrased as "the learning problem has small variance" and "multiple decisions are useful", are synergetic. But even though there are sophisticated algorithms that exploit one of the two, no existing algorithm is able to adapt to both. In this paper we outline a new method for obtaining such adaptive algorithms, based on a potential function that aggregates a range of learning rates (which are essential tuning parameters). By choosing the right prior we construct efficient algorithms and show that they reap both benefits by proving the first bounds that are both second-order and incorporate quantiles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Internationally there is interest in developing the research skills of pre-service teachers as a means of ongoing professional renewal with a distinct need for systematic and longitudinal investigation of student learning. The current study takes a unique perspective by exploring the research learning journey of pre-service teachers participating in a transnational degree programme. Using a case-study design that includes both a self-reported and direct measure of research knowledge, the results indicate a progression in learning, as well as evidence that this research knowledge is continued or maintained when the pre-service teachers return to their home university. The findings of this study have implications for both pre-service teacher research training and transnational programmes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Overviews of systematic reviews (SRs) are useful for public health policy; however there is an absence of Cochrane Overviews covering public health (PH) topics. Objectives: We sought to analyze the methodological approaches used in existing Cochrane Overviews and Protocols for overviews (primarily clinical in nature), and compare these to the methods and approaches used in PH overviews (non-Cochrane). The intent was to identify issues that would be relevant for undertaking Cochrane overviews. Methods: We conducted a descriptive analysis of overviews published between 1999 and 2014. We searched the Cochrane Database of Systematic Reviews for Cochrane Protocols for overviews and Cochrane Overviews, and the HealthEvidence.org for PH overviews. The primary characteristics of the overviews and elements of the methodology were extracted and compared. Results: A total of 61 overviews of SRs were included in our analysis; specifically, this included 21 Cochrane Protocols for overviews, 15 Cochrane Overviews, and 27 non-Cochrane PH overviews. Amongst the overviews, the most significant differences are that PH overviews (non-Cochrane) tend to: include earlier and more reviews, greater number of participants, allow lower levels of evidence, use assessment tools other than AMSTAR (A Measurement Tool to Assess Systematic Reviews, i.e. a tool for assessing quality of SRs), not assess quality of evidence in reviews, search more databases overall, specify search limits including English-only reviews, and not consider recent primary studies for inclusion. Some of these differences clearly related to quality, however many relate to the nuances of PH interventions. Conclusions: The methodology in Cochrane overviews and PH overviews varies widely. Future PH overviews may benefit from the Cochrane methodology but the Cochrane approach requires modification to accommodate PH research methodology. Additionally, the use of databases that pre-screen and quality assess relevant PH systematic reviews may help expedite the search process.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We performed a contingent valuation survey to elicit the opportunity cost of bed-days consumed by healthcare-associated infections in 11 European hospitals. The opportunity cost of a bed-day was significantly lower than the accounting cost; median values were i72 and i929, respectively (P ! .001). Accounting methods overestimate the opportunity cost of bed-days...

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Unlicensed driving is a serious problem in many countries, despite ongoing improvements in traffic law enforcement practices and technology. The term ‘unlicensed driver' is generally used to refer to people who operate a motor vehicle or motorcycle without a valid driver's licence, including those who: • have let their licence expire; • have been disqualified or suspended from driving; • hold an inappropriate class of licence for the vehicle they drive; • drive outside the restrictions of a special licence; • don’t currently hold a licence; or • have never held a licence.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

By definition, regulatory rules (in legal context called norms) intend to achieve specific behaviour from business processes, and might be relevant to the whole or part of a business process. They can impose conditions on different aspects of process models, e.g., control-flow, data and resources etc. Based on the rules sets, norms can be classified into various classes and sub-classes according to their effects. This paper presents an abstract framework consisting of a list of norms and a generic compliance checking approach on the idea of (possible) execution of processes. The proposed framework is independent of any existing formalism, and provides a conceptually rich and exhaustive ontology and semantics of norms needed for business process compliance checking. The possible uses of the proposed framework include to compare different compliance management frameworks (CMFs).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background Influenza infection during pregnancy is associated with significant morbidity and mortality. Immunisation against influenza is recommended during pregnancy in several countries but uptake of vaccine is poor. There are limited data on vaccine uptake, and the determinants of vaccination, in Australian Aboriginal and/or Torres Islander women during pregnancy. This study aimed to establish an appropriate methodology and collect pilot data on vaccine uptake and attitudes towards, and perceptions of, maternal influenza vaccination in that population in order to inform the development of larger studies. Methods A mixed-methods study comprised of a cross-sectional survey and yarning circles (focus groups) amongst Aboriginal and Torres Strait Islander women attending two primary health care services. The women were between 28 weeks gestation and less than 16 weeks post-birth. These data were supplemented by data collected in an ongoing national Australian study of maternal influenza vaccination. Aboriginal research officers collected community data and data from the yarning circles which were based on a narrative enquiry framework. Descriptive statistics were used to analyse quantitative data and thematic analyses were applied to qualitative data. Results Quantitative data were available for 53 women and seven of these women participated in the yarning circles. The proportion of women who reported receipt of an influenza vaccine during their pregnancy was 9/53. Less than half of the participants (21/53) reported they had been offered the vaccine in pregnancy. Forty-three percent reported they would get a vaccine if they became pregnant again. Qualitative data suggested perceived benefits to themselves and their infants were important factors in the decision to be vaccinated but there was insufficient information available to women to make that choice. Conclusions The rates of influenza immunisation may continue to remain low for Aboriginal and/or Torres Strait Islander women during pregnancy. Access to services and recommendations by a health care worker may be factors in the lower rates. Our findings support the need for larger studies directed at monitoring and understanding the determinants of maternal influenza vaccine uptake during pregnancy in Australian Aboriginal and Torres Strait Islander women. This research will best be achieved using methods that account for the social and cultural contexts of Aboriginal and Torres Strait Islander communities in Australia.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper examines the feasibility of using vertical light pipes to naturally illuminate the central core of a multilevel building not reached by window light. The challenges addressed were finding a method to extract and distribute equal amounts of light at each level and designing collectors to improve the effectiveness of vertical light pipes in delivering low elevation sunlight to the interior. Extraction was achieved by inserting partially reflecting cones within transparent sections of the pipes at each floor level. Theory was formulated to estimate the partial reflectance necessary to provide equal light extraction at each level. Designs for daylight collectors formed from laser cut panels tilted above the light pipe were developed and the benefits and limitations of static collectors as opposed to collectors that follow the sun azimuth investigated. Performance was assessed with both basic and detailed mathematical simulation and by observations made with a five level model building under clear sky conditions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective: Given the Australian government’s current policy of placing asylum seekers into the community while their applications for asylum are being considered, it is important that mental health practitioners are able to offer culturally safe, sensitive, and competent services in this context. Method: A qualitative approach was used to interview seven practitioners, who provided services to asylum seekers at a specialist health clinic in the community. These professionals used their experience to identify the psychosocial issues faced by these asylum seekers, the challenges of providing culturally effective services to this group, and how these services can be improved. Result: Data were thematically analysed using NVivo. The findings indicated that participants perceived that clients experienced psychological, health, and cultural difficulties. The stress and uncertainty around visa applications emerged as the most severe factor impacting asylum seekers’ mental health. Working effectively with interpreters and culturally adapting assessment and treatment for these clients emerged as effective strategies. Gathering information in a conversational way and using clients’ different cultural explanatory models were methods used to identify and address mental health issues, rather than using formal measures. Interventions were eclectic and holistic, and reflected treatments that were appropriate for the clients’ cultural backgrounds. Conclusion: The study has implications for how psychological services are offered to asylum seekers in the community. Further, it identifies areas that can be incorporated in the future training of practitioners.