Langage rationnelEn théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les langages décrits par les expressions régulières ou rationnelles, d'où le nom de langages réguliers ; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile de Kleene, d'où le nom de langages rationnels ; ce sont les langages reconnus par des auto
World Wide Webvignette|Logo historique du World Wide Web par Robert Cailliau. vignette|Où la toile est née, plaque commémorant la création du World Wide Web dans les locaux du CERN. Le World Wide Web ( ; littéralement la « toile (d’araignée) mondiale », abrégé www ou le Web), la toile mondiale ou la toile, est un système hypertexte public fonctionnant sur Internet. Le Web permet de consulter, avec un navigateur, des pages accessibles sur des sites. L’image de la toile d’araignée vient des hyperliens qui lient les pages web entre elles.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
Captage et stockage du dioxyde de carboneLe captage et stockage du dioxyde de carbone (en anglais, carbon capture and storage ou CCS), également appelé captage et séquestration du dioxyde de carbone, consiste à capter du dans les effluents industriels puis à le stocker dans un réservoir géologique afin de limiter la contribution de ce gaz au réchauffement climatique et à l'acidification des milieux .
Polygone régulierEn géométrie euclidienne, un polygone régulier est un polygone à la fois équilatéral (tous ses côtés ont la même longueur) et équiangle (tous ses angles ont la même mesure). Un polygone régulier est soit convexe, soit étoilé. Tous les polygones réguliers convexes d'un même nombre de côtés sont semblables. Tout polygone régulier étoilé de n côtés a une enveloppe convexe de n côtés, qui est un polygone régulier. Un entier n supérieur ou égal à 3 étant donné, il existe un polygone régulier convexe de n côtés.
C++11C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique. Elle a été approuvée unanimement le . Elle remplace la précédente norme, ISO/CEI 14882, publiée en et mise à jour en . Ces dernières sont plus connues sous les noms informels de C++98 et C++03. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la bibliothèque standard du C++ comme la plupart des bibliothèques du Technical Report 1, à l'exception de la bibliothèque de fonctions mathématiques spéciales.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
RentabilitéLa rentabilité est le rapport entre un revenu obtenu ou prévu et les ressources employées pour l'obtenir. La notion s'applique notamment aux entreprises, mais aussi à tout autre investissement. La rentabilité rétrospective est le rapport entre un résultat comptable et les moyens en passifs mis en œuvre pour l'obtenir. La rentabilité prévisionnelle est le rapport entre un gain de trésorerie projeté et la valeur d'un investissement nécessaire pour générer ce gain.
Captage du dioxyde de carbone dans l'airLa captage du dioxyde de carbone dans l'air ou captage direct du dioxyde de carbone, en anglais direct air capture (DAC) ou direct air capture and storage (DACCS) est l'extraction du dioxyde de carbone () présent dans l'air ambiant. Cette approche est à distinguer des techniques de captage à la source des émissions industrielles (carbon capture and storage, CCS), où les concentrations de sont bien plus élevées et le besoin en énergie plus faible.
Regular PolytopesRegular Polytopes est un livre de mathématiques écrit par le mathématicien canadien Harold Scott MacDonald Coxeter. Initialement publié en 1947, le livre a été mis à jour et réédité en 1963 et 1973. Le livre est une étude complète de la géométrie des polytopes réguliers, c'est-à-dire les polygones et polyèdres réguliers ainsi que leurs généralisations aux dimensions supérieures. Provenant d'un essai intitulé L'Analogie dimensionnelle écrit en 1923, la première édition du livre a pris à Coxeter vingt-quatre ans.
Répartition de chargethumb|Répartition de charge entre deux serveurs accédés par 4 postes clients, ici le switch et le répartiteur sont deux points de panne potentiels, aucun des deux n'est doublé.En informatique, la répartition de charge () désigne le processus de répartition d’un ensemble de tâches sur un ensemble de ressources, dans le but d’en rendre le traitement global plus efficace. Les techniques de répartition de charge permettent à la fois d’optimiser le temps de réponse pour chaque tâche, tout en évitant de surcharger de manière inégale les nœuds de calcul.
