Réseau métallo-organiquevignette|Exemple de MOF avec différents ligands organiques. Les réseaux métallo-organiques (MOF, pour l'anglais metal–organic framework) sont des solides poreux hybrides cristallins constitués d'ions métalliques ou de clusters coordonnés à des ligands organiques pour former des structures en une, deux ou trois dimensions. Les MOF présentent notamment une surface spécifique très élevée du fait de leur structure nanoporeuse. Les MOF sont nommés selon leur lieu de découverte suivi d’un numéro d’incrémentation, par exemple MIL-101 pour Matériaux Institut Lavoisier , ou UiO-66.
Aliment génétiquement modifiéGenetically modified foods (GM foods), also known as genetically engineered foods (GE foods), or bioengineered foods are foods produced from organisms that have had changes introduced into their DNA using various methods of genetic engineering. Genetic engineering techniques allow for the introduction of new traits as well as greater control over traits when compared to previous methods, such as selective breeding and mutation breeding.
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.
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.
Biotic materialBiotic material or biological derived material is any material that originates from living organisms. Most such materials contain carbon and are capable of decay. The earliest life on Earth arose at least 3.5 billion years ago. Earlier physical evidences of life include graphite, a biogenic substance, in 3.7 billion-year-old metasedimentary rocks discovered in southwestern Greenland, as well as, "remains of biotic life" found in 4.1 billion-year-old rocks in Western Australia.
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.
Éthanol cellulosiqueL'éthanol cellulosique (ou ceetol) est un biocarburant de transport fabriqué à partir de déchets agricoles et ligneux, ainsi que d'arbres à croissance rapide. La paille de blé, la canne à sucre, le maïs, les déchets ligneux, le panic érigé et le peuplier constituent autant de sources potentielles. Les sous-produits végétaux servent à produire l'énergie requise pour la fabrication de l'éthanol cellulosique. Son potentiel de réduction des émissions de gaz à effet de serre est supérieur à celui de l'éthanol traditionnel fabriqué à partir de céréales.
Fermentation alcooliquevignette|Bulles de gaz carbonique produites par la fermentation alcoolique du vin. La fermentation alcoolique est un processus biochimique par lequel des sucres (glucides, principalement le glucose) sont transformés en alcool (éthanol) dans un milieu liquide, privé d'air. La réaction libère de l'énergie. La plupart des ferments microorganiques (levures) qui ont la capacité de fermentation alcoolique utilisent cette réaction pour gagner temporairement de l'énergie quand l'oxygène nécessaire à la respiration cellulaire manque.
Circuit impriméUn circuit imprimé (ou PCB de l'anglais printed circuit board) est un support, en général une plaque, permettant de maintenir et de relier électriquement un ensemble de composants électroniques entre eux, dans le but de réaliser un circuit électronique complexe. On le désigne aussi par le terme de carte électronique. vignette|Un circuit imprimé. Il est constitué d'un assemblage d'une ou plusieurs fines couches de cuivre séparées par un matériau isolant.
Chemical specificityChemical specificity is the ability of binding site of a macromolecule (such as a protein) to bind specific ligands. The fewer ligands a protein can bind, the greater its specificity. Specificity describes the strength of binding between a given protein and ligand. This relationship can be described by a dissociation constant, which characterizes the balance between bound and unbound states for the protein-ligand system.
