Interface graphiquethumb|Quelques widgets typiques. En informatique, une interface graphique (en anglais GUI pour graphical user interface) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris. Ce type d'interface a été créé en 1973 sur le Xerox Alto par les ingénieurs du Xerox PARC pour remplacer les interfaces en ligne de commande.
Photon countingPhoton counting is a technique in which individual photons are counted using a single-photon detector (SPD). A single-photon detector emits a pulse of signal for each detected photon. The counting efficiency is determined by the quantum efficiency and the system's electronic losses. Many photodetectors can be configured to detect individual photons, each with relative advantages and disadvantages. Common types include photomultipliers, geiger counters, single-photon avalanche diodes, superconducting nanowire single-photon detectors, transition edge sensors, and scintillation counters.
Randomized experimentIn science, randomized experiments are the experiments that allow the greatest reliability and validity of statistical estimates of treatment effects. Randomization-based inference is especially important in experimental design and in survey sampling. In the statistical theory of design of experiments, randomization involves randomly allocating the experimental units across the treatment groups. For example, if an experiment compares a new drug against a standard drug, then the patients should be allocated to either the new drug or to the standard drug control using randomization.
Médecine au laserLa médecine au laser, ou médecine laser, consiste à utiliser des lasers à des fins diagnostiques, de traitement ou de thérapie médicale. Dans les années 1960, dès l'invention du laser, des utilisations potentielles ont été explorées en médecine. Car le laser bénéficie de trois caractéristiques intéressantes dans ce domaine d'application: la directivité (fonctions directionnelles multiples), « l'impulsionalité » (possibilité de fonctionner en impulsions très brèves) et la monochromaticité.
Résonance paramagnétique électroniquevignette|redresse=1.25|Spectromètre à résonance paramagnétique électronique La résonance paramagnétique électronique (RPE), résonance de spin électronique (RSE), ou en anglais electron spin resonance (ESR) désigne la propriété de certains électrons à absorber, puis réémettre l'énergie d'un rayonnement électromagnétique lorsqu'ils sont placés dans un champ magnétique. Seuls les électrons non appariés (ou électrons célibataires), présents dans des espèces chimiques radicalaires ainsi que dans les sels et complexes des métaux de transition, présentent cette propriété.
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.
Zooming user interfaceIn computing, a zooming user interface or zoomable user interface (ZUI, pronounced zoo-ee) is a graphical environment where users can change the scale of the viewed area in order to see more detail or less, and browse through different documents. A ZUI is a type of graphical user interface (GUI). Information elements appear directly on an infinite virtual desktop (usually created using vector graphics), instead of in windows. Users can pan across the virtual surface in two dimensions and zoom into objects of interest.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Rayon Xvignette|upright|Une des premières radiographies, prise par Wilhelm Röntgen. alt=Rayon X des poumons humains|vignette|189x189px|Rayon X des poumons humains. Les rayons X sont une forme de rayonnement électromagnétique à haute fréquence constitué de photons dont l'énergie varie d'une centaine d'eV (électron-volt), à plusieurs MeV. Ce rayonnement a été découvert en 1895 par le physicien allemand Wilhelm Röntgen, qui a reçu pour cela le premier prix Nobel de physique ; il lui donna le nom habituel de l'inconnue en mathématiques, X.
Interface neuronale directethumb|250px|Schéma d'une interface neuronale directe. Une interface neuronale directe - abrégée IND ou BCI ou encore ICM (interface cerveau-machine, ou encore interface cerveau-ordinateur) est une interface de communication directe entre un cerveau et un dispositif externe (un ordinateur, un système électronique...). Ces systèmes peuvent être conçus dans le but d'étudier le cerveau, d'assister, améliorer ou réparer des fonctions humaines de cognition ou d'action défaillantes. L'IND peut être unidirectionnelle ou bidirectionnelle.
Timeline of the early universeThe timeline of the early universe outlines the formation and subsequent evolution of the Universe from the Big Bang (13.799 ± 0.021 billion years ago) to the present day. An epoch is a moment in time from which nature or situations change to such a degree that it marks the beginning of a new era or age. Times on this list are measured from the moment of the Big Bang. c. 0 seconds (13.799 ± 0.021 Gya): Planck epoch begins: earliest meaningful time.
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.
