Arguments sur l'existence de DieuLes arguments sur l'existence de Dieu, en faveur ou en défaveur de son existence, ont été nombreux au cours de l'histoire de la philosophie et de la théologie. Le Dieu dont il est question ici est ce que l'on nomme parfois le Dieu des philosophes, à savoir le Dieu des grandes religions du Livre (judaïsme, christianisme, islam), tel qu'il a été conceptualisé par les philosophes. Ses attributs sont d'être le créateur du monde, omniscient, omnipotent, omniprésent et bon.
Creative Problem SolvingLe Creative Problem Solving (CPS) est une méthode créative de résolution de problème élaborée par Alex Osborn et . Elle allie à la fois un processus structuré, des techniques, et des rôles attribués aux différents intervenants dans ce processus. En 1942, le publicitaire Alex Osborn décrit dans son livre How To Think Up, puis dans Applied Imagination en 1953, le brainstorming (« l’attaque d’un problème dans un style commando ») qui est à l’origine du Creative Problem Solving.
Niveau de la merLe niveau de la mer est la position moyenne de la surface de la mer, constituant un niveau de référence considéré comme stable. D'une façon très simplifiée, c'est la ligne médiane entre une marée basse moyenne et une marée haute moyenne à un endroit côtier particulier, hors influence des vagues. La moyenne s'établit sur une échelle de temps au moins annuelle. Le niveau moyen de la mer est une référence verticale géodésique et altimétrique normalisée qui permet notamment de définir une altitude topographique, positive au-dessus (hypsométrie), négative en dessous (bathymétrie).
Global optimizationGlobal optimization is a branch of applied mathematics and numerical analysis that attempts to find the global minima or maxima of a function or a set of functions on a given set. It is usually described as a minimization problem because the maximization of the real-valued function is equivalent to the minimization of the function . Given a possibly nonlinear and non-convex continuous function with the global minima and the set of all global minimizers in , the standard minimization problem can be given as that is, finding and a global minimizer in ; where is a (not necessarily convex) compact set defined by inequalities .
Explorateur de fichiersExplorateur de fichiers (), précédemment l'Explorateur Windows () est le gestionnaire de fichiers fourni avec le système d'exploitation Microsoft Windows. Le gestionnaire permet, notamment, d'afficher et de modifier le nom des fichiers et des dossiers, de manipuler les fichiers et les dossiers (copier, déplacer, effacer), d'ouvrir les fichiers de données, et de lancer les programmes. L'Explorateur Windows est également le programme qui affiche le bureau de Microsoft Windows, notamment la barre des tâches et le menu Démarrer.
Optimisation multiobjectifL'optimisation multiobjectif (appelée aussi Programmation multi-objective ou optimisation multi-critère) est une branche de l'optimisation mathématique traitant spécifiquement des problèmes d'optimisation ayant plusieurs fonctions objectifs. Elle se distingue de l'optimisation multidisciplinaire par le fait que les objectifs à optimiser portent ici sur un seul problème. Les problèmes multiobjectifs ont un intérêt grandissant dans l'industrie où les responsables sont contraints de tenter d'optimiser des objectifs contradictoires.
Élévation du niveau de la merL' est un phénomène observable au niveau mondial depuis le début du , qui résulte du réchauffement climatique. Le niveau moyen des océans augmente de entre 1901 et 2018, la moitié de cette hausse étant observée après 1980. Le rythme annuel, en 2020, est estimé à plus de par an. Les mesures sont effectuées principalement par deux moyens : les marégraphes, installations fixes à terre, et l'altimétrie satellitaire. Le niveau des océans est lié au climat et plus précisément à la température moyenne à la surface de la Terre.
Méta-analyseUne méta-analyse est une méthode scientifique systématique combinant les résultats d'une série d'études indépendantes sur un problème donné, selon un protocole reproductible. Plus spécifiquement, il s'agit d'une synthèse statistique des études incluses dans une revue systématique. La méta-analyse permet une analyse plus précise des données par l'augmentation du nombre de cas étudiés et de tirer une conclusion globale. La méta-analyse fait partie des méthodes d'analyse dites secondaires en ce sens qu'elles s'appuient sur la ré-exploitation de données existantes.
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
