Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
Foncteur dérivéEn mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
4K4K est un format d' ayant une définition d'écran dont le bord le plus long est composé de environ. Les deux résolutions les plus communes sont (télévision, 4K UHD) et (cinéma, 4K DCI). Initialement, le terme « 4K » fait référence à la définition minimale de pour la largeur de l'image. Le , la Consumer Electronics Association (CEA) américaine a officialisé la dénomination « télévision à ultra-haute définition » (« Ultra HD ») pour les téléviseurs proposant une définition de .
Large deformation diffeomorphic metric mappingLarge deformation diffeomorphic metric mapping (LDDMM) is a specific suite of algorithms used for diffeomorphic mapping and manipulating dense imagery based on diffeomorphic metric mapping within the academic discipline of computational anatomy, to be distinguished from its precursor based on diffeomorphic mapping. The distinction between the two is that diffeomorphic metric maps satisfy the property that the length associated to their flow away from the identity induces a metric on the group of diffeomorphisms, which in turn induces a metric on the orbit of shapes and forms within the field of Computational Anatomy.
Eastern AlpsEastern Alps is the name given to the eastern half of the Alps, usually defined as the area east of a line from Lake Constance and the Alpine Rhine valley up to the Splügen Pass at the Alpine divide and down the Liro River to Lake Como in the south. The peaks and mountain passes are lower than the Western Alps, while the range itself is broader and less arched.
AlpesLes Alpes sont une chaîne de montagnes qui s'étend en Europe, recouvrant la frontière nord de l'Italie, le Sud-Est de la France, Monaco, la Suisse, le Liechtenstein, l'Autriche, le Sud de l'Allemagne et la Slovénie. Les Alpes culminent à au mont Blanc. On recense majeurs de plus de d'altitude (48 en Suisse, 38 en Italie et 24 en France). Les cols de montagne reliant les vallées ou les pays dépassent souvent les d'altitude. Les Alpes forment une barrière de entre la mer Méditerranée et le Danube.
Haute définitionLa haute définition (HD) désigne une classification d'équipements de télédiffusion et de vidéo numérique ayant une définition d'au moins 1280 par (720p), puis 1920 par 1080 pixels (1080i et 1080p) et par la suite, 2560 par 1440 pixels (1440p). Elle est l'évolution du SDTV. Le terme HD s'étend à l'ensemble des techniques audiovisuelles numériques telles que le HDV (grand public), le HDCam, la télévision (DVB-T, DVB-S, DVB-C), les supports disque Blu-ray, HD DVD, l'enregistrement multimédia sur disque dur, ainsi qu'au stockage de données informatiques.
Structure from motionvignette|Schéma simplifié du procédé. Le principe de Structure from motion (SfM, « Structure acquise à partir d'un mouvement ») est une technique d' photogrammétrique destinée à estimer la structure 3D de quelque chose à partir d'images 2D. Elle combine la vision par ordinateur et la vue humaine. En terme biologique, le SfM désigne le phénomène par lequel une personne (et autres créatures vivantes) peut estimer la structure 3D d'un objet ou d'une scène en mouvement à partir de son champ de vision 2D (rétinien).
Computational anatomyComputational anatomy is an interdisciplinary field of biology focused on quantitative investigation and modelling of anatomical shapes variability. It involves the development and application of mathematical, statistical and data-analytical methods for modelling and simulation of biological structures. The field is broadly defined and includes foundations in anatomy, applied mathematics and pure mathematics, machine learning, computational mechanics, computational science, biological imaging, neuroscience, physics, probability, and statistics; it also has strong connections with fluid mechanics and geometric mechanics.
