Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Journée de l'Europe (Union européenne)La Journée de l'Europe est une journée internationale célébrée le dans les États membres de l'Union européenne pour commémorer la Déclaration Schuman du ; ce discours, prononcé avant la naissance de la Communauté économique européenne, est considéré comme le texte fondateur de l'Union. La Journée de l'Europe a été instituée en 1985 par le Conseil européen lors de sa réunion à Milan. qui toutes deux décidèrent de coordonner l'ensemble de leur production de charbon et d'acier sous l'égide d'une Haute Autorité, dans une organisation ouverte à la participation des autres pays d'Europe.
Recherche scientifiquevignette|Une laborantine du Laboratoire fédéral d'essai des matériaux et de recherche (EMPA) à Saint-Gall, en 1964. La recherche scientifique est, en premier lieu, l’ensemble des actions entreprises en vue de produire et de développer les connaissances scientifiques. Par extension métonymique, on utilise également ce terme dans le cadre social, économique, institutionnel et juridique de ces actions. thumb|Allégorie de la Recherche, bronze par , 1896, Thomas Jefferson Building.
Système d'électrification ferroviaireUn système d’électrification ferroviaire est l’ensemble des moyens mis en œuvre pour alimenter en énergie électrique les trains (locomotive électrique ou rame automotrice électrique). Les trains sont alimentés en courant alternatif haute tension ou en courant continu. L’alimentation passe par un troisième rail ou une caténaire et le retour de courant se fait par les rails de la voie ou un quatrième rail dédié. vignette|Le record du monde de vitesse de 1903 () a été établi sur une ligne électrifiée en triphasé.
Chaudière de récupérationUne chaudière de récupération est un échangeur de chaleur qui permet de récupérer l’énergie thermique d’un écoulement de gaz chaud. Elle produit de la vapeur qui peut être utilisée dans un procédé industriel ou pour alimenter une turbine à vapeur. Une application usuelle pour une chaudière de récupération est dans la centrale électrique à cycle combiné, où les gaz d’échappement de la turbine à gaz alimentent la chaudière de récupération pour générer de la vapeur qui alimentera la turbine à vapeur.
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).
Véhicule (transport physique)vignette|Train de conteneurs. Un véhicule est mais cet article se focalise sur ce qui concerne le transport physique, quel que soit le milieu (terre, air, mer) et les moyens mis en œuvre pour y arriver (force animale ou mécanique par exemple). Il s'agit le plus souvent d'un moyen de transport motorisé, mais sa finalité première n'est pas toujours le transport en lui-même (engins de loisirs, travaux publics, machines agricoles, engins militaires).
USA TodayUSA Today est un quotidien national américain fondé en 1982 par Allen Neuharth et publié par Gannett Corporation. Il s'agit du journal le plus diffusé aux États-Unis avec plus de d'exemplaires quotidiens en 2007 et en 2010 et le seul quotidien à couverture nationale avec le Wall Street Journal. USA Today est fondé comme étant une alternative plus colorée et abordant l'actualité sur un ton différent par rapport au reste de la presse américaine à audience nationale, en particulier les quotidiens de référence à la présentation plus classique tel que le Wall Street Journal ou le New York Times.
Academic publishingAcademic publishing is the subfield of publishing which distributes academic research and scholarship. Most academic work is published in academic journal articles, books or theses. The part of academic written output that is not formally published but merely printed up or posted on the Internet is often called "grey literature". Most scientific and scholarly journals, and many academic and scholarly books, though not all, are based on some form of peer review or editorial refereeing to qualify texts for publication.
ExpérienceL'expérience est la connaissance acquise à travers l'interaction avec l'environnement. Une expérience est un enchaînement d'événements dont on peut tirer une leçon par un retour d'expérience. La connaissance issue de l'expérience s'oppose à celle qui relève d'une élaboration théorique. L'expérience d'une personne est l'ensemble des savoirs qu'elle a acquis par la pratique, et non seulement par un enseignement formel. Lorsque cette connaissance est socialement partagée et construite dans l'intersubjectivité, il s'agit d'expérience sociale.
