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.
