omniomni/omni-engineering huggingface dataset:
Semantic parameterization. Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic. The process yields a formalization of natural language sentences in Description Logic to answer the who, what and where questions in the Inquiry-Cycle Model (ICM) developed by Colin Potts and his colleagues at the Georgia Institute of Technology. The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method, which formalizes answers to the when, why and how ICM questions in Temporal Logic, to complete the ICM formalization. The artifacts used in the parameterization process include a dictionary that aligns the domain lexicon with unique concepts, distinguishing between synonyms and polysemes, and several natural language patterns that aid in mapping common domain descriptions to formal specifications.

Relationship to other theories 

Semantic Parameterization defines a meta-model consisting of eight roles that are domain-independent and reusable. Seven of these roles correspond to Jeffrey Gruber's thematic relations and case roles in Charles Fillmore's case grammar:

The Inquiry-Cycle Model (ICM) was introduced to drive elicitation between engineers and stakeholders in requirements engineering. The ICM consists of who, what, where, why, how and when questions. All but the when questions, which require a Temporal Logic to represent such phenomena, have been aligned with the meta-model in semantic parameterization using Description Logic (DL).

Introduction with Example 

The semantic parameterization process is based on Description Logic, wherein the TBox is composed of words in a dictionary, including nouns, verbs, and adjectives, and the ABox is partitioned into two sets of assertions: 1) those assertions that come from words in the natural language statement, called the grounding, and 2) those assertions that are inferred by the (human) modeler, called the meta-model. Consider the following unstructured natural language statement (UNLS) (see Breaux et al. for an extended discussion):

UNLS1.0 The customer1,1 must not share2,2 the access-code3,3 of the customer1,1 with someone4,4 who is not the provider5,4.

The modeler first identifies intensional and extensional polysemes and synonyms, denoted by the subscripts: the first subscript uniquely refers to the intensional index, i.e., the same first index in two or more words refer to the same concept in the TBox; the second subscript uniquely refers to the extensional index, i.e., two same second index in two or more words refer to the same individual in the ABox. This indexing step aligns words in the statement and concepts in the dictionary. Next, the modeler identifies concepts from the dictionary to compose the meta-model. The following table illustrates the complete DL expression that results from applying semantic parameterization.

References 

Knowledge representation
USNS Coastal Crusader. USNS Coastal Crusader (AK-220/ORV-16/T-AGM-16/AGS-36) was an  that was constructed for the US Navy during the closing period of World War II.  She was later acquired by the US Army in 1946 and the US Air Force in 1957 before being reacquired by the USN in 1964 and as a missile range instrumentation ship.

Construction
Coastal Crusader, a C1-M-AV1  cargo vessel, was laid down under a US Maritime Commission (MARCOM) contract, MC hull 2174, on 12 April 1945 at Sturgeon Bay, Wisconsin, by the Leathem D. Smith Shipbuilding Company; launched on 24 June 1945; sponsored by Mrs. DeForrest Colburn; and completed on 26 July 1945.

On 25 February 1945, the Navy had assigned the name Wexford and the designation AK-220 to the projected ship; but the contract for her acquisition by the Navy was cancelled in August 1945 because of the cessation of hostilities in the Pacific Ocean and the surrender of Japan. Coastal Crusader thus entered mercantile service, never having borne the name Wexford.

US Army service
The vessel was placed in service 30 August 1946, by the US Army Transportation Service as USAT Private Joe R. Hastings. She was returned to the Reserve Fleet on 27 October 1949.

US Air Force service
Renamed Coastal Sentry, she was acquired by the US Air Force on 13 March 1957, which redesignated her an Ocean Range Vessel, USAFS Coastal Crusader (ORV-16). She operated on the Air Force's Eastern Test Range during the late 1950s and early 1960s.

US Navy service
The US Navy acquired Coastal Crusader from the Air Force in 1964, a placed her in service with the Military Sea Transportation Service (MSTS) and redesignated her a Missile Range Instrumentation Ship, USNS Coastal Crusader (T-AGM-16). Navy records indicate Coastal Crusader was redesignated as a Survey Ship, Coastal Crusader (AGS-36) in 1969, and finally struck from the Navy List on 30 April 1976.

