61,984 articles
Fork-join model
The fork-join model, also called nested parallelism, is a parallel programming model in which fork splits a task into concurrent subtasks and join waits for them to finish.
Forklift
A forklift is a powered industrial truck that raises and moves loads on forks, with capacity ratings limited by load center and overturn as the leading fatal hazard.
Form closure
Form closure is a property of a robotic grasp or fixture in which the geometry of unilateral contacts alone makes the object impossible to move, without friction.
Form Energy
Form Energy is an American energy storage company, founded in 2017 and based in Somerville, Massachusetts, that makes rechargeable iron-air batteries storing electricity for up to 100 hours.
Form finding
Form finding is the structural design process of finding the equilibrium shape of a form-active structure like a cable net or membrane, using physical models or numerical methods.
Form follows function
Form follows function is a principle of design and architecture, coined by Louis Sullivan in 1896, holding that a building's shape should derive from its intended purpose.
Form I-140
Form I-140, Immigrant Petition for Alien Worker, is the petition filed with USCIS to classify a foreign worker for an employment-based immigrant visa, generally filed by the U.S. employer.
Form I-94
Form I-94 is the Arrival/Departure Record issued by U.S. Customs and Border Protection to foreign travelers admitted to the United States, recording their class of admission and authorized length of stay.
Form-closed cam
A form-closed cam is a cam mechanism in which the follower is held on the cam profile by the cam's geometry, typically a groove, instead of by a spring.
Formal concept analysis
Formal concept analysis is a mathematical method that derives a hierarchy of concepts, in the form of a lattice, from an object–attribute data table, used in data mining and ontology engineering.
Formal equivalence checking
Formal equivalence checking is a formal verification method that mathematically proves two circuit designs, such as golden RTL and a synthesized netlist, behave identically for all inputs.
Formal specification
A formal specification is a description of what a system should do, written in a language with mathematically defined syntax and semantics, so correctness can be checked by proof.
Formal verification
Formal verification is a family of mathematical techniques in computer science that prove a system satisfies a formal specification, chiefly through model checking and theorem proving.
Formamidinium lead iodide
FAPbI3, or formamidinium lead triiodide, is a halide perovskite whose 1.48 eV bandgap makes it the leading light absorber in perovskite solar cells above 26% efficiency.
Formamidinium perovskite solar cells
Formamidinium perovskite solar cells are photovoltaic devices whose absorber, formamidinium lead triiodide (FAPbI₃), offers a narrow 1.48 eV band gap and certified efficiencies of 26.7%, though stabilizing its photoactive black phase remains the main challenge.
Formamidinium tin iodide
Formamidinium tin iodide (FASnI₃) is a lead-free tin halide perovskite with a 1.41 eV band gap, the composition behind the highest efficiencies for tin perovskite solar cells.
Formation control
Formation control is a branch of cooperative control that coordinates groups of robots, vehicles, or spacecraft so they maintain specified geometric configurations while moving through an environment.
Formation microimager
The formation microimager is a wireline well-logging tool producing high-resolution electrical images of the borehole wall; its successor, the Fullbore Formation MicroImager (FMI), was introduced by Schlumberger.
Formation testing
Formation testing is a downhole well-logging technique, developed in the mid-1950s, that measures fluid pressure in rock formations and retrieves samples, a central tool of reservoir characterization.
Former and decommissioned reservoirs of Europe
Former and decommissioned reservoirs of Europe are impounding basins permanently emptied or drawn down, by full demolition, notch cutting, or draining, with documented cases including Krebsbach Dam and Lower Neuadd.
Former British Consulate at Takao
Former British Consulate at Takao (打狗英國領事館), a restored 1879 Qing-era British consular complex in Kaohsiung, Taiwan: hilltop residence, shore offices, and hiking trail, now a national historic site and museum.
FormFactor
FormFactor is an American semiconductor test and measurement company headquartered in Livermore, California, founded in 1993 by former IBM researcher Igor Khandros and the leading supplier of wafer probe cards.
Formic (company)
Formic is an American Robotics-as-a-Service company founded by Saman Farid in Chicago in 2020 that deploys industrial robots in small and mid-sized manufacturers for an hourly rate.
Formic acid decomposition for hydrogen release
Formic acid decomposition for hydrogen release is the catalytic splitting of formic acid into hydrogen and carbon dioxide, using the acid as a liquid hydrogen carrier.
Forming limit diagram
A forming limit diagram (FLD) plots the major and minor strains at which sheet metal necks locally, defining a formability limit used in stamping and sheet-metal design.
Formlabs
Formlabs is an American 3D printing company founded in 2011 by three MIT graduate students, known for desktop and industrial stereolithography (SLA) and selective laser sintering (SLS) printers.
Formula E Gen4
The Formula E Gen4 is the fourth generation of all-electric single-seater race car, unveiled in 2025 and due to debut in the 2026/27 Formula E season.
Formula E World Championship
The Formula E World Championship is an international FIA racing championship for all-electric single-seater cars, held mainly on street circuits in major cities since its first race in 2014.
Formula rate plan
A formula rate plan (FRP) is a utility ratemaking mechanism in which a state regulator adjusts base rates each year by formula, comparing earned returns to a target.
Formulatrix
Formulatrix is a private, employee-owned laboratory automation company founded in 2002 by Jeremy Stevenson, supplying robotic liquid handlers and protein crystallization instruments to pharma and academia.