Using a pay-as-you-go strategy, we allow for a community of users to validate or invalidate mappings obtained by an automatic ontology matching system using consensus for each mapping. The ultimate objectives are effectiveness—improving the quality of the obtained alignment (set of mappings) measured in terms of F-measure as a function of the number of user interactions— and robustness—making t...

In the UK following the Francis report there has been a focus on clinical leadership and medical engagement as it is recognised this is essential to improving patient care, safety, organisational performance and innovation.1 This has resulted in the development of competency frameworks, the inclusion of clinical leadership within medical education and leadership and management standards for all...

The development of computer controlled Railway Interlocking Systems (RIS) has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard. Recently, a trend has emerged about the use of statecharts as a standard formalism to produce precise specifications o...

BACKGROUND The Turkish Association of Medicine founded a Continuing Medical Education Accreditation Committee in 1993 to evaluate and accredit scientific meetings and publications. The aims of this project were to raise the standards of meetings and to introduce compulsory revalidation and re-certification for physicians in Turkey. DISCUSSION Since the year 1994, 2348 applications to the Cont...

this study was conducted to extract first, the underlying factors of home culture attachment scale (hcas) and second, to confirm these factors via structural equation modeling (sem) analysis. to meet this end, the scale was distributed to 374 english language learners in private language institutes in mashhad, iran. to determine the construct validity of the scale, exploratory factor analysis (...