Forme normale disjonctiveEn logique booléenne ou en calcul des propositions, une forme normale disjonctive ou FND (en anglais, disjunctive normal form ou DNF) est une normalisation d'une expression logique qui est une disjonction de clauses conjonctives. Elle est utilisée dans la démonstration automatique de théorèmes. Une expression logique est en FND si et seulement si elle est une disjonction d'une ou plusieurs conjonctions d'un ou plusieurs littéraux. Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation.
Accessibilité du webL'accessibilité du web est la problématique de l'accès aux contenus et services web par les personnes handicapées (déficients visuels, sourds, malentendants, etc.) et plus généralement par tous les utilisateurs, quels que soient leurs dispositifs d’accès (mobile, tablette, etc.) ou leurs conditions d’environnement (niveau sonore, éclairement). Les pratiques d'accessibilité cherchent à réduire ou supprimer les obstacles qui empêchent les utilisateurs d'accéder à des contenus ou d'interagir avec des services.
Critiques des théories de l'évolutionEn tant que théorie scientifique, la théorie darwinienne de l'évolution des espèces par sélection naturelle fait l'objet de diverses critiques. L'idée d'évolution biologique est souvent rejetée car elle s'oppose à une vision spirituelle de l'homme, en le présentant comme le simple résultat du hasard, obéissant uniquement à des lois mécaniques et matérielles, et non le résultat d'un dessein où l'homme pourrait trouver du sens, en particulier par des croyants qui refusent l'idée d'évolution par fidélité à certains textes sacrés comme la Torah, la Bible ou le Coran.
Lumièrevignette|Rayons de lumière sortant des nuages. Dans son sens le plus habituel, la lumière est le phénomène à l'origine d'une sensation visuelle. La physique montre qu'il s'agit d'ondes électromagnétiques. Le spectre visible est la zone du spectre électromagnétique à laquelle est sensible l'espèce humaine ; il inclut la longueur d'onde où l'éclairement énergétique solaire est maximal à la surface de la Terre, par un effet d'adaptation à l'environnement. Il s'étend autour d'une longueur d'onde de , plus ou moins un tiers.
Theistic evolutionTheistic evolution (also known as theistic evolutionism or God-guided evolution) is a view that God acts and creates through laws of nature. It posits that the concept of God is compatible with the findings of modern science, including evolution. Theistic evolution is not in itself a scientific theory, but includes a range of views about how science relates to religious beliefs and the extent to which God intervenes. It rejects the strict creationist doctrines of special creation, but can include beliefs such as creation of the human soul.
Matrice d'une application linéaireEn algèbre linéaire, la matrice d'une application linéaire est une matrice de scalaires qui permet de représenter une application linéaire entre deux espaces vectoriels de dimensions finies, étant donné le choix d'une base pour chacun d'eux. Soient : E et F deux espaces vectoriels sur un corps commutatif K, de dimensions respectives n et m ; B = (e, ... , e) une base de E, C une base de F ; φ une application de E dans F.
Forme normale conjonctiveEn logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
Cycle de CalvinLe cycle de Calvin (aussi connu comme le cycle de Calvin-Benson-Bassham) est une série de réactions biochimiques des organismes photosynthétiques ayant lieu dans le stroma des chloroplastes chez les eucaryotes ou dans le cytoplasme chez les procaryotes. Il a été découvert par Melvin Calvin, Andy Benson et à l’université de Californie à Berkeley. Durant la photosynthèse, l’énergie de la lumière est convertie en énergie chimique conservée dans l’ATP et le NADPH.
TransforméeEn mathématiques, une transformée consiste à associer une fonction définie sur un domaine à une autre fonction, définie sur un domaine éventuellement différent. Un exemple d'application en physique consiste à étudier un signal défini sur le domaine temporel par sa transformation sur le domaine fréquentiel. Transformée d'Abel Transformée de Fourier Transformée de Fourier locale Transformée de Fourier-Mukai Transformée de Laplace Transformée bidirectionnelle de Laplace Transformée bilatérale de Laplace Trans
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.
DébruitageLe débruitage est une technique d'édition qui consiste à supprimer des éléments indésirables (« bruit »), afin de rendre un document, un signal (numérique ou analogique) ou un environnement plus intelligible ou plus pur. Ne pas confondre le débruitage avec la réduction de bruit. Sur le plan sonore, le débruitage consiste à réduire ou anéantir le rendu d'ondes sonores « parasites » (ou « bruit »).
Comportement organisationnelLe comportement organisationnel est une discipline carrefour qui regroupe l'étude et le management du comportement humain au sein des organisations ainsi que l'étude et le management de ces organisations. Il reprend, aux niveaux de l'individu, du groupe et de l'organisation, les concepts de la psychologie individuelle (et plus particulièrement la psychologie du travail devenue la psychologie organisationnelle), la psychologie sociale au niveau du groupe, la sociologie et plus particulièrement la sociologie des organisations et la sociologie du conflit, l'anthropologie et les sciences politiques.
