Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
FuturologieLa futurologie est un domaine interdisciplinaire qui agrège des données classées par des méthodes tant empiriques que logiques, en vue d'analyser des tendances et d'esquisser des scénarios plausibles de l’avenir. Elle examine les sources, les desseins et causes de changement et de stabilité pour formuler des prédictions. La futurologie est censée procéder à partir des données technologiques, économiques ou sociales du passé et du présent, et affirme se fonder sur des techniques (simulation, statistique) et des modèles scientifiques (science des systèmes, écologie).
Sociologie du développementLa sociologie du développement se questionne sur les processus de développement sociaux et économiques. Cette branche de la sociologie place ces processus en regard de ses impacts sur la société (communauté, village, ville, pays ou région). Le terme "sociologie du développement" est plus courant dans la littérature en anglais qu'il ne l'est en français. La sociologie du développement est généralement à la croisée des chemins de l'histoire, de l'anthropologie et de la science politique.
Scenario planningScenario planning, scenario thinking, scenario analysis, scenario prediction and the scenario method all describe a strategic planning method that some organizations use to make flexible long-term plans. It is in large part an adaptation and generalization of classic methods used by military intelligence. In the most common application of the method, analysts generate simulation games for policy makers.
Développement de logicielLe développement de logiciel consiste à étudier, concevoir, construire, transformer, mettre au point, maintenir et améliorer des logiciels. Ce travail est effectué par les employés d'éditeurs de logiciels, des entreprises de services du numérique (ESN), des travailleurs indépendants (freelance) et des membres de la communauté du logiciel libre. Un logiciel est créé petit à petit par une équipe d'ingénieurs conformément à un cahier des charges établi par un client demandeur ou une équipe interne.
Agriculture intégrée. L'accent est placé sur une approche holistique : l'exploitation est considérée comme une unité de base, au centre d'un agrosystème, comprenant un cycle équilibré des nutriments, et basé sur le bien-être de toutes les espèces animales dans les élevages. La restauration ou préservation de la fertilité des sols et d'un environnement diversifié est un aspect essentiel. Les moyens biologiques, techniques et chimiques sont utilisés de manière équilibrée pour prendre en compte la protection de l'environnement, ainsi que les exigences économiques (rentabilité) et sociales.
Économie du développementL’économie du développement est une branche de l'économie qui applique des techniques modernes de l’analyse macroéconomique et microéconomique à l’étude des problèmes économiques, sociaux, environnementaux et institutionnels que rencontrent les pays dits en développement. Elle s'intéresse aux déterminants de la pauvreté et du sous-développement ainsi qu'aux politiques à mettre en œuvre pour permettre une meilleure évolution des pays en développement.
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
Environmental issuesEnvironmental issues are disruptions in the usual function of ecosystems. Further, these issues can be caused by humans (human impact on the environment) or they can be natural. These issues are considered serious when the ecosystem cannot recover in the present situation, and catastrophic if the ecosystem is projected to certainly collapse. Environmental protection is the practice of protecting the natural environment on the individual, organizational or governmental levels, for the benefit of both the environment and humans.
High dynamic rangeHigh dynamic range (HDR) is a dynamic range higher than usual, synonyms are wide dynamic range, extended dynamic range, expanded dynamic range. The term is often used in discussing the dynamic range of various signals such as s, videos, audio or radio. It may apply to the means of recording, processing, and reproducing such signals including analog and digitized signals. The term is also the name of some of the technologies or techniques allowing to achieve high dynamic range images, videos, or audio.
