Atomic numberThe atomic number or nuclear charge number (symbol Z) of a chemical element is the charge number of an atomic nucleus. For ordinary nuclei composed of protons and neutrons, this is equal to the proton number (np) or the number of protons found in the nucleus of every atom of that element. The atomic number can be used to uniquely identify ordinary chemical elements. In an ordinary uncharged atom, the atomic number is also equal to the number of electrons.
Texture (geology)In geology, texture or rock microstructure refers to the relationship between the materials of which a rock is composed. The broadest textural classes are crystalline (in which the components are intergrown and interlocking crystals), fragmental (in which there is an accumulation of fragments by some physical process), aphanitic (in which crystals are not visible to the unaided eye), and glassy (in which the particles are too small to be seen and amorphously arranged).
MetallographyMetallography is the study of the physical structure and components of metals, by using microscopy. Ceramic and polymeric materials may also be prepared using metallographic techniques, hence the terms ceramography, plastography and, collectively, materialography. The surface of a metallographic specimen is prepared by various methods of grinding, polishing, and etching. After preparation, it is often analyzed using optical or electron microscopy. Using only metallographic techniques, a skilled technician can identify alloys and predict material properties.
Asphalt concreteAsphalt concrete (commonly called asphalt, blacktop, or pavement in North America, and tarmac or bitumen macadam in the United Kingdom and the Republic of Ireland) is a composite material commonly used to surface roads, parking lots, airports, and the core of embankment dams. Asphalt mixtures have been used in pavement construction since the beginning of the twentieth century. It consists of mineral aggregate bound together with bitumen (also known as asphalt), laid in layers, and compacted.
ObservationObservation is a phenomenal instance of noticing or perceiving in the natural sciences and the acquisition of information from a primary source. In living beings, observation employs the senses. In science, observation can also involve the perception and recording of data via the use of scientific instruments. The term may also refer to any data collected during the scientific activity. Observations can be qualitative, that is, only the absence or presence of a property is noted, or quantitative if a numerical value is attached to the observed phenomenon by counting or measuring.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Four-dimensional spaceFour-dimensional space (4D) is the mathematical extension of the concept of three-dimensional space (3D). Three-dimensional space is the simplest possible abstraction of the observation that one needs only three numbers, called dimensions, to describe the sizes or locations of objects in the everyday world. For example, the volume of a rectangular box is found by measuring and multiplying its length, width, and height (often labeled x, y, and z).
Aggregate (geology)In the Earth sciences, aggregate has three possible meanings. In mineralogy and petrology, an aggregate is a mass of mineral crystals, mineraloid particles or rock particles. Examples are dolomite, which is an aggregate of crystals of the mineral dolomite, and rock gypsum, an aggregate of crystals of the mineral gypsum. Lapis lazuli is a type of rock composed of an aggregate of crystals of many minerals including lazurite, pyrite, phlogopite, calcite, potassium feldspar, wollastonite and some sodalite group minerals.
Existential quantificationIn predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.
MagnificationMagnification is the process of enlarging the apparent size, not physical size, of something. This enlargement is quantified by a size ratio called optical magnification. When this number is less than one, it refers to a reduction in size, sometimes called de-magnification. Typically, magnification is related to scaling up visuals or s to be able to see more detail, increasing resolution, using microscope, printing techniques, or digital processing. In all cases, the magnification of the image does not change the perspective of the image.
Interaction techniqueAn interaction technique, user interface technique or input technique is a combination of hardware and software elements that provides a way for computer users to accomplish a single task. For example, one can go back to the previously visited page on a Web browser by either clicking a button, pressing a key, performing a mouse gesture or uttering a speech command. It is a widely used term in human-computer interaction. In particular, the term "new interaction technique" is frequently used to introduce a novel user interface design idea.
Uniqueness quantificationIn mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!" or "∃=1". For example, the formal statement may be read as "there is exactly one natural number such that ". The most common technique to prove the unique existence of a certain object is to first prove the existence of the entity with the desired condition, and then to prove that any two such entities (say, and ) must be equal to each other (i.
