Leucémie myéloïde chroniqueLa leucémie myéloïde chronique (LMC) est une prolifération myéloïde monoclonale sans blocage de maturation prédominant sur la lignée granuleuse au niveau médullaire et splénique. Dans l'espèce humaine, elle fait partie des 4 grands syndromes myéloprolifératifs (avec la maladie de Vaquez, la thrombocytémie essentielle et la splénomégalie myéloïde). Elle touche surtout l'adulte entre 30 et 50 ans et est favorisée par l'exposition au benzène et aux rayons ionisants.
NilotinibLe est un inhibiteur de l'activité tyrosine kinase Abl de l'oncoprotéine Bcr-Abl (Bcr : - Abl : ), à la fois dans les lignées cellulaires et dans les cellules leucémiques primaires chromosome Philadelphie positives. Le nilotinib est commercialisé par Novartis sous le nom de Tasigna (nom de code : AMN107). Le nilotinib présente une forte affinité pour le site de liaison de l'adénosine triphosphate (ATP) avec lequel il va entrer en compétition. Il devient ainsi inhibiteur de l'oncoprotéine Bcr-Abl, y compris des formes résistantes à l'imatinib.
Tumeur stromale gastro-intestinaleLes tumeurs stromales digestives ou GIST (Gastro Intestinal Stromal Tumor) sont des tumeurs malignes du tube digestif. Historiquement, les GIST étaient des sarcomes de mauvais pronostic caractérisés par une grande résistance aux chimiothérapies. Le traitement des GIST a été révolutionné par l'utilisation du Glivec (Imatinib), un inhibiteur de tyrosine kinase qui bloque la prolifération des cellules du GIST et ce de façon très spécifique. Les GIST sont des tumeurs stromales donc issues des tissus mésenchymateux.
DasatinibLe dasatinib est un médicament anticancéreux (voie orale) commercialisé par Bristol-Myers Squibb sous le nom de Sprycel. Le dasatinib est un multi-inhibiteur de tyrosine kinase (BCR-Abl et famille Src principalement) de type I, c'est-à-dire qu'il se loge dans le site actif de la kinase en compétition avec l'ATP sans toutefois déplacer la boucle DFG. Le groupement 2-chloro-6-méthylphényle se loge dans la poche hydrophobe, les azotes de l'aminothiazole établissent des liaisons hydrogène avec les acides aminés de la région charnièrne de la protéine.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
SunitinibLe sunitinib (DCI) est un médicament destiné au traitement du cancer du rein avancé et/ou métastatique et des tumeurs stromales digestives, en cas d'échec à l'imatinib. Il est développé par les laboratoires Pfizer qui le commercialise sous le nom de Sutent. Il s'agit d'un inhibiteur de plusieurs tyrosines kinases, dont les récepteurs au facteur de croissance de l’endothélium vasculaire, au , au CD117. Il bloque ainsi des signaux de transduction, inhibant la croissance tumorale, l'angiogenèse, la formation de métastases.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Interprétation abstraiteL'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie comme une exécution partielle d'un programme pour obtenir des informations sur sa sémantique (par exemple, sa structure de contrôle, son flot de données) sans avoir à en faire le traitement complet.
Théorie des automatesEn informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Treatment of cancerCancer can be treated by surgery, chemotherapy, radiation therapy, hormonal therapy, targeted therapy (including immunotherapy such as monoclonal antibody therapy) and synthetic lethality, most commonly as a series of separate treatments (e.g. chemotherapy before surgery). The choice of therapy depends upon the location and grade of the tumor and the stage of the disease, as well as the general state of the patient (performance status). Cancer genome sequencing helps in determining which cancer the patient exactly has for determining the best therapy for the cancer.
