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).
Web socialalt=Illustration d'un réseau social sur le web|vignette|374x374px|Illustration d'un réseau social sur le web Le Web social (Social Web) fait référence à une vision d'Internet considéré comme un espace de socialisation, un lieu dont l'une de ses fonctions principales est de faire interagir les utilisateurs entre eux afin d'assurer une production continuelle de contenu, et non plus uniquement la distribution de documents. Il est considéré comme un aspect très important du Web 2.0.
Trouble des conduites alimentairesLes troubles des conduites alimentaires (parfois appelé troubles du comportement alimentaire) (TCA) se caractérisent par un trouble en rapport à l'alimentation. Ils sont généralement répandus à travers les troubles d'anorexie mentale, de boulimie et d'hyperphagie, mais peuvent également se manifester sous la forme de troubles dits atypiques, tels que l'orthorexie ou encore le pica. Ils peuvent apparaître à tout âge, notamment chez les adolescents et les jeunes adultes.
Révolution quantitative en géographieDans l'histoire de la géographie, la révolution quantitative (parfois abrégée QR) est parfois considérée comme l'un des quatre tournants majeurs de la géographie moderne, les trois autres étant le déterminisme environnemental, la géographie régionale et la géographie critique. L'argument principal de la révolution quantitative est qu'il conduit au passage d'une géographie descriptive (idiographique) à une géographie nomothétique (qui produit des lois générales).
Binge eatingBinge eating is a pattern of disordered eating which consists of episodes of uncontrollable eating. It is a common symptom of eating disorders such as binge eating disorder and bulimia nervosa. During such binges, a person rapidly consumes an excessive quantity of food. A diagnosis of binge eating is associated with feelings of loss of control. Binge eating disorder is also linked with being overweight and obesity. The DSM-5 includes a disorder diagnosis criterion for Binge Eating Disorder (BED).
Map layoutMap layout, also called map composition or (cartographic) page layout, is the part of cartographic design that involves assembling various map elements on a page. This may include the map image itself, along with titles, legends, scale indicators, inset maps, and other elements. It follows principles similar to page layout in graphic design, such as balance, gestalt, and visual hierarchy. The term map composition is also used for the assembling of features and symbols within the map image itself, which can cause some confusion; these two processes share a few common design principles but are distinct procedures in practice.
Mesure stéréoscopiqueLa stéréovision ou mesure stéréoscopique est une méthode de mesure qui consiste à se servir de la prise d'images (photographiques ou numériques) prises de différents points de vue, pour déterminer les dimensions, les formes ou les positions d'objets. Pour cela on utilise : soit des appareils photographiques étalonnés utilisant des films argentiques plans et stables dimensionnellement ou des détecteurs C.C.D à haute résolution pour des mesures statiques ; soit des caméras (film ou CCD) si des mesures dynamiques sont nécessaires (vidéogrammétrie).
PlanisphèreUn planisphère est une représentation plane de la surface du globe terrestre. La sphère étant une surface courbe, les formes et les tailles des continents, mers, pays, etc ne pourront pas être préservés. Le terme mappemonde est, dans son sens strict, une carte représentant toutes les parties du globe terrestre divisé en deux hémisphères enfermés chacun dans un grand cercle. La création d’un planisphère demande des informations générales sur la planète, notamment les formes et positions relatives des océans ou des continents.
Prévision des orages violentsLa prévision des orages violents est la partie de la météorologie d'exploitation qui tente de prévoir le développement, l'intensité, le type de danger et les zones affectées par les orages pouvant donner de la grosse grêle, des vents destructeurs, des tornades et des pluies torrentielles. La tâche du météorologue est d'appréhender tout d'abord comment se développe un orage violent, puis d'analyser le potentiel actuel et futur de l'orage au-dessus des régions sous sa responsabilité et enfin d’appliquer des techniques diagnostiques et des simulations informatiques pour prévoir leur développement.
Objective-CObjective-C est un langage de programmation orienté objet réflexif. C'est une extension du C ANSI, comme le C++, mais qui se distingue de ce dernier par sa distribution dynamique des messages, son typage faible ou fort, son typage dynamique et son chargement dynamique. Contrairement au C++, il ne permet pas l'héritage multiple mais il existe toutefois des moyens de combiner les avantages de C++ et d'Objective-C.
Social supportSocial support is the perception and actuality that one is cared for, has assistance available from other people, and most popularly, that one is part of a supportive social network. These supportive resources can be emotional (e.g., nurturance), informational (e.g., advice), or companionship (e.g., sense of belonging); tangible (e.g., financial assistance) or intangible (e.g., personal advice). Social support can be measured as the perception that one has assistance available, the actual received assistance, or the degree to which a person is integrated in a social network.
