The Twentieth International Mathematical Olympiad

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

VARIATIONAL THEORY AND OPTIMAL CONTROL THEORY**The preparation of this paper was sponsored by the Office of Naval Research and the U. S. Amy Research Office (Durham). Reproduction in whole or in part is permitted for any purpose of the United States Government.

Computing Methods in Optimization Problems ◽

10.1016/b978-1-4831-9812-5.50005-9 ◽

1964 ◽

pp. 1-22 ◽

Cited By ~ 2

Author(s):

Magnus R. Hestenes

Keyword(s):

United States ◽

Optimal Control ◽

Control Theory ◽

Optimal Control Theory ◽

The United States ◽

United States Government ◽

Naval Research ◽

Variational Theory ◽

Office Of Naval Research ◽

Research Office

Download Full-text

COMPETITIVE EQUILIBRIUM UNDER UNCERTAINTY11This research was supported in part by the Office of Naval Research under Contract ONR 222(77) with the University of California. Reproduction in whole or in part is permitted for any purpose of the United States Government.

Uncertainty in Economics ◽

10.1016/b978-0-12-214850-7.50019-x ◽

1978 ◽

pp. 175-207

Author(s):

ROY RADNER

Keyword(s):

United States ◽

Competitive Equilibrium ◽

The United States ◽

University Of California ◽

United States Government ◽

Naval Research ◽

Office Of Naval Research ◽

States Government ◽

The University

Download Full-text

CONSERVATION LAWS WITH DISSIPATION**This research was supported in part by the National Science Foundation under MCS79-05774, Office of Naval Research under N0014-76-C-0278-P0004 and the United States Army under ARO-DAAG29-79-C-0161.

Nonlinear Phenomena in Mathematical Sciences ◽

10.1016/b978-0-12-434170-8.50039-x ◽

1982 ◽

pp. 289-294 ◽

Cited By ~ 1

Author(s):

C.M. Dafermos

Keyword(s):

United States ◽

Conservation Laws ◽

United States Army ◽

National Science Foundation ◽

The United States ◽

Naval Research ◽

Office Of Naval Research ◽

National Science

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

The Riemann Hypothesis and Numerical Tauberian Theorems for Lambert Series1)1)This paper represents work which was supported by the United States Office of Naval Research.

Indagationes Mathematicae (Proceedings) ◽

10.1016/s1385-7258(54)50073-9 ◽

1954 ◽

Vol 57 ◽

pp. 564-571

Author(s):

Jacob Korevaar

Keyword(s):

United States ◽

Riemann Hypothesis ◽

The United States ◽

Naval Research ◽

Tauberian Theorems ◽

Office Of Naval Research

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

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

Indagationes Mathematicae (Proceedings) ◽

10.1016/s1385-7258(54)50055-7 ◽

1954 ◽

Vol 57 ◽

pp. 432-443

Author(s):

Jacob Korevaar

Keyword(s):

United States ◽

Dirichlet Series ◽

The United States ◽

Naval Research ◽

Tauberian Theorems ◽

Office Of Naval Research

Download Full-text

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

Indagationes Mathematicae (Proceedings) ◽

10.1016/s1385-7258(54)50056-9 ◽

1954 ◽

Vol 57 ◽

pp. 444-455

Author(s):

Jacob Korevaar

Keyword(s):

United States ◽

Power Series ◽

The United States ◽

Naval Research ◽

Tauberian Theorems ◽

Office Of Naval Research

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