Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Interactional sociolinguisticsInteractional sociolinguistics is a subdiscipline of linguistics that uses discourse analysis to study how language users create meaning via social interaction. It is one of the ways in which linguists look at the intersections of human language and human society; other subfields that take this perspective are language planning, minority language studies, quantitative sociolinguistics, and sociohistorical linguistics, among others.
Détection d'anomaliesDans l'exploration de données, la détection d'anomalies (en anglais, anomaly detection ou outlier detection) est l'identification d'éléments, d'événements ou d'observations rares qui soulèvent des suspicions en différant de manière significative de la majorité des autres données. Généralement, les anomalies indiquent un problème tel qu'une fraude bancaire, un défaut structurel, un problème médical ou une erreur dans un texte. Les anomalies sont également appelées des valeurs aberrantes, du bruit, des écarts ou des exceptions.
Prosodie (linguistique)En linguistique, le terme prosodie (du latin prosodia, à son tour du grec ancien prosōidía « chant pour accompagner la lyre ; variation de hauteur de la voix »), tel qu’il est entendu en français, dénomme la branche de la phonétique et de la phonologie qui étudie ce qu’on appelle les « traits prosodiques » de la langue, nommés aussi « traits suprasegmentaux ». Ce sont principalement l’accent, le ton, l’intonation, la jointure, la pause, le rythme, le tempo et le débit. Le terme français a plusieurs correspondants en anglais.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
Niveau de la merLe niveau de la mer est la position moyenne de la surface de la mer, constituant un niveau de référence considéré comme stable. D'une façon très simplifiée, c'est la ligne médiane entre une marée basse moyenne et une marée haute moyenne à un endroit côtier particulier, hors influence des vagues. La moyenne s'établit sur une échelle de temps au moins annuelle. Le niveau moyen de la mer est une référence verticale géodésique et altimétrique normalisée qui permet notamment de définir une altitude topographique, positive au-dessus (hypsométrie), négative en dessous (bathymétrie).
Lutte des classesLa lutte des classes est une expression qui désigne les tensions dans une société hiérarchisée et divisée en classes sociales, chacune luttant pour sa situation sociale et économique, et un modèle théorique qui explique les enjeux de cet affrontement. Ce concept est apparu au chez les historiens libéraux français de la Restauration, François Guizot, l'initiateur, Augustin Thierry, Adolphe Thiers et François-Auguste Mignet, auxquels Karl Marx l'a emprunté.
ÉnoncéUn énoncé est l'unité linguistique fondamentale de la plupart des analyses modernes en linguistique et en philosophie du langage. Il se distingue de l'acte d'énonciation, qui est le fait de produire un énoncé dans un cadre de communication précis. D'autre part, selon le sens que l'on donne à ce terme, on peut le distinguer d'une proposition logique, qui serait formulée par celui-ci : l'énoncé est alors partie du langage naturel, et l'on peut le reformuler dans un langage formel (par exemple en utilisant le calcul des prédicats).
Kappa de CohenEn statistique, la méthode du κ (kappa) mesure l’accord entre observateurs lors d'un codage qualitatif en catégories. L'article introduisant le κ a pour auteur Jacob Cohen – d'où sa désignation de κ de Cohen – et est paru dans le journal Educational and Psychological Measurement en 1960. Le κ est une mesure d'accord entre deux codeurs seulement. Pour une mesure de l'accord entre plus de deux codeurs, on utilise le κ de Fleiss (1981). Le calcul du κ se fait de la manière suivante : où Pr(a) est la proportion de l'accord entre codeurs et Pr(e) la probabilité d'un accord aléatoire.
Intonation prosodiqueEn prosodie, le terme « intonation » a plusieurs acceptions. Certaines diffèrent par la nature du segment de la chaîne parlée auquel elles se réfèrent. Dans un sens large, l’intonation concerne le niveau de hauteur du phone (c’est-à-dire du son au sens phonétique) ou la variation de cette hauteur dans le noyau de la syllabe, ayant une fonction sémantique au niveau du mot, ainsi que la variation de la hauteur des phones au niveau de segments plus grands que le mot, c’est-à-dire le syntagme, la phrase simple, la proposition et la phrase complexe.
Code correcteurvignette|Pour nettoyer les erreurs de transmission introduites par l'atmosphère terrestre (à gauche), les scientifiques de Goddard ont appliqué la correction d'erreur Reed-Solomon (à droite), qui est couramment utilisée dans les CD et DVD. Les erreurs typiques incluent les pixels manquants (blanc) et les faux signaux (noir). La bande blanche indique une brève période pendant laquelle la transmission a été interrompue.
Hybrid automatic repeat requestHybrid Automatic Repeat reQuest (hybrid ARQ ou HARQ) est une technologie qui permet la transmission fiable de données sur un canal de communication qui peut engendrer des erreurs de transmission. HARQ combine les principes de la retransmission, Automatic Repeat Request (ARQ), et de la correction d'erreurs, Forward Error Correction (FEC). Dans le cas d'un simple ARQ, des bits redondants sont ajoutés aux données à transmettre pour permettre au récepteur de détecter d'éventuelles erreurs de transmission, par exemple au moyen d'un contrôle de redondance cyclique.
