Model checking (current) WaveGroup Sound General Conference on Weights and Measures Design optimization Declaration and Resolves of the First Continental Congress Contravariant vector Parietal cortex Interval arithmetic Plural quantification German National Library of Economics ObjectStore Complementarity (physics) Active Server Pages Turbulent flow Cut (Unix) Npm (software) Windows Error Reporting Boolean grammar International Association for Pattern Recognition Forward Operating Base Falcon IBM mainframe Printed electronics Class in Marxist theory Area code 878