Thirty years of artificial intelligence in medicine (AIME) conferences: A review of research themes

Over the past 30 years, the international conference on Artificial Intelligence in MEdicine (AIME) has been organized at different venues across Europe every 2 years, establishing a forum for scientific exchange and creating an active research community. The Artificial Intelligence in Medicine journal has published theme issues with extended versions of selected AIME papers since 1998

Physician Participation in Crowdsourcing: Effect of Intrinsic and Extrinsic Motivation

Physicians must participate in developing medical protocols to ensure that medical best practices are adopted for patients\u27 social benefit. Healthcare leaders have struggled to gain sufficient physician participation in developing medical protocols. Using technology-based crowdsourcing to assimilate knowledge from physicians may help healthcare managers improve medical protocol development. Using self-determination theory, this quantitative causal-comparative design aimed to determine whether differences in intrinsic and extrinsic motivation existed among the 132 participating physicians who did or did not participate in developing medical protocols in a crowdsourcing environment. Participants were recruited by e-mail through an independent physician association. Motivation levels were measured by the Aspirations Index via an online survey. A total of 55.3% of respondents participated in developing medical protocols. Differences were anticipated in the levels of participation in developing medical protocols between intrinsically and extrinsically motivated physicians. Rank correlations were computed between the number of protocols completed and all of the motivation scores. Personal growth and community contribution were significantly correlated with the number of addressed protocols. Positive social change may occur through improving medical protocols and healthcare outcomes by informing healthcare leaders about physicians\u27 motivation to participate in developing medical protocols. By understanding these motivators, leaders can highlight the benefits of protocol development to encourage physician participation. If participation is enhanced, protocol quality and healthcare effectiveness may be improved, benefitting patients and healthy individuals

Experiences in the formalisation and verification of medical protocols

Experiences in the formalisation and verification of medical protocols / M. Balser ... - In: Artificial intelligence in medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18 - 22, 2003 ; proceedings / Michel Dojat ... (eds.). - Berlin u.a. : Springer, 2003. - S. 132-141. - (Lecture notes in computer science ; 2780 : Lecture notes in artificial intelligence

Experiences in the formalisation and verification of medical protocols

Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements. Medical bodies worldwide have made efforts in this direction, mostly using informal methods such as peer review of protocols. We are concerned with, a different approach, namely the quality improvement of medical protocols by formal methods. In this paper we report on our experiences in the formalisation and verification of a real-world medical protocol. We have fully formalised a medical protocol in a two-stage formalisation process. Then, we have used a theorem prover to confirm whether the protocol formalisation complies with certain protocol properties. As a result, we have shown that formal verification can be used to analyse, and eventually improve, medical protocols