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.
Champ visuelNormal_right_eye_visual_fild_by_campimeter.jpg Le champ visuel est la portion de l'espace vue par un œil regardant droit devant lui et immobile. Lorsque l’œil fixe un point, il est capable de détecter dans une zone d'espace limitée, des lumières, des couleurs et des formes. L'examen du champ visuel ou périmétrie étudie la sensibilité à la lumière à l'intérieur de cet espace. L'interprétation des anomalies du champ visuel permet de diagnostiquer les dysfonctionnements ou les pathologies de la voie visuelle allant de la rétine au cortex visuel occipital.
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.
Length measurementLength measurement, distance measurement, or range measurement (ranging) refers to the many ways in which length, distance, or range can be measured. The most commonly used approaches are the rulers, followed by transit-time methods and the interferometer methods based upon the speed of light. For objects such as crystals and diffraction gratings, diffraction is used with X-rays and electron beams. Measurement techniques for three-dimensional structures very small in every dimension use specialized instruments such as ion microscopy coupled with intensive computer modeling.
Thermal contact conductanceIn physics, thermal contact conductance is the study of heat conduction between solid or liquid bodies in thermal contact. The thermal contact conductance coefficient, , is a property indicating the thermal conductivity, or ability to conduct heat, between two bodies in contact. The inverse of this property is termed thermal contact resistance. When two solid bodies come in contact, such as A and B in Figure 1, heat flows from the hotter body to the colder body.
Taille d'effetEn statistique, une taille d'effet est une mesure de la force de l'effet observé d'une variable sur une autre et plus généralement d'une inférence. La taille d'un effet est donc une grandeur statistique descriptive calculée à partir de données observées empiriquement afin de fournir un indice quantitatif de la force de la relation entre les variables et non une statistique inférentielle qui permettrait de conclure ou non si ladite relation observée dans les données existe bien dans la réalité.
Sens (physiologie)vignette|Les cinq sens d'après Aristote, représentés par leurs organes sensoriels inhérents : oreilles, yeux, langue, nez, peau. Du point de vue de la physiologie, les sens sont les systèmes sensoriels de la perception. Leur fonctionnement, leur classification, et la théorie épistémologique qui soutient leur étude sont abordés par plusieurs disciplines, principalement les neurosciences, mais aussi la psychologie cognitive (ou science cognitive), et toutes les philosophies et études sociales telle l’anthropologie ayant trait à la perception.
Survey data collectionWith the application of probability sampling in the 1930s, surveys became a standard tool for empirical research in social sciences, marketing, and official statistics. The methods involved in survey data collection are any of a number of ways in which data can be collected for a statistical survey. These are methods that are used to collect information from a sample of individuals in a systematic way. First there was the change from traditional paper-and-pencil interviewing (PAPI) to computer-assisted interviewing (CAI).
Vuethumb|250px|Ommatidies de krill antarctique, composant un œil primitif adapté à une vision sous-marine. thumb|250px|Yeux de triops, primitifs et non mobiles. thumb|250px|Yeux multiples d'une araignée sauteuse (famille des Salticidae, composée d'araignées chassant à l'affut, mode de chasse nécessitant une très bonne vision). thumb|250px|Œil de la libellule Platycnemis pennipes, offrant un champ de vision très large, adapté à un comportement de prédation.
Sondage (sciences sociales)Un sondage en sciences sociales est l'application de la technique des sondages à une population humaine. Le sondage est un outil de mesure quantitative qui vise à donner une image juste d'un phénomène social inaccessible à la simple perception du chercheur qui souhaite l'appréhender. Ces points sont à peu près évidents intuitivement. La fréquence d'apparition d'un caractère dans un échantillon donne une idée sur cette fréquence dans la population mais seulement une idée imprécise.
Conductivité thermiqueLa conductivité thermique (ou conductibilité thermique) d'un matériau est une grandeur physique qui caractérise sa capacité à diffuser la chaleur dans les milieux sans déplacement macroscopique de matière. C'est le rapport de l'énergie thermique (quantité de chaleur) transférée par unité de temps (donc homogène à une puissance, en watts) et de surface au gradient de température. Notée λ (anciennement K voire k), la conductivité thermique intervient notamment dans la loi de Fourier.
