CubaCuba, en forme longue la république de Cuba (en República de Cuba), est un État insulaire des Caraïbes formé de l'île de Cuba (la plus grande île des Antilles), de l'île de la Jeunesse (appelée île aux Pins jusqu'en 1978) et de cayes et îlots. Il est situé à l'ouest des grandes Antilles, à la confluence de la mer des Caraïbes, du golfe du Mexique et de l'océan Atlantique ; au nord-est des Îles Caïmans ; au nord-nord-ouest de la Jamaïque ; à l'est du Mexique (Yucatán) ; au sud-sud-est de la péninsule de Floride ; au sud-ouest des Bahamas ; à l'ouest d'Haïti et des îles Turques-et-Caïques.
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.
Transfert de connaissancesvignette|Logo illustratif de The Noun Project. Le transfert de connaissances ou compétences, dans les domaines du développement et de l’apprentissage de l'organisation, est le problème pratique de la transmission de données d’une partie de l’organisation à une autre (ou aux autres) partie(s). Le transfert de connaissances ne recouvre qu'une partie de la problématique du transfert de compétences pour les structures.
Suspension de véhiculeLes suspensions d'un véhicule sont les éléments permettant de relier les masses non suspendues (typiquement la roue, les pièces d'entraînement de roue, souvent les systèmes de freinage, etc) aux masses suspendues (typiquement le châssis, le moteur et tous les composants du véhicule fixés au châssis). L'utilisation de la suspension est imposée par les irrégularités de la surface sur laquelle se déplace le véhicule.
Suspension pneumatiqueLa suspension pneumatique est un type de suspension de véhicule alimenté par une pompe à air entraînée par un moteur électrique ou un compresseur. Cette pompe pressurise l'air pour utiliser l'air comprimé comme un ressort. La suspension pneumatique remplace les ressorts en acier conventionnels, mais si le moteur ne fonctionne pas pendant une période prolongée, la suspension du véhicule se dégonfle. Le but de la suspension pneumatique est de fournir un bon confort de roulement et la possibilité de régler la fermeté des suspensions voire la hauteur du véhicule.
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).
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
Caractère de contrôleUn caractère de contrôle ou caractère non imprimable, en informatique et en télécommunications, est un point de code d’un jeu de caractères codés qui ne représente pas un symbole. Ces caractères sont notamment utilisés pour la mise en page : saut de page (FF), saut de ligne (LF), retour-chariot (CR), tabulation horizontale (HT), etc. En ASCII, ces caractères sont codés de 0 à 31 (+127) : NULL, BS, CR, LF, HT, DC1, SI, ESC (+DEL)...
Knowledge marketA knowledge market is a mechanism for distributing knowledge resources. There are two views on knowledge and how knowledge markets can function. One view uses a legal construct of intellectual property to make knowledge a typical scarce resource, so the traditional commodity market mechanism can be applied directly to distribute it. An alternative model is based on treating knowledge as a public good and hence encouraging free sharing of knowledge. This is often referred to as attention economy.
Interrogation (linguistique)En linguistique, l'interrogation est un acte de langage par laquelle l'émetteur d'un énoncé adresse au destinataire (réel ou fictif) de celui-ci une demande d'information portant sur son contenu. Une phrase interrogative est couramment appelée « question ». L'interrogation totale concerne la phrase entière et appelle une réponse totale, comme « oui », « non », « sûrement »... Une telle question totale porte en fait très souvent sur un élément partiel, mis en relief par divers moyens ou non : ex.
