Migration des oiseauxLa migration des oiseaux est une migration animale régulière et saisonnière de nombreuses espèces d'oiseaux. Ce déplacement est, par exemple, une manière pour ces espèces d'échapper à un changement d'habitat ou une baisse de disponibilité de nourriture liée aux rigueurs d'un climat défavorable, mais est aussi une maximisation des chances de reproduction. Durant les grands flux migratoires, on observe généralement un pic d'activité migratrice à partir du coucher du Soleil, et jusqu'à minuit voire 1 h du matin, suivi d'une diminution de cette activité le reste de la nuit.
Séparation et évaluationUn algorithme par séparation et évaluation, ou branch and bound en anglais, est une méthode générique de résolution de problèmes d'optimisation combinatoire. Cet algorithme a été introduit par Ailsa Land et Alison Harcourt (Doig) en 1960. L'optimisation combinatoire consiste à trouver un point minimisant une fonction, appelée coût, dans un ensemble dénombrable. Une méthode naïve pour résoudre ce problème est d'énumérer toutes les solutions du problème, de calculer le coût pour chacune, puis de donner le minimum.
RallidaeLes Rallidae (ou rallidés en français) sont une famille d'oiseaux nommés râles, marouettes, talèves, foulques, et gallinules ou poules d'eau. Elle est constituée, d'après la classification de référence (version 2.5, 2010) du Congrès ornithologique international, d'une trentaine de genres et d'un peu plus de 130 espèces existantes. De nombreuses espèces de cette famille, présentes dans les îles du Pacifique et de l'océan Indien, évoluent avec peu de prédateurs naturels, ce qui les rend peu ou prou inaptes à se défendre.
Propriété de la borne supérieureEn mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure. De même, un ensemble ordonné possède la propriété de la borne inférieure si tous ses sous-ensembles non vides et minorés possèdent une borne inférieure. Il s'avère que ces deux propriétés sont équivalentes. On dit aussi parfois qu'un ensemble possédant la propriété de la borne supérieure est Dedekind complet. Soit un ensemble ordonné (partiellement ou totalement).
