Seismic vibration controlIn earthquake engineering, vibration control is a set of technical means aimed to mitigate seismic impacts in building and non-building structures. All seismic vibration control devices may be classified as passive, active or hybrid where: passive control devices have no feedback capability between them, structural elements and the ground; active control devices incorporate real-time recording instrumentation on the ground integrated with earthquake input processing equipment and actuators within the structure; hybrid control devices have combined features of active and passive control systems.
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.
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.
Slow earthquakeA slow earthquake is a discontinuous, earthquake-like event that releases energy over a period of hours to months, rather than the seconds to minutes characteristic of a typical earthquake. First detected using long term strain measurements, most slow earthquakes now appear to be accompanied by fluid flow and related tremor, which can be detected and approximately located using seismometer data filtered appropriately (typically in the 1–5 Hz band). That is, they are quiet compared to a regular earthquake, but not "silent" as described in the past.
SeismologySeismology (saɪzˈmɒlədʒi,_saɪs-; from Ancient Greek σεισμός (seismós) meaning "earthquake" and -λογία (-logía) meaning "study of") is the scientific study of earthquakes (or generally, quakes) and the propagation of elastic waves through the Earth or other planetary bodies. It also includes studies of earthquake environmental effects such as tsunamis as well as diverse seismic sources such as volcanic, tectonic, glacial, fluvial, oceanic, atmospheric, and artificial processes such as explosions.
1994 Northridge earthquakeThe 1994 Northridge earthquake was a moment 6.7 (), blind thrust earthquake that occurred on January 17, 1994, at 4:30:55 a.m. PST in the San Fernando Valley region of the City of Los Angeles. The quake had a duration of approximately 10–20 seconds, and its peak ground acceleration of 1.82 g was the highest ever instrumentally recorded in an urban area in North America. Shaking was felt as far away as San Diego, Turlock, Las Vegas, Richfield, Phoenix, and Ensenada.
Seismic base isolationSeismic base isolation, also known as base isolation, or base isolation system, is one of the most popular means of protecting a structure against earthquake forces. It is a collection of structural elements which should substantially decouple a superstructure from its substructure that is in turn resting on the shaking ground, thus protecting a building or non-building structure's integrity. Base isolation is one of the most powerful tools of earthquake engineering pertaining to the passive structural vibration control technologies.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
PlywoodPlywood is a composite material manufactured from thin layers, or "plies", of wood veneer that are glued together with adjacent layers, having their wood grain rotated up to 90° to one another. It is an engineered wood from the family of manufactured boards, which include medium-density fibreboard (MDF), oriented strand board (OSB), and particle board (or chipboard). All plywoods bind resin and wood fibre sheets (cellulose cells are long, strong and thin) to form a composite material.
Engineered woodEngineered wood, also called mass timber, composite wood, man-made wood, or manufactured board, includes a range of derivative wood products which are manufactured by binding or fixing the strands, particles, fibres, or veneers or boards of wood, together with adhesives, or other methods of fixation to form composite material. The panels vary in size but can range upwards of and in the case of cross-laminated timber (CLT) can be of any thickness from a few inches to or more.
