Plafond (architecture)Un plafond, dans le domaine de l'architecture, est une surface horizontale qui constitue la partie supérieure d'une pièce ou de tout lieu couvert. Il peut être fait de plâtre, de menuiserie, de matière thermoplastique ou de divers autres matériaux. Dans le plancher traditionnel, le plafond n’était que l’apparence de la construction vraie du plancher, qui se composait de poutres et de solives apparentes, plus ou moins richement moulurées et même sculptées.
Least-squares adjustmentLeast-squares adjustment is a model for the solution of an overdetermined system of equations based on the principle of least squares of observation residuals. It is used extensively in the disciplines of surveying, geodesy, and photogrammetry—the field of geomatics, collectively. There are three forms of least squares adjustment: parametric, conditional, and combined: In parametric adjustment, one can find an observation equation h(X) = Y relating observations Y explicitly in terms of parameters X (leading to the A-model below).
Nivellement (topographie)Le nivellement ou nivèlement en topographie est l'ensemble des opérations consistant à mesurer des différences de niveau (ou dénivelés ou dénivellation), généralement pour déterminer des altitudes. En d'autres termes, le nivellement permet de mesurer des dénivelés puis de déduire l'altitude de repères ou de points caractéristiques du sol ou d'ouvrages.
Théorème des valeurs intermédiairesvignette|Illustration du théorème des valeurs intermédiaires : si f est une fonction continue sur l'intervalle [a ; b], alors elle prend toutes les valeurs comprises entre f(a) et f(b) au moins une fois. Ici la valeur s est prise trois fois. En mathématiques, le théorème des valeurs intermédiaires (abrégé en TVI), parfois appelé théorème de Bolzano, est un résultat important en analyse et concerne des fonctions continues sur un intervalle.
Bachelor of EngineeringA Bachelor of Engineering (BE or BEngg) or a Bachelor of Science in Engineering (BSc (Engg) or BSE) is an undergraduate academic degree awarded to a student after three to five years of studying engineering at an accredited college or university. In the United Kingdom, a Bachelor of Engineering degree will be accredited by one of the Engineering Council's professional engineering institutions as suitable for registration as an incorporated engineer or chartered engineer with further study to masters level.
Moteur pas à pasUn moteur pas à pas permet de transformer une impulsion électrique en un mouvement angulaire. On trouve trois types de moteurs pas à pas : le moteur à réluctance variable ; le moteur à aimants permanents ; le moteur hybride, qui est une combinaison des deux technologies précédentes. Le moteur pas à pas fut inventé en 1936 par Marius Lavet, un ingénieur français des Arts et Métiers, pour l'industrie horlogère.
Point cardinalEn géographie et en astronomie, un point cardinal est un point de l’horizon servant à se diriger, à s’orienter. Sur une boussole ou sur un plan, on trouve généralement quatre points cardinaux : nord, sud, est et ouest. En un lieu donné à la surface de la Terre, le méridien local définit la direction d'une droite qui peut être parcourue selon deux sens différents : l'un en direction du pôle Nord géographique, cette direction définissant le point cardinal nord ; l'autre en direction du pôle Sud géographique, cette seconde direction définissant le point cardinal sud.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Libre parcours moyenEn physique, le libre parcours moyen est la distance moyenne parcourue par une particule se déplaçant (telle qu'un atome, une molécule, un photon) entre deux impacts successifs (collisions) modifiant sa direction, son énergie ou d'autres propriétés. cadre|Figure 1: Tranche de cible. On considère un faisceau de particules projetées vers une cible, ainsi qu'une tranche infinitésimale de cette cible (Figure 1). Les atomes (ou autres particules) susceptibles d'arrêter des particules du faisceau sont en rouge.
Continuation (informatique)En informatique, la continuation d'un système est son futur, c'est-à-dire la suite des instructions qu'il lui reste à exécuter à un moment précis. C'est un point de vue pour décrire l'état de la machine. Dans certains langages de programmation, les continuations peuvent être manipulées explicitement en tant qu'objets du langage à part entière : on peut stocker la continuation courante dans une variable que l'on peut donc manipuler en tant que telle ; puis plus loin, on peut restaurer la continuation, ce qui a pour effet de dérouter l'exécution du programme actuel vers le futur que l'on avait enregistré.
Virgule flottantevignette|Comme la notation scientifique, le nombre à virgule flottante a une mantisse et un exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire. Elle consiste à représenter un nombre par : un signe (égal à −1 ou 1) ; une mantisse (aussi appelée significande) ; et un exposant (entier relatif, généralement borné).
Delimited continuationIn programming languages, a delimited continuation, composable continuation or partial continuation, is a "slice" of a continuation frame that has been reified into a function. Unlike regular continuations, delimited continuations return a value, and thus may be reused and composed. Control delimiters, the basis of delimited continuations, were introduced by Matthias Felleisen in 1988 though early allusions to composable and delimited continuations can be found in Carolyn Talcott's Stanford 1984 dissertation, Felleisen et al.
Continuation-passing styleIn functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. This is contrasted with direct style, which is the usual style of programming. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which sets out the first version of the Scheme programming language. John C. Reynolds gives a detailed account of the numerous discoveries of continuations.
Decimal floating pointDecimal floating-point (DFP) arithmetic refers to both a representation and operations on decimal floating-point numbers. Working directly with decimal (base-10) fractions can avoid the rounding errors that otherwise typically occur when converting between decimal fractions (common in human-entered data, such as measurements or financial information) and binary (base-2) fractions. The advantage of decimal floating-point representation over decimal fixed-point and integer representation is that it supports a much wider range of values.
Call-with-current-continuationIn the Scheme computer programming language, the procedure call-with-current-continuation, abbreviated call/cc, is used as a control flow operator. It has been adopted by several other programming languages. Taking a function f as its only argument, (call/cc f) within an expression is applied to the current continuation of the expression. For example ((call/cc f) e2) is equivalent to applying f to the current continuation of the expression.
Aerial surveyAerial survey is a method of collecting geomatics or other ry by using airplanes, helicopters, UAVs, balloons or other aerial methods. Typical types of data collected include aerial photography, Lidar, remote sensing (using various visible and invisible bands of the electromagnetic spectrum, such as infrared, gamma, or ultraviolet) and also geophysical data (such as aeromagnetic surveys and gravity. It can also refer to the chart or map made by analysing a region from the air.
Virgule fixeEn informatique, une représentation d'un nombre en virgule fixe est un type de donnée correspondant à un nombre qui possède (en base deux ou en base dix) un nombre fixe de chiffres après la virgule. Les nombres en virgule fixe sont utiles pour représenter des quantités fractionnaires dans un format utilisant le complément à deux quand le processeur de l'ordinateur n'a aucune unité de calcul en virgule flottante ou quand une virgule fixe permet d'augmenter la vitesse d'exécution ou d'améliorer l'exactitude des calculs.
Mal aigu des montagnesLe mal aigu des montagnes (MAM) est un syndrome de souffrance, lié à une montée trop rapide en haute altitude, à l'absence d'acclimatation et à une sensibilité personnelle plus ou moins importante. Ses symptômes sont des céphalées, des nausées et des vomissements, de l’insomnie, une fatigue générale, une lassitude, des vertiges, des troubles de l’équilibre, une dyspnée et de l’inappétence. La mort peut survenir par œdème cérébral ou pulmonaire.
Entraînement en altitudeL'entraînement en altitude est une méthode utilisée par les sportifs pour améliorer leurs performances avec des stages pouvant durer plusieurs semaines. En altitude, la pression partielle de dioxygène dans l'air diminue. Afin de s'adapter à cette plus faible proportion de dioxygène, l'organisme augmente la concentration en globules rouges dans le sang pour garantir la même disponibilité de dioxygène aux organes, augmentant naturellement la VO2max et les performances cardio-respiratoires du sportif.
Fitnessthumb|Démonstration d'exercices de fitness. Le fitness (abréviation de l'expression anglaise physical fitness, « forme physique »), aussi appelé la gymnastique de forme ou l'entraînement physique, désigne un ensemble d'activités physiques permettant au pratiquant d'améliorer sa condition physique et son hygiène de vie, dans un souci de bien-être. Le fitness trouve ses origines dans l'aérobic (gymnastique modelant le corps par des mouvements effectués en musique), qui lui-même naît de la danse jazz.
