Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Détection de rupturesvignette|350px|droite|Exemple de signal ayant des changements dans la moyenne. vignette|350px|droite|Exemple de signal ayant des changements dans la distribution. En analyse statistique, le problème de détection de ruptures (ou détection de points de changement) est un problème de régression ayant pour but d'estimer les instants où un signal présente des changements dans la distribution. Ces instants sont matérialisés sur les deux figures par des lignes verticales bleues.
Reconnaissance optique de caractèresvignette|Vidéo montrant un processus de reconnaissance optique de caractères effectué en direct grâce à un scanner portable. La reconnaissance optique de caractères (ROC, ou OCR pour l'anglais optical character recognition), ou océrisation, désigne les procédés informatiques pour la traduction d'images de textes imprimés ou dactylographiés en fichiers de texte. Un ordinateur réclame pour l'exécution de cette tâche un logiciel d'OCR.
Système de détection d'intrusionUn système de détection d'intrusion (ou IDS : Intrusion detection System) est un mécanisme destiné à repérer des activités anormales ou suspectes sur la cible analysée (un réseau ou un hôte). Il permet ainsi d'avoir une connaissance sur les tentatives réussie comme échouées des intrusions. Il existe deux grandes catégories d'IDS, les plus connues sont les détections par signatures (reconnaissance de programme malveillant) et les détections par anomalies (détecter les écarts par rapport à un modèle représentant les bons comportements, cela est souvent associé a de l'apprentissage automatique).
Art-thérapievignette|droite|upright=1.5|Un atelier d'art-thérapie au Sénégal. L’art-thérapie est une méthode visant à utiliser le potentiel d'expression artistique et la créativité d'une personne à des fins psychothérapeutiques ou de développement personnel. Certaines écoles d'art-thérapie qui la pratiquent tendent à avoir une définition similaire de l'art-thérapie, la décrivant comme , ou encore : .
Art féministealt=Sculpture féminine et colorée aux formes excessivement rondes.|vignette|Une Nana de Niki de Saint Phalle. L'art féministe est un mouvement artistique contemporain regroupant des artistes et des œuvres revendiquant ou s'inscrivant dans un discours féministe. Son apparition, dans les années 1960 et 1970 est concomitante à la prise d'ampleur du mouvement féministe, mais également à l'émergence de nouvelles formes d'expressions artistiques, comme la performance.
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.
Business method patentBusiness method patents are a class of patents which disclose and claim new methods of doing business. This includes new types of e-commerce, insurance, banking and tax compliance etc. Business method patents are a relatively new species of patent and there have been several reviews investigating the appropriateness of patenting business methods. Nonetheless, they have become important assets for both independent inventors and major corporations.
Texte brutLe texte brut, ou pur ou simple, traduction de l'anglais plain text, est une notion liée à la représentation du texte utilisée entre dispositifs électroniques.
