AI & ChatGPT searches , social queries for PROTOTYPE VERIFICATION-SYSTEM
Search references for PROTOTYPE VERIFICATION-SYSTEM. Phrases containing PROTOTYPE VERIFICATION-SYSTEM
See searches and references containing PROTOTYPE VERIFICATION-SYSTEM!
Search references for PROTOTYPE VERIFICATION-SYSTEM. Phrases containing PROTOTYPE VERIFICATION-SYSTEM
See searches and references containing PROTOTYPE VERIFICATION-SYSTEM!PROTOTYPE VERIFICATION-SYSTEM
Proof assistant program
The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer
Prototype_Verification_System
Interactive theorem prover software
on higher-order logic which is eXtensible. Prototype Verification System (PVS) – a proof language and system based on higher-order logic. Rocq (formerly
Proof_assistant
Prototyping integrated circuit designs on FPGA
is the method to prototype system-on-chip and application-specific integrated circuit designs on FPGAs for hardware verification and early software
FPGA_prototyping
Topics referred to by the same term
culling Principal variation search, a negamax algorithm Prototype Verification System, a specification language PVS-Studio, a static code analyzer for
PVS
Indian computer scientist
automated reasoning technology, deductive systems and computational engines, including the Prototype Verification System. In 2009, he was named an SRI Fellow
Natarajan_Shankar
Physical artifact that formerly defined the kilogram
returned to the BIPM for verification. Great care is exercised when transporting prototypes. In 1984, the K4 and K20 prototypes were hand-carried in the
International Prototype of the Kilogram
International_Prototype_of_the_Kilogram
Early sample or model built to test a concept or process
the prototype as compared to the final product. Verification: The final product may be subject to a number of quality assurance tests to verify conformance
Prototype
Programming language standard
Opusmodus is a music composition system based on Common Lisp, used in Computer assisted composition. Prototype Verification System (PVS), a mechanized environment
Common_Lisp
Stage of electronic circuit design validation
electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers
Functional_verification
Physical artifacts that formerly realized and disseminated the kilogram
1088/0026-1394/52/2/310. G. Girard (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
Timeline of International Kilogram Prototypes
Timeline_of_International_Kilogram_Prototypes
Group of techniques to quickly construct physical objects
design verification, mold making, production jigs and other areas. Outputs have steadily advanced toward higher specification uses. Sanders Prototype, Inc
Rapid_prototyping
design and verification, verification testing is used to prove the integrity of the design of the system or device. Numerous verification techniques may
Electronic system-level design and verification
Electronic_system-level_design_and_verification
System-level specification language
language Haskell, the Larch family of specification languages, and Prototype Verification System (PVS). A book devoted to the language was published in November
Rosetta-lang
formal verification tools. In contrast, post-silicon validation tests occur on actual devices running at-speed in commercial, real-world system boards
Post-silicon_validation
Lisp software and development tools
algebra system originally developed in Lisp Prototype Verification System (PVS) - mechanized environment for formal specification and verification written
List of Lisp software and tools
List_of_Lisp_software_and_tools
American multinational computational software company
a verification management tool for tracking the verification process. Cadence announced Perspec System Verifier in 2014 for defining and verifying system-level
Cadence_Design_Systems
Notable people from Stanford Research Institute
technology policy, education, energy and the environment, engineering systems, pharmaceuticals and health sciences, homeland security and national defense
List of SRI International people
List_of_SRI_International_people
Emulating hardware devices in IC design
comprehensive functional verification is key to reducing development costs and delivering a product on time. Functional verification of a design is most often
Hardware_emulation
15 November 2011. G. Girard (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
History_of_the_metric_system
American computer scientist
Tolerance) operating system and was later incorporated into SRIís Prototype Verification System. The work was published in the paper, SIFT: Design and analysis
Robert_Shostak
South Korean fighter aircraft
fourth prototype for this initial flight to verify early flight stability. Until the completion of system development in June 2026, the fourth prototype will
KAI_KF-21_Boramae
Taiwanese ASIC designer
able to timely verify their prototype designs with advanced process technologies and much lower costs Intellectual property Silicon-verified reusable IC
Global_Unichip_Corporation
British computer scientist
Formal Methods and Dependable Systems in the Computer Science Laboratory at SRI. He developed the Prototype Verification System, which is a theorem prover
John_Rushby
Micro-electronic component
of chips, hardware verification languages like SystemVerilog, SystemC, e, and OpenVera are being used. Bugs found in the verification stage are reported
System_on_a_chip
Software development methodology
then link and package them into software deliverables. Automated tests verify the software functionality, and automated deployment services deliver them
CI/CD
Definition of the units kg, A, K and mol
16 December 2021 Girard, G. (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
2019_revision_of_the_SI
Computer system with a dedicated function
times slower than the final system. For SoC designs, the typical approach is to verify and debug the design on an FPGA prototype board. Tools such as Certus
Embedded_system
High-level programming language
it's still possible to simulate most class-based features with the prototype system. Additionally, ECMAScript version 6 (released June 2015) introduced
JavaScript
Annual celebration of SI units
celebrating the International System of Units. The date is the anniversary of the signing of the Metre Convention in 1875.[verification needed] Metrology is the
World_Metrology_Day
Process in software project management, software testing, and software engineering
of that process. This kind of verification is called "artifact or specification verification". It would imply to verify if the specifications are met
Software verification and validation
Software_verification_and_validation
Operating system for mobile devices
Rubin already owned the domain name android.com. After having built a prototype internally known as the "Fadden demo" predominantly by purchasing licensing
Android_(operating_system)
Modern form of the metric system
kilograms with the IPK. During the 2nd and 3rd Periodic Verification of National Prototypes of the Kilogram, a significant divergence had occurred between
International_System_of_Units
Chinese medium-range narrowbody airliner
business with COMAC on the C919 airplane. [failed verification] High-speed taxi tests by the first C919 prototype were completed in April 2017 and the first
Comac_C919
Engineering process
be made. Simulations may be performed to verify the correctness of the design. A breadboard or other prototype version of the design for testing against
Circuit_design
Technique used in the development and testing of complex real-time embedded systems
certain ECU parameters (e.g. Engine parameters etc.) Testing and verification of the system at failure conditions In the above-mentioned test scenarios, HIL
Hardware-in-the-loop simulation
Hardware-in-the-loop_simulation
Electronic design automation company based in Henderson, Nevada
incremental prototyping of hardware. 2003 marked the release of Riviera-PRO supporting assertion based verification (OpenVera, PSL and SystemVerilog can
Aldec
Mathematical study of the meaning of programming languages
programming language design, type theory, compilers and interpreters, program verification and model checking. There are many approaches to formal semantics; these
Semantics (programming languages)
Semantics_(programming_languages)
Prototype of Secure Sockets Layer
modules and interfaces to security verification. At that time, there were three well-known authentication systems built (MIT's Kerberos) or being developed
Secure_Network_Programming
American supercomputer
Laboratory partnered with HPE Cray and AMD to build the system. Three El Capitan prototypes – named rzVernal, Tioga, and Tenaya – were powerful enough
El_Capitan_(supercomputer)
Russian assault rifle and variants
of their soldiers using AK-12s. The prototype model from 2012 uses the same gas-operated long-stroke piston system of the previous Kalashnikov rifles,
AK-12
In electronics, prototyping means building an actual circuit to a theoretical design to verify that it works, and to provide a physical platform for debugging
Electronics_prototyping
Home video game console
Entertainment System (NES), was unveiled by Nintendo at the June 1985 Summer CES, and dropped the home computer features of the earlier AVS prototype while retaining
Nintendo_Entertainment_System
Designing products with digital device
Digital Prototyping gives conceptual design, engineering, manufacturing, and sales and marketing departments the ability to virtually explore a complete
Digital_prototyping
Self-propelled anti-aircraft weapon system
improvements. All 50 systems will now be wheeled on MAN SX 45 8x8 trucks from Germany, as well as the support vehicles. Delivery of the prototype occurred in 2007
Pantsir_missile_system
Electric pickup truck
pickup truck manufactured by Tesla, Inc. since 2023. It was presented as a prototype concept in November 2019, with an angular design composed of flat, unpainted
Tesla_Cybertruck
Display technology
Foundation Science Talent Search group, a Science Service organization.[verification needed] The paper entry was named in the "Honors Group" publicized to
LED_display
Computer science concept
part of prototype research systems. The following table gives an overview over type theoretic concepts that are used in specialized type systems. The names
Type_system
System/360. Up until 30 April 2010 there was still one Odra 1305 working at the railway station in Wrocław Brochów.[failed verification] The system was
Odra_(computer)
Biometric identification
where the authors designed a prototype hand geometry system that uses 16 geometric features for identity verification. Hand geometry is not thought to
Hand_geometry
Preparation procedures for verifying carrier rocket performance
in place to help verify that the rocket is ready for flight. Propellant load tests and static fire tests may also be done on prototype rocket stages, in
Launch_vehicle_system_tests
Checking software against expectations
Static testing involves verification, whereas dynamic testing also involves validation. Passive testing means verifying the system's behavior without any
Software_testing
management system where the identity and physical presence of all EVMS/ VVPATs is tracked on real time basis. M3 EVMs has digital verification system coded
Electronic_voting_by_country
DoD standard for computer security
Formal Specification and Verification is where the TCB is verified down to the source code level, using formal verification methods where feasible. Trusted
Trusted Computer System Evaluation Criteria
Trusted_Computer_System_Evaluation_Criteria
American software company
California, that focuses on design and verification of silicon chips, electronic system-level design and verification, and reusable components (intellectual
Synopsys
American social networking service
confirmed that verification would be included in Blue in the future, dismissing the existing verification system as a "lords & peasants system". After concerns
X_(social_network)
German heavy bomber during WW2
as soon as possible." The He 177B-5's first-built prototype, the He 177 V101,[failed verification] was converted from a mid-production He 177A-3 airframe
Heinkel_He_177_Greif
Approach for digital systems design
complex digital systems by using electronic design automation software. TLM is used primarily in the design and verification of complex systems-on-chip (SoCs)
Transaction-level_modeling
Integration of software development and operations
SPC in place, the data flowing through an operational system is constantly monitored and verified. If an anomaly occurs, the data analytics team can be
DevOps
yellowTAB) Unix ("Ken's new system," for its creator (Ken Thompson), officially Unics and then Unix, the prototypic operating system created in Bell Labs in
List_of_operating_systems
American manufacturer of 3D printers
the first stereolithography (SLA) rapid prototyping system. Prior to Hull's introduction of SLA rapid prototyping, concept models required extensive time
3D_Systems
Discipline in creating self-service workflows
principles in a structured manner. SRE is primarily concerned with ensuring system reliability, performance, and scalability by applying software engineering
Platform_engineering
North Korean anti-tank missile family
advertised as the AT-4MLB by North Korean proxy company GLOCOM,[failed verification] and in their brochure it was stated that it is controlled by laser beam
Bulsae_ATGM
physical prototypes, such as earthquake shock load Verify hand calculations Validate the likely safety and survival of a physical prototype before Simulation
Simulation_modeling
Approach to static program analysis
Symposia, proceedings appearing in the Springer LNCS series Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI), affiliated at the
Abstract_interpretation
Chinese cargo spacecraft
final competition and were awarded contracts for flight verification. On 30 March 2026, a prototype version of Qingzhou was launched on the maiden flight
Qingzhou_(spacecraft)
Use of software for engineering design and analysis
point where much of the design verification is done using computer simulations (diagnosis) rather than physical prototype testing. CAE dependability is
Computer-aided_engineering
German prototype jet powered flying wing fighter (1944)
future flight control systems and lead to bank angle restrictions, they do reduce aerodynamic drag slightly.[failed verification] The Government Air Ministry
Horten_Ho_229
American defense technology company
border-patrol agents. Anduril quickly produced a prototype. Schimpf and other employees took the prototype to a test range. They trained software on open-source
Anduril_Industries
Motor vehicle
The McMurtry Spéirling is an electric single-seat prototype sports car which was first presented at the Goodwood Festival of Speed in 2021. The car is
McMurtry_Spéirling
Counter-insurgency attack aircraft built in Argentina
handling problems, and in September 1968, construction began on a powered prototype, given the designation FMA IA 58 Delfín, but later renamed Pucará, to
FMA_IA_58_Pucará
SpaceX Dragon 2 spacecraft prototype
The Dragon 2 DragonFly (Dragon C201) was a prototype suborbital rocket-powered test vehicle for a propulsively-landed version of the SpaceX Dragon 2.
Dragon_2_DragonFly
Border crossing between Canada and the United States
speaker verification system to open the gates and enter the country without inspection. This system was replaced with a Remote Video Inspection System in 1998
Scobey–Coronach Border Crossing
Scobey–Coronach_Border_Crossing
American tracked armored fighting vehicle
space than the M113, and two 400-amp generators. BAE Systems rolled out the first AMPV prototype on 15 December 2016. Funding allows for 160 vehicles
Bradley_Fighting_Vehicle
Fundamental unit of cognition
the concept applies. Prototype theory rejects this outlook, arguing that concept membership depends on similarity to a prototype—a cluster of features
Concept
United States Marine Corps tactical trucks
kits, training (operator/maintainer-cargo), test support-production verification testing cargo, meetings, and contract data requirements. The first LVSR
Logistics Vehicle System Replacement
Logistics_Vehicle_System_Replacement
Small planetary-mass object
orbital dominance like the eight classical planets of the Solar System. The prototypical dwarf planet is Pluto, which for decades was regarded as a planet
Dwarf_planet
Design verification process
Process. To verify the accuracy of drawings and ensure that they reflect any changes made to parts design during the prototype design. To verify the production
First_article_inspection
Verification modeling language
simulations of the modeled system's execution, or it can generate a C program that performs a fast exhaustive verification of the system state space. During
Promela
Assault rifle
assault rifles including the HK416 and G36.[verification needed] Adaptive Combat Rifle, modular rifle system. AN-94 Barrett REC7 Beretta ARX160 FN SCAR
Heckler_&_Koch_XM8
Software test automation tool
methodology for the automated software test and verification of embedded control systems, cyber-physical systems, and dataflow programs. TPT is specialised
TPT_(software)
Radiometer to detect atmospheric nuclear detonations
"Verification: the ways and means". Bulletin of the Atomic Scientists: 54. Goldblat, Jozef; Cox, David (1988). "Means of nuclear test ban verification"
Bhangmeter
British musician
Sutton. [verification needed] "Ed Rush & Optical feat. MC Ryme Tyme". Retrieved 1 October 2016. Cite web requires |website= (help) [verification needed]
Optical_(musician)
1945 Japanese fighter/interceptor prototype
J7W Shinden (震電, "Magnificent Lightning") is a World War II Japanese prototype, propeller-driven fighter plane with wings at the rear of the fuselage
Kyūshū_J7W_Shinden
Integrated circuit customized for a specific task
benches, formal verification, emulation, or creating and evaluating an equivalent pure software model, as in Simics. Each verification technique has advantages
Application-specific integrated circuit
Application-specific_integrated_circuit
Activities such as flow-of-control processing, data storage definition, data verification, editing, error handling, terminal input and output, menu creation and
ADSO
Swedish 155 mm self-propelled howitzer
self-propelled system based on the existing FH77 howitzer. Further test systems received the designation FH77 BD and FH77 BW. By 2004, two prototypes had been
Archer_artillery_system
Design verification must be documented in the DHF and include the verification date, participants, design version/revision verified, verification method
Design_history_file
Estimation of age using artificial intelligence
risks discriminatory profiling. Age verification Challenge 21 Liveness test Online Safety Act 2023 Online age verification in the United Kingdom Bekhouche
Facial_age_estimation
Analysis of computer programs without executing them
of embedded systems, by defining so-called software quality objectives. A growing commercial use of static analysis is in the verification of properties
Static_program_analysis
Computer system emulating human expert
for the system, simply invoke the inference engine. This also was a reason for the second benefit: rapid prototyping. With an expert system shell it
Expert_system
Ukrainian tactical-operational ballistic missile
that US$300 million would be needed to complete the testing of Ukraine's prototype. In February 2021, the government decided to sign a contract to fund the
1KR1_Sapsan
Prototype spacecraft propulsion engine
The helicon double-layer thruster is a prototype electric spacecraft propulsion. It was created by Australian scientist Christine Charles, based on a
Helicon_double-layer_thruster
American cabin motorcycle developer
Embedded Systems, and CMGs. Lit closed out the post by announcing a new funding goal of $9 million to develop a fully drivable prototype. In January
Lit_Motors
Mathematical visualization
simulation tools can lead to rapid prototyping, software testing, and verification. Not only is the testing and verification process enhanced, but also, in
Model-based_design
Specialized computer language used to describe electronic circuits
convert flow-based system design into a hardware description language Hardware verification language – Programming language used to verify the designs of
Hardware_description_language
Turkish attack and armed reconnaissance helicopter
took place when the P1 prototype flew at AgustaWestland's facilities in Vergiate, Italy. On 19 March 2010, the first T129 prototype (P1) conducted high-altitude
TAI/AgustaWestland_T129_ATAK
Polish modular assault rifle and variants
assault rifles developed and manufactured by FB "Łucznik" Radom. Early prototypes were known as the MSBS Radon. The MSBS Grot was developed in two different
FB_MSBS_Grot
South African armoured fighting vehicle
also has an Active Protection System (APS) it has the capability to upgrades its devices but stock wise the prototype has Gen 2 thermal devices and also
Rooikat
Virtual reality headsets by Oculus VR
technology, leading Luckey to lend him a prototype Oculus Rift. Carmack wrote a public review of the prototype calling it "by far the most immersive HMD"
Oculus_Rift
Subcompact luxury crossover SUV
"2019 Acura RDX Prototype". Acura. Archived from the original on 10 January 2018. Retrieved 10 January 2018. [...] the Acura RDX Prototype, debuting at the
Acura_RDX
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Female
Spanish
Spanish name derived from the Latin candela, CANDELARIA means "light, torch," hence "candle." The Spanish had a custom of bestowing religious names on their daughters, and sometimes their sons, in honor of the Virgin Mary; for example, Nuestra Senora de los Candelaria which translates to "Our Lady of the Candles," referring to the purification of Mary during Candlemas.
Surname or Lastname
German
German : topographic name for someone who lived by an elder tree, Middle High German holder, or from a house named for its sign of an elder tree. In same areas, for example Alsace, the elder tree was believed to be the protector of a house.Jewish (Ashkenazic) : ornamental name from German Holder ‘elder tree’.English (chiefly western counties) : occupational name for a tender of animals, from an agent derivative of Middle English hold(en) ‘to guard or keep’ (Old English h(e)aldan). It is possible that this word was also used in the wider sense of a holder of land within the feudal system. Compare Helder.
Girl/Female
Tamil
Pranali | பà¯à®°à®£à®¾à®²à¯€
System, Organization
Pranali | பà¯à®°à®£à®¾à®²à¯€
Female
Welsh
Welsh Arthurian legend name of the daughter of Avallach, mother of Mabon, and probably the prototype of Morgan le Fay, MODRON means "divine mother."
Surname or Lastname
English and Irish
English and Irish : apparently a topographic name from Middle English furlong ‘length of a field’ (from Old English furh ‘furrow’ + lang ‘long’), the technical term for the block of strips owned by several different persons which formed the unit of cultivation in the medieval open-field system of farming, or a habitational name from a minor place named with this word, such as Furlong in Devon or Shropshire. The surname is now chiefly common in Ireland, where a family of this name settled at the end of the 13th century.Possibly an Americanized form of French Ferland.
Girl/Female
Spanish
Purification.
Girl/Female
Hindu, Indian, Marathi, Sanskrit
Purification; Holiness; Truth
Girl/Female
Gujarati, Hindu, Indian, Jain, Marathi
Purification; To Satisfy; Complete
Girl/Female
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Boy/Male
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Girl/Female
Spanish
Purification.
Surname or Lastname
English
English : from Old Norse drengr ‘young man’, but with more than one possible interpretation. It may reflect the personal name (originally a byname) of this form, which had some currency in the most Scandinavian-influenced areas of medieval England. Alternatively it may reflect the Middle English borrowing of the vocabulary word in the sense ‘servant’, later a technical term of the feudal system of Northumbria for a free tenant who held land by military and agricultural service, sometimes paying rent as well or in commutation.
Surname or Lastname
English (Yorkshire)
English (Yorkshire) : status name in the feudal system for a serf who had been freed.Jewish (American) : Americanized form of Friedmann (see Fried).
Surname or Lastname
English
English : status name from Middle English frankelin ‘franklin’, a technical term of the feudal system, from Anglo-Norman French franc ‘free’ (see Frank 2) + the Germanic suffix -ling. The status of the franklin varied somewhat according to time and place in medieval England; in general, he was a free man and a holder of fairly extensive areas of land, a gentleman ranked above the main body of minor freeholders but below a knight or a member of the nobility.The surname is also borne by Jews, in which case it represents an Americanized form of one or more like-sounding Jewish surnames.In modern times, this has been used to Americanize François, the French form of Francis.The American statesman and scientist Benjamin Franklin (1706–90) was the son of Josiah Franklin, a chandler (dealer in soap and candles), who had emigrated in about 1682 from Ecton, Northamptonshire, to Boston, MA, where his son was born.
Girl/Female
Spanish
Purification.
Girl/Female
Greek French
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Girl/Female
Tamil
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
System, Organization
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
Boy/Male
Indian, Punjabi, Sanskrit, Sikh
Virtue; Original; Pious; Purification Acquired by Virtuous Deeds
Girl/Female
Spanish
Purification.
Surname or Lastname
English
English : status name from Middle English knyghte ‘knight’, Old English cniht ‘boy’, ‘youth’, ‘serving lad’. This word was used as a personal name before the Norman Conquest, and the surname may in part reflect a survival of this. It is also possible that in a few cases it represents a survival of the Old English sense into Middle English, as an occupational name for a domestic servant. In most cases, however, it clearly comes from the more exalted sense that the word achieved in the Middle Ages. In the feudal system introduced by the Normans the word was applied at first to a tenant bound to serve his lord as a mounted soldier. Hence it came to denote a man of some substance, since maintaining horses and armor was an expensive business. As feudal obligations became increasingly converted to monetary payments, the term lost its precise significance and came to denote an honorable estate conferred by the king on men of noble birth who had served him well. Knights in this last sense normally belonged to ancient noble families with distinguished family names of their own, so that the surname is more likely to have been applied to a servant in a knightly house or to someone who had played the part of a knight in a pageant or won the title in some contest of skill.Irish : part translation of Gaelic Mac an Ridire ‘son of the rider or knight’. See also McKnight.
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Female
French
French form of Latin Regina, RÉGINE means "queen."
Boy/Male
English
Honest
Boy/Male
Tamil
Shreevarah | à®·à¯à®°à¯€à®µà®¾à®°à®¹
Lord Vishnu
Girl/Female
English
Modernand Jennifer.
Boy/Male
Indian, Sanskrit
With Yellow Hair; Lord Vishnu; Siva
Male
French
French form of Old High German Adalbert, AUBERT means "bright nobility."
Surname or Lastname
English
English : variant of Alloway.
Boy/Male
Hebrew
Happy.
Girl/Female
Polish
Girl/Female
Indian
Union of matter and soul, Non duality
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
n.
The deification of self.
n.
The act of combining air with another substance, or the state of being filled with air.
n.
The act of purifying; the act or operation of separating and removing from anything that which is impure or noxious, or heterogeneous or foreign to it; as, the purification of liquors, or of metals.
n.
The art or process of producing phototypes.
n.
The act of becoming aerified, or of changing from a solid or liquid form into an aeriform state; the state of being aeriform.
n.
Reproach; abuse; vilification.
a.
Tending to edification.
a.
Of or pertaining to a phototype or phototypy.
n.
An original or model after which anything is copied; the pattern of anything to be engraved, or otherwise copied, cast, or the like; a primary form; exemplar; archetype.
n.
The act, art, or practice, of versifying, or making verses; the construction of poetry; metrical composition.
n.
Purification; a sacrifice.
n.
Composition in metrical form; versification.
n.
A protopope.
n.
Confirmation by evidence.
n.
A formal phrase used in concluding a plea.
n.
The act of verifying, or the state of being verified; confirmation; authentication.
n.
Same as Phototypy.
n.
Purification.
n.
A plate or block with a printing surface (usually in relief) obtained from a photograph; also, any one of the many methods of processes by which such a printing surface is obtained.
v. t.
Verification; establishment by evidence.