BiosenseurUn biosenseur (aussi appelé biocapteur) est un dispositif détecteur, semi-biologique associant trois éléments : l'échantillon à étudier : eau, air, sol, matériel biologique (tissus, micro-organismes, organites, récepteurs cellulaires, enzymes, anticorps, acides nucléiques, organismes génétiquement modifié, ou matériel issu d'OGM, etc.) un élément capteur (éventuellement sous la forme d'une puce électronique) détectant des changements physico-chimiques sous forme de signaux (présence/absence) biochimiques et/ou physiques ou chimique dans un milieu (externe ou interne au corps humain) et émettant un signal biologique.
Capteurvignette|Le système informatique d'un avion de ligne gère en une fraction de seconde les données issues de nombreux capteurs (vitesse, direction, contrôle des réacteurs). vignette|Capteur infrarouge. Un capteur est un dispositif transformant l'état d'une grandeur physique observée en une grandeur utilisable, telle qu'une tension électrique, une hauteur de mercure, un courant électrique ou la déviation d'une aiguille. Le capteur se distingue de l'instrument de mesure par le fait qu'il ne s'agit que d'une interface entre un processus physique et une information manipulable.
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.
NanoparticuleUne nanoparticule est selon la norme ISO TS/27687 un nano-objet dont les trois dimensions sont à l'échelle nanométrique, c'est-à-dire une particule dont le diamètre nominal est inférieur à environ. D'autres définitions évoquent un assemblage d'atomes dont au moins une des dimensions se situe à l'échelle nanométrique (ce qui correspond au « nano-objet » tel que défini par la norme ISO précitée) ou insistent sur leurs propriétés nouvelles (dues au confinement quantique et à leur surface spécifique) qui n'apparaissent que pour des tailles de moins d'une centaine de nanomètres.
Hydrocarbure aromatique polycycliqueLes hydrocarbures aromatiques polycycliques (HAP) sont une sous-famille des hydrocarbures aromatiques, c'est-à-dire des molécules constituées d’atomes de carbone et d’hydrogène mais dont la structure comprend au moins deux cycles aromatiques condensés. Depuis de nombreuses années, les HAP sont très étudiés car ce sont des composés présents dans tous les milieux environnementaux et qui montrent une forte toxicité.
Dépollutionvignette|Des bénévoles nettoient les côtes après la catastrophe du Prestige. La dépollution désigne l'élimination des pollutions et des contaminations des milieux ambiants tels les sols, les nappes phréatiques, les sédiments ou les eaux de surface. Les enjeux de la dépollution sont souvent financiers mais aussi d'intérêt général : protection de la santé publique et de l'environnement, ou par exemple dans le cas d'un site industriel ou commercial désaffecté, la réutilisation.
