615 resultados para Multi-prover interactive proofs


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hospitals are critical elements of health care systems and analysing their capacity to do work is a very important topic. To perform a system wide analysis of public hospital resources and capacity, a multi-objective optimization (MOO) approach has been proposed. This approach identifies the theoretical capacity of the entire hospital and facilitates a sensitivity analysis, for example of the patient case mix. It is necessary because the competition for hospital resources, for example between different entities, is highly influential on what work can be done. The MOO approach has been extensively tested on a real life case study and significant worth is shown. In this MOO approach, the epsilon constraint method has been utilized. However, for solving real life applications, with a large number of competing objectives, it was necessary to devise new and improved algorithms. In addition, to identify the best solution, a separable programming approach was developed. Multiple optimal solutions are also obtained via the iterative refinement and re-solution of the model.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Multi-agent systems implicate a high degree of concurrency at both the Inter- and Intra-Agent levels. Scalable, fault tolerant, Agent Grooming Environment (SAGE), the second generation, FIPA compliant MAS requires a built in mechanism to achieve both the Inter- and Intra-Agent concurrency. This paper dilates upon an attempt to provide a reliable, efficient and light-weight solution to provide intra-agent concurrency with-in the internal agent architecture of SAGE. It addresses the issues related to using the JAVA threading model to provide this level of concurrency to the agent and provides an alternative approach that is based on an eventdriven, concurrent and user-scalable multi-tasking model for the agent's internal model. The findings of this paper show that our proposed approach is suitable for providing an efficient and lightweight concurrent task model for SA GE and considerably outweighs the performance of multithreaded tasking model based on JAVA in terms of throughput and efficiency. This has been illustrated using the practical implementation and evaluation of both models. © 2004 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Distributed Collaborative Computing services have taken over centralized computing platforms allowing the development of distributed collaborative user applications. These applications enable people and computers to work together more productively. Multi-Agent System (MAS) has emerged as a distributed collaborative environment which allows a number of agents to cooperate and interact with each other in a complex environment. We want to place our agents in problems whose solutions require the collation and fusion of information, knowledge or data from distributed and autonomous information sources. In this paper we present the design and implementation of an agent based conference planner application that uses collaborative effort of agents which function continuously and autonomously in a particular environment. The application also enables the collaborative use of services deployed geographically wide in different technologies i.e. Software Agents, Grid computing and Web service. The premise of the application is that it allows autonomous agents interacting with web and grid services to plan a conference as a proxy to their owners (humans). © 2005 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Research about disasters in tourism has emerged in earnest since the 1990s covering insights for preparedness and response. However, recently, authors have called for more systematic and holistic approaches to tourism disaster management research. To address this gap, this study adopted a public relations perspective to refocus attention to relationships and stakeholder expectations of destination communities across multiple phases of disaster management. The authors used a mixed method approach and developed a battery of disaster management attributes by conducting interviews and analyzing industry documents and the extant literature. These attributes formed part of a survey of tourism businesses. Exploratory factor analysis resulted in a two factor solution: - i) business disaster preparedness, and; - ii) destination disaster response and recovery. Findings also show that participants reported a gap between the importance and destination performance of these attributes. In particular, tourism businesses perceived destinations did not adequately engage in disaster preparedness activities, which had implications for disaster response and recovery.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Multi-document summarization addressing the problem of information overload has been widely utilized in the various real-world applications. Most of existing approaches adopt term-based representation for documents which limit the performance of multi-document summarization systems. In this paper, we proposed a novel pattern-based topic model (PBTMSum) for the task of the multi-document summarization. PBTMSum combining pattern mining techniques with LDA topic modelling could generate discriminative and semantic rich representations for topics and documents so that the most representative and non-redundant sentences can be selected to form a succinct and informative summary. Extensive experiments are conducted on the data of document understanding conference (DUC) 2007. The results prove the effectiveness and efficiency of our proposed approach.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background The Researching Effective Approaches to Cleaning in Hospitals (REACH) study will generate evidence about the effectiveness and cost-effectiveness of a novel cleaning initiative that aims to improve the environmental cleanliness of hospitals. The initiative is an environmental cleaning bundle, with five interdependent, evidence-based components (training, technique, product, audit and communication) implemented with environmental services staff to enhance hospital cleaning practices. Methods/design The REACH study will use a stepped-wedge randomised controlled design to test the study intervention, an environmental cleaning bundle, in 11 Australian hospitals. All trial hospitals will receive the intervention and act as their own control, with analysis undertaken of the change within each hospital based on data collected in the control and intervention periods. Each site will be randomised to one of the 11 intervention timings with staggered commencement dates in 2016 and an intervention period between 20 and 50 weeks. All sites complete the trial at the same time in 2017. The inclusion criteria allow for a purposive sample of both public and private hospitals that have higher-risk patient populations for healthcare-associated infections (HAIs). The primary outcome (objective one) is the monthly number of Staphylococcus aureus bacteraemias (SABs), Clostridium difficile infections (CDIs) and vancomycin resistant enterococci (VRE) infections, per 10,000 bed days. Secondary outcomes for objective one include the thoroughness of hospital cleaning assessed using fluorescent marker technology, the bio-burden of frequent touch surfaces post cleaning and changes in staff knowledge and attitudes about environmental cleaning. A cost-effectiveness analysis will determine the second key outcome (objective two): the incremental cost-effectiveness ratio from implementation of the cleaning bundle. The study uses the integrated Promoting Action on Research Implementation in Health Services (iPARIHS) framework to support the tailored implementation of the environmental cleaning bundle in each hospital. Discussion Evidence from the REACH trial will contribute to future policy and practice guidelines about hospital environmental cleaning. It will be used by healthcare leaders and clinicians to inform decision-making and implementation of best-practice infection prevention strategies to reduce HAIs in hospitals. Trial registration Australia New Zealand Clinical Trial Registry ACTRN12615000325​505

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background Treatment guidelines recommend watchful waiting for children older than 2 years with acute otitis media (AOM) without perforation, unless they are at high risk of complications. The high prevalence of chronic suppurative otitis media (CSOM) in remote Aboriginal and Torres Strait Islander communities leads these children to be classified as high risk. Urban Aboriginal and Torres Strait Islander children are at lower risk of complications, but evidence to support the subsequent recommendation for watchful waiting in this population is lacking. Methods/Design This non-inferiority multi-centre randomised controlled trial will determine whether watchful waiting is non-inferior to immediate antibiotics for urban Aboriginal and Torres Strait Islander children with AOM without perforation. Children aged 2 − 16 years with AOM who are considered at low risk for complications will be recruited from six participating urban primary health care services across Australia. We will obtain informed consent from each participant or their guardian. The primary outcome is clinical resolution on day 7 (no pain, no fever of at least 38 °C, no bulging eardrum and no complications of AOM such as perforation or mastoiditis) as assessed by general practitioners or nurse practitioners. Participants and outcome assessors will not be blinded to treatment. With a sample size of 198 children in each arm, we have 80 % power to detect a non-inferiority margin of up to 10 % at a significance level of 5 %, assuming clinical improvement of at least 80 % in both groups. Allowing for a 20 % dropout rate, we aim to recruit 495 children. We will analyse both by intention-to-treat and per protocol. We will assess the cost- effectiveness of watchful waiting compared to immediate antibiotic prescription. We will also report on the implementation of the trial from the perspectives of parents/carers, health professionals and researchers. Discussion The trial will provide evidence for the safety and effectiveness of watchful waiting for the management of AOM in Aboriginal and Torres Strait Islander children living in urban settings who are considered to be at low risk of complications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Acoustics is a rich source of environmental information that can reflect the ecological dynamics. To deal with the escalating acoustic data, a variety of automated classification techniques have been used for acoustic patterns or scene recognition, including urban soundscapes such as streets and restaurants; and natural soundscapes such as raining and thundering. It is common to classify acoustic patterns under the assumption that a single type of soundscapes present in an audio clip. This assumption is reasonable for some carefully selected audios. However, only few experiments have been focused on classifying simultaneous acoustic patterns in long-duration recordings. This paper proposes a binary relevance based multi-label classification approach to recognise simultaneous acoustic patterns in one-minute audio clips. By utilising acoustic indices as global features and multilayer perceptron as a base classifier, we achieve good classification performance on in-the-field data. Compared with single-label classification, multi-label classification approach provides more detailed information about the distributions of various acoustic patterns in long-duration recordings. These results will merit further biodiversity investigations, such as bird species surveys.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Yttrium silicates (Y-Si-O oxides), including Y2Si2O7, Y2SiO5, and Y4·67(SiO4)3O apatite, have attracted wide attentions from material scientists and engineers, because of their extensive polymorphisms and important roles as grain boundary phases in improving the high-temperature mechanical/thermal properties of Si3N4and SiC ceramics. Recent interest in these materials has been renewed by their potential applications as high-temperature structural ceramics, oxidation protective coatings, and environmental barrier coatings (EBCs). The salient properties of Y-Si-O oxides are strongly related to their unique chemical bonds and microstructure features. An in-depth understanding on the synthesis - multi-scale structure-property relationships of the Y-Si-O oxides will shine a light on their performance and potential applications. In this review, recent progress of the synthesis, multi-scale structures, and properties of the Y-Si-O oxides are summarised. First, various methods for the synthesis of Y-Si-O ceramics in the forms of powders, bulks, and thin films/coatings are reviewed. Then, the crystal structures, chemical bonds, and atomic microstructures of the polymorphs in the Y-Si-O system are summarised. The third section focuses on the properties of Y-Si-O oxides, involving the mechanical, thermal, dielectric, and tribological properties, their environmental stability, and their structure-property relationships. The outlook for potential applications of Y-Si-O oxides is also highlighted.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The emergence of multiple satellite navigation systems, including BDS, Galileo, modernized GPS, and GLONASS, brings great opportunities and challenges for precise point positioning (PPP). We study the contributions of various GNSS combinations to PPP performance based on undifferenced or raw observations, in which the signal delays and ionospheric delays must be considered. A priori ionospheric knowledge, such as regional or global corrections, strengthens the estimation of ionospheric delay parameters. The undifferenced models are generally more suitable for single-, dual-, or multi-frequency data processing for single or combined GNSS constellations. Another advantage over ionospheric-free PPP models is that undifferenced models avoid noise amplification by linear combinations. Extensive performance evaluations are conducted with multi-GNSS data sets collected from 105 MGEX stations in July 2014. Dual-frequency PPP results from each single constellation show that the convergence time of undifferenced PPP solution is usually shorter than that of ionospheric-free PPP solutions, while the positioning accuracy of undifferenced PPP shows more improvement for the GLONASS system. In addition, the GLONASS undifferenced PPP results demonstrate performance advantages in high latitude areas, while this impact is less obvious in the GPS/GLONASS combined configuration. The results have also indicated that the BDS GEO satellites have negative impacts on the undifferenced PPP performance given the current “poor” orbit and clock knowledge of GEO satellites. More generally, the multi-GNSS undifferenced PPP results have shown improvements in the convergence time by more than 60 % in both the single- and dual-frequency PPP results, while the positioning accuracy after convergence indicates no significant improvements for the dual-frequency PPP solutions, but an improvement of about 25 % on average for the single-frequency PPP solutions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Emissions of gases and particles from sea-faring ships have been shown to impact on the atmospheric chemistry and climate. To efficiently monitor and report these emissions found from a ship’s plume, the concept of using a multi-rotor or UAV to hover inside or near the exhaust of the ship to actively record the data in real time is being developed. However, for the required sensors obtain the data; their sensors must face into the airflow of the ships plume. This report presents an approach to have sensors able to read in the chemicals and particles emitted from the ship without affecting the flight dynamics of the multi-rotor UAV by building a sealed chamber in which a pump can take in the surrounding air (outside the downwash effect of the multi-rotor) where the sensors are placed and can analyse the gases safely. Results show that the system is small, lightweight and air-sealed and ready for flight test.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A mathematics classroom is comprised of many mathematicians with varying understanding of mathematics knowledge, including the teacher, students and sometimes researchers. To align with this conceptualisation of knowledge and understanding, the multi-faceted teaching experiment will be introduced as an approach to study all classroom participants’ interactions with the shared knowledge of mathematics. Drawing on the experiences of a large curriculum project, it is claimed that, unlike a multi-tiered teaching experiment, the multi-faceted teaching experiment provides a research framework that allows for the study of mathematicians’ building of knowledge in a classroom without privileging the experience of any one participant.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background The leading causes of morbidity and mortality for people in high-income countries living with HIV are now non-AIDS malignancies, cardiovascular disease and other non-communicable diseases associated with ageing. This protocol describes the trial of HealthMap, a model of care for people with HIV (PWHIV) that includes use of an interactive shared health record and self-management support. The aims of the HealthMap trial are to evaluate engagement of PWHIV and healthcare providers with the model, and its effectiveness for reducing coronary heart disease risk, enhancing self-management, and improving mental health and quality of life of PWHIV. Methods/Design The study is a two-arm cluster randomised trial involving HIV clinical sites in several states in Australia. Doctors will be randomised to the HealthMap model (immediate arm) or to proceed with usual care (deferred arm). People with HIV whose doctors are randomised to the immediate arm receive 1) new opportunities to discuss their health status and goals with their HIV doctor using a HealthMap shared health record; 2) access to their own health record from home; 3) access to health coaching delivered by telephone and online; and 4) access to a peer moderated online group chat programme. Data will be collected from participating PWHIV (n = 710) at baseline, 6 months, and 12 months and from participating doctors (n = 60) at baseline and 12 months. The control arm will be offered the HealthMap intervention at the end of the trial. The primary study outcomes, measured at 12 months, are 1) 10-year risk of non-fatal acute myocardial infarction or coronary heart disease death as estimated by a Framingham Heart Study risk equation; and 2) Positive and Active Engagement in Life Scale from the Health Education Impact Questionnaire (heiQ). Discussion The study will determine the viability and utility of a novel technology-supported model of care for maintaining the health and wellbeing of people with HIV. If shown to be effective, the HealthMap model may provide a generalisable, scalable and sustainable system for supporting the care needs of people with HIV, addressing issues of equity of access. Trial registration Universal Trial Number (UTN) U111111506489; ClinicalTrial.gov Id NCT02178930 submitted 29 June 2014

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In November 2012, Queensland University of Technology in Australia launched a giant interactive learning environment known as The Cube. This article reports a phenomenographic investigation into visitors’ different experiences of learning in The Cube. At present very little is known about people’s learning experience in spaces featuring large interactive screens. We observed many visitors to The Cube and interviewed 26 people. Our analysis identified critical variation across the visitors’ experience of learning in The Cube. The findings are discussed as the learning strategy (in terms of Absorption, Exploration, Isolation and Collaboration); and the content learned (in terms of Technology, Skills and Topics). Other findings presented here are dimensions of the learning strategy and the content learned, with differing perspectives on each dimension. These outcomes provide early insights into the potential of giant interactive environments to enhance learning approaches and guide the design of innovative learning spaces in higher education.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The increased availability of image capturing devices has enabled collections of digital images to rapidly expand in both size and diversity. This has created a constantly growing need for efficient and effective image browsing, searching, and retrieval tools. Pseudo-relevance feedback (PRF) has proven to be an effective mechanism for improving retrieval accuracy. An original, simple yet effective rank-based PRF mechanism (RB-PRF) that takes into account the initial rank order of each image to improve retrieval accuracy is proposed. This RB-PRF mechanism innovates by making use of binary image signatures to improve retrieval precision by promoting images similar to highly ranked images and demoting images similar to lower ranked images. Empirical evaluations based on standard benchmarks, namely Wang, Oliva & Torralba, and Corel datasets demonstrate the effectiveness of the proposed RB-PRF mechanism in image retrieval.