Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Algorithme génétiqueLes algorithmes génétiques appartiennent à la famille des algorithmes évolutionnistes. Leur but est d'obtenir une solution approchée à un problème d'optimisation, lorsqu'il n'existe pas de méthode exacte (ou que la solution est inconnue) pour le résoudre en un temps raisonnable. Les algorithmes génétiques utilisent la notion de sélection naturelle et l'appliquent à une population de solutions potentielles au problème donné.
Tomographie sismiqueEn géophysique, la tomographie sismique est une méthode utilisant les enregistrements des tremblements de terre pour cartographier la structure interne de la terre et ses propriétés physiques et minéralogiques. En comparant les temps d'arrivée des différentes ondes sismiques les unes relativement aux autres et à différents endroits, on déduit comment les vitesses de propagation de ces ondes varient à l’intérieur du globe terrestre. À partir de ces données expérimentales, on construit des modèles tridimensionnels de vitesses d'ondes .
PlanarizationIn the mathematical field of graph theory, planarization is a method of extending graph drawing methods from planar graphs to graphs that are not planar, by embedding the non-planar graphs within a larger planar graph. Planarization may be performed by using any method to find a drawing (with crossings) for the given graph, and then replacing each crossing point by a new artificial vertex, causing each crossed edge to be subdivided into a path. The original graph will be represented as an immersion minor of its planarization.
Comparison sortA comparison sort is a type of sorting algorithm that only reads the list elements through a single abstract comparison operation (often a "less than or equal to" operator or a three-way comparison) that determines which of two elements should occur first in the final sorted list. The only requirement is that the operator forms a total preorder over the data, with: if a ≤ b and b ≤ c then a ≤ c (transitivity) for all a and b, a ≤ b or b ≤ a (connexity). It is possible that both a ≤ b and b ≤ a; in this case either may come first in the sorted list.
NavigabilityA body of water, such as a river, canal or lake, is navigable if it is deep, wide and calm enough for a water vessel (e.g. boats) to pass safely. Such a navigable water is called a waterway, and is preferably with few obstructions against direct traverse that needed avoiding, such as rocks, reefs or trees. Bridges built over waterways must have sufficient clearance. High flow speed may make a channel unnavigable due to risk of ship collisions. Waters may be unnavigable because of ice, particularly in winter or high-latitude regions.
Réseau des voies navigablesLe réseau des voies navigables est l'ensemble des fleuves, rivières et canaux aménagés, équipés et ouverts à la circulation et au transport fluvial. Le transport par eau (fleuves et canaux) revêt plusieurs avantages : il est très économique car peu coûteux en énergie, il permet de transporter des tonnages très importants, et peu polluant. Ses inconvénients, outre la lenteur d'acheminement dans certains cas, résident dans la faiblesse du réseau des voies navigables très inégalement réparti et dans la nécessité, sauf exceptions, de transports terminaux.
