Étude de cohorteUne étude de cohorte est une étude statistique de type longitudinal. Elle peut être ou interventionnelle, ou . Ce type d'étude scientifique est notamment utilisé en médecine et en épidémiologie (pour ces deux domaines, les bases de données collectées sont dédiées aux études de cohortes épidémiologiques), en sciences humaines et sociales, en science actuarielle et en écologie. L'une des premières études de cohorte connues fut menée par Janet Lane-Claypon en 1912 dans son étude intitulée Report to the Local Government Board upon the Available Data in Regard to the Value of Boiled Milk as a Food for Infants and Young Animals.
Étude cas-témoinsUne étude cas-témoins est une étude statistique observationnelle rétrospective utilisée en épidémiologie. Les études cas-témoins sont utilisées pour mettre en évidence des facteurs qui peuvent contribuer à l'apparition d'une maladie en comparant des sujets qui ont cette maladie (les cas) avec des sujets qui n'ont pas la maladie mais qui sont similaires par ailleurs (les témoins).
Étude de FraminghamLétude de Framingham est une étude épidémiologique au long cours, dont l'objet initial était les maladies cardiovasculaires. Elle a été réalisée depuis 1948 dans la ville de Framingham (Massachusetts), aux États-Unis, choisie pour sa représentativité de la population globale américaine et la proximité universitaire (Harvard Medical School, l'une des institutions initiatrices du projet). La ville a par ailleurs eu un précédent, avec une première étude épidémiologique sur la tuberculose dans les années 1910.
Dissémination des grainesvignette| 540px|Dispersion de ses graines par l'épilobe à grandes fleurs (Epilobium hirsutum). Les plantes se propagent dans leur environnement le plus souvent grâce à la dissémination de leurs graines, appelée aussi dispersion des graines ou chorie. Les plantes n'étant pas des êtres vivants mobiles, plusieurs stratégies existent dans la nature pour amener de nouvelles plantes à croître loin de la plante mère.
Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
BootstrappingIn general, bootstrapping usually refers to a self-starting process that is supposed to continue or grow without external input. Tall boots may have a tab, loop or handle at the top known as a bootstrap, allowing one to use fingers or a boot hook tool to help pull the boots on. The saying "to " was already in use during the 19th century as an example of an impossible task. The idiom dates at least to 1834, when it appeared in the Workingman's Advocate: "It is conjectured that Mr.
