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.
