Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Face IDFace ID est un procédé, système de reconnaissance faciale et logiciel propriétaire imaginé et réalisé par Apple. Il est utilisé sur les iPhone X,XS,XS Max,XR,11,11 Pro,11 Pro Max,12 mini,12,12 Pro,12 Pro Max,13 mini,13,13 Pro, 13 Pro Max, 14, 14 Plus, 14 Pro, 14 Pro Max, iPads Pro 2018, iPads Pro 2020 et iPads Pro 2022 et se veut plus fiable que Touch ID. De la même manière que Touch ID, il permet l’authentification des utilisateurs pour le déverrouillage, la possibilité d’effectuer des paiements au sein de magasins d’applications tels sont l'App Store et l'iTunes Store, mais également d’effectuer des achats grâce à Apple Pay.
EvaluationIn common usage, evaluation is a systematic determination and assessment of a subject's merit, worth and significance, using criteria governed by a set of standards. It can assist an organization, program, design, project or any other intervention or initiative to assess any aim, realisable concept/proposal, or any alternative, to help in decision-making; or to ascertain the degree of achievement or value in regard to the aim and objectives and results of any such action that has been completed.
Détection de visagevignette|Détection de visage par la méthode de Viola et Jones. La détection de visage est un domaine de la vision par ordinateur consistant à détecter un visage humain dans une . C'est un cas spécifique de détection d'objet, où l'on cherche à détecter la présence et la localisation précise d'un ou plusieurs visages dans une image. C'est l'un des domaines de la vision par ordinateur parmi les plus étudiés, avec de très nombreuses publications, brevets, et de conférences spécialisées.
Modal operatorA modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not.
Système de reconnaissance facialeUn système de reconnaissance faciale est une application logicielle visant à reconnaître automatiquement une personne grâce à son visage. Il s'agit d'un sujet particulièrement étudié en vision par ordinateur, avec de très nombreuses publications et brevets, et des conférences spécialisées. La reconnaissance de visage a de nombreuses applications en vidéosurveillance, biométrie, robotique, indexation d'images et de vidéos, , etc. Ces systèmes sont généralement utilisés à des fins de sécurité pour déverrouiller ordinateur/mobile/console, mais aussi en domotique.
Impact evaluationImpact evaluation assesses the changes that can be attributed to a particular intervention, such as a project, program or policy, both the intended ones, as well as ideally the unintended ones. In contrast to outcome monitoring, which examines whether targets have been achieved, impact evaluation is structured to answer the question: how would outcomes such as participants' well-being have changed if the intervention had not been undertaken? This involves counterfactual analysis, that is, "a comparison between what actually happened and what would have happened in the absence of the intervention.
Modality (linguistics)In linguistics and philosophy, modality refers to the ways language can express various relationships to reality or truth. For instance, a modal expression may convey that something is likely, desirable, or permissible. Quintessential modal expressions include modal auxiliaries such as "could", "should", or "must"; modal adverbs such as "possibly" or "necessarily"; and modal adjectives such as "conceivable" or "probable".
Mu-calculEn logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. Le mu-calcul (propositionnel et modal) a d'abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen.
InfrarougeLe rayonnement infrarouge (IR) est un rayonnement électromagnétique de longueur d'onde supérieure à celle du spectre visible mais plus courte que celle des micro-ondes ou du domaine térahertz. Cette gamme de longueurs d'onde dans le vide de à se divise en infrarouge proche, au sens de proche du spectre visible, de environ, infrarouge moyen, qui s'étend jusqu'à , et infrarouge lointain. Les limites de ces domaines peuvent varier quelque peu d'un auteur à l'autre.
Verbe modalL'auxiliaire modal ou semi-auxiliaire modal (du latin modus,-i, « mesure musicale, mode, manière ») est un des outils linguistiques parmi d'autres permettant d'exprimer une modalité, c'est-à-dire de présenter un fait comme possible, impossible, nécessaire, permis, obligatoire, souhaitable, vraisemblable. L'énoncé Il travaille est une affirmation simple, rendant compte d'un fait, alors que Il peut ou Il doit travailler sont des assertions modalisées par le recours aux verbes pouvoir et devoir.
Code sourcevignette|redresse|Copie papier d'un code source en Fortran des années 1970, imprimé sur du , dédié aux fichiers textes. En informatique, le code source est un texte qui présente les instructions composant un programme sous une forme lisible, telles qu'elles ont été écrites dans un langage de programmation. Le code source se matérialise généralement sous la forme d'un ensemble de fichiers texte. Le code source est souvent traduit — par un assembleur ou un compilateur — en code binaire composé d'instructions exécutables par le processeur.
Perception des visagesLa perception des visages désigne le processus cognitif par lequel le cerveau analyse une pour y détecter et identifier un visage. La perception des visages fait appel à une aire cérébrale spécialisée, spécificité du genre humain. Le rôle fondamental que tient le visage dans la communication verbale et non verbale est à l'origine d'une faculté très développée chez l'être humain et les autres primates qui consiste à pouvoir identifier très rapidement un visage dans son environnement et être capable d'en reconnaître l'identité particulière parmi plusieurs centaines d'autres.
ThermographieLa thermographie ou thermographie infrarouge est une technique permettant d'obtenir une image thermique d'une scène par analyse des infrarouges. L'image obtenue est appelée « thermogramme». La simple visualisation thermique, mais sans mesure de température, s'effectue au moyen d'un imageur thermique. La mesure à distance de la température s'effectue au moyen des appareils suivants : thermomètres infrarouges sans contact, appareil de mesure de température, ou, strictement, d'un « état thermique » ; caméra thermique appareil de mesure de la thermographie.
Test (évaluation)droite|vignette|280x280px|Etudiants qui passent leurs examens au Mahatma Gandhi Seva Ashram, Jaura, en Inde. droite|vignette|280x280px|Etudiants cambodgiens qui passe un examen en vue d'une demande pour l'école technique de Don Bosco de Sihanoukville en 2008. vignette|280x280px|Etudiants américains en classe d'ordinateurs fondamentale en train de faire une évaluation sur ordinateur. Une évaluation ou test (anglicisme) ou examen (informellement examination ou exam.
Photographie infrarouge200px 200px Haut : arbre photographié sur une longueur d'onde proche de l'infrarouge. Bas : même arbre, dans le spectre visible. thumb|Image infrarouge du fleuve Mississippi, traversé par un pont et un barrage, entre des feuillages à gauche (en rouge) et des zones de constructions et de parkings à droite (en bleu). En photographie infrarouge, la pellicule ou le capteur photographique utilisés sont sensibles à la lumière infrarouge.
Rayonnement thermiqueLe rayonnement thermique est un rayonnement électromagnétique généré par l'agitation thermique de particules dans la matière quel que soit l'état de celle-ci : solide, liquide ou gaz. Le spectre de ce rayonnement s'étend du domaine micro-ondes à l'ultra-violet. L'expression est également utilisée pour des phénomènes beaucoup plus énergétiques tels que rencontrés dans les plasmas, qui sont la source de rayonnement X. Ce phénomène conduit au rayonnement du corps noir lorsque l'interaction matière - rayonnement est réversible et importante.
Éditeur de code sourceUn éditeur de code source est un programme d'édition de texte spécialement conçu pour l'édition du code source d'un programme informatique . Il peut s'agir d'une application autonome ou intégrée à un environnement de développement intégré (IDE) ou à un navigateur Web. Un éditeur de code source est un outil de programmation fondamental, car le travail fondamental des programmeurs est d'écrire et de modifier le code source.
Entreprise de service publicUne entreprise de service public est une organisation qui gère et maintient une infrastructure de service public (elle fournit souvent le service utilisant cette infrastructure). Les entreprises de service public sont soumises à différentes formes de contrôle public et de régulation, de l'échelle locale aux monopoles nationaux contrôlés par le gouvernement. Le terme anglais est souvent utilisé en français, et désigne à la fois les entreprises et le service qu'elles fournissent : électricité, gaz, eau, traitement des déchets et des eaux usées.
Compilateur source à sourceUn compilateur source à source, transpileur ou transcompilateur est un type de compilateur qui prend le code source d'un langage de programmation et le compile dans un autre langage de programmation. Un compilateur source-à-source opère sur deux langages avec approximativement le même niveau d'abstraction, alors qu'un compilateur traditionnel compile un langage de haut niveau vers un langage de bas niveau. Un des premiers compilateurs de ce type était le XLT86 de Digital Research en 1981, un programme écrit par Gary Kildall qui compilait du code .
