Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Différenciation cellulaireLa différenciation cellulaire est un concept de biologie du développement décrivant le processus par lequel les cellules se spécialisent en un « type » cellulaire avec une structure et une composition spécifiques permettant d'accomplir une ou plusieurs fonctions particulières. La morphologie d'une cellule peut changer radicalement durant la différenciation, mais le matériel génétique reste le même, à quelques exceptions près. Une cellule capable de se différencier en plusieurs types de cellules est appelée pluripotente.
LeucocyteLes leucocytes (du grec leukos : blanc et kutos : cellule) ou globules blancs sont des cellules produites dans la moelle osseuse et présentes dans le sang, la lymphe, les organes lymphoïdes (ganglions, rate, amygdale et végétations adénoïdes et plaques de Peyer) et de nombreux tissus conjonctifs de l'organisme. Il en existe trois types principaux : les polynucléaires (ou granulocytes), les lymphocytes et les monocytes. Chaque type joue un rôle important au sein du système immunitaire en participant à la protection contre les agressions d'organismes extérieurs de manière coordonnée.
Immunité cellulaireCell-mediated immunity or cellular immunity is an immune response that does not involve antibodies. Rather, cell-mediated immunity is the activation of phagocytes, antigen-specific cytotoxic T-lymphocytes, and the release of various cytokines in response to an antigen. In the late 19th century Hippocratic tradition medicine system, the immune system was imagined into two branches: humoral immunity, for which the protective function of immunization could be found in the humor (cell-free bodily fluid or serum) and cellular immunity, for which the protective function of immunization was associated with cells.
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Différenciation dirigéeLa différenciation dirigée est une méthode de bio-ingénierie, à la jonction de la biologie développementale et de l'ingénierie tissulaire. Elle exploite le potentiel des cellules souches, en particulier les cellules souches pluripotentes - cellules souches embryonnaires et des cellules souches pluripotentes induites (iPS) - en forçant leur différenciation in vitro vers un type cellulaire spécifique ou un tissu d’intérêt . Les cellules souches pluripotentes ont la capacité de se différencier en n’importe quel type cellulaire, comme les neurones, les cardiomyocytes ou les hépatocytes.
Tissu conjonctifvignette|Section de l'épididyme. Le tissu conjonctif (en bleu) soutenant l'épithélium (en violet). Le tissu conjonctif (TC) est l'un des quatre types de tissus biologiques du règne animal qui soutient, lie, ou distingue différents types de tissus et d'organes du corps. Il tient son origine dans le mésoderme, au moment de la gastrulation, lors du développement embryonnaire. Les trois autres types de tissus sont l'épithélium, le tissu musculaire et le tissu nerveux.
Tissu biologiqueUn tissu en biologie est le niveau d'organisation intermédiaire entre la cellule et l'organe. Un tissu est un ensemble de cellules semblables et de même origine, regroupées en amas, réseau ou faisceau (fibre). Un tissu forme un ensemble fonctionnel, c'est-à-dire que ses cellules concourent à une même fonction. Les tissus biologiques se régénèrent régulièrement et sont assemblés entre eux pour former des organes. La science qui étudie les tissus est l'histologie. Il existe plus d'une centaine de tissus chez les animaux.
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
