Loi de GumbelEn théorie des probabilités, la loi de Gumbel (ou distribution de Gumbel), du nom d'Émil Julius Gumbel, est une loi de probabilité continue. La loi de Gumbel est un cas particulier de la loi d'extremum généralisée au même titre que la loi de Weibull ou la loi de Fréchet. La loi de Gumbel est une approximation satisfaisante de la loi du maximum d'un échantillon de variables aléatoires indépendantes toutes de même loi, dès que cette loi appartient, précisément, au domaine d'attraction de la loi de Gumbel.
Loi d'extremum généraliséeEn probabilité et statistique, la loi d'extrémum généralisée est une famille de lois de probabilité continues qui servent à représenter des phénomènes de valeurs extrêmes (minimum ou maximum). Elle comprend la loi de Gumbel, la loi de Fréchet et la loi de Weibull, respectivement lois d'extrémum de type I, II et III. Le théorème de Fisher-Tippett-Gnedenko établit que la loi d'extremum généralisée est la distribution limite du maximum (adéquatement normalisé) d'une série de variables aléatoires indépendantes de même distribution (iid).
Ajustement de loi de probabilitéLajustement de la loi de probabilité ou simplement lajustement de la loi est l'ajustement d'une loi de probabilité à une série de données concernant la mesure répétée d'un phénomène aléatoire. L'ajustement de la loi a pour but de prédire la probabilité ou de prévoir la fréquence d'occurrence de l'ampleur du phénomène dans un certain intervalle. Il existe de nombreuses lois de probabilité, dont certaines peuvent être ajustées plus étroitement à la fréquence observée des données que d'autres, selon les caractéristiques du phénomène et de la loi.
Loi de FréchetEn théorie des probabilités et en statistique, la loi de Fréchet est un cas particulier de loi d'extremum généralisée au même titre que la loi de Gumbel ou la loi de Weibull. Le nom de cette loi est dû à Maurice Fréchet, auteur d'un article à ce sujet en 1927. Des travaux ultérieurs ont été réalisés par Ronald Aylmer Fisher et L. H. C. Tippett en 1928 et par Emil Julius Gumbel en 1958. Sa fonction de répartition est donnée par : où est un paramètre de forme.
Id Techid Tech is a series of separate game engines designed and developed by id Software. Prior to the presentation of the id Tech 5-based game Rage in 2011, the engines lacked official designation and as such were simply referred to as the Doom and Quake engines, from the name of the main game series the engines had been developed for. "id Tech" has been released as free software under the GNU General Public License. id Tech versions 0 to 3 were released under GPL-2.0-or-later. id Tech versions 3.5 to 4.
Id Softwareid Software est une société de développement de jeux vidéo située à Mesquite au Texas. Elle est rachetée en par la compagnie ZeniMax. thumb|left|Todd Hollenshead en 2007, présentant la mise à disposition sur Steam de l'ensemble du catalogue de jeu de id. Entre octobre et décembre 1990, une équipe du studio Softdisk développe le jeu vidéo en trois parties Commander Keen in Invasion of the Vorticons, premier opus de la série Commander Keen.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
FourmiLes sont des insectes sociaux qui constituent la famille des (ou en français) et, avec les guêpes et les abeilles, sont classées dans l’ordre des Hymenoptera, sous-ordre des Apocrita. Ces insectes eusociaux forment des colonies, appelées fourmilières, parfois extrêmement complexes, contenant de quelques dizaines à plusieurs millions d’individus. Certaines espèces forment des supercolonies à plusieurs centaines de millions d’individus.
Fourmi coupe-feuilleLes fourmis coupe-feuille, également appelées fourmis-manioc en Guyane, fourmis champignonnistes ou encore fourmis parasol, sont des fourmis vivant dans les régions d'Amérique tropicale. Afin de se nourrir, elles ont développé une symbiose avec un champignon (principalement Leucoagaricus gongylophorus, qui, comme d'autres espèces de champignons cultivées par des fourmis, produit des gongylidia, des renflements riches en nutriments dont les fourmis se nourrissent) qu'elles cultivent dans leur fourmilière.
MyrmeciaMyrmecia est un genre de fourmis pouvant atteindre plus de de longueur (la plus petite espèce mesure de long). La totalité des quelque 90 espèces sont endémiques à l'Australie, à la seule exception de Myrmecia apicalis, originaire de Nouvelle-Calédonie où elle est rare. Ces fourmis (appellées bull ants) sont bien connues en Australie pour leur comportement agressif et leur piqure puissante. Leur venin peut provoquer un choc anaphylactique chez les personnes allergiques à leur piqûre.
