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.
Système de gestion de contenualt=Exemple de design du système de gestion de contenu WorldPress|vignette|293x293px|Exemple de design du système de gestion de contenu WordPress Un système de gestion de contenu ou SGC (content management system ou CMS en anglais) est un programme informatique permettant de créer un site internet, un blogue ou encore un site de vente en ligne. Les fonctionnalités d'un SGC sont nombreuses. Il permet entre autres de travailler à plusieurs sur un même document ; de séparer les opérations de gestion de la forme et du contenu ; de structurer le contenu (FAQ, documents, blogues, forums, etc.
Messagerie électronique temporaireLa messagerie électronique temporaire ou jetable (aussi appelée e-mail temporaire ou e-mail jetable) est un système qui permet de créer une adresse électronique à durée d’utilisation limitée. L’objectif des messageries électroniques temporaires est d’éviter que la personne à qui vous donnez l’adresse temporaire puisse connaître votre véritable adresse électronique, que cela soit pour des raisons de confidentialité ou pour éviter de recevoir des pourriels.
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).
Lanceur (astronautique)Dans le domaine astronautique, un lanceur est une fusée capable de placer une charge utile en orbite autour de la Terre ou de l'envoyer dans l'espace interplanétaire. La charge utile peut être un satellite artificiel, placé en orbite terrestre basse ou en orbite géostationnaire, ou une sonde spatiale qui quitte l’attraction terrestre pour explorer le système solaire. Pour y parvenir un lanceur doit pouvoir imprimer à sa charge utile une vitesse horizontale d'environ et l'élever au-dessus des couches denses de l'atmosphère terrestre (environ 200 km).
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
Aire de lancementthumb|Aire de lancement 39 A de la navette spatiale. L'assemblage ne se fait pas sur l'aire mais dans le VAB visible au fond thumb|La fosse sous l'aire de lancement des fusées Soyouz est de grande dimension (Baïkonour) En astronautique, l'aire de lancement, le pas de tir ou la zone de lancement est une zone d'une base de lancement où sont réunis les équipements qui assurent la préparation finale et le lancement d'un véhicule aérospatial (fusée ou navette spatiale).
Système de gestion de contenualt=Exemple de design du système de gestion de contenu WorldPress|vignette|293x293px|Exemple de design du système de gestion de contenu WordPress Un système de gestion de contenu ou SGC (content management system ou CMS en anglais) est un programme informatique permettant de créer un site internet, un blogue ou encore un site de vente en ligne. Les fonctionnalités d'un SGC sont nombreuses. Il permet entre autres de travailler à plusieurs sur un même document ; de séparer les opérations de gestion de la forme et du contenu ; de structurer le contenu (FAQ, documents, blogues, forums, etc.
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.
Sea LaunchSea Launch est un service de mise en orbite de satellites opéré par la société Sea Launch Co. LLC. Cette société, dont les capitaux initiaux provenaient de Norvège, Russie, États-Unis et Ukraine, fut créée en et son siège social est situé à Long Beach, Californie. Les satellites sont envoyés en orbite géostationnaire depuis une plateforme mobile située dans l'océan Pacifique appelée « Odyssey ». À sa mise en faillite en 2009, Sea Launch avait lancé 30 satellites depuis sa création, avec deux échecs et un échec partiel.
Courrier électroniquevignette|alt=@|L’arobase, caractère indispensable de l’adresse électronique. Un courrier électronique, également nommé courriel, mel ou e-mail (de l'anglais, prononcé , raccourci en mail), est un message écrit, envoyé électroniquement via un réseau informatique. On appelle messagerie électronique l'ensemble du système qui permet la transmission des courriels. Elle respecte des règles normalisées afin d'autoriser le dépôt de courriels dans la boîte aux lettres électronique d’un destinataire choisi par l’émetteur.
