Numerical Tauberian Theorems for Power Seriesand Dirichlet Series 1)1)This paper represents work which was supported by the United States Office of Naval Research.. I

The Twentieth International Mathematical Olympiad was held in Bucharest, Romania, on 6 and 7 July 1978. A special thanks is due to the Office of Naval Research for supporting a three-week training session of the United States team at the Naval Academy, Annapolis, and to the Army Research Office for providing travel expenses.

Download Full-text

A Deductive Approach to Program Synthesis This research was supported in part by the National Science Foundation under Grants MCS 76-83655 and MCS 78-02591, in part by the Office of Naval Research under Contracts N00014-76-C-0687 and N00014-75-C-0816, in part by the Defense Advanced Research Projects Agency of the Department of Defense under Contract MDA903-76-C-0206, and in part by the United States–Israel Binational Science Foundation.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50006-9 ◽

1986 ◽

pp. 3-34 ◽

Cited By ~ 6

Author(s):

ZOHAR MANNA ◽

RICHARD WALDINGER

Keyword(s):

United States ◽

Department Of Defense ◽

National Science Foundation ◽

Program Synthesis ◽

The United States ◽

Naval Research ◽

Research Projects ◽

Office Of Naval Research ◽

National Science ◽

Binational Science Foundation

Download Full-text

A Stochastic Process under the Influence of Another Arising in the Theory of Epidemics**This research was supported by the Office of Naval Research under Contract N00014-67-A-0226-00014 and Air Force Contract AFOSR-72-2350 at Purdue University. Reproduction in whole or part is permitted for any purpose of the United States Government.

Statistical Inference and Related Topics ◽

10.1016/b978-0-12-568002-8.50018-5 ◽

1975 ◽

pp. 235-255 ◽

Cited By ~ 3

Author(s):

Prem S. Puri

Keyword(s):

United States ◽

Stochastic Process ◽

Air Force ◽

The United States ◽

United States Government ◽

Naval Research ◽

Office Of Naval Research ◽

States Government ◽

Purdue University

Download Full-text

Report on the State of Machine Translation in the United States . Yehoshua Bar Hillel. Technical Report No. 1. Prepared for the U.S. Office of Naval Research, Information Systems Branch, Jerusalem, Israel, 1959 (available as PB151746 from Office of Technical Services, U.S. Dept. of Commerce, Washington 25, D.C.). 48 pp. + appendixes. $2.25.

Science ◽

10.1126/science.130.3383.1185-b ◽

1959 ◽

Vol 130 (3383) ◽

pp. 1185-1185

Author(s):

Charles M. Gottschalk ◽

Mendall S. Thompson

Keyword(s):

United States ◽

Information Systems ◽

Machine Translation ◽

The United States ◽

The State ◽

Naval Research ◽

Research Information ◽

Office Of Naval Research ◽

Technical Report ◽

The U.S

Download Full-text

23.—Oceanographic Activities in the Geophysics Branch, Office of Naval Research, 1950–1959.

Proceedings of the Royal Society of Edinburgh Section B Biology ◽

10.1017/s0080455x00001806 ◽

1972 ◽

Vol 72 (1) ◽

pp. 253-261 ◽

Cited By ~ 1

Author(s):

Gordon Lill

Keyword(s):

Earth Sciences ◽

United States ◽

World War Ii ◽

The United States ◽

Naval Research ◽

Deep Diving ◽

Office Of Naval Research ◽

New Institutions ◽

Research Contract ◽

Branch Office

SynopsisFor a full decade, the Office of Naval Research (ONR) led the United States into the development of science by research contract. Marine geophysics and oceanography were a part of this, as were the solid earth sciences and meteorology.By 1950, ONR was firmly established, World War II seemed far behind, and oceanographers in the United States were enthusiastically looking forward to what turned out to be ten years of their most productive work. By combining oceanographic talent and ONR funds and logistics, there was created one of the most effective systems yet invented for accomplishing science and technology at sea.New institutions were established, old institutions revived, fleets were designed, deep diving initiated, ocean monitoring begun, Arctic oceanography started, expeditions mounted, and discoveries made which, when coupled with other knowledge, were to contribute to far-reaching consequences for the earth sciences and how we now view our geophysically active planet.The oceanographers will speak for themselves. This paper presents only the view from Washington at the time, and how at least some of the activity there helped to make possible the Great Decade of Oceanographic Development, 1950–59.

Download Full-text