Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Enterprise searchEnterprise search is the practice of making content from multiple enterprise-type sources, such as databases and intranets, searchable to a defined audience. "Enterprise search" is used to describe the software of search information within an enterprise (though the search function and its results may still be public). Enterprise search can be contrasted with web search, which applies search technology to documents on the open web, and desktop search, which applies search technology to the content on a single computer.
Sustainable dietSustainable diets are "dietary patterns that promote all dimensions of individuals’ health and wellbeing; have low environmental pressure and impact; are accessible, affordable, safe and equitable; and are culturally acceptable". These diets are nutritious, eco-friendly, economically sustainable, and accessible to people of various socioeconomic backgrounds. Sustainable diets attempt to address nutrient deficiencies (e.g., undernourishment) and excesses (e.g.
Industrial fermentationIndustrial fermentation is the intentional use of fermentation in manufacturing processes. In addition to the mass production of fermented foods and drinks, industrial fermentation has widespread applications in chemical industry. Commodity chemicals, such as acetic acid, citric acid, and ethanol are made by fermentation. Moreover, nearly all commercially produced industrial enzymes, such as lipase, invertase and rennet, are made by fermentation with genetically modified microbes.
Développement durablevignette|Diagramme de Venn du développement durable, à l'intersection de trois préoccupations, dites « les trois piliers du développement durable ».Les descriptions des intersections partielles peuvent varier. Le développement durable (, parfois traduit par développement soutenable) est une conception du développement qui s'inscrit dans une perspective de long terme et en intégrant les contraintes environnementales et sociales à l'économie.
Optimisation pour les moteurs de recherchealt=Illustration du principe de fonctionnement du PageRank|vignette|Illustration du principe de fonctionnement du PageRank. Loptimisation pour les moteurs de recherche, aussi connue sous le sigle SEO (de l'anglais « Search Engine Optimization »), inclut l'ensemble des techniques qui visent à améliorer le positionnement d'une page, d'un site ou d'une application web dans la page de résultats d'un moteur de recherche (SERP pour « Search Engine Results Page »).
Agriculture durableL'agriculture durable (anciennement soutenable, traduction alternative de l'anglais sustainable) est l'application à l'agriculture des principes du développement durable tels que définis par la communauté internationale à Rio de Janeiro en . Il s'agit d'un système de production agricole qui vise à assurer une production pérenne de nourriture, de bois et de fibres en respectant les limites écologiques, économiques et sociales qui assurent la maintenance dans le temps de cette production.
Système alimentairevignette|redresse=1.8|Diagramme représentant la transformation du système alimentaire conventionnel en système alimentaire durable. Un système alimentaire est un ensemble de processus concernant la nutrition, l'alimentation, la santé, le développement communautaire et l'agriculture. Il comprend tous les processus et infrastructures urbaines impliqués dans l'alimentation d'une population : culture, récolte, transformation, emballage, transport, commercialisation, consommation, distribution alimentaire et élimination des aliments et des articles liés à l'alimentation.
Acides du vinlang=fr|vignette|L'acide malique et l'acide tartrique sont les acides primaires du raisin de cuve. Les acides du vin sont un élément important à la fois dans la vinification et le produit fini du vin. Ils sont présents à la fois dans le raisin et dans le vin, influençant directement la couleur, l'équilibre et le goût du vin, ainsi que la croissance et la vitalité de la levure pendant la fermentation et protégeant le vin des bactéries.
Microbiomevignette|upright=2|Phytobiome (ou microbiome d'un végétal) occupant l'endosphère (toute la plante) et ici aussi représenté compartimenté, dont en rhizosphère (sur et à proximité des racines), et phyllosphère (sur et sous les feuilles uniquement). On retrouve aussi sur (voire dans) la plante des microbes plus ou moins ubiquistes et opportunistes, éventuellement pathogènes provenant de l'air et du sol.
Fermentation malolactiquethumb|Oenococcus oeni, espèce bactérienne responsable de la fermentation malolactique sur les vins En vinification, la fermentation malolactique, aussi abrégée FML ou malo, est la transformation de l'acide malique en acide lactique par l'intermédiaire de bactéries anaérobies appelées bactéries lactiques comme l’espèce Oenococcus oeni. Se traduisant par une diminution de l'acidité, elle permet une stabilisation et un assouplissement du vin, particulièrement recherchés pour la vinification en rouge.
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.
