Génie informatiqueLe génie informatique, ou l'ingénierie informatique, est une discipline qui traite de la conception, du développement et de la fabrication de systèmes informatiques, aussi bien d'un point de vue matériels que logiciels. Le terme anglais computer engineering est parfois utilisé dans un sens plus restreint, considérant le génie informatique comme une discipline reliée au génie électrique, et fait alors référence à la conception, au développement et à la fabrication du matériel uniquement.
Ingénierie des structuresL'ingénierie des structures est un domaine de l'ingénierie et plus particulièrement du génie civil, traitant de la stabilité des constructions (conception et de l'analyse des structures). Une structure est soumise à différentes actions, permanentes ou variables dans le temps, statiques ou dynamiques, de nature mécanique ou thermique, et sa conception vise à satisfaire certains critères vis-à-vis de ces actions : Sécurité : sa résistance, son équilibre et sa stabilité doivent être assurés avec une probabilité choisie ; Performance : son fonctionnement et le confort associés doivent être garantis pour une durée suffisante ; Durabilité : la dégradation de la structure dans le temps doit être limitée et maîtrisée pour satisfaire les deux premiers critères.
HyperstatismeLe but de l'assemblage des pièces est de réaliser une ou plusieurs fonctions. Une des fonctions peut consister à être une structure immobile (bâtiment, pont...), ou bien à réaliser un travail (par exemple déplacer une charge). Dans tous les cas, chaque pièce est en contact avec plusieurs autres, ce qui va d'une part limiter les mouvements de chaque pièce, et d'autre part permettre la transmission d'efforts.
Fiction interactivevignette|upright=1.3|La Cité des eaux, un jeu en mode texte (2006), joué sur un interpréteur moderne. Une fiction interactive désigne principalement les jeux informatiques représentés textuellement. Les termes aventure en mode texte ou aventure textuelle sont également fréquemment utilisés. Le jeu vidéo textuel est une modalité particulière de la fiction interactive et, historiquement, le terme dénote principalement les jeux vidéo qui réagissent aux commandes tapées par le joueur sur son clavier – jeux apparus avec l’arrivée de l’ordinateur personnel, au début des années 1970.
Logique intuitionnisteLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Dead-code eliminationIn compiler theory, dead-code elimination (DCE, dead-code removal, dead-code stripping, or dead-code strip) is a compiler optimization to remove dead code (code that does not affect the program results). Removing such code has several benefits: it shrinks program size, an important consideration in some contexts, and it allows the running program to avoid executing irrelevant operations, which reduces its running time. It can also enable further optimizations by simplifying program structure.
Grammaire de dépendanceOn désigne par grammaire de dépendance une approche de la syntaxe fondée par Lucien Tesnière. Elle se distingue par la place centrale donnée à une structure hiérarchique, appelée Stemma par Lucien Tesnière, mais plus connue aujourd'hui sous le terme d’arbre de dépendance. L'arbre de dépendance est un arbre, au sens mathématique du terme, représentant les liens syntaxiques entre les mots d'une phrase. Les grammaires de dépendance ne réfèrent donc pas à un cadre théorique restreint, mais la notion de dépendance peut être explicite ou implicite dans la formalisation des règles syntaxiques.
Film interactifLe film interactif est un genre de jeu vidéo, sous-genre du jeu d'aventure, dans lequel le jeu est essentiellement composé de scènes cinématiques et de scripts. Il est souvent réalisé en full motion video de prises de vue réelles ou de séquences animées, on parle alors de jeux en FMV. Les scènes peuvent être jouées par de vrais acteurs, parfois par le biais de capture de mouvement. Le premier film interactif est Kinoautomat (1967) réalisé par Radúz Činčera. Il est présenté à l'Exposition universelle de 1967 à Montréal.
Suite géométriqueEn mathématiques, une suite géométrique est une suite de nombres dans laquelle chaque terme permet de déduire le suivant par multiplication par un facteur constant appelé raison. Ainsi, une suite géométrique a la forme suivante : La définition peut s'écrire sous la forme d'une relation de récurrence, c'est-à-dire que pour chaque entier naturel n : Le qualificatif « géométrique » réfère au fait que, dans une suite géométrique à termes positifs, un terme quelconque (à l'exception du premier) est égal à la moyenne géométrique du terme qui le précède et de celui qui lui succède.
Coordonnées barycentriquesEn géométrie affine, les coordonnées barycentriques d'un point par rapport à un repère barycentrique sont une famille de poids permettant de définir ce point comme un barycentre. Repère affine Une famille finie (P,...,P) de points d'un espace affine E est dite affinement libre, ou encore ces points sont dits affinement indépendants, quand aucun des points P n'appartient au sous-espace affine engendré par les k autres points. Dans le cas contraire il est dit affinement lié.
