Cellule photoélectrochimiqueUne cellule photoélectrochimique utilise la lumière et des réactions chimiques pour produire de l'électricité. C'est un composant électronique qui, exposé à la lumière (photon), décompose l'eau en oxygène et hydrogène. On peut ensuite utiliser cet hydrogène dans des piles à combustible ou des moteurs à hydrogène. Une telle cellule photoélectrochimique est formée d'une électrode photosensible immergée dans un électrolyte ou dans de l'eau.
Électrolyse de l'eauL'électrolyse de l'eau est un procédé électrolytique qui décompose l'eau (HO) en dioxygène et dihydrogène gazeux grâce à un courant électrique. La cellule électrolytique est constituée de deux électrodes immergées dans un électrolyte (ici l'eau elle-même) et connectées aux pôles opposés de la source de courant continu. vignette|Schéma du voltamètre d'Hoffmann utilisé pour l'électrolyse de l'eau. vignette|Schéma fonctionnel de l’électrolyse.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Droits des ÉtatsDans la politique aux États-Unis, le terme « droits des États » (states' rights) fait référence à la souveraineté individuelle des gouvernements des États américains vis-à-vis de l'État fédéral. La répartition des pouvoirs est déterminée par la Constitution, reflétant notamment les pouvoirs énumérés du Congrès et le Dixième amendement. La question des droits des États fut l'un des principaux arguments négationnistes du mouvement néo-confédéré, qui a cherché à légitimer a posteriori la « Cause perdue » de la Confédération, en niant le fait que l'esclavage fut la cause principale de la guerre de Sécession.
Fonction anonymeEn programmation informatique, une fonction anonyme, aussi appelée lambda expression ou fonction lambda est une fonction n'ayant pas de nom. Les fonctions anonymes existent dans certains langages de programmation comme Python, JavaScript, OCaml ou C++. Certains langages, comme le C et Pascal (tout au moins les versions standards de ces langages), ne permettent pas d'écrire des fonctions anonymes. Parce que ces fonctions n'ont pas de nom, à l'endroit où l'on voudrait mettre leur nom, on trouve directement les instructions définissant la fonction introduites par une syntaxe particulière.
CW-complexeEn topologie algébrique, un CW-complexe est un type d'espace topologique, défini par J. H. C. Whitehead pour répondre aux besoins de la théorie de l'homotopie. L'idée était de travailler sur une classe d'objets plus grande que celle des complexes simpliciaux et possédant de meilleures propriétés du point de vue de la théorie des catégories, mais présentant comme eux des propriétés combinatoires se prêtant aux calculs. Le nom CW provient du qualificatif de l'espace topologique, en anglais : closure-finite weak topology, pour « à fermeture finie » et « topologie faible ».
Complexe de coordinationvignette| Le cisplatine est un complexe de coordination du platine() avec deux ligands chlorure et deux ligands ammoniac formant une ammine. C'est l'un des anticancéreux les plus connus. Un complexe de coordination est constitué d'un atome ou d'ion central, généralement métallique, appelé centre de coordination, et d'un réseau de molécules ou d'ions liés, appelés ligands. De nombreux composés contenant des métaux, en particulier ceux qui comprennent des métaux de transition (éléments tels que le titane qui appartiennent au bloc du tableau périodique), sont des complexes de coordination.
Déclaration des droits (États-Unis)La Déclaration des droits (United States Bill of Rights) est l'ensemble constitué des dix premiers amendements à la Constitution américaine. Elle limite les pouvoirs du gouvernement fédéral et garantit les libertés de presse, de parole, de religion, de réunion, le droit de porter des armes, et le droit de propriété. Adoptée par la Chambre des représentants le et le Congrès le suivant, elle est ratifiée progressivement par les États fédérés, et prend effet le , date de la ratification par la Virginie.
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
