Signature (logique)En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité. Dans certains formalismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité). La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre sur cette signature. En calcul des prédicats à plusieurs types d'objets et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante).
Entrepôt de donnéesvignette|redresse=1.5|Vue d'ensemble d'une architecture entrepôt de données. Le terme entrepôt de données ou EDD (ou base de données décisionnelle ; en anglais, data warehouse ou DWH) désigne une base de données utilisée pour collecter, ordonner, journaliser et stocker des informations provenant de base de données opérationnelles et fournir ainsi un socle à l'aide à la décision en entreprise. Un entrepôt de données est une base de données regroupant une partie ou l'ensemble des données fonctionnelles d'une entreprise.
Data blendingData blending is a process whereby big data from multiple sources are merged into a single data warehouse or data set. It concerns not merely the merging of different s or disparate sources of data but also different varieties of data. Data blending allows business analysts to cope with the expansion of data that they need to make critical business decisions based on good quality business intelligence. Data blending has been described as different from data integration due to the requirements of data analysts to merge sources very quickly, too quickly for any practical intervention by data scientists.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Open-source governanceOpen-source governance (also known as open governance and open politics) is a political philosophy which advocates the application of the philosophies of the open-source and open-content movements to democratic principles to enable any interested citizen to add to the creation of policy, as with a wiki document. Legislation is democratically opened to the general citizenry, employing their collective wisdom to benefit the decision-making process and improve democracy. Theories on how to constrain, limit or enable this participation vary.
Visualisation de donnéesvignette|upright=2|Carte figurative des pertes successives en hommes de l'armée française dans la campagne de Russie 1812-1813, par Charles Minard, 1869. La visualisation des données (ou dataviz ou représentation graphique de données) est un ensemble de méthodes permettant de résumer de manière graphique des données statistiques qualitatives et surtout quantitatives afin de montrer les liens entre des ensembles de ces données. Cette fait partie de la science des données.
Capitalismevignette|La machine à vapeur, exemple-type de la nécessaire concentration des capitaux. Le capitalisme est un système économique caractérisé par la propriété privée des moyens de production et la liberté de concurrence. Par extension, le terme peut également désigner l'organisation sociale induite par ce système ou un système fondé sur l'accumulation du capital productif fondé sur la recherche du profit. Les acteurs du système capitaliste sont les individus, des entreprises, des associations, des fondations voire l'État quand il assume un rôle économique.
Matériel librevignette|Zynthian, un projet de synthétiseur musical libre Le matériel libre, matériel ouvert ou matériel open source désigne, par analogie avec le logiciel libre et le logiciel open source, les technologies des matériels et produits physiques développés selon les principes des ressources libres de droits ou sous licence libre. . Chris Anderson, rédacteur en chef de Wired et auteur de la longue traîne, affirme que et évoque la voiture libre Rally Fighter, une des premières voitures de course open source (ses spécifications sont « libres »), développée de façon communautaire, par production participative.
Planification économiqueLa planification économique est un mécanisme d'allocation des ressources qui est en contraste avec les mécanismes du marché. En tant que mécanisme de coordination pour l'économie socialiste, la planification économique se substitue aux facteurs du marché et est définie comme une attribution directe des ressources, en contraste avec le mécanisme de répartition indirecte du marché. Il existe différents types de procédures de planification. Le niveau de centralisation de la prise de décision dans la planification dépend du type spécifique de mécanisme de planification employé.
Open-source softwareOpen-source software (OSS) is computer software that is released under a license in which the copyright holder grants users the rights to use, study, change, and distribute the software and its source code to anyone and for any purpose. Open-source software may be developed in a collaborative, public manner. Open-source software is a prominent example of open collaboration, meaning any capable user is able to participate online in development, making the number of possible contributors indefinite.
Énergie solaireLénergie solaire est la fraction de l'énergie électromagnétique provenant du Soleil, traversant l’atmosphère qui en absorbe une partie, et parvenant à la surface de la Terre. L'énergie solaire est à l'origine du cycle de l'eau, du vent et de la photosynthèse réalisée par le règne végétal, dont dépend le règne animal via les chaînes alimentaires. Le Soleil est à l'origine de la plupart des énergies sur Terre, à l'exception de l'énergie nucléaire et de la géothermie profonde.
ReductIn universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion." Let A be an algebraic structure (in the sense of universal algebra) or a structure in the sense of model theory, organized as a set X together with an indexed family of operations and relations φi on that set, with index set I.
