AI & ChatGPT searches , social queriess 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
High-level programming language
language that conforms to the ECMAScript standard. It has dynamic typing, prototype-based object-orientation, and first-class functions. It is multi-paradigm
JavaScript
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
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
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
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
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
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
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
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
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
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)
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
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)
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
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
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)
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
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
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
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
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
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
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
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
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)
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)
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
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
American software company
California, that focuses on design and verification of silicon chips, electronic system-level design and verification, and reusable components (intellectual
Synopsys
Russian intercontinental ballistic missile
June 2015, it was reported that the production schedule for the first prototype of the Sarmat was slipping. The RS-28 Sarmat was expected to become operational
RS-28_Sarmat
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
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
German prototype jet powered flying wing fighter (1944)
done by Gotha to prepare the aircraft for mass production) was a German prototype fighter-bomber designed by Reimar and Walter Horten to be built by Gothaer
Horten_Ho_229
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
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
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
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
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
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
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
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)
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
physical prototypes, such as earthquake shock load Verify hand calculations Validate the likely safety and survival of a physical prototype before Simulation
Simulation_modeling
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
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
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
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
Physical scale model tested in a large geotechnical centrifuge
the model so that stresses in the model are equal to stresses in the prototype. For example, the stress beneath a 0.1-metre-deep (0.3 ft) layer of model
Geotechnical centrifuge modeling
Geotechnical_centrifuge_modeling
Sub-discipline of systems engineering that emphasizes dependability
the use environment, to verify whether it reaches the expected quality in R&D, design, and manufacturing. Reliability verification is also called reliability
Reliability_engineering
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
Software for designing electronic systems
Functional verification: ensures logic design matches specifications and executes tasks correctly. Includes dynamic functional verification via simulation
Electronic_design_automation
telecommunications protocols, etc. The enumerative verification (also known as explicit state verification) techniques implemented in CADP, though less general
Construction and Analysis of Distributed Processes
Construction_and_Analysis_of_Distributed_Processes
Organized collection of data in computing
(Exadata). IBM formed a team led by Codd that started working on a prototype system, System R despite opposition from others at the company. The first version
Database
Scale or full-size model of a design or device
and other purposes. A mockup may be a prototype if it provides at least part of the functionality of a system and enables testing of a design. Mock-ups
Mockup
Soviet-Russian Maritime patrol & ASW aircraft
a probe and drogue air refueling system. System not adopted. Il-38SD ISD-38MZ Tanker variant of the Il-38. Prototype only Il-38N Improved variant sometimes
Ilyushin_Il-38
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
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
U.S. military defense program (1984–1993)
space-based laser system began no later than 1976 with the Polyus, a 1 MW Carbon dioxide laser-based orbital weapons platform prototype. Development was
Strategic_Defense_Initiative
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
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
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
address revolutionary approaches to the design, verification, and manufacturing of complex defense systems and vehicles. The three primary programs were
Adaptive_Vehicle_Make
Car model
distinctive body design as it was inspired by Mazda's Group C sports prototype racers, incorporating its signature colour scheme of blue on white and
Autozam_AZ-1
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
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
Fourth generation of the Corvette sports car
helped GM design the ZR1's (which in prototype version was called "King of the Hill") upgraded braking and steering systems.[citation needed] The ZR1 is fitted
Chevrolet_Corvette_(C4)
American software company
Endurance C212 Freedom C213 Grace Starship* Test vehicles Current Starship prototypes first stage booster upper stage Retired Grasshopper F9R Dev1† F9R Dev2*
Cursor_(company)
Proving validity without revealing other data
passes verification. A 2024 systematization of known attacks found that approximately 96% of documented circuit-layer bugs in SNARK-based systems were due
Zero-knowledge_proof
European beyond visual range air-to-air missile
KF-21 Boramae jet fighter in 2019. First trials of the missile on the prototype aircraft took place in May 2024. The supply contract was signed in November
Meteor_(missile)
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 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
Design verification must be documented in the DHF and include the verification date, participants, design version/revision verified, verification method
Design_history_file
Indian 155 mm howitzer
for the 155/52 calibre advanced towed artillery gun system. The test was successful. The prototypes P1 and P2 of KSSL and TASL was tested in Proof and
ATAGS_(howitzer)
Numerical simulation on electromagnets
the final testing and verification effort of the system as well as mitigating the necessity of building multiple costly prototypes, saving both time and
Ansys_HFSS
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
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
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Girl/Female
Spanish
Purification.
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.
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).
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
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.
Girl/Female
Tamil
Pranali | பà¯à®°à®£à®¾à®²à¯€
System, Organization
Pranali | பà¯à®°à®£à®¾à®²à¯€
Girl/Female
Gujarati, Hindu, Indian, Jain, Marathi
Purification; To Satisfy; Complete
Girl/Female
Greek French
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
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
Spanish
Purification.
Girl/Female
Spanish
Purification.
Girl/Female
Hindu, Indian, Marathi, Sanskrit
Purification; Holiness; Truth
Boy/Male
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Girl/Female
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
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
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.
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."
Boy/Male
Indian, Punjabi, Sanskrit, Sikh
Virtue; Original; Pious; Purification Acquired by Virtuous Deeds
Girl/Female
Tamil
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
System, Organization
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
Girl/Female
Spanish
Purification.
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Girl/Female
Tamil
Flute, Instrument played by Lord Krishna
Boy/Male
English
Friend.
Girl/Female
Hindu, Indian
Goddess Sarasvathi
Boy/Male
Indian, Sanskrit
Victorious in the World
Boy/Male
Hindu, Indian, Tamil
Knowledgeable
Boy/Male
Indian, Punjabi, Sikh
Wise and Prudent
Girl/Female
Arabic, Greek, Hindu, Indian, Marathi, Spanish
Guard-tower
Boy/Male
Hindu, Indian
Shining Lamp
Female
Egyptian
, the daughter of Aahmes II.
Biblical
amiable; beloved
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
v. t.
Verification; establishment by evidence.
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.
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.
A protopope.
n.
Purification; a sacrifice.
n.
Same as Phototypy.
a.
Of or pertaining to a phototype or phototypy.
n.
A formal phrase used in concluding a plea.
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.
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 act of verifying, or the state of being verified; confirmation; authentication.
n.
Confirmation by evidence.
n.
Composition in metrical form; versification.
n.
The act of combining air with another substance, or the state of being filled with air.
n.
The deification of self.
n.
Purification.
n.
Reproach; abuse; vilification.
n.
The art or process of producing phototypes.
n.
The act, art, or practice, of versifying, or making verses; the construction of poetry; metrical composition.
a.
Tending to edification.