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.
Apprentissage auto-superviséL'apprentissage auto-supervisé ("self-supervised learning" en anglais) (SSL) est une méthode d'apprentissage automatique. Il apprend à partir d'échantillons de données non étiquetés. Il peut être considéré comme une forme intermédiaire entre l'apprentissage supervisé et non supervisé. Il est basé sur un réseau de neurones artificiels. Le réseau de neurones apprend en deux étapes. Tout d'abord, la tâche est résolue sur la base de pseudo-étiquettes qui aident à initialiser les poids du réseau.
Environnementthumb|upright=1.5|Vue de la Terre depuis la Lune, en 1968, une des premières visions de notre planète comme un ensemble fini et fragile. thumb|upright=1.5|La sauvegarde de la nature, enjeu de la protection de l'environnement. L'environnement est « l'ensemble des éléments (biotiques et abiotiques) qui entourent un individu ou une espèce et dont certains contribuent directement à subvenir à ses besoins », ou encore « l'ensemble des conditions naturelles (physiques, chimiques, biologiques) et culturelles (sociologiques) susceptibles d’agir sur les organismes vivants et les activités humaines ».
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
EvaluationIn common usage, evaluation is a systematic determination and assessment of a subject's merit, worth and significance, using criteria governed by a set of standards. It can assist an organization, program, design, project or any other intervention or initiative to assess any aim, realisable concept/proposal, or any alternative, to help in decision-making; or to ascertain the degree of achievement or value in regard to the aim and objectives and results of any such action that has been completed.
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.
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).
Échecs par correspondanceLe jeu d'échecs par correspondance est une variante du jeu d'échecs jouée à l'aide de divers types de communication à longue distance, le plus souvent à travers l'utilisation d'un serveur spécialisé, l'échange de mails ou de courriers traditionnels ; des fax ou des pigeons voyageurs peuvent aussi – bien qu'ils soient plus rares – être utilisés. Les échecs par correspondance sont à opposer aux échecs sur plateau, joués en simultané par des joueurs assis face à face devant un échiquier.
Archaic humansA number of varieties of Homo are grouped into the broad category of archaic humans in the period that precedes and is contemporary to the emergence of the earliest early modern humans (Homo sapiens) around 300 ka. Among the earliest remains of H. sapiens are Omo-Kibish I (Omo I) from southern Ethiopia ( 195 or 233 ka), the remains from Jebel Irhoud in Morocco (about 315 ka) and Florisbad in South Africa (259 ka). The term typically includes H. antecessor, H. bodoensis, Denisovans (H. denisova), H.
Lexique du jeu d'échecsCe lexique du jeu d'échecs énumère par ordre alphabétique les termes les plus couramment utilisés au jeu d'échecs. Dans certains cas, il existe des pages propres à ces termes. Pour une liste des joueurs, voir Liste de joueurs d'échecs. Pour le lexique spécifique aux problèmes d'échecs, voir Lexique de la composition échiquéenne. Abandon indication qu'un camp accepte la défaite. Dans le cadre d'une compétition, le joueur déclare oralement qu'il abandonne ou couche son roi.
