Récupération de donnéesvignette|Un laboratoire de récupération de données La récupération de données (ou restauration de données) est une opération informatique qui consiste à retrouver les données perdues à la suite d'une erreur humaine, une défaillance matérielle, une défaillance logicielle d'un programme ou d'un système d'exploitation, un accident ou au moment opportun d'un test de récupération de données défini dans une procédure de stratégie de sauvegarde et d'archive (également appelé plan de sauvegarde).
Rich Internet applicationUne rich Internet application (RIA), ou application Internet riche, est une application Web qui offre des caractéristiques similaires aux logiciels traditionnels installés sur un ordinateur. La dimension interactive et la vitesse d'exécution sont particulièrement soignées dans ces applications Web. Une RIA peut être : exécutée sur un navigateur Web. Aucune installation n'est requise ; exécutée localement dans un environnement sécurisé appelé sandbox (bac à sable).
Sous-emploiSelon l'Organisation internationale du travail (OIT), le sous-emploi existe « lorsque la durée ou la productivité de l’emploi d’une personne sont inadéquates par rapport à un autre emploi possible que cette personne est disposée à occuper et capable de faire. » Il est interprété notamment comme une défaillance du marché du travail.
Partition (base de données)Dans une base de données, une partition est une division logique d'une table stockée en plusieurs parties indépendantes. Il peut être horizontal (les lignes d'une même table sont divisées en plusieurs partitions) ou vertical (les colonnes d'une même table sont divisées en plusieurs lots). Le partitionnement de tables est généralement effectué pour améliorer la gestion, la performance ou la disponibilité. Chaque partition peut être placée sur des serveurs ou des disques différents.
Major scaleThe major scale (or Ionian mode) is one of the most commonly used musical scales, especially in Western music. It is one of the diatonic scales. Like many musical scales, it is made up of seven notes: the eighth duplicates the first at double its frequency so that it is called a higher octave of the same note (from Latin "octavus", the eighth). The simplest major scale to write is C major, the only major scale not requiring sharps or flats: The major scale has a central importance in Western music, particularly that of the common practice period and in popular music.
Self (langage)Self is an object-oriented programming language based on the concept of prototypes. Self began as a dialect of Smalltalk, being dynamically typed and using just-in-time compilation (JIT) as well as the prototype-based approach to objects: it was first used as an experimental test system for language design in the 1980s and 1990s. In 2006, Self was still being developed as part of the Klein project, which was a Self virtual machine written fully in Self. The latest version is 2017.1 released in May 2017.
Key (music)In music theory, the key of a piece is the group of pitches, or scale, that forms the basis of a musical composition in Western classical music, art music, and pop music. Tonality (from "Tonic") or key: Music which uses the notes of a particular scale is said to be "in the key of" that scale or in the tonality of that scale. A particular key features a tonic note and its corresponding chords, also called a tonic or tonic chord, which provides a subjective sense of arrival and rest, and also has a unique relationship to the other pitches of the same key, their corresponding chords, and pitches and chords outside the key.
Élément de donnéeDans les métadonnées, un élément est une unité de donnée élémentaire qui a : une identification telle que nom d'élément (data element name) ; une définition claire ; un ou plusieurs termes de représentation ; des valeurs optionnelles énumérées (code (métadonnée)) ; une liste de synonymes des éléments dans d'autres registres de métadonnées (:en:Synonym ring). On peut découvrir l'usage des éléments de donnée en inspectant les logiciels applicatifs ou les fichiers de données de l'application par un processus manuel ou automatique de découverte et compréhension de l'application.
Pre-modern human migrationThis article focusses on prehistorical migration since the Neolithic period until AD 1800. See Early human migrations for migration prior to the Neolithic, History of human migration for modern history, and human migration for contemporary migration. Paleolithic migration prior to end of the Last Glacial Maximum spread anatomically modern humans throughout Afro-Eurasia and to the Americas. During the Holocene climatic optimum, formerly isolated populations began to move and merge, giving rise to the pre-modern distribution of the world's major language families.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
