Electron paramagnetic resonanceElectron paramagnetic resonance (EPR) or electron spin resonance (ESR) spectroscopy is a method for studying materials that have unpaired electrons. The basic concepts of EPR are analogous to those of nuclear magnetic resonance (NMR), but the spins excited are those of the electrons instead of the atomic nuclei. EPR spectroscopy is particularly useful for studying metal complexes and organic radicals. EPR was first observed in Kazan State University by Soviet physicist Yevgeny Zavoisky in 1944, and was developed independently at the same time by Brebis Bleaney at the University of Oxford.
Laser medicineLaser medicine consists in the use of lasers in medical diagnosis, treatments, or therapies, such as laser photodynamic therapy, photorejuvenation, and laser surgery. The word laser stands for "light amplification by stimulated emission of radiation". The laser was invented in 1960 by Theodore Maiman, and its potential uses in medicine were subsequently explored. Lasers benefit from three interesting characteristics: directivity (multiple directional functions), impulse (possibility of operating in very short pulses) and monochromaticity.
Raman spectroscopyRaman spectroscopy (ˈrɑːmən) (named after Indian physicist C. V. Raman) is a spectroscopic technique typically used to determine vibrational modes of molecules, although rotational and other low-frequency modes of systems may also be observed. Raman spectroscopy is commonly used in chemistry to provide a structural fingerprint by which molecules can be identified. Raman spectroscopy relies upon inelastic scattering of photons, known as Raman scattering.
Double-slit experimentIn modern physics, the double-slit experiment demonstrates that light and matter can satisfy the seemingly-incongruous classical definitions for both waves and particles, which is considered evidence for the fundamentally probabilistic nature of quantum mechanics. This type of experiment was first performed by Thomas Young in 1801, as a demonstration of the wave behavior of visible light. At that time it was thought that light consisted of either waves or particles.
Two-photon physicsTwo-photon physics, also called gamma–gamma physics, is a branch of particle physics that describes the interactions between two photons. Normally, beams of light pass through each other unperturbed. Inside an optical material, and if the intensity of the beams is high enough, the beams may affect each other through a variety of non-linear effects. In pure vacuum, some weak scattering of light by light exists as well. Also, above some threshold of this center-of-mass energy of the system of the two photons, matter can be created.
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.
X-rayX-ray radiation, or, much less commonly, X-radiation, is a penetrating form of high-energy electromagnetic radiation. Most X-rays have a wavelength ranging from 10 nanometers to 10 picometers, corresponding to frequencies in the range 30 petahertz to 30 exahertz (3e16Hz to 3e19Hz) and energies in the range 124 keV to 145 eV, respectively. X-ray wavelengths are shorter than those of UV rays and typically longer than those of gamma rays.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
RationalityRationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an ability, as in rational animal, to a psychological process, like reasoning, to mental states, such as beliefs and intentions, or to persons who possess these other forms of rationality.
