Les transferts de fonds virtuels – une technologie innovatrice et un moyen potentiel de blanchiment d’argent

Travail dirigé présenté à la Faculté des études supérieures et postdoctorales en vue de l’obtention du grade de Maître ès sciences (M.Sc) en Criminologie – Option sécurité intérieure

La construction sociale de l'usage de la technologie : le cas du courrier électronique

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Étude exploratoire du recours à des interventions médicales de type "lourd' pour soulager la souffrance existentielle en fin de vie

Au cours du siècle dernier, des améliorations au niveau des conditions de vie ainsi que des avancées importantes dans les sciences biomédicales ont permis de repousser les frontières de la vie. Jusqu’au début du XXe Siècle, la mort était un processus relativement bref, survenant à la suite de maladies infectieuses et avait lieu à la maison. À présent, elle survient plutôt après une longue bataille contre des maladies incurables et des afflictions diverses liées à la vieillesse et a le plus souvent lieu à l’hôpital. Pour comprendre la souffrance du malade d’aujourd’hui et l’aborder, il faut comprendre ce qu’engendre comme ressenti ce nouveau contexte de fin de vie autant pour le patient que pour le clinicien qui en prend soin. Cette thèse se veut ainsi une étude exploratoire et critique des enjeux psychologiques relatifs à cette mort contemporaine avec un intérêt premier pour l’optimisation du soulagement de la souffrance existentielle du patient dans ce contexte. D’abord, je m’intéresserai à la souffrance du patient. À travers un examen critique des écrits, une définition précise et opérationnelle, comportant des critères distinctifs, de ce qu’est la souffrance existentielle en fin de vie sera proposée. Je poserai ainsi l’hypothèse que la souffrance peut être définie comme une forme de construction de l’esprit s’articulant autour de trois concepts : intégrité, altérité et temporalité. D’abord, intégrité au sens où initialement l’individu malade se sent menacé dans sa personne (relation à soi). Ensuite, altérité au sens où la perception de ses conditions extérieures a un impact sur la détresse ressentie (relation à l’Autre). Et finalement, temporalité au sens où l’individu souffrant de façon existentielle semble bien souvent piégé dans un espace-temps particulier (relation au temps). Ensuite, je m’intéresserai à la souffrance du soignant. Dans le contexte d’une condition terminale, il arrive que des interventions lourdes (p. ex. : sédation palliative profonde, interventions invasives) soient discutées et même proposées par un soignant. Je ferai ressortir diverses sources de souffrance propres au soignant et générées par son contact avec le patient (exemples de sources de souffrance : idéal malmené, valeurs personnelles, sentiment d’impuissance, réactions de transfert et de contre-transfert, identification au patient, angoisse de mort). Ensuite, je mettrai en lumière comment ces dites sources de souffrance peuvent constituer des barrières à l’approche de la souffrance du patient, notamment par l’influence possible sur l’approche thérapeutique choisie. On constatera ainsi que la souffrance d’un soignant contribue par moment à mettre en place des mesures visant davantage à l’apaiser lui-même au détriment de son patient. En dernier lieu, j'élaborerai sur la façon dont la rencontre entre un soignant et un patient peut devenir un espace privilégié afin d'aborder la souffrance. J'émettrai certaines suggestions afin d'améliorer les soins de fin de vie par un accompagnement parvenant à mettre la technologie médicale au service de la compassion tout en maintenant la singularité de l'expérience du patient. Pour le soignant, ceci nécessitera une amélioration de sa formation, une prise de conscience de ses propres souffrances et une compréhension de ses limites à soulager l'Autre.