Interface graphiquethumb|Quelques widgets typiques. En informatique, une interface graphique (en anglais GUI pour graphical user interface) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris. Ce type d'interface a été créé en 1973 sur le Xerox Alto par les ingénieurs du Xerox PARC pour remplacer les interfaces en ligne de commande.
É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.
Synthèse organiquevignette|Schéma réactionnel de la préparation du diène de Danishefsky La synthèse organique est une branche de la synthèse chimique qui est concernée par la création de composés organiques à l'aide de réactions organiques. Les molécules organiques ont souvent un degré de complexité plus élevé que celles dites inorganiques. De nos jours, la synthèse organique occupe une place importante en chimie organique. À l'intérieur de celle-ci, on distingue deux principaux champs de recherche : la synthèse totale et la méthodologie.
Synthèse asymétriquevignette|Structure chimique de BINAP La synthèse asymétrique consiste à préparer un produit sous forme d'un énantiomère en partant d'une matière première achirale. Cette transformation nécessite l'ajout d'un composé chiral qui est temporairement lié au substrat, à un réactif ou à un catalyseur. Les principaux types de synthèse asymétrique sont les synthèses : diastéréosélective énantiosélective stœchiométrique catalytique Spécificité et sélectivité Effets non linéaires en catalyse asymétrique Catégorie:Stér
Catalysevignette|Intérieur du musée de la catalyse à Widnes en Angleterre. En chimie, la catalyse (du grec ancien : , « détacher ») se réfère à l'accélération ou la réorientation de la cinétique de réaction au moyen d'un catalyseur, et dans certains cas à la sélectivité pour diriger la réaction dans un sens privilégié (réaction concurrente, production d'un produit plutôt qu'un autre). Le catalyseur est utilisé en quantité beaucoup plus faible que les produits réactifs. Il n'apparait pas en général dans le bilan de réaction, donc pas dans son équation globale.
Électrocatalyseurthumb|Mesure de la stabilité d'un électrocatalyseur à cathode en platine. Un électrocatalyseur est un catalyseur de réactions électrochimiques. Un électrocatalyseur facilite le transfert d'électrons entre la surface de l'électrode et les réactifs. Dans certains cas, un électrocatalyseur facilite une transformation chimique intermédiaire qui est décrite par une demi-réaction globale. Un électrocatalyseur peut être hétérogène (exemple : une surface de platine ou des nanoparticules), ou homogène (exemple : un complexe de coordination ou une enzyme).
Interface utilisateur tangiblevignette|Reactable, un exemple d'interface utilisateur tangible Une interface utilisateur tangible est une interface utilisateur sur laquelle l'utilisateur interagit avec l'information numérique par le moyen de l'environnement physique. L'objectif de développement des interfaces utilisateur tangibles est d'encourager la collaboration, l'éducation et le design (conception) en donnant à l'information digitale une forme physique, profitant ainsi des capacités humaines de saisir et de manipuler des objets physiques et des matériaux.
Turing reductionIn computability theory, a Turing reduction from a decision problem to a decision problem is an oracle machine which decides problem given an oracle for (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to solve if it had available to it a subroutine for solving . The concept can be analogously applied to function problems. If a Turing reduction from to exists, then every algorithm for can be used to produce an algorithm for , by inserting the algorithm for at each place where the oracle machine computing queries the oracle for .
Wender Taxol total synthesisWender Taxol total synthesis in organic chemistry describes a Taxol total synthesis (one of six to date) by the group of Paul Wender at Stanford University published in 1997. This synthesis has much in common with the Holton Taxol total synthesis in that it is a linear synthesis starting from a naturally occurring compound with ring construction in the order A,B,C,D. The Wender effort is shorter by approximately 10 steps. Raw materials for the preparation of Taxol by this route include verbenone, prenyl bromine, allyl bromide, propiolic acid, Gilman reagent, and Eschenmoser's salt.
NanotechnologieLes nanosciences et nanotechnologies (d’après le grec , « nain »), ou NST, peuvent être définies au minimum comme l’ensemble des études et des procédés de fabrication et de manipulation de structures (physiques, chimiques ou biologiques), de dispositifs et de systèmes matériels à l’échelle du nanomètre (nm), qui est l'unité la plus proche de la distance entre deux atomes. Les NST présentent plusieurs acceptions liées à la nature transversale de cette jeune discipline.
Many-one reductionIn computability theory and computational complexity theory, a many-one reduction (also called mapping reduction) is a reduction which converts instances of one decision problem (whether an instance is in ) to another decision problem (whether an instance is in ) using an effective function. The reduced instance is in the language if and only if the initial instance is in its language . Thus if we can decide whether instances are in the language , we can decide whether instances are in its language by applying the reduction and solving .
Réduction polynomialeUne réduction polynomiale est un outil d'informatique théorique, plus particulièrement de théorie de la complexité. C'est une classe particulière de réductions particulièrement importante, notamment pour le problème P = NP. Dans le cadre des langages formels pour les problèmes de décision, on dit qu'un langage est réductible en temps polynomial à un langage (noté ) s'il existe une fonction calculable en temps polynomial telle que pour tout , si et seulement si .