Inactivation 
Coastal Crusader was subsequently sold by the Maritime Administration (MARAD) on 12 April 1977. She was scrapped later that year.

Notes 

Citations

Bibliography 

Online resources

External links

Alamosa-class cargo ships
Ships built in Sturgeon Bay, Wisconsin
1945 ships
World War II merchant ships of the United States
Type C1-M ships of the United States Air Force
Type C1-M ships of the United States Navy
Cold War auxiliary ships of the United States
Signals intelligence
Missile range instrumentation ships of the United States Navy
Research vessels of the United States Navy
USNS Timber Hitch. USNS Timber Hitch (T-AGM-17) was a US Navy missile range instrumentation ship which earlier operated as the US Air Force Ocean Range Vessel USAFS Timber Hitch (ORV-17) on the US Air Force's Eastern Test Range during the late 1950s and early 1960s. Timber Hitch operated under an Air Force contract with  Pan American Airways Guided Missile Range Division headquartered in Cocoa Beach, Florida.

Timber Hitch, assigned to the South Atlantic Ocean and the Caribbean area, provided the Air Force with metric data on intercontinental ballistic missiles launched from the Cape Canaveral Air Force Station (CCAFS) in Florida.

Timber Hitch operated in the intercontinental ballistic missile re-entry area near Ascension Island, and was home-ported out of Recife, Brazil.

Construction
SS Timber Hitch was laid down 26 August 1944, under a Maritime Commission (MARCOM) contract, MC hull 2315, by the Consolidated Steel Corporation, Ltd., Wilmington, California; she was sponsored by Mrs. Paul N. Mulvany, the wife of the assistant chief of the Construction & Inspection section at the regional office of MARCOM, and was launched on 10 October 1944.

Acquisition by the Navy
Timber Hitch was acquired from the US Air Force by the US Navy, on 1 July 1964.

Operational data
Operational data while on US Navy service during post-1964 period on this vessel is lacking.

Inactivation
Timber Hitch was struck from the Navy List 9 October 1969. She was sold for scrapping, 27 July 1977, along with three other ships, for $309,999. She was withdrawn from the fleet on 21 October 1977.

See also
 Missile Range Instrumentation Ship
 List of ships of the United States Air Force
 Eastern Test Range
 Pan American Airways Guided Missile Range Division
 Missile Test Project

References

Bibliography

 
 
 

Type C1-M ships
Ships built in Los Angeles
1944 ships
World War II merchant ships of the United States
Type C1-M ships of the United States Air Force
Type C1-M ships of the United States Navy
Cold War auxiliary ships of the United States
Signals intelligence
Missile range instrumentation ships of the United States Navy
Research vessels of the United States Navy
Richard W. Jones. Richard Ward Jones (1904–1987) was a biomedical engineer and authority on physiological control systems.

Education
His BS was from the University of Minnesota, 1926. His MS in physics was from Northwestern University, 1941, under Walter S. Huxford for a thesis entitled: Discharge Across Very Small Gaps.

Career
Dick Jones worked at Northwestern University until his retirement in 1971, where he pioneered the biomedical engineering program there.

Honors
He was elected to Fellow of the IEEE in 1965, and his citation reads "For contributions in the fields of physiological control systems and biomedical engineering education."

Selected publications
 Christina Enroth-Cugell and Richard W. Jones, "Responses of retinal ganglion cells to exponentially increasing light stimuli," Science, Vol. 134, No. 3493, pp. 1884–1885, 1961.
 Fred S. Grodins, John S. Gray, Karl R. Schroeder, Arthur L. Norins, and Richard W. Jones, "Respiratory responses to CO2 inhalation. A theoretical study of a nonlinear biological regulator," J. Appl. Physiol., Vol. 7, No. 3, pp. 283–308, 1954.
 Christina Enroth-Cugell and Richard W. Jones, "Responses of cat retinal ganglion cells to exponentially changing light intensities," J. Neurophysiol., Vol. 26, No. 6, pp. 894–907, 1963.

