Graphic medicine from library to classroom

Introduction. Graphic medicine is defined as the use of comics in health sciences education and patient care. Graphic stories about personal experiences of illness from patients and their families can be used to illustrate distress, empathy and collaboration between family members and health professionals and thus give students a broader experience of disease. We present a collection of graphic novels and outline collaboration with professors from various faculties in order to use comics as teaching material in health sciences. Method. The university has health sciences faculties of Nursing, Medicine, Pharmacy, Dentistry, Veterinary Medicine and schools of Public Health, Optometry and Kinesiology. The Health Library is offering its patrons a collection of 40 comics mainly on the theme of patient and family illness experience. An ongoing survey gathers feedback from users; results will help us promote the collection. A librarian is working with professors from the facultiesof Nursing, Medicine and Pharmacy in order to integrate comics’ excerpts into e-learning modules for three health and social services interprofessional courses reaching more than 1000 students annually. Other courses teaching empathy and partnership with patients will be identified and professors will be approached to raise awareness of the collection’s potential as teaching material. Results. The collection has been available to patrons since October 2012. Survey responses collected so far are very positive and titles are regularly borrowed. The collection has been added as suggested reading in a physiotherapy course outline. Discussion. The comics’ collection is already widely used by our patrons. Steps are being taken to integrate the collection into more health sciences courses and thus define graphic medicine as teaching material in health sciences education at the university.

Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.