Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Population momentumPopulation momentum is a consequence of the demographic transition. Population momentum explains why a population will continue to grow even if the fertility rate declines. Population momentum occurs because it is not only the number of children per woman that determine population growth, but also the number of women in reproductive age. Eventually, when the fertility rate reaches the replacement rate and the population size of women in the reproductive age bracket stabilizes, the population achieves equilibrium and population momentum comes to an end.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Appareil génital fémininvignette|288x288px|Appareil génital féminin : 1. Tube utérin (anciennement trompes de Fallope) 2. Fimbria 3. Vessie 4. Symphyse pubienne (os pubien) 5. glandes para-urétrales (anciennement glandes de Skene) 6. Urètre 7. Clitoris 8. Vestibule vulvaire 9. Petites lèvres 10. Grandes lèvres 11. Ovaires 12. Côlon sigmoïde 13. Utérus 14. 15. Col de l’utérus (cervix) 16. Rectum 17. Vagin 18. Anus 19. glandes vestibulaires majeures (anciennement glandes de Bartholin). L'appareil génital féminin intervient dans les fonctions reproductives et sexuelles de la femme.
Goulet d'étranglement de populationvignette|redresse=1.3|Le Castor fiber a failli disparaitre ; au début du , il n'en restait que quelques centaines dans toute l'Europe. Il a subi un goulot d'étranglement génétique qui l'a rendu vulnérable à la consanguinité. Les nombreuses réintroductions faites en Europe depuis un siècle ont permis à différentes souches de se croiser. Il recolonise désormais les cours d'eau bassin par bassin. Un goulet d'étranglement de population (ou goulot d'étranglement selon les locuteurs) est, dans l'étude de l'évolution d'une espèce, un épisode de réduction sévère de la population, suivi d'une nouvelle expansion démographique.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Appareil génital masculinvignette|Coupe sagittale médiane du petit bassin masculin : L'appareil génital masculin est l'appareil reproducteur de l'homme. Il est composé des cordons spermatiques, du scrotum, des testicules, des épididymes, des canaux déférents, des canaux éjaculateurs, des vésicules séminales, de la prostate, de l'urètre et du pénis. Fichier:Appareil génital mâle - Vue 3D.svg|Anatomie vue en perspective Fichier:Appareil génital mâle - Vue sagittale.svg|Anatomie vue de côté Fichier:Appareil génital mâle - Vue de face.
Transition vitreuseLa transition vitreuse est un ensemble de phénomènes physique associés au passage d'un état de liquide surfondu à un état solide, qualifié de vitreux. Elle caractérise le passage entre la forme dure et relativement cassante et la forme « fondue » ou caoutchouteuse d'un matériau amorphe (ou d'un matériau semi-cristallin avec des régions amorphes). Un solide amorphe qui montre une telle forme de transition vitreuse est appelé un verre. Le refroidissement intense d'un liquide visqueux vers sa forme vitreuse est appelé la vitrification.