Books
 Richard Ward Jones, Electric Control Systems, Wiley, New York, 1953.
 Richard Ward Jones, Principles of Biological Regulation; An Introduction to Feedback Systems, Academic Press, New York, 1973, .

References 
 Past to present: a century of honors: the first one-hundred years of award winners, honorary members, past presidents, and fellows of the institute, IEEE (1984).
 Christina Enroth-Cugell, Biomedical Engineering at Northwestern University, Northwestern University .

Notes

External links 
 Chicago Sun Times obituary
 Jones in Science Magazine
 

1987 deaths
University of Minnesota alumni
Northwestern University alumni
Northwestern University faculty
Fellows of the IEEE
1904 births
American biomedical engineers
USNS Sampan Hitch. USNS Sampan Hitch (T-AGM-18) was a missile range instrumentation ship which earlier operated as the U.S. Air Force Ocean Range Vessel USAFS Sampan Hitch (ORV-1836) on the U.S. Air Force's Eastern Test Range during the late 1950s and early 1960s. Sampan Hitch operated under an Air Force contract with  Pan American Airways Guided Missile Range Division headquartered in Cocoa Beach, Florida.

Sampan Hitch, assigned to the South Atlantic Ocean and the Caribbean area, provided the Air Force with metric data on intercontinental ballistic missiles launched from the Cape Canaveral Air Force Station (CCAFS) in Florida.

Sampan Hitch operated in the intercontinental ballistic missile re-entry area near Ascension Island, and was home-ported out of South Atlantic Fleet Hqtrs, Chagaramus (Port of Spain) Trinidad, BWI.

Acquisition by the Navy
Sampan Hitch was acquired from the U.S. Air Force by the U.S. Navy in 1964.

Operational data

Operational data while on U.S. Navy service during post-1964 period on this vessel is lacking.

Inactivation
Sampan Hitch was struck from the Navy List at an unknown date, and was sold for scrapping 23 April 1973 to Dongkuk Steel Mill Company, Ltd., South Korea. Her subsequent fate is not known.

See also
 Missile Range Instrumentation Ship
 List of ships of the United States Air Force
 Eastern Test Range
 Pan American Airways Guided Missile Range Division
 Missile Test Project

References
 NavSource Online: Service Ship Photo Archive - T-AGM-18 Sampan Hitch

Type C1-M ships
Ships built in Superior, Wisconsin
1945 ships
World War II merchant ships of the United States
Type C1-M ships of the United States Air Force
Type C1-M ships of the United States Navy
Cold War auxiliary ships of the United States
Signals intelligence
Missile range instrumentation ships of the United States Navy
Research vessels of the United States Navy
Sutherland Steam Mill Museum. The Sutherland Steam Mill Museum is a restored steam woodworking mill from the 1890s located in Denmark, Nova Scotia. The mill operated until 1958. Today it is part of the Nova Scotia Museum system.

The museum represents the transition from water powered mills, such as that preserved at the nearby Balmoral Grist Mill Museum, to the more powerful and efficient steam-driven mill. The mill was located in at the centre of a vast woodland area and was situated next to a railroad. Thus it had excellent access to both raw materials and to markets though shipping terminals at Pictou and Wallace. At its peak, the mill employed more than a dozen workers, and it produced sawn lumber, sleds and carriages, sashes and doors and other architectural products such as gingerbread trim. The founder of the mill, Alexander Sutherland retired in 1940 and his son and successor Wilfred Sutherland retired in 1958. The mill became a museum in 1970 and it was adopted into the Nova Scotia Museum Complex in 1975.

The museum lies next to the Shortline Railbed section of the Trans-Canada Trail. The Museum offers free bike loans for day use on the trail. It also offers free woodworking space within the museum.

References
Sources
Barbara Robertson, Sawpower: Making Lumber in the Sawmills of Nova Scotia, Halifax, Nimbus Publishing and the Nova Scotia Museum (1986), pages 129–132.

Notes

External links

