Urban reforestationUrban reforestation is the practice of planting trees, typically on a large scale, in urban environments. It may also include urban horticulture and urban farming. Reasons for practicing urban reforestation include urban beautification; increasing shade; modifying the urban climate; improving air quality, such as by sequestering carbon dioxide; and restoration of urban forests after a natural disaster. Increased shade from urban reforestation can also lead to decreased energy costs, as heat from the sun is blocked from heating structures that use air conditioning.
Test suiteIn software development, a test suite, less commonly known as a validation suite, is a collection of test cases that are intended to be used to test a software program to show that it has some specified set of behaviors. A test suite often contains detailed instructions or goals for each collection of test cases and information on the system configuration to be used during testing. A group of test cases may also contain prerequisite states or steps, and descriptions of the following tests.
Arbre urbainthumb|L'arbre joue un rôle essentiel dans les parcs urbains (ici au (parc de Louise) à Mannheim en Allemagne). thumb|Central park : l'un des espaces verts urbains les plus visités au monde. thumb|Autre exemple de grand parc intra-urbain, le Golden Gate Park de San Francisco, également physiquement déconnecté du réseau des forêts naturelles. La notion d’'arbre urbain' désigne tout arbre présent en ville, qu'il y soit spontané ou introduit par l'homme.
Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Sociologie urbaineLa sociologie urbaine est une branche de la sociologie qui tend à comprendre les rapports d'interaction et de transformation qui existent entre les formes d'organisation de la société et les formes d'aménagement des villes. L'étude de la première de ces formes, celles qu'une société prend dans l'espace est appelée morphologie sociale depuis Marcel Mauss, Maurice Halbwachs ou Jean Brunhes. L'étude de la seconde, celle des formes de la ville avec son habitat, ses monuments, ses décors, et en général tous ses aménagements, s'appelle morphologie urbaine.
Mécanique des fluides numériqueLa mécanique des fluides numérique (MFN), plus souvent désignée par le terme anglais computational fluid dynamics (CFD), consiste à étudier les mouvements d'un fluide, ou leurs effets, par la résolution numérique des équations régissant le fluide. En fonction des approximations choisies, qui sont en général le résultat d'un compromis en termes de besoins de représentation physique par rapport aux ressources de calcul ou de modélisation disponibles, les équations résolues peuvent être les équations d'Euler, les équations de Navier-Stokes, etc.
Zone urbainevignette|Répartition mondiale des 400 principales zones urbaines qui rassemblent au moins un million d'habitants en 2006. Une zone urbaine, appelée aussi espace urbain, est un établissement humain à forte densité de population comportant une infrastructure d'environnement bâti. Les zones urbaines sont créées par urbanisation et sont classées par morphologie urbaine en tant que villes, cités, agglomérations ou banlieues.
UrbanisationL'urbanisation est un mouvement historique de transformation des formes de la société que l'on peut définir comme l'augmentation du nombre d'habitants en ville par rapport à l'ensemble de la population. C'est donc un processus de développement des villes et de concentration des populations dans celles-ci. Le processus spatio-temporel de l'urbanisation se fait différemment selon les pays et les villes.
Test de régressionUn test de régression, ou test de non-régression, est un test ayant pour but de détecter les régressions introduites dans un logiciel après un changement effectué dans celui-ci. Une régression est un défaut qui se produit après une modification d'un logiciel lorsque des fonctionnalités existantes ne sont plus réalisées aussi bien qu'avant.
Model-based testingvignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.
