Windows MobileWindows Mobile est le nom donné aux différentes versions de Microsoft Windows conçues pour des appareils mobiles tels que les smartphones ou les Pocket PC. Windows Mobile est ensuite remplacé en 2010 par Windows Phone puis, fin 2015, par Windows 10 Mobile. Ces systèmes d'exploitation (OS) permettent à des logiciels Microsoft tels que Microsoft Office ou Windows Live Messenger de fonctionner sur un téléphone. Une des utilisations est de pouvoir recevoir des courriels en temps réel, ce qui fait de Windows Mobile un concurrent direct du BlackBerry de RIM.
Windows 8Windows 8 est la version du système d'exploitation Windows multiplate-forme qui est commercialisée depuis le . Bien que le système s'appelle , il s'agit de la version , la première version de étant Windows Vista (Windows ). La version () est une mise à jour gratuite de , disponible depuis le . Son successeur est Windows 10, sorti en juillet 2015. Windows 8 a été dévoilé, avec l'utilisation de l'interface tactile, le , mais sa version RTM, à destination des constructeurs OEM, n'est disponible que depuis le .
Windows SearchWindows Search (also known as Instant Search) is a content index desktop search platform by Microsoft introduced in Windows Vista as a replacement for both the previous Indexing Service of Windows 2000 and the optional MSN Desktop Search for Windows XP and Windows Server 2003, designed to facilitate local and remote queries for files and non-file items in compatible applications including Windows Explorer. It was developed after the postponement of WinFS and introduced to Windows constituents originally touted as benefits of that platform.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Windows 95Windows 95 est un système d'exploitation à environnement graphique des plus anciens et des plus connus destiné aux particuliers. La première version est sortie le , vendue par Microsoft. C'est une progression significative par rapport aux précédentes versions de Windows. Pendant son développement, il avait été désigné sous le nom de Windows 4.0, ou par le nom de code de Chicago. Windows 95 a pour objectif d'intégrer les produits précédents de MS-DOS et de Windows. Windows 95 présente de nombreuses nouveautés par rapport à son prédécesseur, Windows 3.
É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.
Windows 9xWindows 9x (prononcer « neuf ikse » : ) désigne la famille de systèmes d'exploitation édités par Microsoft basée sur Windows 95. Cette famille comprend : Windows 95 (Chicago) ; Windows 98 (Memphis) ; Windows 98 SE (Deuxième Édition) ; Windows Me (Millennium Edition). À cause du noyau NT trop jeune et des problèmes de compatibilité avec les programmes MS-DOS, Microsoft préféra créer cette branche issue de Windows 3.11 et de MS-DOS 6.22. Tout comme sous Windows 3.11, MS-DOS est le système de base, il sert de lanceur pour démarrer Windows.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Fréquence spatialeLa fréquence spatiale est une grandeur caractéristique d'une structure qui se reproduit identiquement à des positions régulièrement espacées. Elle est la mesure du nombre de répétitions par unité de longueur ou par unité d'angle. Le concept de fréquence spatiale trouve ses applications principales en optique, particulièrement en photographie, en vidéo et en astronomie. Elle permet de caractériser la finesse des détails d'une mire ou d'une image formée sur un capteur : elle s'exprime fréquemment en cycle par millimètre (cy/mm).
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
