Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Enzymeredresse=1.5|vignette| Représentation d'une α-glucosidase () avec à sa droite le substrat au-dessus des produits de réaction . redresse=1.5|vignette|Diagramme d'une réaction catalysée montrant l'énergie E requise à différentes étapes suivant l'axe du temps t. Les substrats A et B en conditions normales requièrent une quantité d'énergie E1 pour atteindre l'état de transition A...B, à la suite duquel le produit de réaction AB peut se former. L'enzyme E crée un microenvironnement dans lequel A et B peuvent atteindre l'état de transition A.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Libéralisation des droguesLa libéralisation des drogues désigne le processus visant à réduire voire à éliminer la prohibition des drogues. La libéralisation peut consister en une dépénalisation des drogues (aussi appelée déjudiciarisation ou décriminalisation) ou en une légalisation des drogues. Les raisons avancées sont l'échec des politiques actuelles, les retombées économiques potentielles, la défense des libertés et responsabilités individuelles et la réduction des crimes liés à la drogue. En 2013 près de ont mis en place une libéralisation d'une ou plusieurs drogues.
Inhibiteur enzymatiquethumb|upright=1.2|Complexe d'une protéase du VIH (rubans rouges, bleus et jaunes) associée à l'inhibiteur qu'est le ritonavir (petite structure en bâtons et boules près du centre). Un inhibiteur enzymatique est une substance se liant à une enzyme et qui en diminue l'activité. Un inhibiteur peut empêcher la fixation du substrat sur le site actif en se fixant à sa place, ou provoquer une déformation de l'enzyme qui rend celle-ci inactive (inhibiteur allostérique).
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
Catalyse enzymatiqueLa catalyse enzymatique est le processus par lequel des réactions chimiques sont catalysées dans les systèmes vivants par des protéines spécialisées ou des ARN appelés enzymes. La catalyse enzymatique est indispensable aux organismes vivants pour l'accélération spécifique des réactions nécessaires à leur métabolisme et à la biosynthèse de l'ensemble des biomolécules qui les composent. Les principes de la catalyse enzymatique sont analogues à ceux de la catalyse chimique (voir théorie de l'état de transition).
Drug policyA drug policy is the policy regarding the control and regulation of psychoactive substances (commonly referred to as drugs), particularly those that are addictive or cause physical and mental dependence. While drug policies are generally implemented by governments, entities at all levels (from international organisations, national or local government, administrations, or private places) may have specific policies related to drugs.
Médicament sur ordonnanceUne médication ou médicament sur ordonnance est un médicament enregistré pris pour guérir, réduire ou prévenir les symptômes d'une maladie ou d'un état pathologique. Ces médicaments sur ordonnance sont en général divisés en deux groupes : Les produits de comptoir (OTC = over the counter) qui sont également disponibles en vente libre. Les médicaments que l'on ne peut obtenir qu'avec une prescription médicale. Cependant, la distinction précise entre les deux catégories dépend de la législation en vigueur.
Cellules souches cancéreusesLes cellules souches cancéreuses (CSCs) sont des cellules cancéreuses (présentes dans les tumeurs dites « solides » ou les cancers hématologiques) qui possèdent des caractéristiques associées aux cellules souches normales, notamment la capacité de donner naissance aux différentes populations de cellules présentes dans une tumeur particulière. Les CSCs sont donc tumorigènes (formant des tumeurs), peut-être à la différence d'autres cellules cancéreuses non tumorigènes.
Particule matérielleLe terme « particule matérielle » (material particle en anglais) désigne une petite portion d'un corps, de matière solide ou fluide, constituée d'un nombre suffisamment grand de particules élémentaires. La matière est pleine de vide. Un corps de matière solide ou fluide est un domaine discontinu de particules composites (protons, neutrons), elles-mêmes composées de particules élémentaires. Les dimensions des particules élémentaires sont très petites devant les distances qui les séparent.
Membrane plasmiqueLa membrane plasmique, également appelée membrane cellulaire, membrane cytoplasmique, voire plasmalemme, est une membrane biologique séparant l'intérieur d'une cellule, appelé cytoplasme, de son environnement extérieur, c'est-à-dire du milieu extracellulaire. Cette membrane joue un rôle biologique fondamental en isolant la cellule de son environnement.
