Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
Liaison ioniqueUne liaison ionique (ou liaison électrovalente) est un type de liaison chimique qui peut être formé par une paire d'atomes possédant une grande différence d'électronégativité (par convention, supérieure à 1,7) typiquement entre un non-métal et un métal. Le métal donne un ou plusieurs électrons pour former un ion chargé positivement (cation). Le non-métal capte ces électrons pour former un ion chargé négativement (anion). Les deux ions formés possèdent fréquemment une configuration électronique de gaz rare (ils respectent la règle de l'octet ou la règle du duet).
Potentiel d'oxydoréductionLe potentiel d'oxydoréduction, ou potentiel redox, est une grandeur empirique exprimée en volts et généralement notée (ou, pour le potentiel redox standard, E(M/M) où M désigne un métal quelconque). Ce potentiel est exprimé par rapport à une référence, souvent mesurée par une électrode normale à hydrogène (ENH, d'où l'unité V/ENH rencontrée dans certains ouvrages). Cette mesure est appliquée aux couples d'oxydoréduction pour prévoir la réactivité des espèces chimiques entre elles.
Potentiel VoltaLe potentiel Volta (également appelé différence de potentiel Volta, différence de potentiel de contact, différence de potentiel externe, Δψ, ou "delta psi") en électrochimie, est la différence de potentiel électrostatique entre deux métaux (ou un métal et un électrolyte ) qui sont en contact et sont en équilibre thermodynamique. Plus précisément, il s'agit de la différence de potentiel entre un point proche de la surface du premier métal et un point proche de la surface du second métal (ou électrolyte ).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Triade catalytiqueredresse=1.5|vignette| Site actif de la protéase TEV (), une peptidase très sélective du virus de la gravure du tabac, montrant le substrat en noir et les résidus de la triade catalytique en rouge, ici l'aspartate (acide), l'histidine (base) et la cystéine (nucléophile). En biologie moléculaire, on désigne généralement par triade catalytique les trois résidus d'acides aminés qui interviennent ensemble dans le site actif de certaines hydrolases et transférases telles que des peptidases, des amidases, des estérases, des lipases et des β-lactamases.
Noir de platineLe noir de platine est une poudre fine de platine avec de bonnes propriétés catalytiques et dont le nom est dû à sa couleur noire. Le noir de platine est couramment utilisé sous forme de film mince qui sert à recouvrir du platine métallique solide, afin de former des électrodes de platine pour des applications en électrochimie. Le procédé mis en œuvre pour recouvrir les électrodes de noir de platine se nomme « platinisation du platine ».
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).
Structure de données persistanteEn informatique, une structure de données persistante est une structure de données qui préserve ses versions antérieures lorsqu'elle est modifiée ; une telle structure est immuable, car ses opérations ne la modifient pas en place (de manière visible) mais renvoient au contraire de nouvelles structures. Une structure est partiellement persistante si seule sa version la plus récente peut être modifiée, les autres n'étant accessibles qu'en lecture. La structure est dite totalement persistante si chacune de ses versions peut être lue ou modifiée.
Énergie primaireUne source d’énergie primaire est une forme d’énergie disponible dans la nature avant toute transformation. Si elle n’est pas utilisable directement, elle doit être transformée en une source d’énergie secondaire pour être utilisable et transportable facilement. Dans l'industrie de l'énergie, on distingue la production d'énergie primaire, de son stockage et son transport sous la forme de vecteurs d'énergie et de la consommation d'énergie finale.
