Hamiltonien de HeisenbergDans la théorie du magnétisme quantique, l'hamiltonien de Heisenberg décrit un ensemble de moments magnétiques localisés en interaction. Cet hamiltonien s'écrit : où est le magnéton de Bohr, est le rapport gyromagnétique du i-ème moment localisé, est un opérateur de spin, est le champ magnétique externe, et est la constante d'échange. Pour l'interaction est antiferromagnétique et pour elle est ferromagnétique. En général, les sites i sont placés sur les nœuds d'un réseau régulier.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Interface utilisateur tangiblevignette|Reactable, un exemple d'interface utilisateur tangible Une interface utilisateur tangible est une interface utilisateur sur laquelle l'utilisateur interagit avec l'information numérique par le moyen de l'environnement physique. L'objectif de développement des interfaces utilisateur tangibles est d'encourager la collaboration, l'éducation et le design (conception) en donnant à l'information digitale une forme physique, profitant ainsi des capacités humaines de saisir et de manipuler des objets physiques et des matériaux.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Multi-touchUn dispositif tactile multipoint (ou multi-touch en anglais) est à la fois une technique d’interaction humain-ordinateur et le matériel qui la met en application (écran tactile). Ce dispositif sert à interagir avec le matériel informatique par le biais de plusieurs points de contact (souvent avec plusieurs doigts). Le dispositif se compose d’un pavé tactile ou d’une surface tactile transparente appliquée sur un écran tactile, qui reconnaissent des points de contact simultanés et multiples, ainsi que d’un logiciel qui interprète ces contacts simultanés.
Organic user interfaceIn human–computer interaction, an organic user interface (OUI) is defined as a user interface with a non-flat display. After Engelbart and Sutherland's graphical user interface (GUI), which was based on the cathode ray tube (CRT), and Kay and Weiser's ubiquitous computing, which is based on the flat panel liquid-crystal display (LCD), OUI represents one possible third wave of display interaction paradigms, pertaining to multi-shaped and flexible displays.
