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 .
Sustainable urbanismSustainable urbanism is both the study of cities and the practices to build them (urbanism), that focuses on promoting their long term viability by reducing consumption, waste and harmful impacts on people and place while enhancing the overall well-being of both people and place. Well-being includes the physical, ecological, economic, social, health and equity factors, among others, that comprise cities and their populations.
Convex preferencesIn economics, convex preferences are an individual's ordering of various outcomes, typically with regard to the amounts of various goods consumed, with the property that, roughly speaking, "averages are better than the extremes". The concept roughly corresponds to the concept of diminishing marginal utility without requiring utility functions. Comparable to the greater-than-or-equal-to ordering relation for real numbers, the notation below can be translated as: 'is at least as good as' (in preference satisfaction).
Ville du quart d'heureLa ville du quart d'heure est le modèle d'une ville où tous les services essentiels sont à une distance d'un quart d'heure à pied ou en vélo, concept relancé sous cette dénomination en 2015 par Carlos Moreno, un urbaniste franco-colombien né en Colombie en 1959, avec l'objectif afin de réduire les transports motorisés et ainsi limiter les émissions de gaz à effet de serre. Dans le passé, d'autres architectes proposèrent des concepts similaires comme Le Corbusier mais le développement de l'automobile mit un arrêt à leurs projets.
Direction assistéethumb|Dispositif de direction assistée d'une Toyota Prius. La direction assistée est un système mécanique d'assistance à l'orientation des roues d'un véhicule automobile, comme les voitures légères ou les camions. Chrysler Corporation a introduit le premier système de direction assistée pour voiture de tourisme disponible dans le commerce sur la Chrysler Imperial de 1951 sous le nom de "Hydraguide". Le système Chrysler était basé sur certains des brevets expirés de Davis.
Dent creuseUne dent creuse est, en urbanisme, un espace non construit entouré de parcelles bâties. Une telle situation peut résulter d'une ancienne zone agricole où une unique parcelle est restée vierge de constructions, ou de la démolition d'un édifice sans reconstruction ultérieure. Dans certains cas, il peut également s'agir de bâtiments détruits par des bombardements lors d'un conflit armé. Berlin est un exemple de ville où il existait encore, après la chute du Mur, de nombreuses Baulücken (équivalent allemand de dent creuse, littéralement « vide de construction »).
Zonage (urbanisme)vignette|Application du système de zonage sur la ville de Tarnowskie Góry en Silésie au Sud de la Pologne Le zonage est un outil de règlementation et de contrôle de l'utilisation du sol. Le mot est dérivé de la pratique de diviser le territoire municipal en zones et d'attribuer à chacun des usages permis. La pratique du zonage est issue du constat que la cohabitation harmonieuse sur un territoire des usages résidentiels, commerciaux et industriels exige une ségrégation plus ou moins prononcée entre eux, ce qui entraîne qu'on leur alloue une ou plusieurs zones exclusives ou mixtes.
Weak solutionIn mathematics, a weak solution (also called a generalized solution) to an ordinary or partial differential equation is a function for which the derivatives may not all exist but which is nonetheless deemed to satisfy the equation in some precisely defined sense. There are many different definitions of weak solution, appropriate for different classes of equations. One of the most important is based on the notion of distributions.
Système de preuve interactivevignette|504x504px|Un système de preuve interactive est composé de deux machines abstraites : un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP.
Dîner des philosophesLe problème du « dîner des philosophes » est un cas d'école classique sur le partage de ressources en informatique système. Il concerne l'ordonnancement des processus et l'allocation des ressources à ces derniers et a été énoncé par Edsger Dijkstra. vignette|Illustration du problème La situation est la suivante: Cinq philosophes (initialement, mais il peut y en avoir beaucoup plus) se trouvent autour d'une table; Chacun des philosophes a devant lui un plat de spaghettis; À gauche de chaque plat de spaghettis se trouve une fourchette.
