Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
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.
Automate cellulairethumb|250px|right| À gauche, une règle locale simple : une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.
Système de santévignette|Système de santé universel Un système de santé ou système de soins de santé décrit les moyens organisationnels et stratégiques mis en place par pays, par zones géographiques ou entités communautaires, afin d'assurer une continuité et une qualité des prestations de santé médicale. Il réunit toutes les organisations, institutions et ressources qui interviennent en matière de santé et qui fournissent des soins formels (médecins, infirmiers, maternité, hôpitaux et pharmacies), des soins informels (guérisseurs traditionnels, travailleurs communautaires) ainsi que d'autres services, comme la recherche.
Automatevignette|Karakuri serveur de thé, avec mécanisme, . musée national de la nature et des sciences de Tokyo. Un automate est un dispositif reproduisant en autonomie une séquence d'actions prédéterminées sans l'intervention humaine, le système fait toujours la même chose. L'automate est un objet programmé. En automatisme le terme est réservé aux dispositifs électromécaniques pilotant le système. Il commande le registre des sorties (commande des actionneurs) en fonction du registre des entrées (états des signaux envoyés par les capteurs) et de l'étape du programme en cours.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Électronique (technique)vignette|Composants de circuits électroniques. L'électronique est une branche de la physique appliquée, . Elle traite . On parle d'électronique surtout quand les circuits électriques comportent des éléments amplificateurs et notamment des semi-conducteurs. Le terme électrotechnique recouvre en principe l'ensemble des applications de l'électricité, mais en français, on en exclut les domaines des télécommunications et des technologies de l'information, que l'on considère ainsi du domaine exclusif de l'électronique.
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.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Système d'exploitation temps réelUn système d'exploitation temps réel, en anglais RTOS pour real-time operating system (généralement prononcé à l’anglaise, en séparant le R de l’acronyme : Are-toss), est un système d'exploitation pour lequel le temps maximum entre un stimulus d'entrée et une réponse de sortie est précisément déterminé. Ces systèmes d'exploitation multitâches sont destinés à des applications temps réel : systèmes embarqués (thermostats programmables, contrôleurs électroménagers, téléphones mobiles, robots industriels, vaisseaux spatiaux, systèmes de contrôle commande industriel, matériel de recherche scientifique).
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.
Protocole de soinsA medical guideline (also called a clinical guideline, standard treatment guideline, or clinical practice guideline) is a document with the aim of guiding decisions and criteria regarding diagnosis, management, and treatment in specific areas of healthcare. Such documents have been in use for thousands of years during the entire history of medicine. However, in contrast to previous approaches, which were often based on tradition or authority, modern medical guidelines are based on an examination of current evidence within the paradigm of evidence-based medicine.