Sutherland Steam Mill Museum
Sutherland Steam Mill Museum on Facebook.com

Museums in Colchester County
History museums in Nova Scotia
Technology museums in Canada
Nova Scotia Museum
Steam museums
SIGMOD Edgar F. Codd Innovations Award. The ACM SIGMOD Edgar F. Codd Innovations Award is a lifetime research achievement award given by the ACM Special Interest Group on Management of Data, at its yearly flagship conference (also called SIGMOD). According to its homepage, it is given "for innovative and highly significant contributions of enduring value to the development, understanding, or use of database systems and databases". The award has been given since 1992.

Until 2003, this award was known as the “SIGMOD Innovations Award.” In 2004, SIGMOD, with the unanimous approval of ACM Council, decided to rename the award to honor Dr. E.F. (Ted) Codd (1923 – 2003) who invented the relational data model and was responsible for the significant development of the database field as a scientific discipline.

Recipients

See also

 List of computer science awards

References 

Awards of the Association for Computing Machinery
Awards established in 1992
Computer science awards
Data management
Infrastructure Lifecycle Management. Infrastructure Lifecycle Management (ILM) is a term coined by the real estate sector. It covers the management of all core processes around planning, construction, operation, maintenance and commercialization of buildings or property. The life cycle of a real estate property starts with the planning and realization phase, carries on with the commercial usage and facility management and is finalized by the demolition, dismantling or conversion of the property.

References
 David G. Cotts (1998). The Facility Management Handbook, AMACOM.
 Robert C. Kyle, Floyd M. Baird, Marie S. Spodek (1999). Property Management, Dearborn Real Estate Education.
 W. Ronald Hudson, Ralph Haas, Waheed Uddin (1997). Infrastructure Management: Integrating Design, Construction, Maintenance, Rehabilitation and Renovation, McGraw-Hill Professional Publishing.

Property management
Kitty Hawk. Kitty Hawk or Kittyhawk may refer to:

Places
 Kitty Hawk, North Carolina, where the Wright Brothers flew their first controlled flight in 1903
 Kitty Hawk, an area of Wright-Patterson Air Force Base in Ohio, US

Airplane and air transport
 Kitty Hawk (airplane), commonly known as the Wright Flyer
 Kitty Hawk Aircargo, an American cargo airline
 Kitty Hawk Airways, an American airline
 Kitty Hawk Corporation, a Silicon Valley "flying car" start-up
 "Kittyhawk" one of the call signs used by flights carrying members of the royal family and UK Government ministers
 "Kittyhawk", the name that the British gave to the advanced variants of the American Curtiss P-40 fighter plane

Military
 USS Kitty Hawk, a ship of the United States Navy
 KITTYHAWK, the airline code for military United Kingdom Royal VIP Flights
 Kitty Hawk Air Society, an Honor Society for the Air Force Junior Reserve Officers' Training Corps program
 Camp Kitty Hawk (renamed Camp Bonifas), a United Nations military post south of the Korean Demilitarized Zone

Computers
 IBM Kittyhawk, a 2008 supercomputer designed by IBM to run the entire Internet
 HP Kittyhawk microdrive, a hard disk drive made by Hewlett Packard

Other
 Kittyhawk (band), an emo band from Chicago, Illinois
 Kitty Hawk Middle School, in the Judson Independent School District, Universal City, Texas
 Kittyhawk, the call sign of the command module of the Apollo 14 spacecraft
 Kitty Hawks, American interior designer
Pomeranchuk cooling. Pomeranchuk cooling (named after Isaak Pomeranchuk) is the phenomenon in which liquid helium-3 will cool if it is compressed isentropically when it is below 0.3 K. This occurs because helium-3 has the unusual property that its solid state can have a higher entropy than its liquid state. The effect was first observed by Yuri Anufriev in 1965. This can be used to construct a cryogenic cooler.

In 2021 an analog effect has been observed on twisted bilayer graphene and in TMDs

References

