Equilibrium chemistryEquilibrium chemistry is concerned with systems in chemical equilibrium. The unifying principle is that the free energy of a system at equilibrium is the minimum possible, so that the slope of the free energy with respect to the reaction coordinate is zero. This principle, applied to mixtures at equilibrium provides a definition of an equilibrium constant. Applications include acid–base, host–guest, metal–complex, solubility, partition, chromatography and redox equilibria.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Réaction organiqueLes réactions organiques sont des réactions chimiques impliquant des composés organiques. Les principaux types de réactions organiques sont l'élimination, l'addition, la substitution, le réarrangement et les réactions d'oxydoréduction impliquant des composés organiques. Ces réactions sont utilisées en synthèse organique pour construire de nouvelles molécules organiques. La production de nombreuses substances chimiques, comme les médicaments, les plastiques, les additifs alimentaires, etc., met en jeu des réactions organiques.
Réaction péricycliqueEn chimie organique, une réaction péricyclique est une réaction dans laquelle une réorganisation concertée des liaisons passe par un ensemble cyclique d'atomes (comprenant souvent six atomes) liés en permanence. L'état de transition possède une géométrie cyclique. Les réactions péricycliques sont généralement des réactions de réarrangement. On distingue : les cycloadditions ; les réactions chélotropes ; les réactions électrocycliques ; les transpositions sigmatropiques ; les réactions de transfert de groupe ; les réactions dyotropiques.
Réaction d'éliminationEn chimie organique, une élimination (ou β-élimination) est une réaction organique qui transforme un alcane substitué (halogénoalcanes, alcools...) en dérivé éthylénique, voire en alcène, si la molécule de départ, outre le groupe partant, n'est qu'une chaîne carbonée de type alcane. Les conditions sont, en plus dures, celles d'une substitution nucléophile, réaction proche par de nombreux aspects et concurrente : l'élimination se produit en présence d'une base forte et en chauffant le mélange réactionnel.
Light-dependent reactionsLight-dependent reactions is jargon for certain photochemical reactions that are involved in photosynthesis, the main process by which plants acquire energy. There are two light dependent reactions, the first occurs at photosystem II (PSII) and the second occurs at photosystem I (PSI), PSII absorbs a photon to produce a so-called high energy electron which transfers via an electron transport chain to cytochrome b_6f and then to PSI. The then-reduced PSI, absorbs another photon producing a more highly reducing electron, which converts NADP^+ to NADPH.
Ene reactionIn organic chemistry, the ene reaction (also known as the Alder-ene reaction by its discoverer Kurt Alder in 1943) is a chemical reaction between an alkene with an allylic hydrogen (the ene) and a compound containing a multiple bond (the enophile), in order to form a new σ-bond with migration of the ene double bond and 1,5 hydrogen shift. The product is a substituted alkene with the double bond shifted to the allylic position. This transformation is a group transfer pericyclic reaction, and therefore, usually requires highly activated substrates and/or high temperatures.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Centre réactionnelLe centre réactionnel d'un photosystème est la partie dans laquelle se produit la réaction de séparation de charge d'une chlorophylle excitée. Les autres parties du photosystème participent à la collecte de l'énergie lumineuse sans que les chlorophylles qui y sont présentes ne réalisent la séparation de charge. La chlorophylle du centre réactionnel est spécifique : contrairement à celles de l'antenne collectrice, elle se désexcite de l'énergie que ces dernières lui ont apportée en libérant un électron, c’est-à-dire en s'oxydant.
Aplatissement200px|vignette|Aplatissement d'une ellipse. 200px|vignette|Aplatissement d'un ellipsoïde de révolution. En géométrie, l'aplatissement est la mesure de la compression d'un cercle ou d'une sphère. L'aplatissement est couramment noté , initiale de l'anglais flattening. L’aplatissement d’une planète est une mesure de son « ellipticité » ; une sphère a un aplatissement de 0, alors qu’un disque infiniment mince a un aplatissement de 1. Une planète en rotation a une tendance naturelle à s’aplatir, l’effet centrifuge créant un « bourrelet équatorial ».
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.