Diamond simulantA diamond simulant, diamond imitation or imitation diamond is an object or material with gemological characteristics similar to those of a diamond. Simulants are distinct from synthetic diamonds, which are actual diamonds exhibiting the same material properties as natural diamonds. Enhanced diamonds are also excluded from this definition. A diamond simulant may be artificial, natural, or in some cases a combination thereof.
Algorithmique répartieUn algorithme réparti (ou distribué) est une suite d'instructions et il est généralement un algorithme parallèle (mais pas toujours, exemple, une communication téléphonique) réparti sur plusieurs sites. Chaque site calcule (i.e. produit de nouveaux résultats) et communique (i.e. échange des données avec d'autres sites). Un algorithme réparti décrit le fonctionnement d'un système informatique composé de plusieurs unités de calcul reliées par un réseau de communication, tels que les routeurs dans Internet.
Langue minoritaireUne langue minoritaire est une langue parlée par des minorités linguistiques provinciales, nationales ou ethniques, dans un pays donné. Ne sont pas considérées comme langues minoritaires les langues issues de l'immigration ou les dialectes de la langue majoritaire. Elles sont également appelées langues minorisées, autochtones, indigènes, . Dans certains pays, notamment dans la plupart des pays d'Europe (à l'exclusion de la France), mais aussi au Canada et dans l'Afrique du Sud d'après l'apartheid, des lois accordent une définition et un statut particuliers à de telles langues.
Isabelle (logiciel)The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring yet supporting explicit proof objects. Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods.
Paxos (informatique)En informatique distribuée, Paxos est une famille de protocoles permettant de résoudre le consensus dans un réseau de nœuds faillibles, c'est-à-dire susceptible d'avoir des pannes. Le consensus désigne ici le fait que les différents nœuds se mettent d'accord sur un résultat, et c'est une opération difficile quand les nœuds ou leurs moyens de communications ont des pannes. Les protocoles de consensus sont les bases de l' à l'informatique distribuée, comme suggéré par Leslie Lamport et par Fred Schneider.
Diamant synthétiqueUn diamant synthétique (aussi appelé diamant de synthèse, diamant de laboratoire ou diamant de culture) est produit en utilisant différentes techniques physiques et chimiques, visant à reproduire la structure des diamants naturels. Ces diamants de synthèse sont utilisés dans l'industrie et peuvent être de qualité variable. Selon plusieurs sources, le marché des diamants synthétiques est en expansion notamment dans les domaines de la joaillerie, de l'électronique et des hautes technologies, qui exigent une qualité et une pureté élevées.
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Diamants de conflitsLes diamants de conflits, parfois aussi nommés « diamants de sang » (blood diamonds en anglais), théorisés par le géographe irlandais Hugo J.H. Lewis, sont des diamants issus du continent africain, et qui alimentent les nombreuses guerres livrées par des rebelles aux gouvernements. Extraits de mines localisées dans des zones où la guerre fait rage, ces diamants sont vendus en toute illégalité et en toute clandestinité, afin de fournir en armes et en munitions les groupes armés qui les exploitent.
Correction d'un algorithmeUn algorithme est correct s'il fait ce qu'on attend de lui. Plus précisément, rappelons qu'un algorithme est décrit par une spécification des données sur lesquelles l'algorithme va démarrer son calcul et une spécification du résultat produit par l'algorithme. Démontrer la correction de l'algorithme consiste à démontrer que l'algorithme retourne, quand il calcule en partant des données, un objet qui est un des résultats escomptés et qui satisfait la spécification du résultat comme énoncé dans la description de l'algorithme.
Puits à eauUn puits à eau est le résultat d'un terrassement vertical, mécanisé (par forage, havage, etc.) ou manuel, permettant l'exploitation d'une nappe d'eau souterraine, autrement dit un aquifère. L'eau peut être remontée au niveau du sol grâce à un seau ou une pompe, manuelle ou non. Les puits sont très divers, que ce soit par leur mode de creusement, leur profondeur, leur volume d'eau, ou leur équipement. Les premiers puits étaient probablement de simples trous mal protégés des éboulements et qui n'ont pas résisté au temps et ont disparu.
