Conception de médicamentLa conception de médicament, plus précisément conception de substance pharmacologiquement active plus connue sous sa dénomination anglaise Drug design est l'ensemble des processus nécessaires à l'élaboration d'un médicament. Dans l'industrie pharmaceutique, ces processus peuvent-être subdivisés et répartis en quatre phases ou étapes : La phase de recherche La phase de développement La phase clinique La phase de mise sur le marché Remarque : Les phases de recherche et développement sont communément dénommées R&D.
Organisme génétiquement modifiévignette|Un bout d'ADN retiré par une pince (vision d'artiste). Un organisme génétiquement modifié ou OGM (en anglais, Genetically modified organism ou GMO) est un organisme vivant dont le patrimoine génétique a été modifié par l'intervention humaine. Selon les définitions européennes, ces modifications doivent être issues du génie génétique. La définition américaine inclut également les modifications issues de la sélection artificielle.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Animal génétiquement modifiéUn animal génétiquement modifié est un animal vivant dont le patrimoine génétique a été modifié par l'Homme. Un animal transgénique est un animal au génome duquel a été introduit par transgénèse un ou plusieurs gènes. Contrairement aux plantes transgéniques, qui font la une des journaux à l’occasion, les animaux transgéniques restent dans l’ombre. Il faut dire que la grande majorité d’entre eux n'en sont encore qu’au stade de la recherche et du développement. En 1980 est développé le premier animal transgénique.
Cible thérapeutiqueUne cible thérapeutique est un élément quelconque d'un organisme auquel se fixe prioritairement une entité modifiant son comportement, tel qu'un ligand endogène, un médicament ou une drogue. Un exemple de cible thérapeutique courante sont les protéines et les acides nucléiques. La définition dépend du contexte et peut référer à la cible d'un médicament, la cible d'une hormone (comme l'insuline), ou la cible de stimulus externe. Le principe est que la cible est "touchée" par un signal et qu'ainsi sa fonction et son attitude sont changées.
Drug discoveryIn the fields of medicine, biotechnology and pharmacology, drug discovery is the process by which new candidate medications are discovered. Historically, drugs were discovered by identifying the active ingredient from traditional remedies or by serendipitous discovery, as with penicillin. More recently, chemical libraries of synthetic small molecules, natural products or extracts were screened in intact cells or whole organisms to identify substances that had a desirable therapeutic effect in a process known as classical pharmacology.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Étiquette poly-histidineUne étiquette poly-histidine est un motif d'acides aminés dans une protéine constitué d'au moins six résidus histidine, souvent insérés à l’extrémité N- ou C- terminale de la protéine. On la désigne parfois par les noms hexa-histidine tag (en anglais), 6xHis-tag ou encore la marque déposée His-tag de EMD Biosciences. Elle est fréquemment utilisée pour la purification par chromatographie d'affinité de protéines synthétisées par génie génétique.
Relation quantitative structure à activitéUne relation quantitative structure à activité (en anglais : Quantitative structure-activity relationship ou QSAR, parfois désignée sous le nom de relation quantitative structure à propriété - en anglais : quantitative structure-property relationship ou QSPR) est le procédé par lequel une structure chimique est corrélée avec un effet bien déterminé comme l'activité biologique ou la réactivité chimique. Ainsi, l'activité biologique peut être exprimée de manière quantitative, comme pour la concentration de substance nécessaire pour obtenir une certaine réponse biologique.
Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Purification des protéinesLa purification des protéines est une série de processus divers destinés à isoler une ou plusieurs protéines à partir d'un mélange complexe (cellules, autres particules ou matrices). C'est une étape importante en recherche fondamentale pour la caractérisation de la fonction (études des propriétés), de la structure, sa composition en acide aminé et des interactions d'une protéine d'intérêt, mais aussi en recherche appliquée et industrie pour préparer des matières et réactifs.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Diffusion facilitéeLa diffusion facilitée (ou transport facilité) est un mécanisme de diffusion facilitée par des transporteurs membranaires. La diffusion facilitée correspond au passage spontané de molécules ou d'ions à travers une membrane biologique en passant par des molécules de transport. Ce processus ne consomme pas d'énergie et ne relève donc pas du transport actif. Les molécules polaires et les ions étant hydrophiles, ils ne peuvent pas diffuser librement à travers la membrane cellulaire à cause de la nature hydrophobe de la bicouche de phospholipides qui la constitue.
Protéine transmembranaireUne protéine est dite transmembranaire lorsqu’elle traverse au moins une fois entièrement la membrane cellulaire. Il existe donc trois environnements de composition différente en contact avec la protéine : le milieu extracellulaire, les lipides de la membrane, le cytosol. Chacun de ces trois environnements a une influence sur la structure de la protéine. Les acides aminés qui composent la partie transmembranaire sont hydrophobes tandis que les acides aminés qui composent les parties extracellulaire et intracytosolique sont hydrophiles.
