Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
New mediaNew media are communication technologies that enable or enhance interaction between users as well as interaction between users and content. In the middle of the 1990s, the phrase "new media" became widely used as part of a sales pitch for the influx of interactive CD-ROMs for entertainment and education. The new media technologies, sometimes known as Web 2.0, include a wide range of web-related communication tools such as blogs, wikis, online social networking, virtual worlds, and other social media platforms.
Principe de bout en boutLe principe de bout en bout (en anglais : end-to-end principle) est un principe central de l'architecture du réseau Internet. Il énonce que « plutôt que d’installer l’intelligence au cœur du réseau, il faut la situer aux extrémités : les ordinateurs au sein du réseau n’ont à exécuter que les fonctions très simples qui sont nécessaires pour les applications les plus diverses, alors que les fonctions qui sont requises par certaines applications spécifiques seulement doivent être exécutées en bordure de réseau.
Scholarly peer reviewScholarly peer review or academic peer review (also known as refereeing) is the process of having a draft version of a researcher's methods and findings reviewed (usually anonymously) by experts (or "peers") in the same field. Peer review is widely used for helping the academic publisher (that is, the editor-in-chief, the editorial board or the program committee) decide whether the work should be accepted, considered acceptable with revisions, or rejected for official publication in an academic journal, a monograph or in the proceedings of an academic conference.
Recherche fondamentaleLa recherche fondamentale consiste en des travaux expérimentaux ou théoriques entrepris principalement en vue d'acquérir de nouvelles connaissances sur les fondements des phénomènes et des faits observables, sans envisager une application ou une utilisation particulière. En somme, elle « crée » de la connaissance et l’explique. Les résultats des recherches fondamentales donnent en général lieu à des publications dans des revues scientifiques. La recherche fondamentale peut être de deux types.
Marxisme analytiqueLe marxisme analytique est un courant de pensée développé dans le monde anglo-saxon dans les années 1980. L'objectif du marxisme analytique est d'interpréter de manière claire et rigoureuse la pensée de Marx à l'aide d'outils utilisés traditionnellement par la philosophie analytique et les sciences sociales (ex: théorie du choix rationnel). Puisque la méthode du marxisme analytique est différente de celle utilisée traditionnellement, plusieurs interprètes de Marx accuseront ce mouvement de dénaturer Marx.
Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Philosophie analytiqueL'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du , pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique des pensées » le but de la philosophie selon le mot de Ludwig Wittgenstein dans le célèbre Tractatus logico-philosophicus.
Échelle de LikertUne échelle de Likert est un outil psychométrique permettant de mesurer une attitude chez des individus. Elle tire son nom du psychologue américain Rensis Likert qui l'a développée. Elle consiste en une ou plusieurs affirmations (énoncés ou items) pour lesquelles la personne interrogée exprime son degré d'accord ou de désaccord. L'échelle contient pour chaque item une graduation comprenant en général cinq ou sept choix de réponse qui permettent de nuancer le degré d'accord.
TwitterTwitter ( en anglais), rebaptisé progressivement X depuis le , est un réseau social de microblogage. Il permet à un utilisateur d’envoyer gratuitement des micromessages limités à , appelés tweets ou gazouillis par messagerie instantanée ou par SMS. Twitter est créé le par Jack Dorsey, Evan Williams, Biz Stone et Noah Glass. Le service en ligne est rapidement devenu populaire. Le , il compte d’utilisateurs actifs par mois, de tweets envoyés par jour et est disponible en plus de quarante langues.
Vecteur aléatoireUn vecteur aléatoire est aussi appelé variable aléatoire multidimensionnelle. Un vecteur aléatoire est une généralisation à n dimensions d'une variable aléatoire réelle. Alors qu'une variable aléatoire réelle est une fonction qui à chaque éventualité fait correspondre un nombre réel, le vecteur aléatoire est une fonction X qui à chaque éventualité fait correspondre un vecteur de : où ω est l'élément générique de Ω, l'espace de toutes les éventualités possibles. Les applications X, ...
RadarLe radar (acronyme issu de l'anglais dio etection nd anging) est un système qui utilise les ondes électromagnétiques pour détecter la présence et déterminer la position ainsi que la vitesse d'objets tels que les avions, les bateaux, ou la pluie. Les ondes envoyées par l'émetteur sont réfléchies par la cible, et les signaux de retour (appelés écho radar ou écho-radar) sont captés et analysés par le récepteur, souvent situé au même endroit que l'émetteur.