Cryogenics
GrandView (software). GrandView is  an outlining and personal information management (PIM) application originally developed by Living Videotext. Living Videotext was acquired by Symantec in 1987. Grandview was sold until the early 1990s and is no longer supported by Symantec.
It closely resembled PC-Outline, an outliner for IBM PCs of the 1980s, authored by John Friend.  Grandview was derived from the same software.

Reception
BYTE in 1989 listed GrandView as among the "Distinction" winners of the BYTE Awards, stating that it was "packed with goodies" and worth the time necessary to learn how to use it.

See also 
 Outliner

References

External links 
Compute! magazine review of Grandview 2.0, 1992
Home Office Computing review, 1991
History of Symantec Corporation
A version of GrandView 2.0 for DOS that is completely portable, fully functional, and ready to run on any modern version of Windows up to Windows 10, using vDos-lfn 
GrandView 2.0 Reference Guide 737 pages 

Gen Digital software
Personal information managers
Outliners
DOS software
Walter S. Huxford. Walter Scott Huxford was an American professor of physics at Northwestern University and was a co-inventor of the sunburnometer.

Education
His education included a bachelor's degree at Doane College, a master's degree at the University of Nebraska, and a PhD degree at the University of Michigan in 1928, with a thesis entitled: Determination of the Charge of Positive Thermions form Measurements of the Shot Effect.

Career
He spent two years as an officer in the US Army Signal Corps during and after the first world war, teaching in Nebraska high schools and at Doane College, where he was head of the Physics Department, and three years as an industrial physicist. He joined the faculty of Northwestern University in 1931, where he continued to serve as a teacher and research scientist until his death.
His primary research interests were physical electronics and the dynamics of electrical discharges in gases, in which fields he and his research students published numerous papers. During and following the second world war he served as director of research and development programs at Northwestern on the use of optical radiation for communication, sponsored by the US Navy Bureau of Ships and the US Army Signal Corps.

Honors
His contributions to the national defense were recognized by award of the Army and Navy Certificate of Merit in 1947. Huxford was a fellow of the American Physical Society and a member of the American Association of Physics Teachers and a member of the Optical Society of America.

References 
 "Necrology," J. Opt. Soc. Am. Vol. 48, p. 637, 1958.
 Who's Who in America, 1950–1952.

Notes

External links 
 Huxford at BioInfoBank
 Huxford at the AIP archive
 Huxford's Science Magazine article
 Huxford's patent
 Huxford's math genealogy

1958 deaths
University of Nebraska alumni
University of Michigan alumni
Doane University alumni
Northwestern University faculty
Fellows of the American Physical Society
1892 births
People from Neligh, Nebraska
Herbert Thacker Herr. Herbert Thacker Herr (March 19, 1876 - December 19, 1933) was an American engineer and inventor.

Herr was born in Denver to Theodore W. Herr and Emma Musser Herr.  He spent two years working for the Chicago & North Western Railroad as a machinist's apprentice.  He attended Yale University, graduating in 1899 from the Sheffield Scientific School, and then worked for the Denver & Rio Grande Railroad as a machinist and draftsman as well as working on the operating schedules.  He made improvements to turbines, gas and oil engines, and air brakes during this time.

In 1902 he left to work for the Chicago Great Western Railroad, and also worked for the Atchison, Topeka & Santa Fé and the Norfolk & Western Railroad.  In 1906 he became general superintendent of the Denver & Rio Grande Railroad.  He left this post for the Duquesne Mining and Reduction Company, where he was general manager; in 1908 he became general manager of the Westinghouse Machine Company, where he was promoted to second vice president, and in 1913 to first vice president.  After a corporate merger he was vice president and general manager of the Westinghouse Electric and Manufacturing Company.

His inventions included a device to automatically weigh cars attached to trains.  He was awarded the Longstreth Medal in 1914 for his inventions.  In 1931 he received the John Scott Medal from the directors of City Trusts for his mechanical innovations.

He died in Philadelphia on December 19, 1933.  He was married to Irene Viancourt, who survived him; they had a son, Herbert T. Herr Jr., and a daughter.

References

20th-century American inventors
1876 births
1933 deaths