Ion laserAn ion laser is a gas laser that uses an ionized gas as its lasing medium. Like other gas lasers, ion lasers feature a sealed cavity containing the laser medium and mirrors forming a Fabry–Pérot resonator. Unlike helium–neon lasers, the energy level transitions that contribute to laser action come from ions. Because of the large amount of energy required to excite the ionic transitions used in ion lasers, the required current is much greater, and as a result almost all except for the smallest ion lasers are water-cooled.
LaserA laser is a device that emits light through a process of optical amplification based on the stimulated emission of electromagnetic radiation. The word laser is an anacronym that originated as an acronym for light amplification by stimulated emission of radiation. The first laser was built in 1960 by Theodore Maiman at Hughes Research Laboratories, based on theoretical work by Charles H. Townes and Arthur Leonard Schawlow. A laser differs from other sources of light in that it emits light that is coherent.
InkInk is a gel, sol, or solution that contains at least one colorant, such as a dye or pigment, and is used to color a surface to produce an , text, or design. Ink is used for drawing or writing with a pen, brush, reed pen, or quill. Thicker inks, in paste form, are used extensively in letterpress and lithographic printing. Ink can be a complex medium, composed of solvents, pigments, dyes, resins, lubricants, solubilizers, surfactants, particulate matter, fluorescents, and other materials.
Excimer laserAn excimer laser, sometimes more correctly called an exciplex laser, is a form of ultraviolet laser which is commonly used in the production of microelectronic devices, semiconductor based integrated circuits or "chips", eye surgery, and micromachining. Since 1960s excimer lasers are widely used in high-resolution photolithography machines, one of the critical technologies required for microelectronic chip manufacturing. The term excimer is short for 'excited dimer', while exciplex is short for 'excited complex'.
Argon fluoride laserThe argon fluoride laser (ArF laser) is a particular type of excimer laser, which is sometimes (more correctly) called an exciplex laser. With its 193-nanometer wavelength, it is a deep ultraviolet laser, which is commonly used in the production of semiconductor integrated circuits, eye surgery, micromachining, and scientific research. "Excimer" is short for "excited dimer", while "exciplex" is short for "excited complex".
Laser pointerA laser pointer or laser pen is a small handheld device with a power source (usually a battery) and a laser diode emitting a very narrow coherent low-powered laser beam of visible light, intended to be used to highlight something of interest by illuminating it with a small bright spot of colored light. The small width of the beam and low power of typical laser pointers make the beam itself invisible in a clean atmosphere, only showing a point of light when striking an opaque surface.
Garden toolA garden tool is any one of many tools made for gardening and landscaping, which overlap with the range of tools made for agriculture and horticulture. Garden tools can be divided into hand tools and power tools. Hand tool Today's garden tools originated with the earliest agricultural implements used by humans. Examples include the hatchet, axe, sickle, scythe, pitchfork, spade, shovel, trowel, hoe, fork, and rake. In some places, the machete is common. The earliest tools were made variously of wood, flint, metal, tin, and bone.
Laser diodeA laser diode (LD, also injection laser diode or ILD, or diode laser) is a semiconductor device similar to a light-emitting diode in which a diode pumped directly with electrical current can create lasing conditions at the diode's junction. Driven by voltage, the doped p–n-transition allows for recombination of an electron with a hole. Due to the drop of the electron from a higher energy level to a lower one, radiation, in the form of an emitted photon is generated. This is spontaneous emission.
Hand toolA hand tool is any tool that is powered by hand rather than a motor. Categories of hand tools include wrenches, pliers, cutters, , striking tools, struck or hammered tools, screwdrivers, vises, clamps, snips, hacksaws, drills, and knives. Outdoor tools such as garden forks, pruning shears, and rakes are additional forms of hand tools. Portable power tools are not hand tools. Hand tools have been used by humans since the Stone Age when stone tools were used for hammering and cutting.
Iron gall inkIron gall ink (also known as common ink, standard ink, oak gall ink or iron gall nut ink) is a purple-black or brown-black ink made from iron salts and tannic acids from vegetable sources. It was the standard ink formulation used in Europe for the 1400-year period between the 5th and 19th centuries, remained in widespread use well into the 20th century, and is still sold today. The ink was traditionally prepared by adding some iron(II) sulfate (FeSO4) to a solution of tannic acid, but any iron ion donor can be used.
Krypton fluoride laserA krypton fluoride laser (KrF laser) is a particular type of excimer laser, which is sometimes (more correctly) called an exciplex laser. With its 248 nanometer wavelength, it is a deep ultraviolet laser which is commonly used in the production of semiconductor integrated circuits, industrial micromachining, and scientific research. The term excimer is short for 'excited dimer', while exciplex is short for 'excited complex'. An excimer laser typically contains a mixture of: a noble gas such as argon, krypton, or xenon; and a halogen gas such as fluorine or chlorine.
Power toolA power tool is a tool that is actuated by an additional power source and mechanism other than the solely manual labor used with hand tools. The most common types of power tools use electric motors. Internal combustion engines and compressed air are also commonly used. Tools directly driven by animal power are not generally considered power tools. Power tools are used in industry, in construction, in the garden, for housework tasks such as cooking, cleaning, and around the house for purposes of driving (fasteners), drilling, cutting, shaping, sanding, grinding, routing, polishing, painting, heating and more.
Dye laserA dye laser is a laser that uses an organic dye as the lasing medium, usually as a liquid solution. Compared to gases and most solid state lasing media, a dye can usually be used for a much wider range of wavelengths, often spanning 50 to 100 nanometers or more. The wide bandwidth makes them particularly suitable for tunable lasers and pulsed lasers. The dye rhodamine 6G, for example, can be tuned from 635 nm (orangish-red) to 560 nm (greenish-yellow), and produce pulses as short as 16 femtoseconds.
Machine toolA machine tool is a machine for handling or machining metal or other rigid materials, usually by cutting, boring, grinding, shearing, or other forms of deformations. Machine tools employ some sort of tool that does the cutting or shaping. All machine tools have some means of constraining the workpiece and provide a guided movement of the parts of the machine. Thus, the relative movement between the workpiece and the cutting tool (which is called the toolpath) is controlled or constrained by the machine to at least some extent, rather than being entirely "offhand" or "freehand".
India inkIndia ink (British English: Indian ink; also Chinese ink) is a simple black or coloured ink once widely used for writing and printing and now more commonly used for drawing and outlining, especially when inking comic books and comic strips. India ink is also used in medical applications. Compared to other inks, such as the iron gall ink previously common in Europe, India ink is noted for its deep, rich black. It is commonly applied with a brush (such as an ink brush) or dip pen.
Laser safetyLaser radiation safety is the safe design, use and implementation of lasers to minimize the risk of laser accidents, especially those involving eye injuries. Since even relatively small amounts of laser light can lead to permanent eye injuries, the sale and usage of lasers is typically subject to government regulations. Moderate and high-power lasers are potentially hazardous because they can burn the retina, or even the skin.
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.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
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.