Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
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.
Écologie industrielleL’écologie industrielle est une notion et une pratique récente du management environnemental visant à limiter les impacts de l'industrie sur l'environnement. Fondée sur l'analyse des flux de matière et d'énergie, l'écologie industrielle cherche à avoir une approche globale du système industriel en le représentant comme un écosystème et à le rendre compatible avec les écosystèmes naturels. Son origine remonterait à 1989 par le biais d'un article intitulé Strategies for Manufacturing de Robert A. Frosch et Nicholas E.
Énergie renouvelableLes énergies renouvelables (parfois abrégées EnR) proviennent de sources d'énergie dont le renouvellement naturel est assez rapide pour qu'elles puissent être considérées comme inépuisables à l'échelle du temps humain. Elles proviennent de phénomènes naturels cycliques ou constants induits par les astres : le Soleil essentiellement pour la chaleur et la lumière qu'il produit, mais aussi l'attraction de la Lune (marées) et la chaleur engendrée par la Terre (géothermie).
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Regenerative designRegenerative design is an approach to designing systems or solutions that aims to work with or mimic natural ecosystem processes for returning energy from less usable to more usable forms. Regenerative design uses whole systems thinking to create resilient and equitable systems that integrate the needs of society with the integrity of nature. Regenerative design is an active topic of discussion in engineering, landscape design, food systems, and community development.
Renewable energy commercializationRenewable energy commercialization involves the deployment of three generations of renewable energy technologies dating back more than 100 years. First-generation technologies, which are already mature and economically competitive, include biomass, hydroelectricity, geothermal power and heat. Second-generation technologies are market-ready and are being deployed at the present time; they include solar heating, photovoltaics, wind power, solar thermal power stations, and modern forms of bioenergy.
Product (business)In marketing, a product is an object, or system, or service made available for consumer use as of the consumer demand; it is anything that can be offered to a market to satisfy the desire or need of a customer. In retailing, products are often referred to as merchandise, and in manufacturing, products are bought as raw materials and then sold as finished goods. A service is also regarded as a type of product. In project management, products are the formal definition of the project deliverables that make up or contribute to delivering the objectives of the project.
Traitement de donnéesEn informatique, le terme traitement de données ou traitement électronique des données renvoie à une série de processus qui permettent d'extraire de l'information ou de produire du savoir à partir de données brutes. Ces processus, une fois programmés, sont le plus souvent automatisés à l'aide d'ordinateurs. Si les résultats finaux produits par ces processus sont destinés à des humains, leur présentation est souvent essentielle pour en apprécier la valeur. Cette appréciation est cependant variable selon les personnes.
Innovation ouverteL’Innovation ouverte ou Open Innovation en anglais, parfois aussi Innovation distribuée désignent dans les domaines de la recherche et du développement des modes d'innovation fondés sur le partage, la collaboration (entre parties prenantes). Cette approche est compatible avec une économie de marché (via les brevets et licences) et avec l'Intelligence économique, et permet des approches alternatives éthiques ou solidaires (économie solidaire) de partage libre des savoirs et savoir-faire modernes ou traditionnels, avec notamment l'utilisation de licences libres dans un esprit dit ODOSOS (qui signifie : Open Data, Open Source, Open Standards).
Interface utilisateurL’interface utilisateur est un dispositif matériel ou logiciel qui permet à un usager d'interagir avec un produit informatique. C'est une interface informatique qui coordonne les interactions homme-machine, en permettant à l'usager humain de contrôler le produit et d'échanger des informations avec le produit. Parmi les exemples d’interface utilisateur figurent les aspects interactifs des systèmes d’exploitation informatiques, des logiciels informatiques, des smartphones et, dans le domaine du design industriel, les commandes des opérateurs de machines lourdes et les commandes de processus.
Eco-citiesAn eco-city or ecocity is "a human settlement modeled on the self-sustaining resilient structure and function of natural ecosystems", as defined by Ecocity Builders (a non-profit organization started by Richard Register, who first coined the term). Simply put, an eco-city is an ecologically healthy city. The World Bank defines eco-cities as "cities that enhance the well-being of citizens and society through integrated urban planning and management that harness the benefits of ecological systems and protect and nurture these assets for future generations".
