Problème de couverture par ensemblesEn informatique théorique, le problème de couverture par ensembles (Set Cover problem en anglais) est un problème d'algorithmique particulièrement important car c'est l'un des 21 problèmes NP-complets de Karp . Étant donné un ensemble A, on dit qu'un élément e est couvert par A si e appartient à A. Étant donné un ensemble U et une famille S de sous-ensembles de U, le problème consiste à couvrir tous les éléments U avec une sous-famille de S la plus petite possible.
Windows 7Windows 7 (précédemment connu en tant que Blackcomb et Vienna) est un système d'exploitation de la société Microsoft, sorti le et successeur de Windows Vista. Bien que le système s'appelle Windows 7, il s'agit de la version NT 6.1. Windows 7 est progressivement remplacé par Windows 8 à partir du , le support de Windows 7 RTM a pris fin le tandis que la version SP1 a vu son support standard se terminer le et a vu son support étendu se terminer le .
Windows 8Windows 8 est la version du système d'exploitation Windows multiplate-forme qui est commercialisée depuis le . Bien que le système s'appelle , il s'agit de la version , la première version de étant Windows Vista (Windows ). La version () est une mise à jour gratuite de , disponible depuis le . Son successeur est Windows 10, sorti en juillet 2015. Windows 8 a été dévoilé, avec l'utilisation de l'interface tactile, le , mais sa version RTM, à destination des constructeurs OEM, n'est disponible que depuis le .
Valeur vie clientIn marketing, customer lifetime value (CLV or often CLTV), lifetime customer value (LCV), or life-time value (LTV) is a prognostication of the net profit contributed to the whole future relationship with a customer. The prediction model can have varying levels of sophistication and accuracy, ranging from a crude heuristic to the use of complex predictive analytics techniques. Customer lifetime value can also be defined as the monetary value of a customer relationship, based on the present value of the projected future cash flows from the customer relationship.
Propulsion alternativeLa propulsion alternative des véhicules (voitures, camions, navires) consiste en deux catégories : les moteurs à combustion et explosion alimentés par des carburants alternatifs tels les biocarburants, biodiesels, biogaz, diesters, huiles végétales carburant ; les systèmes alimentés par d'autres sources, dont les moteurs Stirling, piles à combustible, batteries d'accumulateurs, moteurs à air comprimé, panneaux solaires ou éoliennes.
Méthode des plans sécantsvignette|Application de la méthode des plans sécants au problème du voyageur de commerce. En mathématiques, et spécialement en optimisation linéaire en nombres entiers, la méthode des plans sécants, ou cutting plane method, est une méthode utilisée pour trouver une solution entière d'un problème d'optimisation linéaire. Elle fut introduite par Ralph E. Gomory puis étudiée par Gomory et Václav Chvátal. Le principe de la méthode est d'ajouter des contraintes au programme linéaire pour le raffiner, et le rapprocher des solutions intégrales.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Windows 2000Windows 2000 est un système d'exploitation 32 bits développé et distribué par Microsoft. Le nom Windows 2000 (en abrégé : Win2000 ou Win2K ou encore W2K) est en fait le nom commercial de la version 5.0 de Windows NT. Elle est sortie le et a succédé à Windows NT 4.0, créé 4 ans auparavant en avril 1996. Windows 2000 a été décliné en quatre versions : Professional (abrégé en Pro), Server, Advanced Server, et Datacenter Server. Un processeur Intel Pentium ou équivalent cadencé à , de RAM, une carte graphique supportant la définition VGA ( en 16 couleur) et d'espace disque.
Windows 11Windows 11 est une version majeure du système d'exploitation Windows développé par Microsoft, exploitant le noyau Windows NT en . a été annoncé lors du Microsoft Event le . est disponible sous forme de mise à niveau gratuite vers les appareils compatibles sous à travers Windows Update, mais aussi pour les systèmes , 8 et 8.1. Le déploiement de la mise à niveau vers débute le (pour les nouveaux appareils) et se poursuit jusqu’en 2022 (pour les appareils compatibles), selon différentes annonces de Microsoft.
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
