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.
Distributed algorithmA distributed algorithm is an algorithm designed to run on computer hardware constructed from interconnected processors. Distributed algorithms are used in different application areas of distributed computing, such as telecommunications, scientific computing, distributed information processing, and real-time process control. Standard problems solved by distributed algorithms include leader election, consensus, distributed search, spanning tree generation, mutual exclusion, and resource allocation.
Minority languageA minority language is a language spoken by a minority of the population of a territory. Such people are termed linguistic minorities or language minorities. With a total number of 196 sovereign states recognized internationally (as of 2019) and an estimated number of roughly 5,000 to 7,000 languages spoken worldwide, the vast majority of languages are minority languages in every country in which they are spoken. Some minority languages are simultaneously also official languages, such as Irish in Ireland or the numerous indigenous languages of Bolivia.
Isabelle (proof assistant)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 (computer science)Paxos is a family of protocols for solving consensus in a network of unreliable or fallible processors. Consensus is the process of agreeing on one result among a group of participants. This problem becomes difficult when the participants or their communications may experience failures. Consensus protocols are the basis for the state machine replication approach to distributed computing, as suggested by Leslie Lamport and surveyed by Fred Schneider.
Synthetic diamondLab-grown diamond (LGD; also called laboratory-grown, laboratory-created, man-made, artisan-created, artificial, synthetic, or cultured diamond) is diamond that is produced in a controlled technological process (in contrast to naturally formed diamond, which is created through geological processes and obtained by mining). Unlike diamond simulants (imitations of diamond made of superficially similar non-diamond materials), synthetic diamonds are composed of the same material as naturally formed diamonds – pure carbon crystallized in an isotropic 3D form – and share identical chemical and physical properties.
AlgorithmIn mathematics and computer science, an algorithm (ˈælɡərɪðəm) is a finite sequence of rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing calculations and data processing. More advanced algorithms can use conditionals to divert the code execution through various routes (referred to as automated decision-making) and deduce valid inferences (referred to as automated reasoning), achieving automation eventually.
Blood diamondBlood diamonds (also called conflict diamonds, brown diamonds, hot diamonds, or red diamonds) are diamonds mined in a war zone and sold to finance an insurgency, an invading army's war efforts, terrorism, or a warlord's activity. The term is used to highlight the negative consequences of the diamond trade in certain areas, or to label an individual diamond as having come from such an area. Diamonds mined during the 20th–21st century civil wars in Angola, Ivory Coast, Sierra Leone, Liberia, Guinea, and Guinea-Bissau have been given the label.
Correctness (computer science)In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input-output behavior of the algorithm (i.e., for each input it produces an output satisfying the specification). Within the latter notion, partial correctness, requiring that if an answer is returned it will be correct, is distinguished from total correctness, which additionally requires that an answer is eventually returned, i.e.
WellA well is an excavation or structure created in the ground by digging, driving, or drilling to access liquid resources, usually water. The oldest and most common kind of well is a water well, to access groundwater in underground aquifers. The well water is drawn up by a pump, or using containers, such as buckets or large water bags that are raised mechanically or by hand. Water can also be injected back into the aquifer through the well.
