Dessin de définitionEn dessin industriel, le dessin de définition représente une pièce ou une partie d'objet projeté sur un plan avec tous ses détails comme les dimensions en cotations normalisées et les usinages. On l'appelle également plan de détails par opposition au plan d'ensemble ou dessin d'ensemble. Le nombre de vues varie en fonction de la complexité de la pièce représentée. Une vue (voire deux ) pour une pièce cylindrique, en général trois vues pour une pièce prismatique. La vue de face est choisie en fonction de sa représentativité.
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).
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.
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.
Conservation and restoration of cultural propertyThe conservation and restoration of cultural property focuses on protection and care of cultural property (tangible cultural heritage), including artworks, architecture, archaeology, and museum collections. Conservation activities include preventive conservation, examination, documentation, research, treatment, and education. This field is closely allied with conservation science, curators and registrars.
Animation (audiovisuel)L’animation, dans le domaine de l’audiovisuel, est un ensemble de techniques qui ont été mises au point à partir du , d'abord par la reprise du principe de la bande dessinée et l'utilisation de procédés optiques et mécaniques ne dépassant pas deux secondes dans leur représentation (jouet optique, folioscope), puis, dès 1892, par le perfectionnement de ces procédés en permettant des durées de représentation plus importantes, de une à cinq minutes (Théâtre optique) et par l'utilisation en 1906 de la prise de
File formatA file format is a standard way that information is encoded for storage in a . It specifies how bits are used to encode information in a digital storage medium. File formats may be either proprietary or free. Some file formats are designed for very particular types of data: PNG files, for example, store bitmapped using lossless data compression. Other file formats, however, are designed for storage of several different types of data: the Ogg format can act as a container for different types of multimedia including any combination of audio and video, with or without text (such as subtitles), and metadata.
Diagnostic (médecine)En médecine, le diagnostic est la démarche par laquelle le vétérinaire, médecin, généraliste ou spécialiste, le kinésithérapeute, la sage-femme ou le chirurgien-dentiste, ou encore le psychologue au Canada, détermine l'affection dont souffre le patient, et qui permet de proposer un traitement. Il repose sur la recherche des causes (étiologie) et des effets (symptômes) de l'affection ; on parle aussi de « tableau clinique ». Typiquement, le diagnostic se déroule en deux parties : Anamnèse (ou histoire de la maladie) : c'est l'étape la plus cruciale de la consultation.
Animation par ordinateurthumb|Réalisé avec le logiciel Blender, Caminandes est un exemple de court métrage animé par ordinateur. L’animation par ordinateur ou animation en images de synthèse est toute animation dont chaque photogramme est une entièrement créée avec un ordinateur. Certaines animations par ordinateur sont intégrées au sein de prise de vues réelles ou d'animations obtenues par d'autres procédés. C'est d'ailleurs comme ça que l'animation par ordinateur a commencé à être utilisée avant que des films ou des vidéos soient entièrement animés avec l'outil informatique.
Structural stabilityIn mathematics, structural stability is a fundamental property of a dynamical system which means that the qualitative behavior of the trajectories is unaffected by small perturbations (to be exact C1-small perturbations). Examples of such qualitative properties are numbers of fixed points and periodic orbits (but not their periods). Unlike Lyapunov stability, which considers perturbations of initial conditions for a fixed system, structural stability deals with perturbations of the system itself.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Animation flashvignette|Animation par Lorhamix Une animation flash est une animation réalisée à l'aide du logiciel Adobe Flash ou à partir d'un script ActionScript compilé grâce à différents compilateurs (MTASC, Adobe Flex). L'animation peut être interactive et est lue à partir du navigateur grâce au plugin flash player. Les animations flash sont, la plupart du temps, des animations vectorielles, c'est-à-dire des animations composées non pas d' mais d' (images constituées de formes géométriques telles que des cercles, courbes de Bézier, polygones.
