Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Sélection stabilisatriceEn génétique des populations, la sélection stabilisatrice ou stabilisante (à ne pas confondre avec la sélection négative ou purificatrice) est un mode de sélection naturelle dans laquelle la moyenne de la population se stabilise sur une valeur de trait non extrême particulière. On pense que c'est le mécanisme d'action le plus courant pour la sélection naturelle car la plupart des traits ne semblent pas changer radicalement au cours du temps.
Fourrageagevignette|Une mère grizzli (Ursus arctos horribilis) et ses petits fourrageant dans le Parc national du Denali Le terme fourrageage ou fourragement, mot dérivé du verbe fourrager, désigne la recherche de nourriture dans la nature par les animaux et les êtres humains — . L'on peut aussi utiliser le terme d'approvisionnement. Le nourrissage désigne pour les animaux l'action de se nourrir ou le fait d'être nourri.
Problème de la plus longue chaînevignette|Par suppression d'une arête rouge arbitraire, ce cycle hamiltonien donne une chaîne de longueur maximale. En théorie des graphes et en informatique théorique, le problème de la plus longue chaîne (ou le problème du plus long chemin dans le cas d'un graphe orienté) consiste à déterminer la plus longue chaîne élémentaire dans un graphe. Une chaîne est élémentaire si elle ne passe pas deux fois par le même sommet. La longueur d'une chaîne peut être mesurée par le nombre d'arêtes qui la composent ou, dans le cas de graphes pondérés, par la somme des poids des arêtes du chemin.
Resource depletionResource depletion is the consumption of a resource faster than it can be replenished. Natural resources are commonly divided between renewable resources and non-renewable resources (see also mineral resource classification). Use of either of these forms of resources beyond their rate of replacement is considered to be resource depletion. The value of a resource is a direct result of its availability in nature and the cost of extracting the resource, the more a resource is depleted the more the value of the resource increases.
Intelligence distribuéeL'intelligence distribuée, appelée aussi intelligence en essaim, désigne l'apparition de phénomènes cohérents à l'échelle d'une population dont les individus agissent selon des règles simples. L'interaction ou la synergie entre actions individuelles simples peut de façons variées permettre l'émergence de formes, organisations, ou comportements collectifs, complexes ou cohérents, tandis que les individus eux se comportent à leur échelle indépendamment de toute règle globale.
Sélection négative (sélection naturelle)Dans la sélection naturelle, la sélection négative ou la sélection purifiante est l'élimination sélective des allèles délétères. Cela peut stabiliser la sélection par la purge des polymorphismes génétiques délétères qui résultent de mutations aléatoires. La purge des allèles délétères peut être réalisée au niveau de la génétique des populations, ne nécessitant pas plus d'une seule mutation ponctuelle comme l'unité de sélection.
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
Stratégie optimale de recherche de la nourritureC’est en 1966 qu’Emlen, Mac-Arthur et Pianka établissent pour la première fois la théorie de la stratégie optimale de recherche de nourriture (en anglais : optimal foraging) qui consiste à rechercher la nourriture optimale avec le moins de contraintes possibles. Les individus capables d’exploiter leur nourriture de la manière la plus efficace ont un taux de survie plus élevé, et donc une meilleure fitness. La sélection naturelle va donc les avantager, d’où leur intérêt d’adopter la meilleure stratégie de recherche de nourriture.
BioniqueLa bionique est la science qui recherche, chez les plantes et les animaux, des modèles en vue de réalisations techniques. Elle se base sur l'étude des systèmes biologiques (biomécanique en particulier) pour développer (par biomimétisme éventuellement) des systèmes non biologiques susceptibles d'avoir des applications technologiques. En 1960, lors du premier congrès qui se tint à Dayton, dans l'Ohio, aux États-Unis, le nom de "Bionique" fut proposé par le major Jack E. Steele de l'U.S.
Psychologie mathématiqueLa psychologie mathématique est une approche de la recherche psychologique basée sur la modélisation mathématique des processus perceptifs, cognitifs et moteurs, et sur l'établissement de règles qui relient les caractéristiques de stimulus quantifiables à un comportement quantifiable. L'approche mathématique est utilisée dans le but de dériver des hypothèses plus exactes et de produire ainsi des validations empiriques plus strictes. Le comportement quantifiable est en pratique souvent constitué par la performance de la tâche.
Algorithme de colonies de fourmisLes algorithmes de colonies de fourmis (, ou ACO) sont des algorithmes inspirés du comportement des fourmis, ou d'autres espèces formant un superorganisme, et qui constituent une famille de métaheuristiques d’optimisation. Initialement proposé par Marco Dorigo dans les années 1990, pour la recherche de chemins optimaux dans un graphe, le premier algorithme s’inspire du comportement des fourmis recherchant un chemin entre leur colonie et une source de nourriture.
