Linguistique de corpusLa linguistique de corpus est une branche de la linguistique qui étudie le langage à travers des exemples contenus dans des textes réels. En particulier elle se propose d'extraire d'un corpus les connaissances linguistiques essentielles à l’enseignement des langues et à l'élaboration des dictionnaires. La linguistique de corpus situe la signification dans le discours et dans l'interaction entre les gens plutôt que dans l'esprit des locuteurs. En effet le sens des mots est déterminé par le contexte dans lequel ils sont employés.
Hypermédiaalt=Lien Hypermédia|vignette|Lien Hypermédia: Wendy Hall - The Life Scientific - 2013 Un hypermédia est une extension de l'hypertexte à des données multimédias, qui ajoute aux informations de type texte d'autres médias comme des images, des sons, des vidéos ou encore des données multimédia. Le terme « hypermédia » a été cité pour la première fois par Ted Nelson en 1965. Il a, par la suite, été utilisé dans d'autres domaines, notamment par Chiel Kattenbelt pour désigner le théâtre.
World Wide Webvignette|Logo historique du World Wide Web par Robert Cailliau. vignette|Où la toile est née, plaque commémorant la création du World Wide Web dans les locaux du CERN. Le World Wide Web ( ; littéralement la « toile (d’araignée) mondiale », abrégé www ou le Web), la toile mondiale ou la toile, est un système hypertexte public fonctionnant sur Internet. Le Web permet de consulter, avec un navigateur, des pages accessibles sur des sites. L’image de la toile d’araignée vient des hyperliens qui lient les pages web entre elles.
Effective methodIn logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure. The definition of an effective method involves more than the method itself. In order for a method to be called effective, it must be considered with respect to a class of problems.
Recherche d'image par le contenuLa recherche d'image par le contenu (en anglais : content-based image retrieval ou CBIR) est une technique permettant de rechercher des images à partir de ses caractéristiques visuelles, c'est-à-dire induite de leurs pixels. Les images sont classiquement décrites comme rendant compte de leur texture, couleur, forme. Un cas typique d'utilisation est la recherche par l'exemple où l'on souhaite retrouver des images visuellement similaires à un exemple donné en requête.
Agénésie du corps calleuxL’ est une maladie se définissant par l’absence de formation du corps calleux pendant le développement du fœtus. Cette absence peut être totale ou partielle. La formation du corps calleux commence normalement à partir de 5 semaines de vie in utero et se termine à 17 semaines. Cette absence de corps calleux peut être soit isolée, soit associée à d’autres pathologies. Une agénésie du corps calleux, quelle qu'en soit la cause, serait observée dans 0,3 % à 0,7 % de la population. Corps calleux Sagittal.
Spectacle vivantLe spectacle vivant se caractérise par la coprésence d'actants (ceux qui donnent à voir et à entendre) et d'un public (ceux qui ont accepté de voir et d'entendre). En cela, le spectacle vivant désigne de nombreux modes d'expression artistique, de la représentation à l'improvisation : le théâtre, la danse, les arts du cirque, les arts de la rue, les arts de la marionnette, l'opéra, le spectacle de rue et la musique live.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
