Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
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.
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.
Calcul des structures et modélisationLe calcul des structures et la modélisation concernent deux domaines distincts : d'une part les applications spécifiques au patrimoine architectural, mobilier et naturel et d'autre part les applications industrielles. Le calcul des structures et leur modélisation est utilisé dans les domaines : de la conservation et mise en valeur du patrimoine architectural, mobilier et naturel, dans le cadre de missions d’assistance à la maître d’œuvre ou au maître d’ouvrage permettant d’arrêter un programme de travaux, d’applications industrielles.
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.
MultiprocessingMultiprocessing is the use of two or more central processing units (CPUs) within a single computer system. The term also refers to the ability of a system to support more than one processor or the ability to allocate tasks between them. There are many variations on this basic theme, and the definition of multiprocessing can vary with context, mostly as a function of how CPUs are defined (multiple cores on one die, multiple dies in one package, multiple packages in one system unit, etc.).
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.
Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
